首先,我们可以在多项式时间内验证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完全问题。
首先,我们可以在多项式时间内验证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完全问题。