习题解答
题目
8.8 在EXACT 4SAT问题中,输入为一组子句,每个子句都恰为4个literal的析取,且每个变量最多在每个子句中出现一次。目标是求其satisfying assignment(若其确实存在)。证明EXACT 4SAT是NP完全问题。
解答
① 已知EXACT 4SAT为NP问题。
② 对于任意的3SAT实例,若其中某个子句包含了重复的literal,可以缩减为一次出现,若一个变量的肯定和否定同时被包含,则可以将这个变量去除。可以通过增加一些无用的变量,使得每个子句所含的literal数目为4,此时将3SAT实例转化为了EXACT 4SAT问题。