cook定理实用学习.pptxVIP

1 内容 Cook定理 Cook定理的证明 第1页/共22页 2 多项式时间归约 第2页/共22页 3 NP完全问题类 语言L是NP完全的当且仅当 (1)L∈NP； (2)对于所有L’∈NP有L’∝pL。 NP完全问题的证明 根据NP完全问题的定义进行证明 定理2 若已知L∈NPC，则若L∝pL1 ，且L1∈ NP，则L1 ∈NPC。 第3页/共22页 4 布尔表达式的可满足性问题 布尔表达式的可满足性问题（SAT) SAT问题是指给定n个布尔变量 的m个布尔表达式 ，确定是否存在某种对各布尔变量的0,1赋值，使得布尔表达 式 为1（为真）？ 例 第4页/共22页 5 Cook定理 布尔表达式的可满足性问题是NP完全问题，即SAT∈NPC。 第一个NP完全问题 Stephen A. Cook 1939 ~ Ph.D., Harvard Turing Award, 1982 UC Berkeley， University of Toronto 第5页/共22页 6 Cook定理的证明 方法 SAT ∈NP 对任意的L ∈NP，有L∝pSAT 面临的挑战 L的任意性 L的数目未知 如何寻找/定义L多项式时间归约为SAT的映射？ 第6页/共22页 7 证明思路 L ∈NP 第7页/共22页 8 证明思路 具体方法 L ∈NP，设M是一台能在多项式时间内识别L的非确定性图灵机，而W是对M的一个输入 由M和W能在多项式时间内构造一个布尔表达式W0 模拟由M接受W的所有瞬象序列 使得W0是可满足的当且仅当M接受W 第8页/共22页 9 已知与假设 不难证明， L ∈NP能由一台单带的NDTM在多项式时间内识别。 设M为一台单带NDTM s个状态q0,q1,…,qs-1 m个带符号X0, X1,…,Xm 多项式P(n)是M的识别L时间复杂性。 设W是M的一个长度为n的输入，若M接受W，只需不超过P(n)次移动 。 对于W,存在M的一个瞬像序列Q0,Q1,…,Qr，其中Q0为初始瞬像， Qr为接受瞬像。 第9页/共22页 10 与瞬像序列Q0,Q1,…,Qr等价的断言 7条断言 在每一瞬像中读写头恰只扫描一个方格 ； 在每一瞬像中，每个方格中的带符号是唯一确定； 在每一瞬像中恰有一个状态 ； 在该计算路径中，从一个瞬像到下一个瞬像每次最多有一个方格（被读写头扫描的那个方格）的符号被修改； 相继的瞬像是根据移动函数来改变状态的； Q0是M在输入W时的初始瞬像； 最后一个瞬像中的状态是接收状态。 第10页/共22页 11 引进命题 C i, j, t =1当且仅当在时刻t，M输入带的第i个方格中的带符号为Xj;其中，1≤ i ≤P(n), 1≤ j ≤m, 0≤ t ≤P(n)。 S k, t =1当且仅当在时刻t，M的状态为qk; 其中1≤ k ≤m, 0≤ t ≤P(n), H i, t =1当且仅当在时刻t，读写头扫描第i个方格;其中，1≤ i ≤P(n), 0≤ t ≤P(n)。 总共最多有O(P2(n))个命题。 第11页/共22页 12 引进谓词 U(x1,x2,…,xr)=1当且仅当各变量x1,x2,…,xr中只有一个变量取值1时。 U(x1,x2,…,xr)的长度是O(r2)。 第12页/共22页 13 构造与断言1对应的布尔表达式A 在每一瞬像中读写头恰只扫描一个方格 第13页/共22页 14 构造与断言2对应的布尔表达式B 在每一瞬像中，每个方格中的带符号是唯一确定的 第14页/共22页 15 构造与断言3对应的布尔表达式C 在每一瞬像中恰有一个状态 第15页/共22页 16 构造与断言4对应的布尔表达式D 在该计算路径中，从一个瞬像到下一个瞬像每次最多有一个方格的符号被修改 第16页/共22页 17 构造与断言5对应的布尔表达式E 相继的瞬像是根据移动函数来改变状态的 第17页/共22页 18 构造与断言6对应的布尔表达式F Q0是M在输入W时的初始瞬像 第18页/共22页 19 构造与断言6对应的布尔表达式F 最后一个瞬像中的状态是接收状态 第19页/共22页 20 构造W0 给定可接受的瞬像序列Q0,Q1,…,Qr ，显然可找到变量C i, j, t ，S k,t和H i,t的某个0,1赋值，使W0取值为1。 若有一个使W0满足的赋值，则可根据其变量的赋值相应地找到可接受计算路径Q0,Q1,…,Qr 。 W0是可满足的当且仅当M接受W。 因为的每一个因子最多需要个符号O(P3(n)) ，而每个符号的长度至多为O(logn)，因此的长度不超过O(P3(n)logn)