《算法概论》课后习题8.8 证明4SAT是NP完全的

题目

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

这道题要求我们证明精确4SAT问题是NP完全的，所谓精确4SAT，它和SAT是类似的，但是多了约束条件，我们都知道SAT是由多个子句组成的，每个子句里有若干个文字，而精确4SAT要求每个子句必须包含4个文字，且这4个文字不能重复。

精确4SAT是NP的

首先，给出一个精确4SAT可能的解，我们可以在多项式时间验证这个解是否正确，所以精确4SAT是NP的。

精确4SAT是NP完全的

要证明精确4SAT是NP完全，可以通过将一个已知的NP完全问题归约成精确4SAT。

我们都知道3SAT是NP完全的，在3SAT中，每个子句最多有3个文字，而且是可以重复的。

我们可以通过以下2步将3SAT问题转换成精确4SAT问题：
1. 对于3SAT的每个子句，如果存在重复的文字，我们可以只保留其中一个；如果同时存在$x$和 x⎯⎯