Np 完全问题 8.3

思路：

我们应该验证是否在多项式时间内可以解决stingy sat的问题，能否得出正确的解：将问题归到stingy sat，假设一个stingy sat 的实例

（f，k），一组赋值m。

（a）令m为f的解，那么最多有k个为真的变量，m对（f，k）的值亦为真，则m为（f，k）的解。

（b）令m为（f，k）的解，可知m为f的解。

综上，stingy sat为一个Np完全问题。