«advice-and-nonuniformity» etiketlenmiş sorular

Bu tahmin ediliyor olduğu tersi anlamına zira . Ladner'ın teoremi, eğer \ mathsf {P} \ ne \ mathsf {NP} o zaman \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ fincan \ mathsf {P}) \ ne \ emptyset . Bununla birlikte, ispat \ mathsf {P} / …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

Karp-Lipton Theoem bildiren ise , daha sonra çöker . Bu nedenle, ve , sorunu ait olmayacaktır .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Aşağıdaki soru ile ilgileniyorum: Varsayarsak çökmez veya yapısal karmaşıklığı başka makul bir varsayım varsayarak ne sabit ne ortalamanın problemler vardır kanıtlanmış içinde yalan değil (varsa)?PHPH\mathsf{PH} NPNP\mathsf{NP}Average-P/polyAverage-P/poly\mathsf{Average\mbox{-}P/poly} bir tanımı Ortalama-durum ve En …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

Bir günlük alanı varsa dil cinsindendir.L/polyL/polyL/poly Daha fazla bilgi için buraya bakın: https://en.wikipedia.org/wiki/L/poly Soru Sonuçları nedir ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly imaNP⊆P/polyNP⊆P/polyNP \subseteq P/poly da polinom hiyerarşi çöküşü gibi ilginç sonuçlar doğurur. için ilginç çıkarımlar var P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/polymı?

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

Genel Soru Uzay hiyerarşisi teoremi muntazam olmayan hesaplamaya genellenir mi? İşte birkaç özel soru daha: L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Tüm mekanda yapılandırılabilir işlevler için DSPACE (o (f (n))) / poly \ subsetneq DSPACE (f (n)) / poly mi?D S P A C E ( o ( f ( n ) ) …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

BPP / linear ile "doğru" tavsiye verildiğinde vaatleri yerine getiren lineer tavsiye içeren BPP makinelerine atıfta bulunuyorum ve derandomizasyon bize bir P / doğrusal veya (SUBEXP / lineer) algoritma vermelidir. Tek tip olmayan varsayımlar kullanırsak, klasik sonuçların çalışması gerektiğini düşünüyorum, çünkü tek tip olmayan rakipleri "kandırabiliriz". Bununla birlikte, gibi üniform …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

Homojen olmamanın hesaplamada yararlı olduğunu gördüğünüz yolları merak ediyorum. Bir yol, olduğu gibi rastgeleliktirB PP⊆ P/ polyBPP⊆P/pÖlyBPP \subseteq P/polydiğeri ise tüm dillerin düzgün olmayan devreleri olduğunu göstermek için kullanılan arama tablolarıdır. Özellikle, olasılıksal yöntem ve diğer yapıcı olmayan (ya da yapıcı-olmayan) kanıtlama yöntemleri ile var olduğu bilinen nesnelerin tekdüzelik kullanılarak …

9 circuit-complexity  advice-and-nonuniformity 

Şifreleme üzerine bu soruyu gördüğümden beri çeşitli zamanlarda aşağıdaki soruyu düşünüyorum . Soru İzin Vermek RRRBir olmak TFNP ilişkisi. Rastgele bir kehanet P / poly'nin kırılmasına yardımcı olabilir RRRihmal edilemez bir olasılıkla? Daha resmi olarak, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} mu Tüm için P / poli algoritmaları , \ Pr_x [R …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles 

Bu soru kriptografi bağlamında ortaya çıktı, ancak aşağıda karmaşıklık teorisi açısından sunacağım, çünkü buradaki insanlar ikincisiyle daha yakından tanışıyorlar. Bu soru NP'deki Sorunlar ile ilgilidir, ancak Oracle Access tarafından Ortalama-P / poli ve Dayak Düzgünlüğü ile ilgilidir . Gayri resmi ifade: Tekdüze olmayan rakipler (yani çok boyutlu devreler ailesi) bir …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity