计算机算法分析与设计第9章.pptVIP

第9章 NP完全性理论与近似算法 学习要点 理解RAM，RASP和图灵机计算模型 理解非确定性图灵机的概念 理解P类与NP类语言的概念 理解NP完全问题的概念 理解近似算法的性能比及多项式时间近似格式的概念 通过范例学习NP完全问题的近似算法 （1）顶点覆盖问题； （2）旅行售货员问题； （3）集合覆盖问题； （4）子集和问题。 计算模型 在进行问题的计算复杂性分析之前，首先必须建立求解问题所用的计算模型，包括定义该计算模型中所用的基本运算。 建立计算模型的目的, 是为了使问题的计算复杂性分析, 有一个共同的客观尺度。 3个基本计算模型： 随机存取机RAM(Random Access Machine)； 随机存取存储程序机RASP(Random Access Stored Program Machine) 图灵机(Turing Machine)。 这3个计算模型在计算能力上是等价的，但在计算速度上是不同的。 新千年的七个数学问题 1900年在巴黎召开的“国际数学家大会”上, Hilbert提出著名的23个数学问题, 深刻影响(和推动)了20世纪的数学发展. 在新千年来临之际, 2000年5月24日，就在希尔伯特提出23个世纪难题之后的整整一百年后, 在巴黎又宣布了新的7个数学问题. 这次是由“柯莱数学研究所” (/,Clay Math. Inst., Cambridge, MA, USA,)宣布, 为7个问题中的任一个解答设立一百万美元奖金. ?2．?黎曼假设?(Riemann?Hypothesis):?黎曼Zeta－函数的非平凡零点的实部都是1/2?.?3．庞加莱猜想?(Poincare?Conjecture):?任意闭单连通3-流型同胚于3-球.??4．霍奇猜想?(Hodge?Conjecture):?在非奇异复射影代数簇上,?任一霍奇类是代数闭链类的有理线性组合.??5．BSD猜想?(Birch?and?Swinnerton-Dyer?Conjecture) ?6．奈维尔－斯托克斯方程?(Navier-Stokes?Equatoins) ? 7．杨－米尔斯理论?(Yang-Mills?Theory):?证明诸量子杨－米尔斯场存在而且有一个大缺口. 背 景 计算机处理能力受限于内存大小与中央处理器速度等，导致算法本身的数据结构对于其执行效率有很大的影响。 在分析算法时，主要以时间复杂度与空间复杂度两者为分析依据。 随着计算器发展迅速，算法的空间复杂度已经不是那么重要的一件事，目前分析主要是在时间复杂度方面。 P问题：线性时间或者多项式时间内能够解决的问题。如能够在O(n)、O(nlog2n)、O(nk)数量级内解决的问题。它们都是以多项式时间为上界。 NP问题：不能在多项式时间内解决的问题。如计算时间数量级为O(n!)、O(2n)。 不可解问题：“图灵停机问题” 任何计算机耗费任意时间不能解决。逻辑学家阿朗索·丘奇证明了所谓的判定问题也是不可解的：判定一个已知的语句是否表达一个算术的真值，决不可能有一般的过程。换句话说，能够输出所有算术真值的计算机是不存在的 。 图灵、图灵奖及图灵奖获得者简介 1936年-1938年，主要在美国普林斯顿大学做博士研究，涉及逻辑学、代数和数论等领域。 1938年-1939年，返回剑桥从事研究工作，并应邀加入英国政府破译二战德军密码的工作。 1940年-1942年，作为主要参与者和贡献者之一，在破译纳粹德国通讯密码的工作上成就杰出，并成功破译了德军U-潜艇密码，为扭转二战盟军的大西洋战场战局立下汗马功劳。 1943年-1945年，担任英美密码破译部门的总顾问。 1945年,应邀在英国国家物理实验室从事计算机理论研究工作。 1946年，图灵在计算机和程序设计原始理论上的构思和成果，已经确定了他的理论开创者的地位。由于图灵的杰出贡献，他被英国皇室授予OBE爵士勋衔。 1947年-1948年，主要从事计算机程序理论的研究，并同时在神经网络和人工智能领域做出开创性的理论研究。 1948年，应邀加入英国曼彻斯特大学从事研究工作，担任曼彻斯特大学计算实验室副主任。 1949年，成为世上第一位把计算机实际用于数学研究的科学家。 1950年，发表论文“计算机器与智能”，为后来的人工智能科学提供了开创性的构思。提出著名的“图灵测试”理论。 1951年，提出生物增长的非线性理论研究。年仅39岁即被选为英国皇家学会会员。 1953年-1954年，继续在生物和物理学等方面的研究。 1954年6月7日，42岁，图灵死于家中的床上，床头有一个咬了一半的、在氰化物溶液中浸泡过的苹果，警方调查结论是自杀。 一代英灵，就此过早离去，成为人类科学史上的一大遗憾。 Turing Award 被公认为是