算法概论 第八章第八题

算法概论 第八章第八题 题解

---

题目描述

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，只要再证实4SAT的 NP 彻底性便可。作法是将 3SAT 归约到 EXACT 4SAT。

1. 对于任意一个 3SAT 实例，若是其中某个子句中包含了同一个文字屡次，那么能够缩减为一次，若是同时包含了某个变量的确定及否认，那么能够将这个变量去掉。
2. 在每一个子句中能够添加一些辅助变量，将每一个子句所包含的文字数目扩充到四个。

归约完成。证毕。

总结

主要应用了归约的思想。