期末作业8.3
来源:互联网 发布:阿里云邮箱 彻底删除 编辑:程序博客网 时间:2024/05/22 06:13
题目:
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问题。
阅读全文
0 0
- 期末作业8.3
- 期末作业:8.3
- 期末作业
- 期末作业
- 期末作业
- 期末作业
- 期末作业
- 算法设计期末作业01-8.3
- C++期末作业
- 期末作业设计中
- C语言期末作业
- OPNGl期末作业
- C++期末大作业
- 算法期末作业01
- 期末算法作业
- 期末作业8.14
- 期末第八章作业
- 期末作业NP问题
- 整数划分
- HiJson(Json格式化工具)64位 V2.1.2绿色版
- git checkout详解
- go 遇到的坑
- day_13_管道、共享内存、消息队列
- 期末作业8.3
- Hashing
- 博客搬家到博客园了
- Hibernate 项目启动加载很慢,不联网时启动不了,还报异常Caused by: org.dom4j.DocumentException: www.hibernate.org Nested exc
- swoole 增加 展示 修改
- Ubuntu: Linux下查看本机显示器分辨率(xrandr)
- Python 类的多继承问题 [未解]
- 使用Chrome调试JavaScript的断点设置和调试技巧
- int *ptr=(int *)(&a+1)问题的探讨