8.3
问题描述:
STINGY SAT
is the following problem: given a set of clauses(each a disjunction of literals) and an integer k
, find a satisfying assignment in which at most k
variables are true, if such an assignment exists. Prove that STINGY SAT
is NP-complete
.
问题解答:
首先我们可以将SAT
问题归约到STINGY SAT
问题,因为SAT
问题是STINGY SAT
问题的一个特例:当k
等于变量的总数的时候,STINGY SAT
问题就变成了SAT
问题。也就是说,STINGY SAT
问题比SAT
问题要更加难。
在课本中已经证明了SAT
问题是NP-complete
的了,那么也就是说,STINGY SAT
问题是NP-hard
的。
然后对于STINGY SAT
问题的可能解,我们是可以在多项式时间内验证其是否正确的。所以,STINGY SAT
问题是一个NP-complete
的问题。