《算法概論》第八章 部分習題解答

8.8 EXACT 4SAT是一個NP問題，通過將3SAT歸約到EXACT 4SAT來證明EXACT 4SAT的NP完全性。對於任意的一個3SAT，如果其中的某個子句包含了同一個文字多次，那麼可以縮減爲一次。如果他同時包含了某個變量的否定和肯定，如(x和x ̅)那麼就可以把x去掉。我們就可以在每個子句中添加一些輔助變量，這樣就是把每個字據所包含的文字數目擴充到四個。所以把一個3SAT實例轉化成了一

>>阅读原文<<