中文翻译题目
吝啬SAT问题是这样的:给定一组子句(每个子句都是其中文字的析取)和整数k,求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬SAT是NP-完全问题。
题目思路
要证明吝啬SAT是NP-完全问题,需要证明吝啬SAT是NP问题,并将SAT归约到吝啬SAT即可
证明过程
证明吝啬SAT是NP问题
NP问题是:一个问题的解可以在多项式的时间内被证true或证false。
由于吝啬 SAT 的解是可在多项式时间内验证的,因此属于 NP。将SAT归约到吝啬SAT
SAT问题是:给定一系列布尔变量以及它的约束集,是否存在一个解使得它的输出为真。
将 k 设为所有变量的总个数,即可将 SAT 归约到吝啬SAT。
综上,吝啬 SAT 为 NP 完全问题。
参考链接:1. 怎么理解 P 问题和 NP 问题? - 李大雷的回答 - 知乎
https://www.zhihu.com/question/27039635/answer/83771163