计算理论导引时间复杂性.pptVIP

NP完全性—可满足性问题布尔变量：取值为TRUE和FALSE，用1和0表示。布尔运算：AND、OR和NOT分别用?、?、?表示。布尔公式：?=(?x?y)?(x??y)。公式的类型：重言式、矛盾式、可满足式可满足性：对变量的某个0,1赋值使得一个公式的值等于1。SAT={φ|φ是可满足的布尔公式}定理7.22库克-列文（Cook-Levin）定理SAT∈P，当且仅当P=NP。该定理把SAT问题的复杂性和NP中所有问题的复杂性联系起来。*第62页，共109页，星期日，2025年，2月5日多项式时间可归约性定义7.23若存在多项式时间图灵机M，使得在任何输入w上，M停机时f(w)恰好在带上，称函数f:?*??*为多项式时间可计算函数。定义7.24语言A称为多项式时间映射可归约到语言B，或简称多项式时间可归约到B，记为A≤pB，若存在多项式时间可计算函数f:?*??*，对于每一个w，有w∈A?f(w)∈B，函数f称为A到B的多项式时间归约。*第63页，共109页，星期日，2025年，2月5日多项式时间可归约性定理7.25若A≤pB且B∈P，则A∈P。设M是判定B的多项式时间算法，f是从A到B的多项式时间归约。判定A的多项式时间算法N的描述如下：N=“对于输入w；1)计算f(w)。2)在输入f(w)上运行M，输出M的输出。”若w∈A，则f(w)∈B，因为f是从A到B的归约。于是，只要w∈A，M就接受f(w)。另外，因为N的两个步骤都是在多项式时间内运行，所以N在多项式时间内运行。注意，步骤2在多项式时间内运行是因为两个多项式的合成还是多项式。*第64页，共109页，星期日，2025年，2月5日3SAT3SAT是可满足性问题的一种特殊情况。文字(literal)：一个布尔变量或布尔变量的非，如x或?x。子句(clause)：是由?连接起来的若干文字，如(x??y?z)。合取范式：由?连接的若干个子句，亦称为cnf。3cnf：所有子句都有三个文字。3SAT={φ|φ是可满足的3cnf公式}*第65页，共109页，星期日，2025年，2月5日多项式时间可归约性定理7.263SAT多项式时间可归约到CLIQUE。证明思路：给出从3SAT到CLIQUE的多项式时间归约f，它把公式转化为图。在构造的图中，指定大小的团对应于公式的满足赋值。图中的结构被设计好用来模拟变量和子句的作用。*第66页，共109页，星期日，2025年，2月5日示例：从3SAT到CLIQUEFormula(4clauses,4variables):4变量的3子句归约为团由3合取范式造对应图的方法设有k个子句（这里k=4)(1)分k组画3k个顶点，(2)按子句中变量标记顶点，(3)连接不在同一组中的任意两顶点(4)然后把矛盾的边去掉，如上述4步工作可在多项式时间内可完成即p—时间映射归约*第67页，共109页，星期日，2025年，2月5日示例：从3SAT到CLIQUE均True,是个满足的指派，对应顶点成为团…有4-clique均True,是个不满足的指派…非4-clique当公式为真时，每个3-合取范式中至少一个变量为真，设红箭头所指为真*第68页，共109页，星期日，2025年，2月5日多项式时间可归约性定理7.263SAT多项式时间可归约到CLIQUE。证明：设φ是k个子句的公式，如φ=(a1∨b1∨c1)∧(a2∨b2∨c2)∧…∧(ak∨bk∨ck)归约f生成字符串＜G，k＞，其中G是如下定义的无向图。G中的结点分成k组，每组三个结点，称为三元组t1，…，tk。每个三元组对应于φ中的一个子句，三个元组中每个结点对应于相应子句的一个文字。G的每个结点用它对应的φ中的文字做标记。除两种情形以外，G的边连接了所有的节点对。同一个三元组内的节点无边相连，相反标记的两个结点无边相连，如x2和。现在说明这种构造为何能发挥作用，证明φ是可满足的当且仅当G有k团。*第69页，共109页，星期日，2025年，2月5日多项式时间可归约性假定φ有满足赋值。在满足赋值下，每个句子中至少一个文字为真。在G的每个三元组中，选择在该满足赋值下为真的文字对