«np-hardness» etiketlenmiş sorular

Bir Hamiltonian döngüsünün düzlemsel (Garey, Johnson ve Tarjan, SIAM J. Comput. 1976) veya iki partili (Akiyama, Nishizeki, olsa bile) 3 düzenli bir grafikte var olup olmadığını test etmenin NP tamamlanmış olduğu bilinmektedir. ve Saito, J. Inform. Proc. 1980) veya Jordanian eğrilerinin bir düzenlemesinin oluşturduğu grafik olsa bile, bir Hamiltonian döngüsünün …

24 graph-theory  np-hardness  hamiltonian-paths 

Beklenen çalışma süresinin polinom olduğu bilinen bir algoritmanın bilinen bir NP-tamam problemi var mı (örnekler üzerinde hassas bir dağılım için)? Olmazsa, böyle bir algoritmanın varlığının kurulduğu sorunlar var mı? Yoksa böyle bir algoritmanın varlığı, deterministik bir polinom zaman algoritmasının varlığına mı işaret ediyor?

24 cc.complexity-theory  np-hardness 

Sabit için , tek bir giriş grafiği verilen doğrusal zamanda belirleyebilir G olup onun, treewidth isimli ≤ k . Her iki Ancak, k ve G, girdi olarak verilir, sorun NP zordur. ( Kaynak ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG Bununla birlikte, giriş grafiği düzlemsel olduğunda , karmaşıklık hakkında çok daha az şey …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

Her ikisi de NP-Complete olduğu için CLIQUE'den k-Color'a net bir düşüş var. Aslında, birini CLIQUE'dan 3-SAT'ye, 3-SAT'dan k-Color'a bir azalma ile azaltarak oluşturabilirim. Merak ettiğim şey, bu sorunlar arasında makul bir doğrudan azalma olup olmadığı. Diyelim ki SAT gibi bir ara dil tanımlamaya gerek kalmadan bir arkadaşıma oldukça kısaca açıklayabileceğim …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

Hamiltonian (Kısaca Ham) Döngüsünün NP tamamlandı ve Düzlemsel Ham Döngüsünün NP Tamamlandı olduğu bilinmektedir. Düzlemsel Ham Döngüsü'nün kanıtı Ham Döngüsünden değildir. G grafiği verildiğinde, tüm geçişleri bazı düzlemsel gadget'larla değiştirecek, böylece G 'gibi düzlemsel bir grafiğiniz olacak güzel bir gadget var mı? G'nin bir Ham döngüsü var, i 'G' bir …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

(2 boyutlu) dikdörtgenlerin özdeş kopyalarını, üst üste bindirmeden dışbükey (2 boyutlu) bir çokgenin içine paketleme sorunu ile ilgileniyorum. Benim sorunumda, dikdörtgenleri döndürmenize izin verilmiyor ve bunların eksenlere paralel olarak yönlendirildiğini varsayabilirsiniz. Size sadece bir dikdörtgenin boyutları ve çokgenin köşeleri verilmiştir ve dikdörtgenin kaç tane aynı kopyasının çokgene paketlenebileceği sorulmuştur. Dikdörtgenleri …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Bu soru, başka bir soruya cevaben gönderdiğim bir cevapla ilgilidir . 3 bölümlü problem şu problemdir: Örnek : Pozitif tamsayı 1 ,…, a n , burada n = 3m ve n tamsayıların toplamı mB'ye eşittir, öyle ki her bir i, B / 4 <a i <S / 2. Soru : …

23 cc.complexity-theory  np-hardness 

Bir düzeltmek düzenli dil LLL bir alfabe üzerinde ΣΣ\Sigma ve ben dediğimiz şu sorunu dikkate mektup planlaması için LLL . Gayriresmi olarak, girdi bana nnn harfi ve her harf için bir aralık verir (yani minimum ve maksimum pozisyon) ve hedefim, her harfin aynı pozisyona eşlenmeyeceği şekilde, her harfi kendi aralığına …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

Değil tüm eşit -SAT sorunu (NAE k verilen bir dizi -SAT), C bir dizi üzerinde maddelerin X her maddesi en fazla ihtiva ettiği şekilde Boole değişkenlerin k değişmezleri, değişken şekilde bir gerçek atama var olup olmadığını sorar her cümle en az bir doğru ve en az bir yanlış hazır bilgi …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Değişkenlerin olmasına izin verin . İki değişken arasındaki mesafe. İki değişmez arasındaki mesafe, karşılık gelen iki değişken arasındaki mesafedir. d ( x a , x b ) = | a - b |x1, x2, x3. . . xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd( xbir, xb) = | a - …

22 np-hardness  sat 

Bu konudaki Norbet Blum'un ispatı girişimi Tardos işlevinin Teorem 6'ya karşı bir örnek teşkil ettiğine dikkat çekerek kesin olarak onaylanmadı.P≠NPP≠NPP \neq NP Teorem 6 : herhangi bir monoton Boolean işlevi olsun. için daha düşük bir sınır kanıtlamak için kullanılabilecek bir CNF-DNF-yaklaştırıcı olduğunu . Ardından , için aynı alt sınırı kanıtlamak …

22 cc.complexity-theory  np-hardness  complexity-classes 

Birçok algoritmik grafik problemi hem ağırlıklı hem de ağırlıklı grafiklerde polinom zamanında çözülebilir. Bazı örnekler; belirli grafik sınıflarında, çeşitli maksimum ayrık yol problemlerinde, vb. İçinde polinom zamanda çözülebilir bazı (önemli ölçüde muhtemelen rağmen daha az) sorunları, ancak, vardır ağırlıksız durumda, ama sert hale (veya açık statüye sahip) içinde ağırlıklı durumda. …

22 cc.complexity-theory  graph-algorithms  np-hardness 

Kübik grafikler, her köşenin 3. dereceye sahip olduğu grafiklerdir. Bunlar kapsamlı bir şekilde incelenmiştir ve birkaç NP-zor problemin, kübik grafiklerin alt sınıfları ile sınırlı olsa bile NP-sert olarak kaldığını biliyorum, ancak bazıları kolaylaşır. Kübik grafiklerin bir üst sınıf maksimum derecede grafikler sınıfıdır .Æ ≤ 3Δ≤3\Delta \leq 3 Kübik grafikler ama …

22 graph-theory  graph-algorithms  np-hardness 

Yasaklanan altyazılarla nitelendirilebilecek grafik dersleri düşünüyorum. Bir grafik sınıfının sınırlı bir yasaklanmış alt küme kümesi varsa, önemsiz bir polinom zaman tanıma algoritması vardır (biri kaba kuvvet kullanabilir). Ancak sonsuz yasaklı alt yazı ailesi, sertlik anlamına gelmez: tanınma aynı zamanda polinom zamanında test edilebilecek, sınırsız alt yazı listesi içeren bazı sınıflar …

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

Bir sorun NP zor ise (polinom zaman azaltmalarını kullanarak), bunun P-zor olduğu anlamına mı geliyor (log alanı veya NC azaltmalarını kullanarak)? NP'deki herhangi bir sorun kadar zorsa, P'deki herhangi bir sorun kadar zor olması sezgisel gözükse de, indirimleri nasıl zincirleyeceğimi ve kütük boşluğu (veya NC) azaltmasını nasıl elde edeceğimi göremiyorum.

22 cc.complexity-theory  np-hardness