«np-hardness» etiketlenmiş sorular

NP sertliği ve NP tamlığı ile ilgili sorular.


28
P ve NPC Arasındaki Sorunlar
Faktoring ve grafik izomorfizmi, NP'de P de olduğu veya NP-Komple olmadığı bilinen problemlerdir. Bu özelliği paylaşan diğer (yeterince farklı) doğal problemler nelerdir? Doğrudan Ladner teoreminin kanıtından gelen yapay örnekler sayılmaz. Bu örneklerden herhangi biri, yalnızca “makul” bir hipotez olduğu varsayımıyla kanıtlanabilir bir NP-orta aracı mıdır?

7
Are -tamamlamak sorunlar daha doğası gereği daha az uysal -tamamlamak problemler?
Şu anda, büyük girdiler için problemin veya bir problemin çözülmesi genel olarak mümkün değildir. Bununla birlikte, her ikisi de üstel zaman ve polinom uzayda çözülebilir.NPNPNPPSPACEPSPACEPSPACE Belirsiz veya 'şanslı' bilgisayarlar kuramadığımız için, bir problemin veya olması bizim için herhangi bir fark yaratır mı?NPNPNPPSPACEPSPACEPSPACE

12
P'den NP'ye zor ve tekrar tekrar parametreli karmaşıklık
Bir numara tarafından parametrik sorunların örnekler arıyorum k∈Nk∈Nk \in \mathbb{N} Sorunun sertlik olduğunu, monoton olmayan içinde kkk . (Benim de) sorunların çoğu, örneğin tek bir faz geçişi, sahip kkk tek bir faz geçişi olan -SAT k∈{1,2}k∈{1,2}k \in \{1,2\} (sorun P olduğu) k≥3k≥3k \ge 3 sorunu (burada NP tamamlamak, tam, eksiksiz). …


20
Ağaçlarda NP zor problemler
Genel grafiklerde NP zor olduğu bilinen birkaç optimizasyon problemi, giriş grafiği bir ağaç olduğunda polinom zamanında (bazıları doğrusal zamanda bile) önemsiz bir şekilde çözülebilir. Örnekler arasında minimum tepe örtüsü, maksimum bağımsız küme, alt yazı izomorfizmi sayılabilir. Ağaçlarda NP sert kalan bazı doğal optimizasyon problemlerini adlandırın.

3
NP tamamlama faktörü varyasyonu.
Arora ve Barak'ın kitabı faktoringi şu problem olarak sunuyor: FAKTORĠNG = { ⟨ L , U, N⟩|( ∃ en iyi p ∈ { L , … , U} ) [ p | N-] }FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p …

4
Minimum düzenli ifadeyi bulmak NP tamamlanmış bir sorun mu?
Şu sorunu düşünüyorum: Belirli bir dizeyle (örneğin geçerli e-posta adresleri için) eşleşen ve başkalarıyla eşleşmeyen (geçersiz e-posta adresleri) normal bir ifade bulmak istiyorum. Normal ifadeyle, iyi tanımlanmış bazı sonlu durum makinelerini kastettiğimizi varsayalım, kesin terminolojiye aşina değilim, ancak izin verilen ifadelerin bazı sınıfları üzerinde anlaşalım. İfadeyi el ile oluşturmak yerine, …

3
Tamsayılı çarpanlara ayırma sorunu RSA çarpanlara ayırma işleminden daha mı zor:
Bu math.stackexchange'ten bir çapraz mesajdır. Tam sayı faktoring sorun göstermektedirler aslında izin: Verilen asal bulmak p i ∈ N , ve tamsayılar e i ∈ , N , öyle ki n = Π k i = 0 , s e i i .n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = …



3
Bu sorunun sertlikte olduğunu gösteren teknikler “limbo”
Asıl karmaşıklığı arasında bir yerde olan yeni bir sorun göz önüne alındığında ve NP-eksiksiz olmak, bunun çözülmesinin zor olduğunu ispatlamak için kullanabileceğim iki yöntem var:NPNP\mathsf{NP}PP\mathsf{P} Sorunun GI-tamamlandığını gösterin (GI = Graph Isomorphism) Sorunun içinde olduğunu gösterin . Bilinen sonuçlara göre, böyle bir sonuç, eğer problem NP tamamlandıysa, PH'nin ikinci seviyeye …

14
NP-komple problemlerle her gün karşılaşılıyor
Mark Dominus , çeşitli NP-zor problemlerinden “normal ifade” eşleşmesine kadar birkaç polinom-zaman azalması örneği topladı . Polinom-zaman doğrulamalarını öngörmek çok büyük bir sıçrama değildir. NP-complete sınıfını mezunlara veya Deolalikar'ın makalesi üzerindeki son yaygarayı anlamak isteyen diğer alanlardaki arkadaşlara nasıl gösterirsiniz?

2
3-renklendirmenin NP sertliği için referans?
Tarihi bir sorum var. Grafiklerin 3 renklendirilebilirliğinin (alternatif olarak, verilen için renklendirilebilirliğinin ) NP-sert olduğu gerçeğinin referansını belirlemeye çalışıyorum .kkkk ≥ 3k≥3k\geq 3 Baştan çıkarıcı cevap “Karp'ın orijinal makalesi” dir, ancak bu yanlış. İşte bir tarama: Kombinatoryal Problemler Arasında İndirgenebilirlik, Karp (1972) . Kromatik sayının (Giriş: bir grafik. Çıkış: ) …

6
NP tamamlanmış doğallarda doğal bir sorun mu var?
Herhangi bir doğal sayı bir bit dizisi olarak kabul edilebilir, bu nedenle doğal bir sayı girmek, bir 0-1 dizisi girmekle aynıdır, bu nedenle doğal girdilerle ilgili NP-tamamlayıcı problemler açıkça vardır. Ancak herhangi bir doğal problem var mı, yani rakamların bazı kodlamalarını ve özel yorumlarını kullanmayanlar? Örneğin, "Asal mı?" Bu doğal …

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.