Prove the EXACT 4SAT is NP-complete.
来源:互联网 发布:淘宝补单技巧 编辑:程序博客网 时间:2024/05/23 15:06
题目:
8.8. In the EXACT 4SAT problem, the input is a set of clauses, each of is a disjunction of exactly four literals, and such that each variables occurs at most once in each clause. The goal is to find a satisfying assignment, if one exists. Prove the EXACT 4SAT is NP-complete.
解答:
这道题要求我们证明精确4SAT问题是NP完全的,精确4SAT和SAT是类似的,但是多了约束条件,我们都知道SAT是由多个子句组成的,每个子句里有若干个文字,而精确4SAT要求每个子句必须包含4个文字,且这4个文字不能重复。
通过上课知道要证明一个问题是NP-完全问题,需要证明以下两点:
1. 它是一个NP问题,且
2. 其他属于NP的问题都可归约成它。
先证明精确4SAT是NP的。首先,给出一个精确4SAT可能的解,我们可以在多项式时间验证这个解是否正确,所以精确4SAT是NP的。
后证明精确4SAT是NP完全的。要证明精确4SAT是NP完全,可以通过将一个已知的NP完全问题归约成精确4SAT。
我们都知道3SAT是NP完全的,在3SAT中,每个子句最多有3个文字,而且是可以重复的。
我们可以通过以下2步将3SAT问题转换成精确4SAT问题:
1. 对于3SAT的每个子句,如果存在重复的文字,我们可以只保留其中一个;如果同时存在x和x¯这两种文字,那么这两个文字必定有一个为true,所以这一子句必定为true,这一子句不会影响最终结果,可以直接去掉。
2. 这时候在剩下的子句中,每个子句包含的文字数量可以是1、2或者3。我们需要加入无关变量来将其扩充到4个文字。
对于包含3个文字的子句,如:
(x⋁y⋁z) (式1)
我们可以加入无关变量n,得到:
(x⋁y⋁z⋁n)(x⋁y⋁z⋁n¯) (式2)
因为n和n¯之间必定有一个为false,所以要使得式2为true,式1也必须为true。所以精确4SAT的解也满足3SAT。
而对于包含2个文字的子句,可以用类似的方法先扩充到3个文字,再扩充到4个文字;对于只有1个文字的子句也类似。
这个从3SAT到精确4SAT的问题转换过程也是多项式时间内可以完成的。
当在精确4SAT中找到合适的解之后,我们去掉无关变量剩下的解就是3SAT的解,这也是可以在多项式时间内完成的。
所以,3SAT问题可以转化成精确4SAT问题。
综上所述,3SAT问题可以归约为精确4SAT问题,由于3SAT是NP完全的,所以精确4SAT。也是NP完全的。
- Prove the EXACT 4SAT is NP-complete.
- 证明:EXACT 4SAT is NP-complete
- 8.3 Prove that STINGY SAT is NP-complete.
- 证明EXACT 4SAT问题为NP-complete
- NP-C EXACT 4SAT
- EXACT 4SAT问题是NP完全问题的证明
- Exact 4SAT问题是NP完全的证明
- NP完全问题——证明EXACT 4SAT是NP完全问题
- 吝啬SAT是NP-complete
- 第八章8.8证明EXACT 4ST问题为NP-complete
- 使用3SAT进行NP-complete规约一点启发
- NP-complete
- P,NP,NP Complete
- [NPC] 证明EXACT 4SAT问题是NPC问题
- 精确4SAT问题np完全性证明
- NP-Hard 和 NP-Complete
- What is the exact meaning of Runtime.getRuntime().totalMemory()
- P,NP,NP-complete,NP-hard
- 网络端口浅解
- PHP实现提交表单发送邮件
- SonarQube 安装
- 二叉树:已知先序和中序求后序
- WARNING: Your password has expired.Password change required but no TTY available.解决方法
- Prove the EXACT 4SAT is NP-complete.
- CSS3-阴影
- php垃圾回收机制
- [MySQL 5.6优化] -- limit x,x 优化
- linux-011文件系统节点操作函数解析
- Springboot的AOP不生效
- hdu 2476 String painter【区间dp】
- 关键性能指标及其度量方法
- linux-011中位图操作函数(申请释放节点,申请释放block)解析