[算法课课程作业][证明题]
来源:互联网 发布:义乌淘宝培训班要求 编辑:程序博客网 时间:2024/06/09 21:21
- 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-conplete.
- 证明:
首先,容易知道STINGY SAT的解是可在多项式时间内验证的,所以它属于NP。另外,可以将SAT归约到STINGY SAT(将k设为所有变量的总个数即可),于是可以得到STINGY SAT为NP完全问题。
阅读全文
0 0
- [算法课课程作业][证明题]
- 课程期末作业:《算法概论》课后8.22题的证明
- 课程期末作业:《算法概论》课后8.16题的证明
- 算法设计课作业证明题
- 【作业】算法概论课后证明题8.14
- 算法作业:证明题(1)-- 8.3
- 算法作业:证明题(2)-- 8.8
- 算法作业:第八章证明题(8.3)
- 算法作业:证明题(3)-- 8.10
- 算法作业:证明题(4)-- 8.12
- 算法作业:证明题(5)-- 8.12
- 【算法课程作业说明】
- 【算法课程作业】扫雷游戏
- 算法期末作业 NP问题证明
- 算法证明题
- 算法概论证明题
- 《算法分析与设计》课程作业
- 算法课程第六周Leetcode作业
- php语法写在html中无法被解析
- [Leetcode] 261. Graph Valid Tree 解题报告
- Uva 714 Copying Books
- 第 1 章 数据结构绪论
- 修改git author email
- [算法课课程作业][证明题]
- 梯度消失/爆炸浅析
- Spring中,applicationContext.xml 配置文件在web.xml中的配置详解
- 使用Eclipse开发工具
- 特征工程之连续特征与离散特征处理方法介绍
- Android关于项目中遇到的按home键退出到桌面,再次打开重新启动程序的解决方法
- Serlvert
- kehou..
- 详解HttpURLConnection