證明NP問題（算法概論8.8）

Description 在精確的4SAT（EXACT 4SAT）問題中，輸入爲一組子句，每個子句都是恰好4個文字的析取，且每個變量最多在每個子句中出現一次。 目標是求它的滿足賦值——如果該賦值存在。證明精確的4SAT是NP完全問題。 Proof： 不難得到，書本中給出證明:3SAT問題是NP-完全的。 可知，對於問題A,B。若A是NP-完全的，則當我們將A歸約到B時就可以證明得到B也是NP-完全的

>>阅读原文<<