国科大中科院算法讲义第八章绪论.ppt

关于NP和co-NP co-NP: 一个问题 当且仅当其补问题 。即，coNP问题的否定回答可在多项式时间内被验证。 如果NP=coNP 一个NP问题无解的回答将有一个简短的certificate。 P和NP的思考 哲学意义 P vs. NP可被看成是图灵机模型中的非确定性的能力问题。 一个普遍现象：验证答案的正确性比得到答案容易得多。为了确保找到NP问题的正确答案，算法似乎不可避免地要在指数增长的解空间中进行穷尽搜索。 P vs. NP回答了穷尽搜索是否在一般意义上可被避免。 P和NP的思考（2） 如果P=NP 数学家们能够被有效的定理发现程序所取代（Kurt Godel, 1956） 科学家能够用程序自动化地找到最有效地解释实验数据的最短理论（根据奥卡姆剃须刀原理，最简单的理论最有可能是对的）。此外，计算机视觉、自然语言理解等机器学习任务变得非常容易。 随机算法再无必要 数字领域无隐私，公钥加密系统易破解。 Clay数学研究所千年大奖 Millennium Prize Problems ; $ 1000 000 per problem P versus NP The Hodge Conjecture The Poincaré Conjecture The Riemann Hypothesis Yang-Mills Existence and Mass Gap Navier-Stokes Existence and Smoothness The Birch and Swinnerton-Dyer Conjecture ×3＋1问题-Collatz prob.1928 Input integer n1; While (n1) do if n mod 2 = 0 then {n ? n/2} else {n ?3n+1} 问：上述程序对任何自然数终止吗？ Erdos offered $500 for a solution 广义Collatz问题：GCP 函数g被叫collatz函数，如果存在一个整数m和非负有理数列{a_i,b_i|im},使得只要x=i mod m,则g(x)=a_i x + b_i 总是整数 给出一个Collatz函数g，能否判定：对所有正整数x，总存在某个正整数i，使得g^{(i)}(x)=1?例如m=2,a0=1/2,b0=0,a1=3,b1=1. S.A.Kurtz and J.Simon(芝加哥大学计算机系)证明：上述问题是不可判定的(2006)。 作业题 第八章讲义的课后习题3、5、6、8。 下周二（12月8日）交。 * * * * * 算法复杂性与NPC问题 问题与算法的描述 图灵机与确定性算法 NP类问题 NP完全问题 证明问题为NP完全的方法 NP困难问题 P、NP、co-NP的思考 问题与算法的描述 问题(problem)：有待回答、通常含有几个取值还未确定的自由变量的一般性提问(question)。 表示符号：? 问题的构成： 1)对其关于参数的一般性描述； 2)对该问题的答案所应满足的某些特性的说明。 问题的实例：指定问题中所有参数的具体取值 。表示符号：? 旅行商问题： 参数描述：n个城市C1,C2,…,Cn，城市间距离d(Ci,Cj) 答案描述：城市的排序：C?(1) , C?(2) ,…, C?(n) ，最小化目标值: ?1?i?n-1 d(C?(i) , C?(i+1) ) + d(C?(n) , C?(1) ) 旅行商问题实例: n=4, C1 , C2 , C3 , C4 , d(C1,C2)=10, d(C1,C3)=5, d(C1,C4)=9, d(C2,C3)=6, d(C2,C4)=9, d(C3,C4)=3 答案：C1, C3, C4,C2, 长度: 27 判定问题及描述 判定问题：答案只有“是”与“非”两种可能的问题。 ? 实例集合D?，回答为“是”的集合 Y? 描述方法：分成两个部分 例：用诸如集合、图、函数等各种描述分量来刻画判定问题 的一般性例子; 问：陈述基于一般性例子所提出的一个“是非”提问。 旅行商问题： 例 待访问城市的有限集合C={C1,C2,…,Cn}、每对城市之间的 距离 d(Ci,Cj)?Z+ 以及一个界 B?Z+ 。 问 在C中存在一个总长不超过B的、通过