«np-complete» etiketlenmiş sorular

Öğretim üyem açıklama yaptı Herhangi bir sonlu problem NP-Complete olamaz O sırada Sudoku'nun 8x8 Sudoku için sınırlı bir dizi çözüm olduğunu söyleyen bir şey söyleyerek konuşuyordu ama tam olarak ne dediğini hatırlayamıyorum. Alıntıladığım notu yazdım ama hala anlamıyorum. Eğer yanılmıyorsam Sudoku'nun NP'si tamamlandı. Klips problemi de NP-Complete ve 4-Clique problemim …

13 np-complete  np 

varsayın .P≠NPP≠NPP\neq NP Tüm NP-tamamlama sorunlarının çalışma zamanı sınırları hakkında ne söyleyebiliriz? yani herhangi bir NP-tam problemi için en uygun algoritmanın en az zamanında çalışacağını garanti edebileceğimiz gibi en sıkı fonksiyonlar nelerdir? ve en fazla uzunluğunda bir girdi ?L,U:N→NL,U:N→NL,U:\mathbb{N}\to\mathbb{N}o ( U ( n ) ) nω(L(n))ω(L(n))\omega(L(n))o(U(n))o(U(n))o(U(n))nnn Açıkçası, . Ayrıca, .U …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

3-Partition problemi, tamsayılardan oluşan bir setin üç tamsayıdan oluşan n setine bölünüp bölünemeyeceğini sorar , böylece her küme belirli bir B tamsayısını toplar . Dengeli Bölüm problemi, 2 n tamsayıların iki eşit kardinalite kümesine bölünüp bölünemeyeceğini sorar , böylece her iki kümenin de aynı toplamı olur. Her iki sorunun da …

13 complexity-theory  reductions  np-complete 

İyi bilinen SAT problemi burada referans uğruna tanımlanmıştır . DOUBLE-SAT sorunu şu şekilde tanımlanır: DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} NP-tam olduğunu nasıl kanıtlarız? Kanıtlamak için birden fazla yol takdir edilecektir.

13 complexity-theory  np-complete  satisfiability 

NPC ve PSPACE ile olan ilişkisini okudum ve NPC problemlerinin en kötü durum polinom alanı gereksinimi olan bir algoritma kullanılarak belirleyici olarak çözülüp çözülemeyeceğini, ancak potansiyel olarak üstel zaman aldığını (P'nin polinom olduğu) bilmek istiyorum. Ayrıca, genel olarak EXPTIME olarak genelleştirilebilir mi? Bunu sormamın nedeni, bir NPC sorununun dejenere vakalarını …

12 complexity-theory  np-complete  np 

ppp problemimiz olduğu ve ppp çözmek için alt sınırın Ω(2n)Ω(2n)\mathcal{\Omega}(2^n) olduğunu varsayalım . bağlı düşürebilir Ω(2n)Ω(2n)\mathcal{\Omega}(2^n) sorunu da anlaşılacağı NPNPNP ?

12 time-complexity  np-complete 

Bu muhtemelen aptalca bir soru, ama anlamıyorum. Başka bir soruda Schaefer'in ikilik teoremini ortaya attılar . Bana göre, her CSP sorununun P veya NP-tamamında olduğunu kanıtlıyor gibi görünüyor, ancak ikisi arasında değil. Her NP problemi Polinom zamanında CSP'ye dönüştürülebildiğinden (CSP NP-tamamlanmış olduğundan), bu neden P ve NP-Complete arasında boşluk olmadığını …

12 np-complete  satisfiability  p-vs-np 

En kötü durum asimptotik çalışma zamanı açısından, hangi NP-tamamlama problemi en hızlı (kesin) algoritmaya sahiptir ve algoritma nedir? den daha hızlı bilinen bir şey var mı ?O(n2∗2n)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

Bu sorunu çözmeye çalışıyorum ve gerçekten mücadele ediyorum. Bir monoton boole formül tümü değişmezdir pozitif önermeler mantık bir formüldür. Örneğin, ( x1∨ x2) ∧ ( x1∨ x3) ∧ ( x3∨ x4∨ x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) monoton bir boolean fonksiyonudur. Öte …

12 complexity-theory  np-complete  satisfiability 

Güçlü bir NP-zor veya NP-tam probleminin (örneğin burada tanımlandığı gibi ) zorluğu , ikili kodlanmış yerine girişi tekli olduğunda değişiyor mu? Güçlü bir NP-zor sorununun girişi tek olarak kodlanmışsa ne fark eder? Yani, örneğin zayıf NP-komple Knapsack problemini alırsam, ikili kodlandığında NP-tamamlanmış olur, ancak tekli kodlandığında dinamik programlama ile polinom …

12 complexity-theory  time-complexity  np-complete 

Yani, normal bir dil olmadığını test biliyoruz düzenli dil bir alt kümesidir Karar verilebilen biz DFAs, hesaplama için ikisini de dönüştürebilir çünkü bu dil boş ise o zaman testi ve.S R ∩ ˉ SRRRSSSR∩S¯R∩S¯R \cap \bar{S} Bununla birlikte, bu DFA'lara dönüştürmeyi gerektirdiğinden, DFA'ların ve dolayısıyla test algoritmasının giriş NFA'larındaki durum …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

"XOR-ilişkileri ile 2-SAT" için bir polinom algoritması olup olmadığını merak ediyorum. Hem 2-SAT hem de XOR-SAT P cinsindendir, ancak kombinasyonu nedir? Örnek Giriş: 2-SAT parçası: (a or !b) and (b or c) and (b or d) XOR kısmı: (a xor b xor c xor 1) and (b xor c xor …

11 np-complete  satisfiability  xor  2-sat 

Ortalama durumda `` polinom '' olan herhangi bir zor problemi olup olmadığını merak ediyorum.Bunu yorumlamanın iki yolu var mı?NPNPNP Eğer , bir çözme bir algoritma olabilir çalışma süresi itfa (ortalama durum) ile -Sert sorun sabit için ?P≠NPP≠NPP \neq NPNPNPNPO(nk)O(nk)O(n^k)kkk Herhangi bir sorun var mı da vardır ki -Sabit , hatta …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Aşağıdaki sorun NP-tamamlanmış mı? (Evet varsayıyorum). Giriş: kenar setinin iki kenar ayrık basit döngüye ayrıştırılabildiği yönlendirilmemiş bir grafik (bunlar girişin bir parçası değildir ).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Soru: uzunluğu k'dan büyük basit bir döngü var mı ?GGGkkk Açıkçası sorun NP olduğunu ve maksimum derecede ise ≤ 4 , ama bu yardım …

11 graph-theory  np-complete  decision-problem 

Kübik üçgen içermeyen grafiklerde maksimum bağımsız kümenin NP-tam olduğunu biliyorum. Hala NP-tam durumda tam olarak boyutta olması bağımsız set gerektirir mi ?| V| / 2|V|/2|V|/2 Temel olarak, YES kübik üçgen içermeyen grafikler sorunu bağımsız set sorunu örneği tam olarak olmalıdır düğüm. NO örneğinin bağımsız bir boyut kümesi | V | …

11 complexity-theory  np-complete