NP-complete problems课后题
来源:互联网 发布:如何评价地狱边境 知乎 编辑:程序博客网 时间:2024/06/11 11:02
题目:
8.8 In the EXACT 4SAT problem, the input is a set of clauses, each of which is a disjunction of exactly four literals, and such that each variable occurs at most once in each clause. The goal is to find a satisfying assignment, if one exists. Prove that EXACT 4SAT is NP-complete.
解答:
首先很显然, EXACT 4SAT 属于 NP。现在通过将 3SAT 归约到 EXACT 4SAT 来证明后者的 NP 完全性。
对于任意一个 3SAT 实例,如果其中某个子句中包含了同一个文字多次,那么可以缩减为一次,如果同时包含了某个变量的肯定及否定,那么可以将这个变量去掉。然后,可以再在每个子句中可以添加一些没用的辅助变量,这样就可以将每个子句所包含的文字数目扩充到四个。
至此,即已将该3SAT 实例转化成了一个 EXACT 4SAT 问题。
阅读全文
0 0
- NP-complete problems课后题
- Chapter8 NP-complete problems 课后习题8.3
- Chapter 8 NP-complete problems课后习题8.16
- NP-complete problems
- P/NP/NP-Complete/NP-Hard Problems
- 课后作业 课本NP-complete证明题
- six basic np-complete problems
- [算法作业] Chapter 8 NP-complete problems 课后习题部分证明
- several ways to solve np-complete problems
- 算法作业 NP-complete problems 8.22
- 课本NP-complete证明题
- NP-complete
- P,NP,NP Complete
- NP-Hard 和 NP-Complete
- P,NP,NP-complete,NP-hard
- P/NP/NP-Complete/NP-Hard
- P/NP/NP-Complete/NP-Hard
- P,NP,NP-complete,NP-hard
- 关于eclipse的mysql连接配置
- 【CJOJ1372】【洛谷2730】【USACO 3.2.5】魔板
- C/C++学习之basic_string
- 插入排序-算法
- LeetCode--Regular Expression Matching
- NP-complete problems课后题
- rpm 安装软件
- 从Hermite插值公式推导Smoothstep插值公式
- PAT b1046-b1049题解
- 【网络】URG 和 PSH 标志位
- Js(四)随笔(个人观看)
- Nginx负载均衡NFS配置
- C++ sizeof操作符
- 嵌入式每日学习心得2017.07.13