《算法概论》习题8.3证明

《算法概论》习题8.3证明

STINGY SAT问题：给定一组子句（变量的析取）和整数k，求一个至多有k个变量为真的赋值安排（在这样的赋值安排存在的条件下）。求证：STINGY SAT问题是NP-完全问题。
证明：首先，易知STINGY SAT的解是可在多项式时间内验证的，因此其属于NP问题。另外，很容易可以将SAT问题归约到STINGY SAT问题（将k设为所有变量的总个数即可），于是可知STINGY SAT为NP-完全问题。