Chapter8 NP-complete problems 課後習題8.3

8.3 證明吝嗇SAT是NP-完全問題 吝嗇SAT問題 給定一組字句（每個子句都是其中文字的析取）和整數k，求一個最多有k個變量爲true的滿足賦值–如果該賦值存在。 SAT問題（可滿足性問題） SAT的一個實例： (x⋁y⋁z)(x⋁y¯)(y⋁z¯)(z⋁x¯)(x¯⋁y¯⋁z¯) ，是一個採用合取範式的布爾公式。它由一組子句組成，每個子句都是多個文字的析取。SAT問題爲，給定一個採取合取範式

>>阅读原文<<