吝啬SAT问题是这样的:给定一组子句(每个子句都是其中文字的析取)和整数k,求一个最多有k个变量为true的满足赋值--如果该赋值存在。证明吝啬SAT是NP-完全问题。
解:由于吝啬SAT的解是在多项式时间内可验证的,因此属于NP。另外,可以将SAT归约到吝啬SAT(将k设为所有变量的总个数即可),于是可知吝啬SAT是NP-完全问题。
吝啬SAT问题是这样的:给定一组子句(每个子句都是其中文字的析取)和整数k,求一个最多有k个变量为true的满足赋值--如果该赋值存在。证明吝啬SAT是NP-完全问题。
解:由于吝啬SAT的解是在多项式时间内可验证的,因此属于NP。另外,可以将SAT归约到吝啬SAT(将k设为所有变量的总个数即可),于是可知吝啬SAT是NP-完全问题。