算法作业：证明题（2）-- 8.8
2017-07-04 20:41
253 查看
问题描述：
证明：
∵ EXACT 4SAT是NP问题，且可通过对于任一个EXACT 3SAT的实例，当其包含了某变量的否定或者肯定，去除该变量；或者当其某一个子句多次包含了某一个文字，将所有包含文字数缩减为一次
∴EXACT 3SAT的每一个子句都可以让其包含的文字拓展为4个，即将3SAT实例转换为4SAT实例
∵EXACT 3SAT可以规约为EXACT 4SAT问题，可证4SAT具有NP完全性
证明：
∵ EXACT 4SAT是NP问题，且可通过对于任一个EXACT 3SAT的实例，当其包含了某变量的否定或者肯定，去除该变量；或者当其某一个子句多次包含了某一个文字，将所有包含文字数缩减为一次
∴EXACT 3SAT的每一个子句都可以让其包含的文字拓展为4个，即将3SAT实例转换为4SAT实例
∵EXACT 3SAT可以规约为EXACT 4SAT问题，可证4SAT具有NP完全性
内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理 
相关文章推荐
- 证明EXACT 4SAT问题是NP完全问题-[算法概论8.8]
- 算法作业：证明题（3）-- 8.10
- 算法分析与设计课程作业第十六周——NP-完全问题证明
- 证明NP问题（算法概论8.8）
- [算法课课程作业][证明题]
- 证明SJF(Shortest Job First:最短作业优先算法)策略生成的调度方案理论最优
- 【算法期末作业】课本8.19 kite问题的NP完全问题证明
- 算法设计期末作业02-8.8
- NP问题——证明EXACT 4SAT问题是NP完全问题（算法概论习题8.8）
- [算法作业] Chapter 8 NP-complete problems 课后习题部分证明
- 算法作业 算法概论T8.9证明
- 【算法期末作业】8.3 证明STINGY SAT是NP-完全问题
- 算法作业第八章证明题（8.9）
- 算法作业：证明题（4）-- 8.12
- 《操作系统》 先来先服务FCFS和短作业优先SJF进程调度算法相关计算及实验
- 贪婪算法硬币找零最优解问题证明
- 迪菲－赫尔曼算法的简单数学证明
- 第二次实验作业（算法基本功 与 综合思考）
- 第四周作业--1图的表示,2无向图的DFS算法,3有向图找环;
- 练习4.1-5最大子数组线性算法及证明