19-Cook定理.pptVIP

解放军理工大学指挥自动化学院 第20讲 Cook定理 杨 明 指挥自动化学院计算机教研室 yangming@lgdx.mtn 内容 Cook定理 Cook定理的证明 多项式时间归约 NP完全问题类 语言L是NP完全的当且仅当 (1)L∈NP； (2)对于所有L’∈NP有L’∝pL。 布尔表达式的可满足性问题 布尔表达式的可满足性问题（SAT) SAT问题是指给定n个布尔变量 的m个布尔表达式 ，确定是否存在某种对各布尔变量的0,1赋值，使得布尔表达 式 为1（为真）？ 例 Cook定理 布尔表达式的可满足性问题是NP完全问题，即SAT∈NPC。 第一个NP完全问题 Stephen A. Cook 1939 ~ Ph.D., Harvard Turing Award, 1982 UC Berkeley， University of Toronto Cook定理的证明 方法 SAT ∈NP 对任意的L ∈NP，有L∝pSAT 面临的挑战 L的任意性 L的数目未知 如何寻找/定义L多项式时间归约为SAT的映射？ 证明思路 证明思路 具体方法 L ∈NP，设M是一台能在多项式时间内识别L的非确定性图灵机，而W是对M的一个输入 由M和W能在多项式时间内构造一个布尔表达式W