[理学]07_第五章复杂性理论3.pptVIP

Lecture Notes for Computation 2008. 5.6 老师报告 5.13 同学 报告 5.20 NDBC08审稿会和数据库战略发展研讨会， 同学 报告 5.27 ， 6.2 开卷考试 Outline for today Two PPT Outline for today Two PPT 复习 ep254, cp169 复习 SAT的实例 文物鉴定 三件文物 A, B ，C， 三位鉴定专家 张 王 赵 ，每人的准确度0.5 T=1, F=0， 鉴定矩阵如下: A, B , C 张 1 1 NULL 王 NULL 1 1 赵 NULL 0 1 问题 买那个好？ 每个专家准确度0.5 知 {A|B} {B|C} {C|(!B) }都含有1 即布尔公式 （A|B) (B|C) (C| !B)=1 如C=0, 由赵，知！B=1 ? B=0, 则{B|C} ={0|0} 与专家准确度0.5矛盾，所以C !=0, 所以 买C保险。 C=1,B=0 这组赋值，满足条件（A|B) (B|C) (C| !B)=1 或 {A|B} {B|C} {C|(!B) }都含有1 Theorems 7.30 CP 169 证明思路 （”任意”二字要求能刻画共性的方法） 证明思路 (为适合“任意语言” ，从共性 接受路径 突破） 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 Accepting Path of N on w ep255, cp170 ?accept for Accepting ep256 Accepting Path of N on w ep255, cp170 ?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  新进展 DNA计算在解决NP方面的新进展 2007 –中国建立359规模 搜索问题的DNA计算机模型 （计算机通讯2008.12） SAT 补充材料 四色问题： 给定图，问：给每一个节点着色，使相邻节点的颜色不同，四个颜色够不够？ 可以转化为布尔可满足性问题。四色编码为00，01，1