«complexity-classes» etiketlenmiş sorular

Hesaplamalı karmaşıklık sınıfları ve ilişkileri

1
için ne gibi kanıtlarımız var
Josh Grochow'un önerisinin ardından, bir önceki sorudan yaptığım yorumu yeni bir soruya dönüştürüyorum. için ne gibi kanıtlarımız var UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP}? Burada UPUP\mathsf{UP} , "evet" örneklerinde benzersiz bir kabul yoluna sahip olan ve "hayır" örneklerinde kabul yolu olmayan polinom zamanı belirleyici olmayan Turing makineleri tarafından tanınan dil sınıfıdır. UP⊆NPUP⊆NP\mathsf{UP} \subseteq …
3
Hangi sınıfta tam olarak% 25 şansla hata yapan rasgele algoritmalar var?
Diyelim ki E (xact) BPP olarak adlandırmamızı sağlayan aşağıdaki BPP varyantını göz önünde bulunduruyorum: Dilin her kelimesini tam olarak 3/4 olasılıkla ve içinde olmayan her kelimeyi kabul eden polinom zaman randomize bir TG varsa bir dil EBPP'de tam olarak 1/4 olasılıkla dil. Açıkçası EBPP BPP'de bulunur, ancak eşit midir? Bu …
1
Bu kenar renklendirme sorununun karmaşıklığı nedir?
Son zamanlarda, aşağıdaki kenar renklendirme çeşidiyle karşılaştım. Bağlı bir yönsüz grafiktir göz önüne alındığında, aynı zamanda kısıtlamasını sağlayan sırasında renk sayısını kullanmaktadır kenarları bir renklendirici bulmak her tepe için e kenarları olay h , en fazla iki renk kullanım.vvvvvv İlk tahminim sorunun NP zor olması. Grafik renklendirme problemleri için klasik …
2
Mı ?
Aşağıdaki makalenin "ilk sayfasının" "son paragrafında": Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "NP Polinom Boyutunda Devreler Varsa, MA = AM," Teorik Bilgisayar Bilimi, 1995. Biraz sezgisel bir iddiayla karşılaştım: ( ΣP2∩ ΠP2)N-P= ΣP3∩ ΠP3(Σ2P∩Π2P)N-P=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 Bence yukarıdaki kimlik aşağıdakilerden …
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 …
1
Bilgi kanıtları için karmaşıklık sınıfları
Greg Kuperberg'in bana sorduğu bir soru, çeşitli bilgi kanıtlarını kabul eden dillerin karmaşıklık sınıflarını tanımlayan ve inceleyen herhangi bir makale olup olmadığını merak ediyorum . SZK ve NISZK gibi sınıflar , tamamen sıfır bilgiyi unutmuş ve onları tam vaat sorunları açısından tanımlamış olsak bile, karmaşıklık açısından son derece doğaldır. Bunun …
3
tam problem örnekleri ?
tam dillerin bir listesine ihtiyacım var . Karmaşık Hayvanat Bahçesi'nde listelenen bu tür iki sorun vardır :Σp2Σ2p\Sigma_2^p Minimum eşdeğer DNF. Bir DNF formülü F ve tamsayı k verildiğinde, F'ye eşdeğer bir DNF formülü var mı veya k'nin daha az değişmezi mi var? En kısa ima. F formülü ve k tamsayısı …
2
Karmaşıklık sınıfı operatörleri için iyi bir referans mı?
Karmaşıklık sınıfı operatörleri hakkında yazarken başvurabileceğim iyi açıklayıcı makaleler veya anketler olup olmadığını merak ediyorum : karmaşıklık sınıflarını nicelleştiriciler gibi şeyler yaparak dönüştüren operatörler. Operatör örnekleri Aşağıdakiler, bir cevabın tanımlayabilmesi gereken minimum bir operatör listesi olarak yorumlanabilir. Burada, CC\mathbf C keyfi bir sonlu alfabe üzerinde rastgele bir dil kümesidir ΣΣ\Sigma. …
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. …
2
Alt doğrusal zaman algoritmaları bulunan problemlerin karakterizasyonu
Alt doğrusal zaman (girdi boyutunda) algoritmalarının var olduğu problemlerin spesifik özelliklere sahip olarak karakterize edilip edilemeyeceğini merak ediyordum. Bu, alt doğrusal zamanı (örneğin özellik testi, karar problemleri için alternatif bir yaklaşım kavramı), alt doğrusal alanı (örn. Turing makinesinin salt okunur bir bant, alt doğrusal bir çalışma alanı ve salt yazılabilir …
1
LogDCFL-complete sorunları
LogCFL , bağlam içermeyen bir dile günlük alanı azaltılabilen tüm diller kümesidir. Benzer şekilde LogDCFL, günlük alanı deterministik bağlamdan bağımsız bir dile indirgenebilen tüm diller kümesidir. LogCFL ile ilgili bazı doğal sorunlar için bu wikipedia makalesine bakın . LogCFL-complete ile ilgili birkaç ilginç sorun daha var. LogDCFL ile ilgili herhangi …
1
Unitarity'yi askıya alırsanız kesin “kuantum” hesaplama ne kadar güçlü?
Kısa Soru. Üniter olmayan (ancak yine de tersine çevrilebilir) kapılara izin verirsek ve çıkışın kesin olarak doğru cevabı vermesini gerektiriyorsa, "kuantum" devrelerinin hesaplama gücü nedir? Bu soru, devrelerin üniter kapılardan daha fazlasını kullanmasına izin verdiğinizde sınıfına ne olduğu ile ilgilidir EQPEQP\mathsf{EQP}. ( İyi tanımlanmış bir hesaplama modeline sahip olmak istiyorsak, …
1
Negatif Olmayan Kalıcı Düzgün Karmaşıklık
Son yirmi yıldır Daimi olan üzerinde fantastik çalışmalar yapıldı. Bir süredir Negatif Olmayan Matrisler için Pürüzsüz P algoritması olasılığını merak ediyorum. Tabii ki ünlü JSV algoritması var ama bu bir fpra. Smoothed Complexity içindeki diğer çalışmaları düşünmek, Smoothed P'de olmanın güçlü bir ipucu fpras / Portedopolynomial algoritmasının varlığıydı. Düzgünleştirilmemiş P'de …
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.