期末作业：8.3

题目：

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

解：当变量的总的个数为k个时，这就是一个SAT问题，因此可以把SAT问题归约为吝啬SAT问题，易知，此归约只需要多项式的时间，由课本可知，SAT是NP完全问题，因此，吝啬SAT也是一个NP完全问题。