8.3 吝啬SAT问题是这样的: 给定一组字句(每个句子都是其中文字的析取)和整数k, 求一个最多有k个变量为true的满足赋值, 如果该赋值存在. 证明吝啬SAT问题是NP完全问题.
证明:
考虑将SAT归约为旅行商问题(TSP), 如果可以确定一条经过所有变量的路径, 且变量值为true的个数不超过k, 则存在这样的赋值, 反之, 则不存在; 证毕.
8.8 在精确的4SAT(EXACT 4SAT)问题中, 输入一组子句, 每个子句都是恰好4个文字的析取, 且每个变量最多在每个子句中出现一次. 目标是求它的满足赋值, 如果该赋值存在. 证明精确的4SAT是NP完全问题.
证明:
设3SAT的实例I, 且I的子句集为(a1 v a2 v a3)(a1’ v a2 v a3)...(a1‘ v a2’ v a3‘),共k个子句, 采用如下子句集代替:
(a1 v a2 v a3 v y1)(a1' v a2 v a3 v y2)...(a1' v a2' v a3 v yk), yi是新增的变量, 记该4SAT的实例为I‘, 在该实例中, 假设变量x在m(m > 4)个子句中出现, 则将其第一次出现代替为x1, 第二次出现代替为x2, 第三次出现代替为x3, 以此类推. 并且增加一组子句(x1' v x2)(x2' v x3)...(xm' v x1).
对所有重复超过4次的变量重复以上过程, 完成从3SAT到4SAT的归约. 因为3SAT是NP完全问题, 且3SAT可归约为4SAT, 所以4SAT是NP完全问题; 证毕.