NP 完全问题8.3

首先，我们可以在多项式时间内验证stingy sat的解是否正确。将问题归约到stingy sat。

假设一个stingy sat的实例(f,k)，一组赋值x。

(1)令x为f的解，那么有最多k个变量为真，x给(f,k)的值也为真，则x为(f,k)的解。(2)令x为(f,k)的解，易知x为f的解。

所以stingy sat为一个NP完全问题。