«complexity-classes» etiketlenmiş sorular

P! = NP'nin kanıt olmadan bile inandığına inanmak için sıkça alıntı yapılan bir felsefi gerekçe vardır. Diğer karmaşıklık sınıfları, farklı olduklarına dair kanıtlara sahiptir, çünkü olmasa da, "şaşırtıcı" sonuçlar (polinom hiyerarşisinin çöküşü gibi) olacaktır. Sorum şu: PPAD sınıfının anlaşılmaz olduğuna inanmanın temeli nedir? Nash dengesini bulmak için bir polinom zaman …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

Etrafında tonlarca tamamlanmış NP sorunu var ve bunları toplayan kaynaklar var, örneğin Garey ve Johnson'ın kitabına bakınız. NEXP-komple sorunların bir listesini de görmek isterim. Bir tane var mı? Var olmadığını varsaydığım gibi bu soruyu açıyorum (bunun bir topluluk wiki olması mı gerekiyor? Bu şeyleri bilmiyorum). İdeal olarak, liste NEXP-komple sorunların …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

NP = PSPACE'in kötü sonuçları ne olurdu? Bu sınıfların en ünlüsü olduğuna göre, bunun hakkında hiçbir şey bulamadığım için şaşırdım. Özellikle, alt sınıflar üzerinde herhangi bir sonucu olur mu?

30 cc.complexity-theory  complexity-classes  conditional-results 

P = NP'nin doğru olduğunu varsayalım. Daha sonra, belirli problemleri daha hızlı çözme gibi bir kuantum bilgisayarı inşa etmek için pratik bir uygulama var mı ya da P = NP'nin doğru olduğu gerçeğine dayanarak böyle bir gelişme alakasız olur mu? P! NP'nin olduğu bir dünyaya karşı P = NP olduğu …

29 cc.complexity-theory  complexity-classes  quantum-computing 

Bu tahmin ediliyor olduğu tersi anlamına zira . Ladner'ın teoremi, eğer \ mathsf {P} \ ne \ mathsf {NP} o zaman \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ fincan \ mathsf {P}) \ ne \ emptyset . Bununla birlikte, ispat \ mathsf {P} / …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

Log-space -iform NC, deterministik polylog uzayında bulunur (bazen PolyL yazılıdır). Log-space -iform RNC de bu sınıfta mı? PolyL'in standart randomize sürümü PolyL'de olmalıdır, ancak (tek tip) RNC'nin randomize-PolyL içinde olduğunu görmüyorum. Gördüğüm zorluk, RNC'de devrenin istediği kadar "rastgele bitlere bakabilmesi"; yani, rastgele girdiler isteğe bağlı olarak ayrılabilir. Fakat PolyL'in randomize …

28 complexity-classes  randomized-algorithms 

"Karmaşıklığı saymada zafer ilan etme zamanı mı?" Başlıklı yazıyı okurken. üzerinden en "Godel'in Kayıp Mektubu ve p = NP" blog, onlar CSP en için ikilemi söz etti. Bazı bağlantıların ardından, googling ve wikipeding, Ladner Teoremine rastladım : Ladner Teoremi: Eğer P≠NPP≠NP{\bf P} \ne {\bf NP} , daha sonra sorunlar var …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Parity-L , sadece bir çift veya tek sayıda "kabul" yolu (sıfır veya sıfır olmayan sayıda kabul yolu) arasında ayrım yapabilen ve belirleyici olmayan bir Turing makinesi tarafından tanınan dil grubudur. ayrıca logaritmik uzayda çalışmakla sınırlıdır. Doğrusal denklem sistemini over 2 üzerinden çözmek, Parity-L için tam bir sorundur ve bu nedenle …

27 cc.complexity-theory  complexity-classes  conditional-results 

Shiva Kintali sadece (! Serin) bir açıkladı neden olan genişliğinin sınırlı treewidth grafikler için grafik izomorfizm olan ⊕ L -Sert≥ 4≥4\geq 4⊕ L⊕L\oplus L . Gayriresmi olarak sorum şu, "Bu ne kadar zor?" Uniformiformly , bu sorunun cevabını bakın biliyoruz . Biz de olası olduğunu biliyoruz ⊕ L = P …

26 cc.complexity-theory  complexity-classes  logspace 

Grafiklerin Kısa Temsil gösterimi üzerine bir araştırma Galperin ve Wigderson tarafından 1983 tarihli bir makalede başlamıştır, burada bir grafikte bir üçgen bulmak gibi birçok basit problem için, içindeki kısaltılmış versiyonun . Papadimitriou ve Yanakkakis, bu araştırma hattını daha da ileriye götürdü ve bir problem için olan / olan bir problem …

26 cc.complexity-theory  reference-request  complexity-classes 

#P = FP'nin sonuçları hangisidir? Hem pratik hem de teorik sonuçlarla ilgileniyorum. Pratik açıdan, Yapay Zeka ile ilgili sonuçlara özellikle ilgi duyuyorum. Bildirilere veya kitaplara işaretçiler daha fazla açığız. Lütfen #P = FP'nin P = NP anlamına geldiğini söyleme, bunu zaten biliyorum. Ayrıca, “algoritma zaman içinde çalışırsa pratik sonuçların , …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

İçinde herhangi bir doğal sorunları var mı değilsiniz (olduğu bilinen / olduğu düşünülen) ?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Açıkçası, herkesin bildiği büyük olanı , faktoringin karar versiyonudur (n'nin en fazla k boyutunda bir faktörü yoktur), ama aslında .NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP

26 cc.complexity-theory  complexity-classes  np 

Son zamanlarda, Ryan Willams, Doğal karmaşıklık sınıflarının ayrılmasını sağlamak için kaçınılmaz olduğunu kanıtladı: ve . N E X PN-EXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} Doğal , devre karmaşıklığındaki tüm birleşimsel kanıtların yerine getirdiği ve (veya başka bir "zor" karmaşıklık sınıfında) hedef işlevinin , çalışan bir algoritma tarafından "zor" bir özelliğe sahip olup olmadığına karar …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

Hey numarasının karmaşıklık sınıflarını yukarı - örneğin . Dönüşüm çalışan, girdi "şişirme" eserlerini doldurma (diyelim dan söylemek için sen yastıklı girişine çalışabilir bir "sihirli" algoritmasını verir). Bu teknik anlamda mantıklı olsa da, bunun nasıl çalıştığını iyi anlayamıyorum. Burada tam olarak ne oluyor? Dolgu ne için basit bir benzetme var mı?N …

25 cc.complexity-theory  complexity-classes  padding 

Bu, Zaten Bilinen Her NP Dilinde Tanıklık Üyeliği Boyutu Sorusu ile ilgilidir. Bazı doğal NPNP\mathsf{NP} (tamamlanmış) problemlerin doğrusal uzunluk tanıkları vardır: için tatmin edici bir atama SATSATSAT, H A M P A T için bir dizi köşe , vb..HAMPATHHAMPATHHAMPATH Karmaşıklık sınıfını “ lineer uzunluk tanıklarıyla sınırlı ” P olarak kabul …

24 cc.complexity-theory  complexity-classes  np