8.3
吝啬SAT是如下的问题:给定一组子句(每个都是文字的析取)和一个整数k,若存在一个其中最多有k个变量为真的满足赋值式,找出它。证明吝啬SAT是NP-完全问题。
证明:
吝啬SAT 的解是可在多项式时间内验证的,故是NP问题。
通过将k 设为所有变量的总数,可以将SAT 归约到吝啬SAT,故吝啬SAT是NP 完全问题。
8.3
吝啬SAT是如下的问题:给定一组子句(每个都是文字的析取)和一个整数k,若存在一个其中最多有k个变量为真的满足赋值式,找出它。证明吝啬SAT是NP-完全问题。
证明:
吝啬SAT 的解是可在多项式时间内验证的,故是NP问题。
通过将k 设为所有变量的总数,可以将SAT 归约到吝啬SAT,故吝啬SAT是NP 完全问题。