算法设计期末作业01-8.3

最新推荐文章于 2022-11-24 22:28:28 发布

lisa___33

最新推荐文章于 2022-11-24 22:28:28 发布

阅读量321

点赞数

分类专栏： C++算法设计与应用

本文链接：https://blog.csdn.net/lisa___33/article/details/74979548

版权

C++算法设计与应用专栏收录该内容

67 篇文章 0 订阅

订阅专栏

题目

STINGY SAT is the following problem: given a set of clauses(each a disjunction of literals) ans an integer k, find a satisfying assignment in which at most k variables are true, if such an assignment exists. Prove that STINGY SAT is NP-complete.

解答过程

首先，显然，STINGY SAT 的解在多项式时间内是可以验证的。接下来只需要证明NP-complete SAT是归约到STINGY SAT的即可，即x是f的解当且仅当x是(f,k)的解。
对于充分性方向，
因为x是f的解，所以最多有k个变量为true，则x对于(f,k)也为真，所以充分性得证。
对于必要性方向，
因为x是（f,k）的解，x也是f的解。故必要性得证。
综上所述，STINGY SAT是NP-complete问题