題目
在精確的4SAT(EXACT 4SAT)問題中，輸入爲一組自居，每個子句都是恰好4個文字的析取，且每個變量最多在每個自居中出現依次。目標是求它的滿足賦值——如果該賦值存在。證明精確的4SAT是NP-完全問題。
題目分析
證明是NP-完全問題，可以用一個已知的NP-完全問題A，用它歸約到4SAT問題，即可得證。
首先4SAT是SAT的一種特例，它是屬於NP的。已知3SAT是NP-完全問題，給定一個3SAT的實例I，對於I中的子句
先將每個子句中的變量縮減到最簡形式，然後給每個子句中添加一組另外的變量即不影響原來的求解，這樣就可以將每個子句所包含的文字數目擴充到四個，這樣就能成功就3SAT歸約到精確的4SAT問題。