«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

1
Belirsiz ve deterministik mekan arasındaki ikinci dereceden ilişki?
Savitch teoremi gösteren tüm yeterince büyük fonksiyonlar için fN S P A C E (f( n ) ) ⊆ D S P A C E ( f( n )2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff ve bu sıkı yıllardır açık bir sorun olmuştur kanıtlayan . Soruna diğer uçtan yaklaştığımızı varsayalım. Basit olması için Boole …
3
Turing makinelerinin “kategorisi”?
Feragatname: Karmaşıklık teorisi hakkında çok az şey biliyorum. Üzgünüm ama bu soruyu (çok) özlü olmadan sormanın hiçbir yolu yok: Turing makinelerinin "" kategorisindeki morfizmler ne olmalı? Bu açıkça özneldir ve kişinin teori hakkındaki yorumuna bağlıdır, bu nedenle bu soruya bir cevap ideal olarak yanıtı destekleyen bazı kanıtlar ve akıl yürütme …
3
Zaman sınıflarını ayırma
Bir öğrencim yakın zamanda şu soruyu soruyor: varsayınBir bulunmalıdır H (n) bu şekilde DTime (f (n)) \ subsetneq DTime (s (n)) \ subsetneq DTime (g (n))?DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h(n)h(n)h(n)DTIME(f(n))⊊DTIME(h(n))⊊DTIME(g(n))?DTIME(f(n))⊊DTIME(h(n))⊊DTIME(g(n))?DTIME(f(n)) \subsetneq DTIME(h(n)) \subsetneq DTIME(g(n))? Eğer f, g zamanla yapılandırılabilirse bu muhtemelen bir h (n) yapılarak doğru gösterilebilir . Ancak genel olarak, buna …
2
Bilinen çelişkili relativizasyonlar olmadan potansiyel olarak eşit karmaşıklık sınıfları
Karmaşıklık sınıfları çiftlerinin örnekleri nelerdir ve bu türAAABBB olup olmadığını bilmiyoruz veA=BA=BA=B çelişkili relativizations bilgi yoktur ya (diğer bir deyişle, bildiğimiz yok Kehanetlerini ve öyle ki ve )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Soruyu başka bir şekilde ifade etmek için, çelişkili görelilikleri çözemezseniz eşitlik sorusunu açıkça çözmenin kolay olduğu sezgisel istisnalar …
2
içindeki öğrenilebilirlik durumu hakkında
Eşik kapıları ile ifade edilebilir fonksiyonların karmaşıklığını anlamaya çalışıyorum ve bu beni yol açtı . Özellikle, şu anda içinde öğrenme hakkında bilinenlerle ilgileniyorum , çünkü bölgede uzman değilim.T C 0T C0TC0\mathsf{TC}^0T C0TC0\mathsf{TC}^0 Şimdiye kadar keşfettiğim şey: Tüm , Linial-Mansour-Nisan aracılığıyla tekdüze dağılım altında quasipolinom zamanda öğrenilebilir .A C0birC0\mathsf{AC}^0 Bunların kağıt …
3
Hiyerarşi teoremleri olmadan karmaşıklık sınıfı ayrımları
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. …
4
Yönlendirilmiş grafiklerde NP-Komple ancak yönlendirilmemiş grafiklerde polinom olan grafik problemleri
Yönlendirilmiş grafikler için NPC olduğu bilinen ama yönlendirilmemiş grafikler için bir polinom algoritması olan sorunları arıyorum. Burada "Yönlendirilmemiş" sorunların "yöneltilmemiş" varyantından daha kolay olan diğer yönüyle ilgili soruyu gördüm , ancak yönlendirilen tarafta sertlik arıyorum. Örneğin, Geri Besleme kenarı kümesinin yönlendirilmiş üzerinde NPC olduğu, ancak yönlendirilmemiş grafiklerde polinom zamanı çözülebildiği …
2
Bir NFA, aynı normal dilin minimum Belirsiz Sonlu Otomatı (UFA) ile karşılaştırıldığında ne kadar küçük olabilir?
Belirsiz Sonlu Otomatlar (UFA), deterministik olmayan sonlu otomatlardır (NFA). Bir NFA denir kesin her kelime eğer En az bir kabul yolu vardır.w ∈ Σ*w∈Σ*w\in \Sigma^* Bu anlamına gelir .D FA ⊂ UFA ⊂ NFbirDFbir⊂UFbir⊂N-FbirDFA\subset UFA\subset NFA Bilinen ilgili otomat sonuçları: NFA minimizasyonu PSPACE-Complete'tir. Sonlu diller üzerinde NFA minimizasyonu DP-Hard'dır . …
2
Negatif olmayan tamsayılarda doğrusal diofantin denklemi
Negatif olmayan tamsayılarda lineer diofantin denklemini çözmede NP-tam problemi hakkında bulabileceğim çok az bilgi var. Yani, negatif olmayan denklemine bir çözüm var mı, burada tüm sabitler pozitif mi? Bu sorunun bildiğim tek kayda değer sözü Schrijver'in Doğrusal ve Tamsayılı Programlama Teorisinde . Ve o zaman bile, bu oldukça sıradan bir …
1
Determinantın tahmini sonuçları
Birinin matrisinin determinstik uzayında belirleyiciyi tam olarak hesaplayabildiği bilinmektedir . Rastgele logaritmik alanda en çok ( ) gerçek bir matrisin determinantına yaklaşmanın karmaşıklık sonuçları, örneğin 1 / \ text {poly } doğruluk?n × nn×nn\times ngünlük2( n )log2⁡(n)\log^2(n)1111 / poli∥ A ∥ ≤ 1‖A‖≤1\left\|A\right\|\leq 11 / poli1/poly1/\text{poly} Bu bağlamda, sorulması gereken …
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.