唐常杰翻译的计算理论导引7.ppt

Lecture Notes for Computation Outline for today Cook-Levin Theorem ep254, cp169 Cook-Levin Theorem ep254, cp169 证明思路 （”任意”二字要求能刻画共性的方法） 证明思路 (这里，语言任意， 派生路径是共性） More Proof Outline 详细步骤 More Proof Outline 详细步骤 Accepting Path of N on w ep255, cp170 Size of Path of N on w ep255 cp170 How ? Describes the Tableau How ? Describes the Cells cp170 复习 以前讲过的函数ONE(…) 合取式 cp170 ?cell for Proper Cells ep255 , cp 170 ?start for the Start Configuration ep256 ?accept for Accepting ep256 ?move for Proper Transitions ep258, cp170 Legal Windows 转移窗口的检查 ep 257 cp170 More Legal Windows ep 257, cp 170 Some Illegal Windows ep 257, cp 170 (i,j) Window Legal… ep 258 cp 170 The Complete ?w Formula Polytime Reduction Check 1 Polytime Reduction Check 2 cp171 Polytime Reduction Check 3 Polytime Reduction Check 4 3SAT is NP-Complete As Well ep259 From CNF to 3NF ep260 Conjunctive Normal Form 合取式 cp173 3SAT is NP-Complete As Well ep259 Proving NP-Completeness 小结 证明 问题A是 NP-完全 的技巧 应用 NP-Completeness  应用 NP-Completeness  小结 Any Question ? Thank you !!! Proof Corollary 7.32: 3SAT is NP-complete. 任给一个NP语言A,设识别它的NTM用时间为O(nk)， 给定输入 w1,…,wn, 造布尔式 ?w=?cell??start??move??accept ，用时 O(n2k). 从 ?w 造 ?w in time O(|?w|) = O(n2k). 根据构造: w?A ?? ?w?3SAT. 完成了多项式归约 又已知3SAT是 NP, 综上所述 3SAT 是 NP-complete. 1 . prove A is in NP.（不确定 猜—测（P-time)） 2. 把一个NP-完全问题归约为A (Give a reference for the NP-complete problem.) 现在为止，本书已经证明下列问题是NP-完全的 SAT, 3SAT and CLIQUE. 如要证明问题 A is in P, 需给出一个多项式时间的算法 证明较难，可在复习时深入理解 在自己的论文和阅读论文时可能用到的知识 1. 理解3SAT的概念和表述 2.承认3SAT是NP-完全的。 3. 把一个论文中的问题X,用多项式时间归约 为3SAT. 从而证明X是NP-完全的。 NP-完全问题是本质性难题， 谁开发出一个P-时间算法，及证明了P=NP,可获图灵奖。一般采取特化，考虑其子问题的优化。 证明较难，可在复习时深入理解 在自己的论文和阅读论文时可能用到的知识 1. 理解3SAT的概念和表述 2.承认3SAT是NP-完全的。 3. 把3SAT归约为论文中的问题X,用多项 式时间归约, 从而证明X是NP-完全的。 NP-完全问题是本质性难题， 谁开发出一个P-时间算法，即证明了P=NP,可获图灵奖。一般采取特化，考虑其子问题的优化。 CS_Dept.Sichaun Univ. 可计算理论 Book :《计算理论导引》 Introduction to the Theory of Computation by Michael