问题描述
吝啬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完全问题。