算法设计与分析(霍红卫)_第7章 NP完全性.pptVIP

· 如果g是一个输入为a和b(也可以是xi或yi)、输出为c的AND门，那么Bg=(c (a∧b))。  · 如果g是一个输入为a和b、输出为c的OR门，那么 Bg=(c (a∨b))。  · 如果g是一个输入为a和b的NOT门，那么Bg=(b a)。 我们希望取所有Bg的与(AND)来构成公式S，但是这样的公式可能不在CNF中。于是，我们首先转换每个Bg，使其在CNF中，然后用AND运算将这些转换过的Bg组合起来，构成CNF公式S。 为了将布尔公式B转换成合取范式CNF，构造B的真值表， 如图7-4所示。然后对于表中求值为0的每一行构造公式Di，即每个Di由真值表中的变量与变量的非通过AND连接而成，当且仅当它在那一行中的求值为0。将所有Di通过OR组织起来构成公式D，由于公式D由子句通过OR连接而成，而子句由变量及其非通过AND连接而成，因此称这样的公式D为析取范式(disjunctive normal form，简称DNF)。在这种情况下，我们得到等价于 B的DNF公式D，因为它的值为1，当且仅当B的值为0。为了将公式D转换成B的CNF形式，将De Morgan定律应用到它的每个Di上， 有 (a∨b)= a∧ b 和  (a∧b)= a∨ b 由图7-4， 我们可以用CNF范式 ( a∨ b∨c)∧( a∨b∨ c)∧(a∨ b∨ c)∧(a∨b∨ c) 替换形如(c (a∧b))的每个Bg。 同样，我们可以用等价的CNF公式 (  a∨ b)∧(a∨b) 替换形如(b a)的每个Bg。 图7-4 布尔公式B的真值表 B的CNF公式为 B的DNF公式为 a∧b∧c∨a∧b∧c∨a∧b∧c∨a∧b∧c (a∨b∨c)∧(a∨b∨c)∧(a∨b∨c)∧(a∨b∨c) 与B等价的公式在DNF中，与B等价的公式在CNF中。 定理7.8 CNF-SAT问题是NP完全问题。 2． 三元合取范式可满足性问题 考虑三元合取范式可满足性(简称3SAT)问题，它取布尔公式S作为输入，公式S是一合取范式CNF，其中的每个子句只有3个文字，问S是否是可满足的。一个布尔公式在CNF中，如果它由AND连接的子句组成，每个子句由OR将文字连接而成。 例如，以下公式是3SAT的一个例子。 ( x1∨x2∨x7)∧(x3∨x5∨x6)∧( x2 ∨x4∨x6)∧(x1∨x5∨x8) 因此，3SAT问题是CNF-SAT问题的一个受限版本。这里需要注意的是，我们不能利用NP难度证明的限制形式，这是因为限制形式的证明只适合于归约一个受限的版本到更一般的形式。这里我们利用局部替换形式，证明3SAT是NP完全问题。 有趣的是，2SAT问题中的每个子句只有两个文字， 可在多项式内求解。  注意, 3SAT属于NP问题，因为我们可以构造一个非确定性的多项式时间的算法，取CNF公式S作为输入，它的每个子句有3个文字，猜测S的一种布尔值指派，然后计算S，看是否其值为1。 为了证明3SAT是NP难的，我们在多项式时间内将CNF-SAT问题归约到3SAT问题。设C是给定的布尔公式，它是CNF范式。对于C中的每个子句Ci，进行以下局部替换：  · 如果Ci=(a)，即它只有一项，也可能是一个非变量，那么我们用Si=(a∨b∨c)∧(a∨b∨c)∧(a∨b∨c)∧(a∨b∨c)替换Ci，其中b和c是未用在其他地方的新变量。  · 如果Ci=(a∨b)，即它有两项，那么我们用Si =(a∨b∨c)∧(a∨b∨c)替换Ci，其中c是未用在其他地方的新变量。 · 如果Ci=(a∨b∨c)，即它有三项，那么我们设Si=Ci。 · 如果Ci=(a1∨a2∨a3∨…∨ak)，即它有k3项，那么我们用Si=(a1∨a2∨b1)∧( b1∨a3∨b2)∧( b2∨a4∨b3)∧…∧(bk-3∨ak-1∨ak)替换Ci，其中b1，b2，…，bk-1是未用在其他地方的新变量。 注意，对新近引入变量的赋值是完全独立的。不论赋给它们何值，子句Ci的值为1，当且仅当子句Si的值也为1。因此， 原子句C求值为1，当且仅当S求值为1。此外，每个子句的规模至多增加常数因子，且所涉及的计算是简单替换。因此，我们就证明了在多项式时间内如何将CNF-SAT问题的实