【Algorithms】NP-complete problems(exersises-8.8)

习题解答

题目

8.8 在EXACT 4SAT问题中，输入为一组子句，每个子句都恰为4个literal的析取，且每个变量最多在每个子句中出现一次。目标是求其satisfying assignment（若其确实存在）。证明EXACT 4SAT是NP完全问题。

解答

① 已知EXACT 4SAT为NP问题。
② 对于任意的3SAT实例，若其中某个子句包含了重复的literal，可以缩减为一次出现，若一个变量的肯定和否定同时被包含，则可以将这个变量去除。可以通过增加一些无用的变量，使得每个子句所含的literal数目为4，此时将3SAT实例转化为了EXACT 4SAT问题。