«complexity-classes» etiketlenmiş sorular

Biz o biliyor musunuz hiyerarşi (çökmez Herkes için )?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd için Zoo girişiTC0TC0\mathsf{TC^0} yalnızca derinlik 2 ve 3 arasındaki ayrımdan bahseder. Ayrıca hiyerarşisinin için standart bir başvuru var mı?AC0dbirCd0\mathsf{AC^0_d}

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

yaygın olarak yanlış olduğu düşünülmektedir.R P= NPRP=NPRP = NP Ama bir an için bunun doğru olduğunu hayal edin. Böyle bir durumda, bu olasılığı nedir?P= NPP=NPP = NP Başka bir ifade ile: bir dünyada ne hala bizim inanmamızı için bir engel olarak görülebilir P = N P ?R P= NPRP=NPRP = …

12 cc.complexity-theory  complexity-classes  conditional-results 

Ben SP Ürdün, D. Gosset, PJ Aşkın "okumak stoquastic Hamiltonyenlerin ve Markov matrisleri için -tamamlamak problemlerQMAQMAQMA bunun olası olduğunu" .QMA⊆AMQMA⊆AMQMA \subseteq AM Bu iddia beni şaşırttı. Peki ve A M arasındaki uygun ilişki nedir?QMAQMAQMAAMAMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

Suresh için bir şekilde ilgisiz bir proje üzerinde çalışırken, kısa bir süre önce Page ve Opper tarafından Kullanıcı Tarafından Oluşturulabilir sistemler hakkında yapılan bazı çalışmalara rastladım ve çalışmalarının bir kısmı polinom zamanında doğrulanamayan sorunları kısaca tartıştı. Polinom zamanında doğrulanamayan diğer problemler veya böyle bir sorunun analizi hakkında fazla bilgi bulamadım. …

12 cc.complexity-theory  complexity-classes 

Baker-Gill-Solovay sonucu, P = NP sorununun göreceli olmadığını, bir bağıl kanıtın (bir kehanetin varlığına duyarsız) muhtemelen P = NP sorusunu çözemeyeceğini gösterdi. Sorum şu: "PH-complete problemi var mı?" Sorusuna benzer bir sonuç var mı? Bu sorunun olumsuz cevabı, P! = NP; olumlu cevap bir olası değildir ama ilginç olacaktır çünkü …

12 cc.complexity-theory  complexity-classes 

by http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Eğer bir Pspace tamamlama dil, P bir = N P A .AbirAPA=NPAPbir=N-PbirP^{A}=NP^{A} Eğer deterministik polinom zamanlı oracle, P B ≠ N P B (varsayarak P ≠ N P ).BBBPB≠NPBPB≠N-PBP^{B}\ne NP^{B}P≠NPP≠N-PP\ne NP , # P ve P ⊆ P P ⊆ P S P A C E için analog …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Kağıt Lauri Hella ve José María Turull-Torres, Üst düzey mantıklara sahip bilgi işlem sorguları , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 mantıksal VO, değişken dereceli mantık önerir. Bu, değişkenler üzerindeki siparişler üzerinde nicelleştirmeye izin verir. VO oldukça güçlüdür ve hesaplanamayan bazı sorguları ifade edebilir. (Aşağıdaki Arthur Milchior tarafından …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

grafik izomorfizminden farklı başka hangi problemler var ? Bazı referanslar verebilir misiniz?N-P∩ c o A MNP∩coAMNP\cap coAM Güncelleme: bilinmeyen dillerle ilgilendiğimi belirtmeyi unuttum .c o NPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Eğer doğruysa PH'nun çökmesi gerektiğine dair (iyi bilinmeyen) bazı iddialar nelerdir? Referans (lar) ı içeren kısa bir üst düzey iddia içeren cevaplar takdir edilmektedir. Fazla şans olmadan geri aramaya çalıştım.

12 cc.complexity-theory  complexity-classes  big-list 

MAJ hesaplaması için üzerinden bir devrenin minimum ağaç genişliği {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\}nedir? Burada MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} çıkışlarının 1 girişinden en az yarısı 111 . Sadece devrenin büyüklüğünü önemsiyorum (polinom olmalı) ve bir girişin fan çıkışının keyfi olabilmesine rağmen bir girişin sadece bir kez okunması gerekir (bu, devrenin ağaç genişliğini önemli ölçüde …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

ise bütün PH'nun çöktüğünü biliyoruz . Polinom hiyerarşisi kısmen çökerse ne olur? (Veya PH'nin aşağıda değil, belirli bir noktanın üzerine çökebileceğini nasıl anlayabilirim?)P= NPP=NPP=NP Daha kısaca, ve P ≠ N P'nin sonuçları ne olur ?N-P= c o NPNP=coNPNP=coNPP≠ NPP≠NPP\ne NP

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

Aşağıdaki soru karmaşıklık teorisine uygulanan kriptografi fikirlerini kullanmaktadır. Bununla birlikte, bu tamamen karmaşıklık teorik bir sorudur ve cevaplamak için hiçbir kripto bilgisine gerek yoktur. Bu soruyu kasıtlı olarak gayri resmi olarak yazıyorum. Detaylar eksik, muhtemelen biraz yanlış ifade edildi. Lütfen cevaplarınızdaki düzeltmeleri belirtmekten çekinmeyin. Aşağıdaki makalede: Birleştirilemez Şifreleme, Danny Dolev, …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Bir ispat girişimim var ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}. İspat girişimi, Karp'ın⊕P⊕P\oplus \mathbf{P}tamamlanmış problem ⊕⊕\oplus3-DÜZENLİ VERTEX KAPAK SAT. Kübik bir grafik verildi GGG, azalma bir CNF formülü çıkarır FFF aşağıdaki özelliklere sahip: FFF en fazla 111 tatmin edici ödev. FFF ancak tepe noktası sayısının GGG garip. Sorular Hangi sonuçları olacak ⊕P⊆NP⊕P⊆NP\oplus …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Boşluk-hiyerarşi teoreminden fff boşluğa göre yapılandırılabilir ise DSPACE ( ) 'nin DSPACE ( eşit olmadığı bilinmektedir .2f(n)2f(n)2f(n)f ( n ) )f(n))f(n))f(n)) Burada, DSPACE ( , uzayında sabit bir alfabeye sahip bir Turing makinesi tarafından çözülebilen tüm problemlerin sınıfı anlamına gelir . Bu, Uzay-hiyerarşi teoremini böyle bir doğrulukla düşünmeye izin verir.f(n))f(n))f(n))f(n)f(n)f(n) …

11 cc.complexity-theory  complexity-classes 

Mi NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}} ? Veya, daha genel olarak, NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly} ?

11 complexity-classes