算法设计期末作业01-8.3
2017-07-11 15:56
405 查看
题目
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问题
相关文章推荐
- 算法设计期末作业04-8.12
- 算法设计期末作业-08-8.22
- 算法设计期末作业05-8.14
- 算法设计期末作业07-8.16
- 【算法期末作业】8.3 证明STINGY SAT是NP-完全问题
- 算法设计期末作业-08-8.22
- 计算机算法设计与分析作业01:分治法求解大数乘法+L型骨牌的棋盘覆盖问题
- 哈尔滨理工大学软件与微电子学院软件工程专业2017学年大三上学期 算法设计与分析 期末大作业
- 算法设计期末作业-06-8.15
- 算法设计期末作业02-8.8
- 算法期末作业01
- 算法设计和数据结构学习_1(一道堆排序作业题)
- 算法第五周作业01
- 算法设计与应用基础作业第二周
- 算法设计与结构基础作业第五周
- 算法第八周作业01
- 算法设计与应用基础作业(二)
- 算法设计——问一个算法题(算法导论的作业题) (转载自水木清华Programming)
- 算法设计作业5
- 算法设计与应用基础作业第一周