«reductions» etiketlenmiş sorular

Azalma, bir sorunun başka bir probleme dönüşmesidir. Bir indirgeme kullanımına örnek olarak P sorununun çözülemez olup olmadığını göstermek verilebilir. Bu, bir karar sorununun dönüştürülmesi veya azaltılmasıyla elde edilebilir.Pkararsız bir soruna dönüştü. Bu başarılabilirse, bu sorunun P'nin çözülemez olduğunu gösterdik.

4
Doğrudan SAT-3-SAT azaltma
Burada amaç, en az sayıda cümle ve değişken kullanarak polinom zamanda keyfi bir SAT problemini 3-SAT'a indirmektir. Benim sorum meraktan kaynaklanıyor. Daha az resmi olarak şunu bilmek isterim: "SAT'dan 3-SAT'a 'en doğal' azalma nedir?" Şimdi her zaman ders kitaplarında gördüğüm azalma şöyle olur: Öncelikle SAT örneğinizi alın ve SAT devresini …
2
Güçlü NP sertliği, düz çoklu zaman azaltmaları kullanılarak gerçekten gösterilebilir mi?
Son zamanlarda, bir sorunun güçlü bir NP-zor probleminden (polinom zamanında) azaltarak, NP-zor olduğunu göstermeyi amaçlayan bir kanıt okudum. Bu benim için bir anlam ifade etmiyordu. Düşürmede kullanılan herhangi bir sayının ve azalttığınız sorunun örneklerinin, sorun boyutunda polinom olarak sınırlanmış olduğunu göstermeniz gerektiğini düşünürdüm. Daha sonra Wikipedia'nın bu tür kanıtlar için …
2
Kesişimi mi P grafik Matroid'ler?
Üç genel matroidin kesişiminin, Hamilton çevriminden indirgeme ile yapılan NP-sert ( kaynak ) olduğu bilinmektedir . İndirgeme bir grafik matroid ve iki bağlantı matroidi kullanır. Üzerinde çalıştığım bir sorunun özel bir durumu, kavşak çoklu grafik matroidleri ile çözülebilir, ancak bu sorunun P'de olup olmadığını bulamadım. Soru: Biliniyor mu? Birisi beni …
1
Polinom zaman azalmasında üstelleştirmenin geçerliliği
Ben cs.stackexchange 10 gün önce bu soru soruldu burada ama herhangi bir cevap didn'y. Bir de çok ünlü kağıt (ağ toplumda), Wang & Crowcroft bazı sunmak birçok katkı maddesi / çarpımsal kısıtlar altında yol hesaplama -completeness sonuçları. İlk sorun şudur:NPNP\mathsf{NP} Yönlendirilmiş bir grafik ve kenarlar üzerinde w 1 ve w …
3
Alt küme toplamı ve Alt küme ürünü (güçlü ve zayıf NP sertliği)
Bazılarının bana neden alt küme ürün sorununun neden NP-zor olduğunu açıklayabileceğini umuyordum, alt küme toplamı sorunu ise zayıf NP-zor. Alt Küme Sum: Verilen ve T , bir alt grup arasında var, X ' , öyle ki Σ i ∈ X ' X i = T .X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\}TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = …
1
SAT'ın NP sertliği için gereken minimum azaltma derinliği nedir?
Herkesin bildiği gibi, SAT için tamamlandıktan polinom zamanlı birçok kimse azalmalar wrt. Hala A C 0 çok-bir indirimler ile tamamlandı.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Sorularım, indirimler için gereken minimum derinlik nedir? Daha resmi, SAT'ın N P -hard wrt A C 0 d çok-bir indirgenmesi olacak en az nedir ?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Bana göre yeterli olmalı mı? …
1
Altküme Toplamı veya NPP için tamsayı ilişkisi algılama?
Tamsayı ilişkisine yönelik (küçük) bir çözümün yanıt vermesi için bir Altküme Toplamı veya Sayı Bölümü Sorunu örneğini kodlamanın bir yolu var mı? Kesinlikle değilse, o zaman bir olasılıkla? Seçilen sayı aralığının büyük olduğu 'düşük yoğunluklu' bölgedeki Altküme Toplamı sorunlarının çözümünde LLL'nin (ve belki de PSLQ'nun) ılımlı bir başarı ile kullanıldığını …
5
İndirimler bizi bir sorunun izlenebilirliği için aşağı yukarı iyimser yapmalı mı?
Bana göre çoğu karmaşıklık teorisyeni aşağıdaki felsefi kurala inanıyor: problemi için etkili bir algoritma bulamazsak ve problemini problemine indirgeyebilirsek , muhtemelen problem için de etkili bir algoritma yoktur .A B BAAAAAABBBBBB Bu nedenle, örneğin, yeni bir sorunun NP-Complete olduğu kanıtlandığında , sonunda gösterebilecek yeni bir yaklaşımdan (sorun ) heyecanlanmaktan ziyade …
1
Dağıtılmış sistemlerde kanonik sorunların bir listesi var mı?
Geçen hafta, Leslie'nin Lamport'un 1982'de Çözülen Sorunlar, Çözülmemiş Sorunlar ve Eşzamanlı Olmayan Sorunlar hakkında verdiği bir konferansın trasncript'ini tekrar okuyordum . Kağıt kolayca okunabilir, ancak beni düşündüren şeylerden biri şu iddia: Herhangi bir problem karşılıklı dışlama problemi veya üretici-tüketici problemi veya bu ikisinin bir kombinasyonu olarak kabul edilebilir mi? Bu …
2
ALogTime! = PH'un kanıtlanması zor (ve bilinmiyor)?
Lance Fortnow geçtiğimiz günlerde L! = NP'yi kanıtlamanın P! = NP'yi kanıtlamaktan daha kolay olması gerektiğini iddia etti : NP'yi Logaritmik uzaydan ayırın. Blog öncesi 2001'de köşegenleştirme üzerine bir ankette (Bölüm 3) dört yaklaşım verdim , ancak hiçbiri göz ardı edilmedi. P'yi NP'den ayırmaktan çok daha kolay olmalıdır. Bağlantılı anketteki …
1
En yavaş çoklu azaltma?
Biz kanıtlamak istediğinizde olan K P -Komple, daha sonra standart yaklaşım, bilinen bir polinom zaman hesaplanabilir çok-on azalttığı da bir N P için Komple sorun L . Bu bağlamda indirgemenin çalışma süresi üzerinde sıkı bir sınırlamaya ihtiyacımız yok. Herhangi bir polinom sınırına sahip olması yeterlidir , bu da muhtemelen çok …
3
Zor dillerin sınırı kolay olabilir mi?
Aşağıdakilerin hepsi aynı anda tutulabilir mi? L s + 1 sLsLsL_s , tüm pozitif tamsayılar için .Ls+1Ls+1L_{s+1}sss { 0 , 1 }L=⋃sLsL=⋃sLsL = \bigcup_s L_s , üzerindeki tüm sonlu kelimelerin dilidir .{0,1}{0,1}\{0,1\} Bazı karmaşıklık sınıfı yoktur ve redüksiyon uygun bir kavramı herbiri için böyle , için zordur .C s L …
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.