NP完全问题 课后习题
2017-07-05 13:06
260 查看
8.8 题原文:
In the EXACT 4 SAT 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
4 SAT is NP-complete.
题意解读:
在真正的4SAT(EXACT 4SAT)问题中,输入一组字句,每个子句都是恰好4个文字的析取,且每个变量最多在每个子句中出现一次。目标是求它的满足赋值,假设该赋值存在。证明精确的4SAT问题是NP完全问题。
证明:
已知EXACT 4SAT属于NP,通过将3SAT归约到EXACT 4SAT可以证明后者是NP完全问题。
并且EXACT 4SAT的解是可以在多项式时间内验证的,属于NP问题。
对于任意一个3SAT 实例,如果其中某个子句中包含了同一个文字多次,那么可以缩减为一次,如果同时包含了某个变量的肯定及否定,那么可以去掉这个变量。
再在每个子句中可以添加一些没用的辅助变量,这样就可以将每个子句所包含的文字数目扩充到四个。最后,该3SAT实例已转化成了一个EXACT 4SAT问题。
In the EXACT 4 SAT 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
4 SAT is NP-complete.
题意解读:
在真正的4SAT(EXACT 4SAT)问题中,输入一组字句,每个子句都是恰好4个文字的析取,且每个变量最多在每个子句中出现一次。目标是求它的满足赋值,假设该赋值存在。证明精确的4SAT问题是NP完全问题。
证明:
已知EXACT 4SAT属于NP,通过将3SAT归约到EXACT 4SAT可以证明后者是NP完全问题。
并且EXACT 4SAT的解是可以在多项式时间内验证的,属于NP问题。
对于任意一个3SAT 实例,如果其中某个子句中包含了同一个文字多次,那么可以缩减为一次,如果同时包含了某个变量的肯定及否定,那么可以去掉这个变量。
再在每个子句中可以添加一些没用的辅助变量,这样就可以将每个子句所包含的文字数目扩充到四个。最后,该3SAT实例已转化成了一个EXACT 4SAT问题。
相关文章推荐
- 《算法概论》课后习题8.22——NP-完全问题
- NP完全问题课后习题证明
- 【NP-完全问题】课后习题8.3
- 《算法概论》课后习题8.8 证明4SAT是NP完全的
- NP完全问题习题证明
- 习题8.3--证明吝啬SAT是NP-完全问题
- 算法概论习题8.8——证明精确的4SAT是NP-完全问题
- 《算法概论》第八章NP完全问题部分习题解
- 算法概论:第八章NP-完全问题——课后题8.16
- 【算法概论习题解答】8.3证明吝啬SAT问题是NP-完全问题
- 算法---->NP-难度和NP-完全的问题
- 课后习题和问题 Chapter 2 Problems 10-18
- 课后习题和问题 复习题 2.2~2.5节
- 算法概论 第八章NP-完全问题 8.8题
- 8.15 证明最大公共子图为NP-完全问题
- 【计算机网络:自顶向下方法(原书第6版)】课后习题和问题P1-P8
- 烹饪实验问题归约3SAT问题| NP-完全问题归约
- 【计算机网络:自顶向下方法(原书第6版)】课后习题和问题P27-P34
- 【计算机网络:自顶向下方法(原书第6版)】课后习题和问题P18-P26
- 证明精确的4SAT是NP_完全问题