«np» etiketlenmiş sorular

NP Belirsiz Polinom zamanı anlamına gelir.

1
NP-Genelleştirilmiş 15-yapboz için karar probleminin tamlığı
Tüm verilen sayıları sıralayana kadar blokları kaydırmanız gereken ünlü 15 bulmacanın doğal genelleştirilmesi ile ilgileniyorum (genellikle 1 blok boşluk vardır). Şimdi genelleme , bir alanın boş olduğu yerde bulmacanın boyutunu 15'ten kadar uzatmak olacaktır . Küçük bir çizim oluşturdum (kesikli oklar izin verilen hareketleri ve alt konfigürasyonda çözülen bulmacayı gösterir):p×qp×qp …
6
“Büyük” tanıklarla doğal NP-komple sorunlar
Cstheory sorusu “ NP, doğrusal boyut tanıklarıyla sınırlıdır? ” Sorusunu sorar, NP sınıfı lineer boyutla sınırlıdır , fakat O(n)O(n)O(n) tanık olur. Var mıdır doğal NP-tam problemler boyutu içinde (evet) örneklerini nnn daha boyutunun daha fazla tanık gerektiren nnn ? Açıkça şöyle yapay problemler yapabiliriz : L={1nw∣w encodes a satisfiable formula …
3
PH'da olmadığı bilinen ancak P = NP ise P'de olacak bir karar sorunu
Düzenleme : As Ravi Boppana doğru bir şekilde işaret onun cevabını ve Scott Aaronson da başka bir örnek eklendi onun cevabı , bu sorunun cevabı Ben hiç beklemiyordu bir şekilde “evet” olduğu ortaya çıktı. İlk önce sormak istediğim soruyu cevaplamadıklarını düşündüm , ancak bazı düşüncelerden sonra, bu yapılar sormak istediğim …
2
inanma nedenleri (ya da değil)
Görünüşe göre birçok insan kısmen, faktoringin polytime çözülebilir olmadığını düşündüğü için inanmaktadır. (Shiva Kintali burada birkaç aday problem daha listeledi ).P≠ NP∩ c o NPP≠NP∩coNPP \ne NP \cap coNP Öte yandan, Grötschel, Lovász ve Schrijver olduğunu yazdım "birçok kişi inanıyoruz ." Bu alıntı Geometrik Algoritmalar ve Kombinatoryal Optimizasyonda bulunabilir ve …
7
NP’de önemsiz üyelik
bir dilin örneği var mı NPNPNP, ancak bu gerçeği doğrudan bu dilin üyeliğine dair çok sesli bir tanık olduğunu göstererek kanıtlayamadığımız bir yer var mı? Bunun yerine, dilin olduğu gerçeği, bu ikisi arasındaki bağlantının önemsiz olmadığı ve dikkatli bir analiz gerektirdiği N P'dekiNPNPNP başka bir dile indirgenerek kanıtlanmış olacaktır .NPNPNP …
27 reductions  np 
2
Etkili kuantum çözeltilerle NP-ara problemler
Peter Shor faktoring ve ayrık kütük probleminin en önemli NP-ara problemlerinden ikisinin BQP'de olduğunu gösterdi . Buna karşılık, SAT için en iyi bilinen kuantum algoritması (Grover'ın araması), klasik algoritma üzerinde sadece ikinci dereceden bir gelişme sağlar; NP-tamamlanmış sorunların hala kuantum bilgisayarlarda anlaşılmaz olduğunu ima eder. Arora ve Barak'ın işaret ettiği …
3
Doğal problemler değil ?
İç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
4
En iyi bilinen deterministik zaman karmaşıklığı NP'deki doğal bir problem için daha düşük bağ
Bu cevap için Major teorik bilgisayar bilimi sorunları çözümsüz? Soru, NP'deki belirli bir sorunun zaman gerektirmesi durumunda açık olduğunu belirtir .Ω(n2)Ω(n2)\Omega(n^2) Cevap altındaki yorumlara bakmak beni şaşırttı: Dolgu ve benzer püf noktalarının yanı sıra, NP'deki ilginç bir problem için (doğal olarak belirtilmiş ) deterministik bir RAM makinesinde (veya çoklu-bant deterministik …
1
Nedir
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 …
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 …
2
Ne güçlü anlamda NP-zor ne de psödopolinom algoritması olan NP-tamamlanmış problemler var mı?
Onların içinde kağıt (s 503). Garey ve Johnson sözler: ... ne NP-tam ne de güçlü anlamda NP-tam olmayan bir sahte-polinom zaman algoritması ile çözülebilir bir problem olabilir ... Yukarıda belirtilen özelliklerle ilgili bazı aday sorunları bilen var mı? Bu sorunun olası cevabının sıradan anlamda NP-tam sorunlarının bir listesi olabileceğini düşünüyorum, …
2
CNF-SAT için deterministik olmayan bir doğrusal zaman algoritması var mı?
Karar problemi CNF-SAT aşağıdaki gibi tanımlanabilir: Girdi: Normal normal formda bir boole formülü .ϕϕ\phi Soru: sağlayan değişken bir atama var mı?ϕϕ\phi Belirleyici olmayan iki bantlı bir Turing makinesi ile CNF-SAT'ı çözmek için birkaç farklı yaklaşım düşünüyorum . CNF-SAT'ı adımlarında çözen bir NTM olduğuna inanıyorum .n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot \texttt{poly}(\log(n)) Soru: adımlarda CNF-SAT'ı …
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.