第八章8.8证明EXACT 4ST问题为NP-complete

8.8
In the EXACT 4SAT problem, the input is a set of clauses, each of which is a disjunction of exactly four literals, and such that each variable occurs at most once in each clause. The goal is to find a satisfying assignment, if one exists. Prove that EXACT 4SAT is NP-complete.

证明：
要证明EXACT 4SAT为NP完全，可以通过将3SAT问题归约到EXACT 4ST来证明。首先，EXACT 4ST显然是NP的，而对与任一的3SAT实例，若其中的某一个子句中对于同一个文字包含了多次，那么就可以缩减为1次；若同时包含了某一个变量的否定与肯定，那么的话可以将该变量去掉。最后，在每个子句中可以添加哑变量m，通过这样可以讲每个子句中所包含的文字数目扩充到4个，这样的话，该3SAT实例就已经转化为题目中所提到的EXACT 4SAT问题，因此可以证明EXACT 4SAT为NP-complete。