«conditional-results» etiketlenmiş sorular

X'i hipotez olarak ekleyin; burada X, doğru veya yanlış olarak bilinmez.

5
Karmaşıklık teorisinin matematiksel yansımaları TCS dışındaki varsayımlar
Karmaşıklık teorisindeki (standart) varsayımların diğer matematik alanlarındaki (yani teorik bilgisayar bilimi dışındaki) ilginç sonuçlarını biliyor musunuz? Cevapları tercih ederim nerede: karmaşıklık teorisi varsayımı mümkün olduğunca genel ve standarttır; Belirli sorunların sertliğinin sonuçlarıyla da iyiyim, ancak sorunların çok zor olduğuna inanılıyorsa (ya da en azından birkaç makalede daha fazla çalışılmışsa) iyi …
4
P = RP için hangi özel kanıtlar var?
RP , polinom zamanında sona eren ve aynı zamanda tek taraflı bir hataya izin verilen, belirli olmayan bir Turing makinesi tarafından çözülebilen sorunların sınıfıdır. P, polinom zamanında sonlanan deterministik bir Turing makinesi tarafından çözülebilen olağan problem sınıfıdır. P = RP, devre karmaşıklığındaki bir ilişkiden sonra gelir. Impagliazzo ve Wigderson , …
1
Sonuçları
İken Adleman teoremi olduğunu gösterileri, , ben dahil edilmesini araştıran herhangi bir yayının farkında değilim B Q P ⊆ P / poli . Böyle bir dahil etmenin ne gibi karmaşıklık-teorik sonuçları olur?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} Adleman'ın teoremine bazen "derandomizasyon argümanlarının öncüsü" denir. arasında "kuantumluluğu" dair bir kanıt olmamasına karşın, …
1
NP'deki problemler, ancak Ortalama-P / poli'de değil
Karp-Lipton Theoem bildiren ise , daha sonra çöker . Bu nedenle, ve , sorunu ait olmayacaktır .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Aşağıdaki soru ile ilgileniyorum: Varsayarsak çökmez veya yapısal karmaşıklığı başka makul bir varsayım varsayarak ne sabit ne ortalamanın problemler vardır kanıtlanmış içinde yalan değil (varsa)?PHPH\mathsf{PH} NPNP\mathsf{NP}Average-P/polyAverage-P/poly\mathsf{Average\mbox{-}P/poly} bir tanımı Ortalama-durum ve En …
1
UP'nin sonuçları NP'ye eşittir
2011/02/08 tarihinde DÜZENLEME: Bazı referansların bulunması ve okunmasından sonra, orijinal soruyu iki ayrı soruya ayırmaya karar verdim. UP ve NP ile ilgili bölüm, sözdizimsel ve anlamsal sınıflar bölümü için sözdizimsel ve anlambilimsel sınıflar için Faydalara bakınız . UPUP\mathsf{UP} (belirsiz polinom zamanı,referanslar içinwiki'yevehayvanat bahçesinebakın),ek bir kısıtlamaya sahipmakineleritarafından karar verilen diller olarak …
4
P = BQP ise, bu PSPACE (= IP) = AM anlamına mı geliyor?
Son zamanlarda Watrous ve arkadaşları QIP (3) = PSPACE'in dikkate değer bir sonuç olduğunu kanıtladı. Bu, en azını söylemek benim için şaşırtıcı bir sonuçtu ve beni düşünmeye itti ... Quantum Bilgisayarların Klasik Bilgisayarlar tarafından verimli bir şekilde simüle edilebileceğini merak ettim. Bu, IP ve AM arasındaki Bölme ile ilgili SADECE …
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 …
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 …
3
PH = PSPACE'in sonuçları ne olurdu?
Yakın zamanda soru (bkz NP = Pspace Sonuçlarını ) arasında "pis" sonuçları istedi . Cevaplar ve diğerleri de dahil olmak üzere inanmak için birçok neden sağlayarak birkaç çöküş sonucunu listeler .NP=PSPACENP=PSPACENP=PSPACENP=coNPNP=coNPNP=coNPNP≠PSPACENP≠PSPACENP\neq PSPACE Biraz daha az dramatik bir çöküşün sonuçları ne olurdu ?PH=PSPACEPH=PSPACEPH=PSPACE
2
Üzerinde PIT Sonuç açısından verimli bir algoritma olmamasından
Verilen gibi katsayıları olduğu içinde kalan , yapar ambar?p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q Schwartz-Zippel lemması, genel alanlar ve ve bu sorun için etkili bir randomize algoritma olduğu için burada geçerlidir.Z⊂QZ⊂Q\Bbb Z\subset\Bbb Q Bu sorunun etkin bir derandomizasyona sahip olmasını bekliyoruz. Bu sorunun etkili bir derandomizasyona sahip olmaması durumunda sonuç ne olur?
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.