计算理论-计算复杂性-2016.pptxVIP

教材: [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;3SAT?NP;3SAT?P?;多项式时间映射归约与C-L定理;多项式时间映射归约的作用;定理: 3SAT ?P CLIQUE;??, ??3SAT?f(?)?CLIQUE;NP完全性;Cook-Levin定理的证明步骤;?A?NP, 都有 A ?P SAT;N接受w?能填好N在w上的画面;回忆图灵机(TM)的形式化定义;回忆图灵机格局的定义;格局演化举例;举例;构造布尔公式f(w);构造?cell;构造?start;构造?accept;构造?move;合法窗口;2?2窗口不能正确判断;A?PSAT, SAT是NPC;推论:3SAT是NP完全的;?move的改造;其它NP完全问题;哈密顿路径(HP)是NPC(3SAT?PHP);变量构件和子句构件;图G的总体结构;钻石构件中的水平节点;变量与子句构件的连接;正规路径;正规路径;正规路径;若G有从s到t的正规路径,则?可满足;若G有从s到t的正规路径,则?可满足;从s到t哈密顿路径只能是正规路径;无向图的哈密顿路径;无向哈密顿圈(补充);旅行售货员问题是NPC;0-1背包(knapsack)问题是NPC;0-1背包(knapsack)问题是NPC;?可满足? f(?)?KS(knapsack);?可满足? f(?)?KS;?可满足? f(?)?KS;?可满足? f(?)?KS;计算理论第7章作业;(2) 证明CLIQUE可以多项式时间映射归约到HALF-CLIQUE. 对任意G,k，其中G是一个无向图，k是一个正整数。构造函数f(G,k) = G’。 设G有m个顶点。按如下方式构造G’： 若k=m/2，则G=G’； 若km/2，则在G中增加2k-m个新顶点，这些新顶点都是孤立点，得到G’； 若km/2，则增加m-2k个新顶点，这些新顶点之间两两都有边相连，新顶点与G的所有顶点之间也都相连。 首先，f可在多项式时间内计算完成。 其次证明f是CLIQUE到HALF-CLIQUE的映射归约，即证明G有k团?G’(设有m’个顶点)有m’/2个顶点的团： 若G有k团，当k=m/2时，G’=G, m’=m，则G’也有k=m’/2团；当km/2时，m’=2k，G’中也有k=m’/2团；当km/2时，m’=2m-2k，G中的k团加上新添的m-2k个顶点形成m-k=m’/2团。 若G’有m’/2团，当k=m/2时，G’=G, m’=m，则G也有k=m’/2团；当km/2时，m’=2k，G中也有k=m’/2团；当km/2时，m’=2m-2k，G’中的m-k团至多有m-2k个新添顶点，去掉新添顶点至少还有k个顶点，所以G中有k团。 由(1)和(2)，HALF-CLIQUE是NP完全问题。;计算理论总结