«np-hardness» etiketlenmiş sorular

Parametreli karmaşıklıkta insanlar W [t] sertliğini kanıtlamak için sabit parametre izlenebilir (FPT) indirgeme kullanırlar. Teorik olarak bir FPT indirgemesi, k parametresinde katlanarak çalışabildiği için bir polinom zamanı indirgeme değildir. Ancak pratikte gördüğüm tüm FPT azaltımları p-zamanı azaltmalarıdır, bu da W [t] sertlik kanıtlarının neredeyse her zaman NP tamlık kanıtlarını ima …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Bir grafikte, bağımsız bir küme indüklenmiş alt çizgi olarak bir kenar içermeyen bir tepe alt kümesidir. Bir grafikte en büyük bağımsız kümeleri bulma sorunu temel algoritmik bir sorudur ve zor bir sorudur. Bir grafiğin en büyük H-serbest kümesini (daha büyük) bulma konusunda daha genel bir soruyu ele alalım, burada H-serbest, …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

Bir yönlendirilmiş grafikte, , F ⊂ D ise, G ∖ F DAG (yönlendirilmiş asiklik grafik) olduğu, F , bir geri besleme yay grubu olarak adlandırılır. G=(V,E)G=(V,E)G=(V,E)F⊂EF⊂EF\subset EG∖FG∖FG\setminus FFFF Her bir kenar, bir ağırlığı ile ilişkili ise , ayar sorunu ark minimum maliyet geri bildirimi bulmaktır F böyle W ( F …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

N-kraliçesi sorunu şudur: Giriş: N Çıktı: NXN satranç tahtasına N "kraliçelerinin" yerleştirilmesi, aynı satırda, sütunda veya köşegende iki kraliçenin bulunmaması. Bu konuda bir google araması yaparak, birçok profesörün birçok slaytının bunun bir NP-Zor problemi olduğunu iddia ettim. (Örn. Web.mst.edu/~ercal/387/slides/NP-Hard.ppt) Ancak bir kanıt bulamadım (veya bir kanıt elde ettim). Bu soruyu …

11 cc.complexity-theory  np-hardness  csp 

Bu soru teknik olmayabilir. Algoritma sınıf için yerli olmayan konuşmacı ve TA gibi, ben her zaman merak gadget 'tümcesi gadget' veya 'değişken gadget' in aracı. Sözlük, bir gadget'ın bir makine veya bir cihaz olduğunu söylüyor, ancak NP-tam kanıtı bağlamında hangi konuşma dilinin anlamına sahip olduğundan emin değilim.

11 cc.complexity-theory  np-hardness  terminology  reductions 

CNF formülünün monoton olduğu bir SAT varyasyonu ile ilgileniyorum (değişken yok sayılmaz). Böyle bir formül açık bir şekilde tatmin edilebilir. Ancak gerçek değişkenlerin sayısının, çözümümüzün ne kadar iyi olduğunun bir ölçüsü olduğunu varsayalım. Yani şu problemimiz var: MİNİMUM DOĞRU MONOTON 3SAT INSTANCE: Değişkenlerin U kümesini, bir değişmez değişkenin değişmediği (olumsuzlanmayan) …

11 cc.complexity-theory  np-hardness  sat 

Birebir indirimler ve Turing indirimleri ile tanımlanan NPC sınıflarının eşit olup olmadığını merak ediyorum. Düzenleme: Başka bir soru, Turing indirimler sadece bazı C için C ve co-C sınıflarını daraltma veya Karp azaltma altında ve Turing azaltma altında olan bir sorun var gibi bir sınıfı var mı ?CCCC∪ c o - …

11 cc.complexity-theory  np-hardness  reductions 

İki renkli mükemmel eşleme problemi, bir grafiğin iki renkle renklendirilip renklendirilmemesine karar vermektir, böylece her düğüm kendisiyle aynı renkte bir komşuya sahip olur. Sorunun Schaefer tarafından NP-tamamlanmış olduğu kanıtlandı . Düzlemsel kübik grafikler için bile NP-tam kalır. Girdi grafiğinin iki renkle renklendirilip renklendirilemeyeceğine karar vermek istediğimiz bir varyantla ilgileniyorum, her …

10 cc.complexity-theory  np-hardness 

Bazı grafik problemlerinin varsayımsal sertliğine dair iki örnekle karşılaştım. Varsayımsal sertlik, bazı varsayımları reddetmenin, ilgili grafik sorununun NP-bütünlüğünü ima edeceği anlamına gelir. Örneğin, Barnette'in varsayımı her 3 bağlantılı kübik düzlemsel iki taraflı grafiğin Hamiltoncu olduğunu belirtir. Feder ve Subi , varsayımın reddedilmesinin , Hamilton sınıfı probleminin varsayım sınıfındaki grafiklerde NP …

10 cc.complexity-theory  graph-theory  np-hardness 

Planar 3-SAT'ın standart tanımı nedir? Bir dizi farklı tanım gördüm. Onu tanımlayan ve NP-tam olduğunu kanıtlayan orijinal kağıt neydi?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Aşağıdaki sorunla ilgileniyorum. Bir "hedef permütasyon" girdisinin yanı sıra i 1 , … , i m ∈ [ n - 1 ] indekslerinin sıralı bir listesi verilir . Daha sonra, liste başlayarak L = ( 1 , 2 , ... , n ) (diğer bir deyişle, kimlik permütasyon), her bir …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

3 veya daha fazla terim yan tümceleri toplam sayısı (genişlik değil) bir CNF SAT sorunu NP yukarıda sabit ile sınırlanmış mı? Özellikle böyle bir madde olduğunda ne olur?

10 np-hardness  sat  upper-bounds 

Aşağıdaki sorunum var: Giriş: iki set ve aralığı (tüm uç noktalar tamsayılardır). Sorgu: monoton bijection var mı?T f : S → TSSSTTTf: S→ Tf:S→Tf:S \to T Bijection, ve ayarlanan dahil etme düzeni ile monotondur . T ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Eleman sayısı bazı fonksiyonlarla (örn. ) sınırlandırılırsa Set Cover probleminin ne kadar zor olduğu, burada n problem örneğinin boyutudur. Resmi olaraklognlog⁡n\log nnnn Let ve F = { S 1 , ⋯ , S , n } S i ⊆ U ve m = O ( log n ) . Aşağıdaki …

10 np-hardness  set-cover  exp-time-algorithms 

Naif algoritmayı yenen aşağıdaki sorun için bilinen algoritmalar var mı? Girdi: bir sistem olup ve m eşitsizlikler lineer.Ax≤bAx≤bAx \le bmmm Çıkış: bir olası çözüm eğer varsa.x∗∈{0,1}nx∗∈{0,1}nx^*\in \{0,1 \}^n ve b'nin tamsayı girişleri olduğunu varsayın . En kötü sınırlarla ilgileniyorum.AAAbbb

10 np-hardness  integer-programming  exp-time-algorithms