«np-hardness» etiketlenmiş sorular

Bu H-free kesim probleminden esinlenen bir sorudur . Onun tepe grubu bir bölümü, bir grafiktir verilen içine r parça V 1 , V 2 , ... , V r olan , H ise içermeyen G [ V i ] bir kopyasını indüklemez H tüm i , 1 ≤ i ≤ …

13 graph-theory  np-hardness  co.combinatorics 

Sonlu (deterministik veya belirsiz olmayan, o kadar önemli olduğunu düşünmüyorum) otomat A ve n eşiği verildiğinde , A en fazla n farklı harf içeren bir kelimeyi kabul ediyor mu? ( K farklı harflerle, aabaa'nın a ve b olmak üzere iki ayrı harfi olduğunu kastediyorum .) Bu problemin NP-tam olduğunu gösterdim, …

13 cc.complexity-theory  np-hardness  automata-theory 

Treewith, bir grafiğin ağaç olmaktan ne kadar yakın olduğunu gösteren önemli bir grafik parametresidir (sıkı bir topolojik anlamda olmasa da). Trewidth hesaplamanın NP-sert olduğu iyi bilinmektedir. Ağaç genişliğinin hesaplanmasının zor olduğu doğal grafik sınıfları var mı? Benzer şekilde: Ağaç genişliğinin hesaplanmasının kolay olduğu ilginç grafik sınıfları var mı? Evet ise, …

13 graph-theory  np-hardness  polynomial-time  treewidth 

Lineer denklemler sistemine en açık çözümü bulmak ne kadar zor? Daha resmi olarak, aşağıdaki karar sorununu göz önünde bulundurun: Örnek: Tamsayı katsayıları ve bir sayı ile doğrusal denklemler sistemi .ccc Soru: Sisteme en az değişkeninin sıfıra atanmış bir çözümü var mı ?ccc Ayrıca bağımlılığın ne olduğunu belirlemeye çalışıyorum . Yani, …

13 np-hardness  linear-algebra  linear-programming  matrices  sparse-matrix 

Bir asiklik yönlendirilmiş grafiktir biz girdi olarak verilir problemi göz önünde , bir etiketleme fonksiyonu gelen V bir grubu için L toplam sipariş <_l biz istenir (örneğin, tam sayı) ve sözlükbilimsel olarak en küçük topolojik G türünü \ lambda cinsinden hesaplamak . Daha kesin olarak, bir topolojik sıralama arasında G …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

Nibbler ve Snake video oyunlarının karmaşıklığı üzerine küçük bir yazı yazarken ; Her ikisinin de düzlemsel grafiklerde yeniden yapılandırma problemleri olarak modellenebileceğini buldum; ve bu tür problemlerin hareket planlama alanında iyi çalışılmamış olması muhtemel görünmemektedir (örneğin, bir bağlantılı araba veya robot zinciri hayal edin). Oyunlar iyi bilinir, ancak bu ilgili …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

Genişletilebilirlik probleminde, çözümün bir parçası olarak verilir ve bunu tam bir çözüme genişletip genişletemeyeceğimize karar vermek istiyoruz. Bazı uzatılabilirlik problemleri verimli bir şekilde çözülebilirken, diğer uzayabilirlik problemleri kolay bir problemi zor olana dönüştürür. Örneğin, Konig-Hall teoremi her kübik iki taraflı grafikleri 3-kenar renklendirilebilir, ancak bildiren genişletilebilirliği versiyon haline gelir KompleNPNPNP …

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Bir süre önce, her iki setin de kardinalliği ile ilgili olmayan bir özelliği yerine getirdiği kenarların 2 bölümünü bulmak istediğimiz grafik sorunları için bir referans isteği gönderdim . Aşağıdaki sorunun NP zor olduğunu kanıtlamaya çalışıyordum: Bir turnuvası verildiğinde , geçişli bir ilişki tanımlayan set edilmiş bir geri besleme yayı var …

13 np-hardness  reductions 

Aşağıdaki sorunu düşünün. Giriş: Yönlendirilmemiş bir grafik . Çıkış: Bir grafik H küçük bir olan G tüm küçükler arasında en yüksek kenar yoğunluğu olan G , yani, en yüksek oran, | E ( H ) | / | V ( H ) | .G=(V,E)G=(V,E)G=(V,E)HHHGGGGGG|E(H)|/|V(H)||E(H)|/|V(H)||E(H)|/|V(H)| Bu problem üzerinde çalışıldı mı? Polinom …

13 graph-theory  graph-algorithms  np-hardness  graph-minor 

Dürüst olmak gerekirse, rastgele sayının nasıl üretildiği hakkında çok fazla şey bilmiyorum (yorumlar hoş geldiniz!) Ama aşağıdaki teorik modeli varsayalım: den tamsayılar rastgele eşit olabilir ve hedefimiz [1,3] 'ten eşit olarak rasgele bir tamsayı üretir.[ 1 , 2 n ][1,2n][1,2^n] Beklenen çalışma süresi polinom olan basit bir çözüm aşağıdadır. Atın …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

Sınırlı dereceden yönlendirilmemiş düzlemsel grafiklerde geri bildirim tepe noktası probleminin -hard olup olmadığı biliniyor mu?N PNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness 

Bu soru cstheory üzerine cevap verirken , (gayri resmi) anında aşağıdaki teoremi kanıtladım: Teoremi : herhangi bir sabit için Hamilton döngü probem uzunluğunun döngüleri içermeyen maksimum derecesi 3 olan iki parçalı yönsüz grafikleri düzlemsel sınırlı olsa bile, NP-tam kalır .l≥3l≥3l \geq 3≤l≤l\leq l Zaten bir yerde ortaya çıkmamış olması pek …

12 reference-request  np-hardness 

Bu soru bu yazı tarafından motive edilmiştir , Polinom zamanındaki iki permütasyonun toplamını tanımlayabilir misiniz? ve permütasyonların hesaplama özelliklerine olan ilgim. Bir farklılık sırası bir permütasyon ait tt numaralarının 1 , 2 , ... , n + 1 permütasyon her iki bitişik sayı arasındaki fark bulunarak oluşturulur tt . Başka …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Sudoku, NP-tam olarak bilinen iyi bir bilmecedir. İkili Sudoku, sadece ve sayılarına izin veren bir varyanttır . Kurallar aşağıdaki gibidir.1000111 Her satır ve her sütun eşit sayıda sıfır ve bir sütun içermelidir. Her satır ve her sütun benzersizdir. Hiçbir satır veya sütun sıfır veya üç ardışık üçlü içermez ( ardışık …

12 cc.complexity-theory  np-hardness  puzzles 

Benzersiz SAT iyi bilinen sorundur: CNF formülü verildiğinde F'nin tam olarak bir modeli olduğu doğru mu?FFFFFF «Tam -SAT» problemiyle ilgileniyorum : CNF formül F ve m > 1 tamsayısı verildiğinde , F'nin tam olarak m modelleri olduğu doğru mu?mmmFFFm>1m>1m>1FFFmmm Her iki problem de benzer görünüyor. Yani sorularım: 1- «Tam olarak …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions