8.3吝啬SAT问题

吝啬SAT问题是这样的：给定一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬问题是NP-完全问题。

已知SAT是NP完全问题，因此，只要能把SAT归约到吝啬SAT问题，即可证明。
假设SAT问题有n个变量，则该SAT问题等价于k = n的吝啬SAT问题。这样的归约过程的时间复杂度为O（1），是多项式时间复杂度，命题得证。