课本课后习题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难问题。