证明EXACT 4SAT问题是NP完全问题-[算法概论8.8]

证明EXACT 4SAT问题是NP完全问题

一、EXACT 4SAT问题描述

输入为一组子句，每个子句都是恰好四个文字的析取，并且每个文字在一个子句中最多出现一次，求满足这组子句的赋值。

二、证明

为了证明EXACT 4SAT为NP完全问题，这里我们考虑用归约的思路，将一个已知的NP完全问题归约成EXACT 4SAT问题，我们考虑最为相似的3SAT问题。

对3SAT问题中每个子句中重复的变量合并，重复相反的变量将子句去除，这里只需要O(n)的时间。
例：

$$(x \lor y \lor y) \land (z \lor \neg z \lor w) \land (v \lor u \lor t) \land (\neg y \lor \neg v)$$
化简为
$$(x \lor y) \land (v \lor u \lor t) \land (\neg y \lor \neg v)$$

这时为了将每个子句扩充到4个文字，需要加入一些新加入的变量，并且新加入的变量需要限制原问题的解不变，所以对于每个子句$q$我们扩充的方式是：$(q\lor y) \land (q \lor \neg y)$，而且每做这样一次扩充只可以为子句增加一个变量，这些变量的添加只需要O(n)的时间。

例：

$$(x \lor y) \land (v \lor u \lor t)$$
扩充后是
$$(x \lor y \lor a \lor b) \land (x \lor y \lor \neg a \lor b) \land (x \lor y \lor a \lor \neg b) \land (x \lor y \lor \neg a \lor \neg b)\\ \land (v \lor u \lor t \lor \neg k) \land (v \lor u \lor t \lor k)$$

所以得到了EXACT 4SAT问题。则原3SAT问题中的解一定是归约得到的EXACT 4SAT问题的一个解，这是由于对于$(q\lor y) \land (q \lor \neg y)$ ，q必须为真，对应得3SAT中q必须为真。

由于归约过程是多项式时间的，3SAT是NP-完全问题，所以EXACT 4SAT是NP-完全的。