8.3 吝啬SAT问题

首先，我们可以知道STINGY SAT的解是可以在多项式的时间内验证它的解的，所以始于NP问题。另外，可以很容易的将SAT规约到STINGY SAT的（将k设为所有变量的总个数即可），所以可以知道STINGY SAT是NP完全问题。