第八章课后题_1

8.3

STINGY SAT的解是属于NP的，是可以在多项式时间内验证的。此外，SAT问题将k设为所有变量的总个数就可以规约到STINGY SAT。所以STINGY SAT是NP完全问题。

8.8

首先EXACT 4SAT属于NP。其次，对于3SAT实例，如果其中的某个子句中多次包含了同一个文字，就可以缩减为1次。如果包含一个变量的否定或肯定，可以去掉这个变量。这样就能把3SAT实例转换成了EXACT 4SAT问题。即通过将3SAT规约到了EXACT 4SAT证明了它的NP完全性。