«np-hardness» etiketlenmiş sorular

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


3
Cograph'larda NP-zor problemleri
Bu soru, ağaçlardaki NP zor sorunlara benzer : Coğrafyalarda izlenebilir olan çok sayıda NP-tam problemi var . Cograflarla kısıtlandığında NP-tam olarak kalan bilinen herhangi bir sorun var mı? Daha kesin olmak gerekirse, girdinin yalnızca yönlendirilmemiş, ağırlıksız bir grafikten oluştuğu örneklerle ilgileniyorum . İki açıklama: Ağırlıklı cographs için böyle bir sorun …


4
DAG'larda yönlendirilmiş NP zor problemler
Ağaç genişliği , grafiğin ağaca ne kadar yakın olduğunu ölçer. Sınırlı ağaç genişliğine sahip grafiklerde çeşitli NP-zor problemleri izlenebilir. Ağaçlarda NP zor kalırsa ağaç genişliği bizi kurtaramaz. Bu, önceki sorularımdan birinin arkasında ağaçlar üzerinde NP-zor problemler isteyen motivasyondu . Yönlendirilmiş bir grafiğin yönlendirilmiş bir asiklik grafiğe (DAG) ne kadar yakın …

2
P'ye karşı NP'yi SAT'a düşürme
Aşağıdaki soru karmaşıklık teorisine uygulanan kriptografi fikirlerini kullanmaktadır. Bununla birlikte, bu tamamen karmaşıklık teorik bir sorudur ve cevaplamak için hiçbir kripto bilgisine gerek yoktur. Bu soruyu kasıtlı olarak gayri resmi olarak yazıyorum. Detaylar eksik, muhtemelen biraz yanlış ifade edildi. Lütfen cevaplarınızdaki düzeltmeleri belirtmekten çekinmeyin. Aşağıdaki makalede: Birleştirilemez Şifreleme, Danny Dolev, …

2
Değişmeli olmayan bir grubun elementlerinin permütasyonu ile neyin başarılabileceğini belirlemek
Sonlu bir grup sabitleyin . Aşağıdaki karar sorunuyla ilgileniyorum: girdi, G'nin üzerinde kısmi bir düzen bulunan bazı unsurlarıdır ve soru, düzeni tatmin eden unsurların bir permütasyonu olup olmadığı ve buradaki elemanların bileşimi sipariş grubun nötr elementini verir e .G,GGG,GGeee Resmi olarak, testi problemiG,GG aşağıdaki gibidir, burada grubu sabittir:G,GG Girdi: sonlu …

2
Bu dil hangi karmaşıklık sınıfına aittir?
Bu dilin hangi sınıfa ait olduğunu düşünüyordum: bir grafik, doğal bir sayı ve kromatik sayısıdırL={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} (1) "k-1 renklerinin renklenmesi yok" ve (2) " k renklerinin renklenmesi var" diye düşündüm . Şimdi, (1) coNP ve (2) NP-tamamlanmış olduğundan, bu dilin ne NP'de ne de …

2
P'nin NP ile karşılaştırılabilirliği konusunda
Her şeyden önce, Gödel'in eksiklik teoremi (ve genel olarak biçimsel mantık) hakkındaki anlayışım çok naif, aynı zamanda teorik bilgisayar bilimi hakkındaki bilgim (hala bir lisanstayken alınan sadece bir lisansüstü ders anlamına geliyor), bu yüzden bu soru çok saf. Bulabildiğim kadarıyla, P'nin NP'ye karşı olasılığı açık bir sorundur. Şimdi: Gödel'in ilk …

1
bir metrik grafikte tüm indüklenen G [S] alt paragrafları üzerinden MST'yi (G [S]) en üst düzeye çıkarın
Bu sorun daha önce incelendi mi? Metrik yönlendirilmemiş bir grafik G (kenar uzunlukları üçgen eşitsizliğini karşılar) verildiğinde, MST (G [S]) en üst düzeye çıkartılacak şekilde bir dizi S noktası bulun, burada MST (G [S]) tarafından oluşturulan alt grafiğin minimum yayılan ağacı olur S. Bu sorun daha önce incelendi mi? NP …

4
Sayısal verilerle güçlü NP zor sorunlarının listesi
Bir azalma için güçlü NP zor problemler arıyorum . Şimdiye kadar aşağıdaki sorunları buldum: 3-bölüm sorunu bin paketleme sorunu Sayısal 3 boyutlu eşleme TSP Sayısal verileri olmayan herhangi bir NP-komple problemi, örneğin, MEMNUNİYET, HAMİLTONYA DÖNGÜSÜ, 3-RENKLİLİĞİ. NP açısından zor olan sorunların bir listesini bilen var mı? Değilse, burada bir tane …

4
NP tamlığı / sertliği yapıcı olmalı mı?
içinde aşağıdaki özelliklere sahip herhangi bir var mı :L∈NPL∈NPL\in {\bf NP} anlamına geldiği bilinmektedir .P = N PL∈PL∈PL\in {\bf P}P=NPP=NP{\bf P}={\bf NP} Herhangi bir (bilinen) polinom zaman Turing azalma vardır (veya başka bir için Komple sorun) .N P LSATSATSATNPNP{\bf NP}LLL Diğer bir deyişle, bir polinom zaman algoritması durumunda çöküşü eder …

2
NP Boole değişkenlerinin bir listesini karşılamak için operatör bulma sorunu tamamlandı mı?
Bu SAT'a benzer, ancak her değişkenin atamasını biliyoruz, ancak herhangi bir boolean operatörünün atamasını bilmiyoruz. Bu durumda, her bir operatörün atamasını bulmak, böylece ifade verilen bir boole değerine bir NPC problemini değerlendirir mi? Aslında, bir tamsayı aritmetik ifadesini (örneğin, = 10) karşılamak için aritmetik operatörlerin atanmasını111 o p 1 3 …


1
Nurikabe'nin (muhtemelen özlü) karmaşıklığı nedir?
Nurikabe , Mayın Tarlası / Nonogramlara gevşek bir şekilde benzeyen, kısıt tabanlı bir ızgara doldurma bulmacasıdır; sayılar her hücre için açma / kapama değerleriyle doldurulacak bir ızgaraya yerleştirilir, her sayı o büyüklükteki bağlı 'açık' hücrelerin bir bölgesini ve 'kapalı' hücreler bölgesinde bazı küçük kısıtlamaları gösterir ( bağlı olmalı ve bitişik …


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.