计算理论_计算复杂性CH3_2016.pptVIP

多项式时间映射归约的作用 输入w f f(w) M y/n ?w??*, w?A ? f(w)?B. 定理: 若 A ?P B, 且 B?P, 则 A?P. 证明: 设 f:?*??*是A到B的P时间归约, B有P时间判定器M, 则 N=“输入w, 计算M(f(w)), 输出M的运行结果” 在多项式时间内判定A. 利用B的判定器和f 构造A的判定器 NP完全性 定义:语言B称为NP完全的(NPC),若它满足: 1) B?NP; 2) ?A?NP, 都有A?PB. 定理:若 A ?P B, 且 B?P, 则 A?P. 定理: 若B是NPC, 且B?P, 则P=NP. 定理: 若B是NPC, B?PC,且C?NP, 则C是NPC. 证明: ?A?NP, A ?P B + B ?P C ? A ?P C Cook-Levin定理: SAT是NP完全问题. 输入w f f(w) M y/n ?w??*, w?A ? f(w)?B. 利用B的判定器和f 构造A的判定器 NP完全性 定义:语言B称为NP完全的(NPC),若它满足: 1) B?NP