«structural-complexity» etiketlenmiş sorular

Yapısal Karmaşıklık Teorisi

4
sonuçları nelerdir
Bunu biliyoruz L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} ve L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Ayrıca biliyoruz polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}çünkü ikincisi logaritmik uzay altında birçok problemi azaltırken, birincisi bunu yapmaz (uzay hiyerarşi teoremi nedeniyle). Arasındaki ilişkileri anlamak için polyLpolyL\mathsf{polyL} ve PP\mathsf{P} , ilk arasındaki …
1
Algoritmalar ve yapısal karmaşıklık teorisi
Hesaplamalı karmaşıklık teorisindeki ve özellikle de "yapısal" karmaşıklık teorisindeki birçok önemli sonuç, bazıları için etkili bir algoritma veya iletişim protokolü veren algoritmik sonuçlardan temelde takip ettiği (anlaşıldığı gibi) anlaşılabileceği ilginç özelliğe sahiptir. sorun. Bunlar aşağıdakileri içerir: IP = PSPACE , etkileşimli protokolleri simüle eden, alan verimli özyinelemeli bir algoritmadan ve …
1
PSPACE'i polinom hiyerarşisinden ayıran minimum karmaşıklık kehaneti nedir?
Arka fon Bir torpil var olduğu bilinmektedir AAA öyle ki, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Ayrılmanın rastgele bir kehanete göre olduğu bile bilinmektedir. Gayri, bir çok sayıda ürün kahinler olduğu anlamına bu yorumlayabilir PSPACEPSPACEPSPACE ve PHPHPH ayrıdır. Soru Karmaşık nasıl ayrı bu Kehanetlerini olan PSPACEPSPACEPSPACE ile ilgili PHPHPH . Özel olarak, …
3
Algoritmaların Tam Simülasyonu ve Karmaşıklık Sınıfları Üzerine İlgili Bir İşlem Ne Kadar Zor
Tanıtım Sorun çok uzun olduğu için burada özünü yakalayan özel bir durum var. Sorun: A, 3-SAT için bir yönetimsel algoritma olsun. A algoritmasını (sorunun her örneğinde) tamamen simüle etme problemidir. P-Space sert mi? (Daha doğrusu, bu görevin P-Space zor olduğuna inanmak için nedenler var mı, bu yönde bir şey standart …
1
vs
Bizim son çalışmamızda, varsayımı altında, kombinatoryal bağlamda ortaya çıkan bir hesaplama sorunu çözmek , ise ait -version . ilgili tek yazı , Beigel-Buhrman-Fortnow 1998 makalesinde yer alan Karmaşıklık Hayvanat Bahçesi . problemlerinin eşlik sürümlerini alabileceğimizi anlıyoruz ( bu soruya bakın ), ancak belki de birçoğu . ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP}E X …
2
NP tam dilinin poli zaman süper kümesi, sınırsız sayıda dizeden hariç tutulur
Herhangi bir keyfi NP tam dili için her zaman tamamlayıcısı da sonsuz olan bir çoklu zaman süper kümesi var mı? Https://cs.stackexchange.com/q/50123/42961 adresinden süper kümeyi sınırsız bir tamamlayıcıya sahip olmayacak önemsiz bir sürüm istenmiştir. Bu sorunun amaçları için olduğunu varsayabilirsiniz . Vor'un açıkladığı gibi, P = N P ise cevap "Hayır" …
1
Can ardaşımı simüle edilmesine ?
Let Turing makineleri alternatif karar dillerin sınıf olarak bu zaman halt alanı kullanılarak . Let durdurmak kullanarak bu Turing makineleri alternatif karar dillerin sınıf olarak değişmeleri ve boşluk .ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n))f(n)f(n)f(n)g(n)g(n)g(n)AALTSP(f(n),g(n))AALTSP(f(n),g(n))\mathsf{AALTSP}(f(n), g(n))f(n)f(n)f(n)g(n)g(n)g(n) Ruzzo , olduğunu kanıtladı . Ayrıca .NCk=ATISP(logkn,logn)NCk=ATISP(logk⁡n,log⁡n)\mathsf{NC}^k = \mathsf{ATISP}(\log^k n, \log n)NCk⊆AALTSP(logkn,logn)⊆NCk+1NCk⊆AALTSP(logk⁡n,log⁡n)⊆NCk+1\mathsf{NC}^k \subseteq \mathsf{AALTSP}(\log^k n, \log n) \subseteq \mathsf{NC}^{k …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.