«p-vs-np» etiketlenmiş sorular

Gowers kısa süre önce , çözümü devre alt sınırlarını kanıtlamakla ilgili olan "ayrık Borel belirliliği" adını verdiği bir sorunu özetledi . Karmaşıklık teorisyenlerinin bir kitlesine uyarlanmış yaklaşımın bir özetini verebilir misiniz? Bu yaklaşım kanıtlamak için daha ne alacağını şey yeniden ispatı bilinen alt sınır dahil?

16 cc.complexity-theory  p-vs-np 

Hepimiz biliyoruz ki bariyerleri var. Hepimiz bu engelleri inceledik çünkü P ≠ N P'ye inanıyoruz .P≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP Ancak olduğunu varsayın ve olasılığın var olduğuna inanan bilge insanlar vardır . Gerçekten durum buysa, iyi bir algoritma görmediğimiz gerçeği, bu alternatif evrende de engeller olabileceğini gösterir. Ait sağlamasının P ≠ N …

15 p-vs-np  barriers 

Anladığım kadarıyla, P = NP veya P ≠ NP'nin relativize edilemez olması gerektiğine dair bir kanıt (özyineleme teorisi kehanetlerinde olduğu gibi). Bununla birlikte, neredeyse tüm kanıtlar göreli olabilir. Relativize edilemeyen kanıtlara, P = NP / P proof NP kanıtlarının olması gerekecek, önemsiz veya çelişkili olmayan iyi örnekler nelerdir ? (Ben …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

Bir matematik geçmişinden geliyorlarsa, tüm bilgisayar bilim adamlarının olduğu varsayımı altında çalışmaya eğilimli oldukları bana ilginç geliyor P≠NPP≠NPP \neq NP. Her iki şekilde de bir kanıt olmasa da, genellikle, hem matematik hem de bilimde bir şey kanıtlanmamışsa, adil bir güçle alınır. İnsanların çürütmeye çalışırken harcadığı yıllar ve yıllarda P=NPP=NPP = …

12 p-vs-np 

1979'da Hopcroft / Ullman , L ⊆ P ⊆ NP ⊆ PSpace'in bilindiğini yazdı, ancak L ⊊ PSpace, tek başına uygun (ve önemsiz) bir sınırlama olsa da, hepsi uygun sınırlar olarak tahmin edildi ve "işlerin hala nerede olduğu" ~ 4 yıl sonra . o zamandan beri L ⊊ P, P …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Sunacağım fikrini ilk ortaya koyan ben olmadığımdan oldukça eminim. Ancak, fikirle ilgili herhangi bir literatür bulabilirsem faydalı olacaktır. Fikir, P = NP ise M'nin 3-SAT'ı polinom zamanda çözeceği özelliğine sahip bir Turing Makinesi M oluşturmaktır. (3-SAT seçimi keyfidir. NP'de gerçekten herhangi bir sorun olabilir). Açıkça söylemek gerekirse, bu bir P …

12 reference-request  turing-machines  p-vs-np 

bir NP tam arama sorununu, örneğin SAT arama formunu düzeltin . Levin araması X'i çözmek için bir anlamda optimal olan bir algoritma L sağlar . Özellikle, algoritma " Bazı x P yanıtını doğru test edip yanıtlamadığını sorduktan sonra x girişindeki tüm olası P programlarını çalıştır ." X'i zaman karmaşıklığı ile …

12 cc.complexity-theory  time-complexity  p-vs-np 

Geçenlerde Clay Math Institute'ta Stephen A. Cook tarafından açıklandığı gibi ve problemini hatırlattım .PP\mathsf{P}N PN-P\mathsf{NP} Bu benim ilgimi uyandırdı ve ben bu konuda daha fazla bilgi edinmek istiyorum. İlk adım, sorunun daha derin bir şekilde anlaşılması ve genel olarak bölgenin anlaşılması olacaktır. Sorun hakkında daha fazla bilgi edinebileceğim herhangi bir …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Aşağıdaki soru karmaşıklık teorisine uygulanan kriptografi fikirlerini kullanmaktadır. Bununla birlikte, bu tamamen karmaşıklık teorik bir sorudur ve cevaplamak için hiçbir kripto bilgisine gerek yoktur. Bu soruyu kasıtlı olarak gayri resmi olarak yazıyorum. Detaylar eksik, muhtemelen biraz yanlış ifade edildi. Lütfen cevaplarınızdaki düzeltmeleri belirtmekten çekinmeyin. Aşağıdaki makalede: Birleştirilemez Şifreleme, Danny Dolev, …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Her şeyden önce, Gödel'in eksiklik teoremi (ve genel olarak biçimsel mantık) hakkındaki anlayışım çok naif, aynı zamanda teorik bilgisayar bilimi hakkındaki bilgim (hala bir lisanstayken alınan sadece bir lisansüstü ders anlamına geliyor), bu yüzden bu soru çok saf. Bulabildiğim kadarıyla, P'nin NP'ye karşı olasılığı açık bir sorundur. Şimdi: Gödel'in ilk …

11 np-hardness  proofs  p-vs-np 

NP'nin coNP'ye eşit olup olmadığı sorusuyla ilgileniyorum. Konuyla ilgili okumak için iyi yayınlar hakkında bazı tavsiyelerde bulunmaktan memnuniyet duyarım. Kayıt için, bu sorunun P'nin NP'ye eşit olup olmadığı sorusuna sıkı sıkıya bağlı olduğunu biliyorum (NP! = CoNP ise P! = NP ise). Şerefe Derek

11 cc.complexity-theory  reference-request  p-vs-np 

Stephen Cook'un P'ye karşı NP sorununa ilişkin makalesinde [1] şunları ifade eder [2]: Fizibilite Tezi: Doğal bir problemin, polinom-zaman algoritması varsa uygulanabilir bir algoritması vardır. Benim sorum, “ doğal bir sorun” ile tam olarak ne demek (ya da genel olarak ne demek) ? Sorunların doğal olmasından bahsetmek yeterince yaygın görünmektedir, …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Diyelim ki P! = NP. 3-SAT örneklerini her zaman kolay yapabileceğimizi biliyoruz. Zor örnekler olduğuna inandığımız şeyi de üretebiliriz (çünkü algoritmalarımız bunları hızlı bir şekilde çözemez). Belirli bir örnek boyutu (n) için yalnızca Poli (n) veya daha küçük boyutlu Poli (n) (hatta sabit) örnekler olduğu sürece, sert örnek kümesinin keyfi …

9 np-hardness  p-vs-np