Görünüşe göre, eğer , tüm diller P hariç ∅ ve Σ * olurdu N P -tamamlamak.
Neden özellikle bu iki dil? Biz başka bir dil azaltmaz Can kabul veya kabul etmiyor onları çıkışı yaparak onlara?
Görünüşe göre, eğer , tüm diller P hariç ∅ ve Σ * olurdu N P -tamamlamak.
Neden özellikle bu iki dil? Biz başka bir dil azaltmaz Can kabul veya kabul etmiyor onları çıkışı yaparak onlara?
Yanıtlar:
dizge olmadığından, onu hesaplayan herhangi bir makine her zaman reddeder, bu nedenle diğer sorunların Evet örneğini hiçbir şeyle eşleyemeyiz. Benzer şekilde Σ ∗ için No-örneğini eşleyecek hiçbir şey yoktur.
probleminden B problemine polinom indirgenmesi gerekirA'dan "daha zor" olduğunu kanıtlamak istiyorsanız, . Herhangi bir örneği dönüştürerek bir polinom azalma oluşturmak x ve A bir örneği olarak f ( x ) ve B , öyle ki x ∈ bir IFF f ( x ) ∈ B .
işlevi polinom olmalıdır ve olabilir. Eğer P = ve bir NP sorun, daha sonra f kendisi sorunu çözebilir A sorun ve yerleştirme her x ∈ bir bir eleman halinde y ve B ve bir x ∉ bir bir eleman içine z değil B .
Eğer ya bir ∅ veya Σ * o y veya z aksi takdirde mantık programları üzerinde, mevcut olamaz B daha fazla olan A .
Sadece bir not: önceki cevaplar iyi, ancak doğru önemsiz azaltmadan çok uzak değilsiniz:
eğer daha sonra herhangi bir L ∈ N P diline Karp indirgenebilir { 1 } (sadece polinom zamanlı olarak her bir haritada X ∈ L 1, her X ∉ L trivially a, 0,)seyrek dili
Tersine yön: "Eğer bir tam dili Karp seyrek bir kümeye indirgenebilirse, o zaman P = N P " kesinlikle daha ilginçtir ve Mahaney teoremi olarak bilinir :
Let bir sabit ve bir şekilde ayarlanabilir olduğu için tüm n , A en sahip uzunlukta bir dize n . Eğer bir olan K P sonra -tam P = N P .