题目
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 和