NP完整性理论.pptVIP

* 8.4.1 合取范式的可满足性问题（CNF-SAT） 要证明CNF-SAT∈NPC，只要证明在Cook定理中定义的布尔表达式A，…，G或者已是合取范式，或者有的虽然不是合取范式，但可以用布尔代数中的变换方法将它们化成合取范式，而且合取范式的长度与原表达式的长度只差一个常数因子。 问题描述：给定一个合取范式α，判定它是否可满足。 如果一个布尔表达式是一些因子和之积，则称之为合取范式，简称CNF(Conjunctive Normal Form)。这里的因子是变量 或 。例如： 就是一个合取范式，而 就不是合取范式。 * 8.4.2 3元合取范式的可满足性问题（3-SAT） 证明思路： 3-SAT∈NP是显而易见的。为了证明3-SAT∈NPC，只要证明CNF-SAT∝p 3-SAT，即合取范式的可满足性问题可在多项式时间内变换为3-SAT。 问题描述：给定一个3元合取范式α，判定它是否可满足。 * 8.4.3 团问题CLIQUE 证明思路： 已经知道CLIQUE∈NP。通过3-SAT∝pCLIQUE来证明CLIQUE是NP难的，从而证明团问题是NP完全的。 问题描述：给定一个无向图G=(V，E)和一个正整数k，判定图G是否包含一