EXACT 4SAT问题

EXACT 4SAT问题

标签（空格分隔）： NP完全问题 算法

---

证明EXACT 4SAT是一个NP完全问题，具体题目如下：

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 assigment, if one exists.Prove that EXACT 4SAT is a NP-complete.

解题思路：
因为题目要求我们证明EXACT 4SAT问题是一个NP完全问题，所以我们可以通过将3SAT问题规约到EXACT 4SAT问题，来来证明该问题是NP完全问题，这样的话因为3SAT问题是NP完全的，所以EXACT 4SAT问题也是NP完全的。

证明：
对于一个3SAT实例$X = \lbrace x_1, x_2,···, x_n \rbrace$ 和 $C = \lbrace c_1, c_2, ··· , c_m \rbrace$ 在每一个子句 $c_i$ 中添加m个无关的变量 $x_i$ 后就可以将问题规约到EXACT 4SAT问题上面。