«np-hardness» etiketlenmiş sorular

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

2
Optimizasyon sorununu ayarlayın - np-tamam mı?
Set S={e1,⋯,en}S={e1,⋯,en}S=\{e_1,\cdots,e_n\} verilir. Her eleman eieie_i , ağırlığına wi>0wi>0w_i>0ve maliyetine sahibiz ci>0ci>0c_i>0. Amaç, aşağıdaki objektif işlevi en üst düzeye çıkaran k boyutunda alt kümesini bulmaktır : ∑ e i ∈ M w i + ∑ e i ∉ M w i c iMMMkkk∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci\sum_{e_i\in M} w_i + \frac{\sum_{e_i\notin M} w_i c_i}{\sum_{e_i\notin …
2
DP'de Kritik SAT'ın bir çeşidi
Bir dil LLL sınıfta DPDPDP , iki dil vardır IFF L1∈NPL1∈NPL1 \in NP ve L2∈coNPL2∈coNPL2 \in coNP , öyle ki L=L1∩L2L=L1∩L2L = L1 \cap L2 Bir standart DPDPDP Komple sorun SAT-UNSAT edilir: iki 3-CNF ifadeleri, verilen FFF ve GGG , bu doğrudur FFF karşılanabilir ve GGG değildir? Kritik SAT sorununun …
2
Kare ızgaralarda gizli çokgen bulmacanın karmaşıklığı?
Hiroimono popüler bir bulmaca. İlgili bulmacanın hesaplama karmaşıklığıyla ilgileniyorum.NPNPNP Problem şu: Girdi : x n kare ızgara ve k tamsayısında bir dizi nokta verilirnnnnnnkkk Soru : Çokgenin köşelerindeki nokta sayısı en az k olacak şekilde doğrusal bir çokgen (kenarları veya y- eksenine paralel ) var mı?xxxyyykkk Çokgenin her köşesi giriş …
1
Aşağıdaki SAT alt kümelerinin karmaşıklıkları nelerdir?
varsayalımP≠NPP≠NPP \neq NP Aşağıdaki simgelem Izin (tetrasyon için, yani. ).iaia{}^iaia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | X | x örneğinin boyutudur. L dil olsun,L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } \exists i \in \mathbb{N}\mbox{, } f(i) \leq |x| …
1
Kısıtlı yıldız sistemi probleminin sertliği?
Bir yıldız sistemi, setinin n elemanlarının n altkümesi ailesidir . Bazı grafiği varsa bir yıldız sistemi grafiktir öyle ki , köşe mahallelerinin ailesi olur . Öyle verilen bir yıldız sistemi grafiksel olup olmadığına karar vermek -tam.FFFSSSG ( V, E)G(V,E)G(V,E)FFFG,G,GN-PN-PNP Her bir öğenin minimum oluşumu nedir, böylece problem kalır mı?N-PN-PNP EDIT …
2
Kararsız problemlerin NP-tam varyantları?
Kararsız kümelerin sınırlı varyantlarına örnekler :N-PN-PNP Sınırlı Durma problemi = { | LTB makinesi M durur ve kabul x içindeki t } adımları( M, x , 1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Sınırlı Döşeme = { | t 2 alanından bir kare karenin T'den çinilerle döşenmesi }( T, 1t)(T,1t)(T, 1^t)t2t2t^2TTT Sınırlı Post Yazışma …
3
Belirsiz bir aşağı itmeli otomat tarafından kabul edilen en çok uzunluğunda bir kelime bulmanın sertliği
Sorun bildirimi : Let bir (potansiyel olarak nondeterministic) aşağı açılan da olmalıdır ve izin olması, giriş alfabe. kelimesi var mı st tarafından kabul edilen ?MMMbirA\cal Aw ∈bir*w∈A∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kMMM Bu problem NP-tamamlanmış mı? Çalışıldı mı? Böyle bir kelimeyi bulmaya izin veren bir algoritma var …
1
En iyi bilinen asimtotik PCP boyutları / 3-SAT
Olasılıkla kontrol edilebilir kanıt boyutlarında en iyi bilinen asimtotik üst sınırlar nelerdir? İdeal olarak, bu geniş soru hakkında çağdaş bir araştırma arıyorum, ancak hiç değilse, özellikle 3-SAT'ın yakınlığıyla ilgileniyorum. 7/8 + ε-3-SAT, cümlelerin 7/8 + ε kısmı tatmin edici ise, o zaman örnek tatmin edilebilir olacak sözüyle 3-SAT olsun. 3-SAT …
1
Kısıtlı grafik sınıfları için kromatik indeksin sertliği hakkında ne biliniyor?
1991'den itibaren, onlar için kromatik indeksi belirlemenin sertliği hakkında bilinenleri gösteren farklı grafik aileleri hakkında üç diyagram içeren güzel bir makale var . O zamandan beri bunlardan haber var mı? En çok sınırlı kromatik sayıya sahip grafikler hakkında bilinenlerle ilgileniyorum. Merakım /mathpro/238448/hypergraph-edge-colouring tarafından artırıldı .
1
Digraph homomorfizminin yönlendirilmiş bir döngüye karmaşıklığı
Sabit bir yönlendirilmiş grafik verildi (digraph) DDD, DDD-COLORING karar problemi bir girdi digrafisi olup olmadığını sorar G,GG homomorfizması var DDD. (Bir homomorfizmasıG,GG için DDD bir eşleme fff nın-nin V( G )V(G)V(G) için V( D )V(D)V(D) yayları koruyan, yani sen vuvuv bir yay G,GG, sonra f(u)f(v)f(u)f(v)f(u)f(v) bir yay DDD.) Sınıfı DDD-RENKLEME …
1
Gökkuşağı üçgenlerine kenar bölme
Aşağıdaki sorunun NP zor olup olmadığını merak ediyorum. Giriş: G=(V,E)G=(V,E)G = (V,E) basit bir grafik ve bir renklendirme f:E→{1,2,3}f:E→{1,2,3}f : E \to \{1,2,3\} kenarların (fff belirli bir özelliği doğrulamaz). Soru: bölümlemek mümkün müEEE içine |E|/3|E|/3|E|/3 üçgenler, böylece her üçgen her rengin bir kenarına sahip olacak? Ben renkler olmadan bir grafik …
1
Maksimum ağırlık “adil” eşleme
"Maksimum Adil Eşleştirme" adını verdiğim bir grafikteki maksimum ağırlık eşleşmesinin bir çeşidi ile ilgileniyorum. Grafiğin dolu olduğunu varsayın (ör. E=VxVE=V×VE=V\times V), Köşelerin çift sayıda ve kilo kar fonksiyonu olarak ifade edilir bu . Eşleşen bir verildiğinde , M (v) ile gösterilir ve v kenarının karı eşleşir.p:(V2)→Np:(V2)→Np:{V\choose 2}\to \mathbb NMMMM(v)M(v)M(v)vvv Bir …
1
Maksimum çift çiftli ayrık set sayısını bulmanın karmaşıklığı
Varsayalım PPP elemanlardan alınan setler rrrolası olanlar. Her setin boyutunnn (n &lt; rn&lt;rn<r), burada kümeler çakışabilir. Aşağıdaki iki sorunun NP-tamamlanmış olup olmadığını belirlemek istiyorum: Sorun A. var mıdırMMM (1 ≤ M≤ P1≤M≤P1 \le M \le P) içinde farklı kümelerPPP kümeler (yani, çift yönlü kesişimleri boş)? Sorun B. Şimdikkk (k &lt; …
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.