«np-complete» etiketlenmiş sorular

NP'deki en zor problemler, yani belirsiz olmayan Turing makineleri tarafından polinom zamanda çözülebilen sorunlar hakkında sorular.



1
Dikdörtgenlerle ızgara kaplaması
Bir ızgaramız var. Bu ızgara üzerindeki dikdörtgenlerle koleksiyonu, her dikdörtgen olarak temsil edilebilir olması , N 1 -by- K 2 ikili matris R . Izgarayı bu dikdörtgenlerle örtmek istiyoruz.N1×N2N1×N2N_1 \times N_2N1N1N_1N2N2N_2RRR Bu setin karar versiyonu NP-komple problemini kapsıyor mu? Girdi: Toplama ızgara üzerinde dikdörtgenler (giriş boyutu: N 1 , N …

3
DAG'ı yeni bir DAG'a almanın minimum boyutu
Bir DAG'ımız var. düğümlerinde bir fonksiyonumuz var F: V→ NF:V→N-F\colon V\to \mathbb N(gevşek konuşma, düğümleri numaralandırıyoruz). Bu kurallarla yeni bir yönlendirilmiş grafik oluşturmak istiyoruz: F( x ) ≠ F( y) ⇒ x'≠ y'F(x)≠F(y)⇒x'≠y'F(x) \neq F(y) \Rightarrow x' \neq y'x'≠ y'⇏ F( x ) ≠ F( y)x'≠y'⇏F(x)≠F(y)x' \neq y'\nRightarrow F(x) \neq …

3
P = NP ise,
Görünüşe göre, eğer , tüm diller P hariç ∅ ve Σ * olurdu N P -tamamlamak.P=NPP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*NPNP{\sf NP} Neden özellikle bu iki dil? Biz başka bir dil azaltmaz Can kabul veya kabul etmiyor onları çıkışı yaparak onlara?PP{\sf P}




1
Kombinatoryal ILP algoritması için bilinen en hızlı karmaşıklık?
Merak ediyorum, Tamsayı Doğrusal Programlama'yı çözmek için Big- gösterimi açısından en iyi bilinen algoritma nedir?ÖOO Sorunun olduğunu biliyorum , bu yüzden polinom bir şey beklemiyorum. CPLEX gibi pratik uygulamalarda kullanılan birçok buluşsal yöntem ve bunun olduğunu biliyorum, ancak daha kesin bir algoritmanın resmi, en kötü durum karmaşıklığıyla ilgileniyorum.N-PNPNP Bazı -Komple …


1
Planar 1-in-3 SAT için düzlemlilik koşulları
Düzlemsel 3SAT NP-tamamlanmıştır. Düzlemsel 3SAT örneği, aşağıdaki kurallar kullanılarak oluşturulan grafiğin düzlemsel olduğu bir 3SAT örneğidir: her ve için köşe noktası ekleyin¯ x ixixix_ixben¯xi¯\bar{x_i} her yan tümce için köşe noktası ekleCjCjC_j her çifti için kenar ekleyin( xben, xben¯)(xi,xi¯)(x_i,\bar{x_i}) köşesinden (veya ) köşeyi, onu içeren bir cümleyi temsil eden her köşeye …

2
Her NP sorununun poli boyutlu bir ILP formülasyonu var mı?
Tamsayı Doğrusal Programlama NP-tam olduğundan, NP'deki herhangi bir problemden Karp azalması vardır. Bunun NP'deki herhangi bir problem için her zaman polinom boyutlu bir ILP formülasyonu olduğunu ima ettiğini düşündüm. Ama insanların "bu ilk çok boyutlu formülasyon" veya "bilinen çok boyutlu bir formülasyon yok" gibi şeyler yazdığı belirli NP problemleri hakkında …

1
İkili ağaçlarda minimum bant genişliğinin yaklaşımı
Minimum bant genişliği sorunu, iki komşu düğüm arasındaki en büyük mesafeyi en aza indiren tamsayı çizgisi üzerinde grafik düğümlerinin sırasını bulmaktır. Karar problemi ikili ağaçlar için bile NP-eksiksizdir. Bant Genişliğini Azaltma için Karmaşıklık Sonuçları. Garey, Graham, Johnson ve Knuth, SIAM J. Appl. Math., Cilt no. 34, No.3, 1978 . İkili …

2
ILP'den SAT'a çoklu zaman azaltımı?
Dolayısıyla, bilindiği gibi, ILP'nin 0-1 karar problemi NP-tamamlanmıştır. NP'de olduğunu göstermek kolaydır ve orijinal indirgeme SAT'dan yapılmıştır; o zamandan beri, diğer birçok NP-Complete probleminin ILP formülasyonlarına (bu problemlerden ILP'ye indirgeme işlevi gören) sahip olduğu gösterilmiştir, çünkü ILP çok faydalıdır. ILP'den gelen indirimleri kendim yapmak ya da takip etmek çok daha …


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.