NP完全问题——证明EXACT 4SAT是NP完全问题

最新推荐文章于 2018-01-31 14:29:22 发布

fredahu

最新推荐文章于 2018-01-31 14:29:22 发布

阅读量429

点赞数

分类专栏：算法设计作业文章标签： NP完全问题

本文链接：https://blog.csdn.net/fredahu/article/details/74986475

版权

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完全性。

1. 对于任意一个3SAT实例，如果其中某个子句中包含了同一个文字多次，那么可以缩减为一次。

如：(x∨y∨y∨y)可以变为(x∨