算法概论第八章课后习题8.8

题目：在精确的4SAT(EXACT4SAT)问题中，输入为一组子句，每个句子都是恰好为4个文字的析取，且每个变量最多在每个子句中出现一次。目标是求它的满足赋值——如果赋值存在。证明精确的4SAT是NP-完全问题。 证明：首先证明4SAT与3SAT等价，4SAT子句的形式（ a1 , a2 , a3 , a4 ）,可以通过新增两个变量来将其拆分分成两个包含三个文字的子句:( a1 , a2 , y

>>阅读原文<<