第八章作业

8.3

证明：

已知SAT问题是NP完全问题。

要证明STINGY SAT问题是NP完全问题，只须证明一个SAT问题可以在多项式时间内归约到STINGY SAT问题。

假设SAT问题有n个变量，令STINGY SAT中的k为SAT问题中的n，这样就将SAT问题归约到了STINGY SAT问题。

即在常数时间将SAT问题归约到STINGY SAT问题。

得证。