NP-8.8

8.8. In the EXACT 4 SAT 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 4 SAT is NP-complete.

简要题解：

若已知一个问题是NP问题，只要能够将一个已知的NP完全问题归约到该问题，那么就能证明该问题是NP完全问题。

证明：

已知3SAT是NP完全问题，精确4SAT是NP问题

我们可以通过将3SAT归约到精确4SAT来证明精确4SAT的NP完全性

对于任意一个3SAT问题实例，我们依次进行以下3个操作：

1. 如果其中某个子句中包含了复数次同一个文字，那么可以将其缩减为一次；

2. 如果其中某个子句同时包含了某个变量的肯定和否定形式，那么可以将这个变量消掉；

3. 最后，在每个子句中添加一些没用的辅助变量来将每个子句所包含的文字数目扩充到四个。

至此，即已将该3SAT 实例转化成了一个精确4SAT 问题。证毕。