算法概论第八章习题
2018-01-02 22:11
417 查看
8.3
STINGY SAT is the following problem: given a set of clauses (each a disjunction of literals) and 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.
solution：
首先，容易知道得到了STINGY SAT问题的一个解，要验证该解成立，则需要一个个带入子句赋值验证，所需为多项式时间，因而STINGY SAT问题是NP问题。
要证明STINGY SAT是NP完全问题，可由SAT问题归约得到 STINGY SAT即可证明。若STINGY SAT 问题中k恰为SAT问题总变量数，则此时的STINGY SAT即可转为SAT问题，已知SAT问题是NP完全问题则STINGY SAT问题是NP完全问题
STINGY SAT is the following problem: given a set of clauses (each a disjunction of literals) and 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.
solution：
首先，容易知道得到了STINGY SAT问题的一个解，要验证该解成立，则需要一个个带入子句赋值验证，所需为多项式时间，因而STINGY SAT问题是NP问题。
要证明STINGY SAT是NP完全问题，可由SAT问题归约得到 STINGY SAT即可证明。若STINGY SAT 问题中k恰为SAT问题总变量数，则此时的STINGY SAT即可转为SAT问题，已知SAT问题是NP完全问题则STINGY SAT问题是NP完全问题
内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理 
相关文章推荐
- 《算法概论》第八章习题 8-15
- 算法分析与设计丨第十七周丨算法概论第八章习题——k-spanning tree（8.12）
- 算法概论第八章 NP完全问题 习题证明
- 算法概论课本第八章习题作业 8.8
- 算法设计 《算法概论》第八章 8.10 习题解答
- 《算法概论》第八章 部分习题解答
- 算法概论第八章部分习题解答
- 算法概论第八章课后习题
- 算法概论第八章课后习题
- 算法概论 第八章习题
- 《算法概论》第八章NP完全问题——8.19习题解
- 算法概论第八章习题
- 《算法概论》第八章NP完全问题部分习题解
- 算法概论第八章课后习题8.8
- 算法概论第八章课后习题8.3
- c++ primer plus第八章习题答案
- 快学scala 第八章 继承 读书笔记及习题答案代码
- Perl语言入门-第八章-以正则表达式进行匹配-习题
- 算法概论第8章习题
- 算法概论课后习题8.3