题目
STINGY SAT is the following problem:given a set of clauses(each a disjunction of literals) and an integer k, find a satisfy assignment in which at most k variables are true, if such an assignment exists. Prove that STINGY SAT is NP-complete.
题意
STINGY SAT 问题是这样的:给定一组子句(每个子句都是其中文字的析取)和整数k, 求一个最多有k个变量为true的满足赋值–如果该赋值存在.
证明STINGY SAT是NP-完全问题.
证明
- 易证STINGY SAT的解可以在多项式时间内验证,因此STINGY SAT问题是NP问题.
- 通过将k设为所有变量的总数,可以将sat问题规约到STINGY SAT问题,而且这个规约过程也是多项式时间内可以完成的,所以STINGY SAT是NP-完全问题.