算法概论 8.8

题目：

在精确的4SAT（EXACT 4SAT）问题中，输入为一组子句，每个子句都是恰好4个文字的析取，且每个变量最多在每个子句中出现一次。

目标是求它的满足赋值——如果该赋值存在。证明精确的4SAT是NP完全问题。

证明：

（1）基本思路：

采用归约来证明。对于问题A、B，若A是NP-完全的，则我们只需要将A归约到B，即可证明B也是NP-完全的。

由《算法概论》8.2节可知，3SAT问题是NP-完全的。

因此，只需找到将3SAT归约到EXACT 4SAT的方法，即可完成本题的证明。

（2）归约方式：