«np-hardness» etiketlenmiş sorular

Başlığın tam olarak ifade edilmesi, Anand Kulkarni'den (bu sitenin oluşturulmasını öneren) kaynaklanıyor. Bu soruya örnek bir soru soruldu, ama delice merak ediyorum. Cebirsel geometri hakkında çok az şey biliyorum ve aslında sadece P / poli ile NP sorusundaki engelleri (sadece görmezden gelen, cebirsiz olmanın, muhtemelen doğal bir kanıt olmayacak) oynadığı …

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

Bu, " Kitaptan Algoritmalar " satırları boyuncadır . İndirgemeler de algoritmalar olsa da, bir kişinin kitaptan algoritmalar ile ilgili soruya cevap olarak bir azalma düşüneceğini düşündüm. Dolayısıyla ayrı bir sorgu! Her türlü indirimden en fazla şey bekleriz. Köşe kapağından yıldızlardaki multicut'a çok basit bir düşüşle başlayacağım. Azalma, kaynak sorunu tanımlandığında …

22 ds.algorithms  np-hardness  big-list  reductions 

Herkes, genel grafiklerde NP zor olan birçok karar sorunu olduğunu biliyor, ancak temel grafik bir yol olduğunda NP zor olan problemlerle ilgileniyorum. Öyleyse, bu tür sorunları toplamama yardım edebilir misin? Ağaçlardaki NP zor problemleri ile ilgili bir soru buldum .

22 graph-theory  np-hardness 

" P Versus NP resmi olarak bağımsız mı? " Okuyordum ama şaşırdım. Yaygın olarak karmaşıklık teoride inanılan . Benim sorum bu kanıtlanabilir değilse (söylediklerine hakkındadır Z F C ). (Sadece P ≠ N P'nin Z F C'den bağımsız olduğunu ancak bunun nasıl kanıtlandığı hakkında daha fazla bilgi bulamadığımızı varsayalım .)P≠NPP≠NP\mathsf{P} …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

Son zamanlarda, hesaplama karmaşıklığı kavramını, algoritmalar veya karmaşıklık konusunda daha önce hiç resmi bir ders almayan genç yetenekli, kendi kendini eğiten bir programcıya gayrı resmi olarak açıklamanın acı dolu eğlenceli deneyiminden geçtim . Şaşırtıcı olmayan bir şekilde, birçok fikir ilk başta garip görünüyordu, ancak bazı örnekler (PTIME, kararsızlık, hesaplanamazlık) ile …

21 cc.complexity-theory  ds.algorithms  np-hardness 

Shor, yaptığı açıklamada, isimsiz musun bu soruya cevabını verdiği yorumunda polinom zamanındaki iki permütasyonun toplamını tanımlayabilir misiniz? Bu, iki permütasyon farkını tanımlamak için NPNPNP tamamlayıcısıdır. Ne yazık ki, permütasyon toplamı probleminden basit bir azalma görmüyorum ve permütasyon farkı problemi için NPNPNP tamlık azalmasını sağlamak faydalıdır . Permütasyon Farkı: KURULUM: Pozitif …

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

Turing makineleri kullanılarak tanımlanan DNA algoritmaları ve karmaşıklık sınıfları arasındaki ilişki nedir ? Zaman ve mekan gibi karmaşıklık ölçüleri DNA algoritmalarında neye karşılık geliyor? Ne de Neumann makinelerinin pratikte pratik olarak çözemediği TSP gibi NP-komple problemlerin örneklerini çözmek için kullanılabilirler mi?

21 cc.complexity-theory  np-hardness  natural-computing  tsp 

Bu soruyu bir süre önce MathOverflow'a zaten göndermiştim , ancak bildiğim kadarıyla hala açık, bu yüzden burada birisinin duymuş olabileceği umuduyla burada yeniden gönderiyorum. Sorun bildirimi Let , ve içine üç bölüm olmak boş olmayan parça (ile gösterilmiş 'in, ' in ve kümesinin { 'ler) }. İki permütasyon Bul ve …

21 co.combinatorics  np-hardness 

Shor'un farklı NP-tamlık kavramları ile ilgili cevabını motive ederek , P indirimleri altında NP-tamamlanmış, ancak Logspace indirimleri altında NP-tam olduğu bilinmeyen (tercihen uzun süre) bir sorun arıyorum. Ayrıca, NP-tamamlanmış problemler arasında Logspace azaltmalarını bulmak P azaltmalarını bulmaktan daha mı zor?

21 cc.complexity-theory  np-hardness 

(Bu soru biraz "anket" tir.) Şu anda bir turnuvanın kenarlarını iki sete ayırmaya çalıştığım bir sorun üzerinde çalışıyorum, her ikisi de bazı yapısal özellikleri yerine getirmek için gerekli. Sorun "oldukça zor" hissettiriyor ve tamamen -complete olmasını bekliyorum.N-PNP\mathcal{NP} Karşılaştığım sorunla karşılaştırılabilir olarak değerlendireceğim bir sorun örneği: Ağırlıklı bir turnuvası verildiğinde , …

20 cc.complexity-theory  reference-request  np-hardness 

Son zamanlarda araştırmamda şu ilginç sorun ortaya çıktı: ANLIK: Grafik .G(V,E)G(V,E)G(V, E) ÇÖZÜM: bir üst olarak tanımlanan bir chordless tek döngülü tamamlama, E′E′E' kenar seti EEE böylece tamamlanmış grafiği hep G′(V,E′)G′(V,E′)G'(V, E') her kenar, bu özelliğe sahip G′G′G' bir chordless tek döngü içinde ihtiva edilmektedir. TEDBİR: Tamamlanma büyüklüğü, yani |E′−E||E′−E||E' …

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

Gelen bu soruya , biz (bu sayı teorisinde kanıtlanmamış varsayımlar doğruysa hangi bağlıdır rağmen) deterministik azalmalar altında randomize indirimleri altında NP-tam, ama muhtemelen değil doğal bir sorun tespit görünmektedir. Bilinen başka sorunlar var mı? P / poli indirgeme altında NP-tamamlanmış, ancak P indirgeme altında olduğu bilinmeyen herhangi bir doğal problem …

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

Farzedin ki bir n x n matrisimiz var. Üst üçgen şeklindeki bir matris elde edeceğimiz için satırlarını ve sütunlarını yeniden sıralamak mümkün müdür? Bu soru bu sorundan kaynaklanıyor: Pozitif topolojik sıralama Orijinal karar sorunu en az bu kadar zor, bu yüzden bir NP tamlık sonucu da bunu çözecektir. Edit: Laszlo …

20 ds.algorithms  np-hardness  open-problem  matrices 

Bir ekleme zinciri ve pozitif bir tamsayı dizisidir burada ve her bir indeks , elimizdeki bazı göstergeler için . Uzunluğu ekleme zinciri olduğu ; Hedef ekleme zinciri olan .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j , k < i …

20 reference-request  np-hardness 

Geri Bildirim Vertex Seti, genel grafikler için NP-eksiksizdir. Köşe örtüsünün azalmasından dolayı derece-8 sınırlı grafikler için NP-tam olduğu bilinmektedir. Wikipedia makalesi o derece-3 sınırlanmış grafikler için poli-time çözülebilir ve derece-4 sınırlanmış grafikler için NP-tam olduğunu söylüyor. Ama bunun için hiçbir yerde kanıt bulamadım. Bu doğru mu? Derece-d sınırlı grafiklerde FVS'nin …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree