CNF'den DNF'ye dönüşümün NP-Hard olduğunu nasıl kanıtlayabilirim?
Bir cevap istemiyorum, sadece nasıl kanıtlanacağı konusunda bazı öneriler.
5
Derinlemesine bir analiz için "CNF'yi DNF'ye Dönüştürme Üzerine" adlı
—
Vor
@ A.Schulz: Steve Cook'un makalesindeki orijinal tanım, onu Cook indirgeme yöntemleriyle tanımlar. Görünüşe göre genel NP sertliği en.wikipedia.org/wiki/NP-hard
—
Kaveh
CNF <-> DNF dönüşümü bir dil değildir, dil olması gerekir. daha çok girdi ve çıktı ile bir fonksiyon ve NP vb onun karar vermeyen sorunun boyut olarak üstel patlamaya yol açtığı kanıtlanmış olduğunu düşünmek için bir karar sorununa dönüştürülmelidir [örneğin Vors ref] bu nedenle bir [Eğer dışarıda ise] karar sorununun NP tam versiyonu muhtemelen önemli bir basitleştirmedir. Ayrıca Vors ref CNF <-> DNF dönüşüm gerçek karmaşıklığını gösterir gibi aktif bir araştırma problemidir ... sıkıştırma algoritması verimliliği bazı benzerlik olduğunu unutmayın ...
—
vzn
's eğer @vzn soru sorar NP değil, -Sabit NP -tamamlamak. Bu, NP üyeliğinin gerekli olmadığı, dolayısıyla bir karar sorunu olması gerekmediği anlamına gelir .
—
David Richerby