【算法设计作业】week17

课本课后习题8.8
要求证明Exact 4SAT problem是NP完全问题。

先考虑Exact 3SAT问题的每一个子项，有a ∨ b ∨ c形式
我们可以有这样的推理过程：

a ∨ b ∨ c
== (a ∨ b ∨ c)∧ True
== (a ∨ b ∨ c)∧ (y ∨ ¬y)
== (a ∨ b ∨ c ∨ y)∧ (a ∨ b ∨ c ∨ ¬y)

这样，每一个3SAT的项就变为4SAT项的形式。
这说明，Exact 3SAT problem => Exact 4SAT problem
而3SAT problem 是NP难问题，从而Exact 4SAT problem也是NP难问题。