计算理论_计算复杂性_2016.pptx

教材: [1][王] 王晓东,计算机算法设计与分析(第4版),电子工业. [2][S] 唐常杰等译, Sipser著, 计算理论导引, 机械工业. 参考资料: [3][C] 潘金贵等译, Cormen等著, 算法导论, 机械工业. [4][M] 黄林鹏等译, Manber著, 算法引论-一种创造性方法, 电子. [5][刘] 刘汝佳等, 算法艺术与信息学竞赛, 清华大学. [6][L] Lewis等著, 计算理论基础, 清华大学. ;计算理论 第三部分 计算复杂性 ;一. 时间复杂度;时间复杂性;大O与小o记法;分析算法;时间复杂性类;图灵机M2;{0k1k|k?0}?TIME(nlogn);二. 不同模型的时间复杂度比较 ;单带与多带运行时间比较;{0k1k|k?0}的O(n)时间双带图灵机;NTM的运行时间; 三. P与NP ;多项式时间;P类;NP类;一些P问题;快速验证;NP问题;哈密顿路径问题HP?NP;P与NP; NP完全性的定义 SAT是NP完全问题 一些NP完全问题;NP完全性;合取范式;可满足问题SAT;二元可满足问题2SAT?P;多项式时间映射归约与C-L定理;多项式时间映射归约的作用;定理: 3SAT ?P CLIQUE;??, ??3SAT?f(?)?CLIQUE;NP完全性;Cook-Levin定理的证明步骤;SAT是NP完全问题;N接受w?能填好N在w上的画面;构造布尔公式f(w);构造?cell;构造?start;构造?accept;构造?move;合法窗口;A?PSAT, SAT是NPC;推论:3SAT是NP完全的;?move的改造;恰当覆盖问题(Exact Cover, EC);定理: 3SAT?PEC.;?到(U,F)归约举例;哈密顿路径(HP)是NPC(3SAT?PHP);变量构件和子句构件;图G的总体结构;钻石构件中的水平节点;变量与子句构件的连接;正规路径;从s到t哈密顿路径只能是正规路径;无向哈密顿圈;旅行售货员问题是NPC;0-1背包(knapsack)问题是NPC;计算理论总结