课后作业 课本NP-complete证明题
来源:互联网 发布:淘宝卖家秀和买家秀 编辑:程序博客网 时间:2024/05/20 05:30
8.3吝啬SAT问题是这样的:给定一组子句(每个自举都是其中文字的析取)和整数k,求一个最多k个变量为rue的满足
赋值——如果该赋值存在。证明吝啬SAT是NP-完全问题。
首先,易知STINGY SAT 的解是可在多项式时间内验证的,因此属于NP。另外,很容易可以将SAT 归约到STINGY SAT(将k 设为所有变量的总个数即可),于是可知STINGY SAT 为NP 完全问题。
给定方程式f,令(f,k)表示k个变量的SAT问题的实例,下面证明一组赋值a是f的解当且仅当a也是(f,k)的解。
必要性:假设a是f的解,因为一共有k个变量,所以a中也有不超过k个变量为真,所以a也是(f,k)的解。
充分性:假设a是(f,k)的解,那么显然也是对应f的解。
阅读全文
0 0
- 课后作业 课本NP-complete证明题
- 课本NP-complete证明题
- [算法作业] Chapter 8 NP-complete problems 课后习题部分证明
- NP-complete problems课后题
- 【算法期末作业】课本8.19 kite问题的NP完全问题证明
- 【作业】算法概论课后证明题8.14
- 《Algorithms》NP-complete 部分证明习题解答
- 证明:EXACT 4SAT is NP-complete
- Chapter8 NP-complete problems 课后习题8.3
- 课本8.3证明 吝啬SAT问题是NP完全问题
- 课本8.19 kite问题的NP完全问题证明
- 算法作业 NP-complete problems 8.22
- 课程期末作业:《算法概论》课后8.22题的证明
- 课程期末作业:《算法概论》课后8.16题的证明
- 如何证明NP-Complete问题(how to handle np-complete problem)
- 作业-NP完全问题证明-8.23
- 算法期末作业 NP问题证明
- 证明EXACT 4SAT问题为NP-complete
- Android-------Activity生命周期
- Who's in the Middle poj 2388
- 【codeforces 749B】 Parallelogram is Back
- 5-10 公路村村通
- PAT-乙级1008:数组元素右移问题
- 课后作业 课本NP-complete证明题
- C++中TCP/IP按约定报文协议接收数据完成拼包
- 常用类
- xml自动提示
- 读取配置文件properties的简单方式
- Spring学习笔记(一)
- React基础
- 终结解决Java Web开发过程中的中文乱码问题
- leetcode题解 632. Smallest Range