«hierarchy-theorems» etiketlenmiş sorular

Devre karmaşıklığı için bir boyut hiyerarşi teoreminin bölgede önemli bir atılım olabileceğini düşünüyorum. Sınıf ayrımına ilginç bir yaklaşım mı? Soru için motivasyon: ebadı devreleri ile hesaplanamayan ve f ( n ) < o ( g ( n ) ) olduğu bir g ( n ) ebadı devresi ile hesaplanabilecek bazı …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

Hiyerarşi teoremleri temel araçlardır. Bunlardan çok sayıda daha önceki bir soruda toplanmıştır (bkz. Hangi hiyerarşi ve / veya hiyerarşi teoremlerini biliyorsunuz? ). Bazı karmaşıklık sınıfı ayrımları doğrudan hiyerarşi teoremlerinden gelir. Bu iyi bilinen ayırma örnekleri: , , , .L≠PSPACEL≠PSPbirCEL\neq PSPACEP≠EXPP≠EXPP\neq EXPNP≠NEXPN-P≠N-EXPNP\neq NEXPPSPACE≠EXPSPACEPSPbirCE≠EXPSPbirCEPSPACE\neq EXPSPACE Ancak, her ayrım bir hiyerarşi teoreminden kaynaklanmaz. …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

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 

Devre derinliği için ne tür bir hiyerarşi teoremleri vardır? Gibi ifadeler Eğer g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n)) ve f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)} daha sonra .SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

Biz biliyoruz ki L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P}. Savitch Teoreminden,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2Uzay Hiyerarşisi Teorem'den, L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2. Yani, bilmediğimiz gibiL≠PL≠P\mathcal L\neq\mathcal P, bilmiyoruz L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P, ya da biliyor muyuz L2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal P? Herkes olduğunu kanıtlamaya çalışıyor mu? Bu şekilde en son sonuçlar veya çabalar nelerdir? Bu konu hakkında bir anket yazmaya çalışıyorum, ancak alakalı bir şey …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems