Algorithm_Chapter_.ppt

TSP 边界（下界）的选择： 对于每一个城市，求出该城市到最近另个城市的距离和，并把所有城市的该距离和除以2取整。 * * * * * * * * * * * * * * * * * * * * * * ? School of Computer Science and Technology, SWUST ? School of Computer Science and Technology, SWUST ? School of Computer Science and Technology, SWUST 算法分析与设计 Analysis and Design of Computer Algorithms算法能力的极限 Limitations of Algorithm Power 武浩 云南大学信息学院 计算机科学与工程系 计算模型 算法是理论计算机的灵魂。在理论计算机中，算法已不限于只是定义中的计算机程序。 确定型图灵机模型。 给出固定的程序，模型按照程序和输入完全确定性地运行。 非确定型图灵机。 它在进行计算的时候，会自动选择最优路径进行计算。通俗地说，它有预测能力。 P和NP问题 理论计算机科学的核心问题 它是Clay研究所的七个百万美元大奖问题之一 在2006国际数学家大会上，它是某个1小时讲座的主题。 P＝NP？ 注：这里面的两个P都是指Polynomial(多项式) P类 如果一个算法，它能在以输入规模为参变量的某个多项式的时间内给出答案，则称它为多项式时间算法。 P类问题是一类用(确定性) 算法在多项式的时间内求解的判定问题。 P类问题指在确定型图灵机上的具有多项式算法的问题集合。 NP类 不确定算法是一个两个阶段的过程，它把一个判定问题的实例l作为它的输入，并做以下操作： 非确定性(猜测)阶段：生成任意一个S。 确定(验证)阶段：验证S是否是l的一个解。 如果一个不确定算法在验证阶段的时间效率是多项式级的，这个算法就是不确定多项式类型的。 NP类 NP类问题是一类可以用不确定多项式算法求解的判定问题。 NP类问题指非确定型图灵机上具有多项式算法的问题集合，这里N是Non-Deterministic的意思。 在一般看来，P问题是指能够在多项式时间求解的判定问题，而NP问题则是指那些肯定解能够在给定正确信息下在多项式时间内验证的判定问题。 NP问题 P vs NP问题指P是否完全等于NP，即确定型图灵机和非确定图灵机的性能是否一样。 人们为何要提出NP问题？因为，大多数遇到的自然界的难解问题，最后都发现它们是NP问题。如果我们能证明NP跟P的关系，则解决了无数问题的算法复杂度问题。 P?NP P＝NP？ NP完全问题 NP里面有无数个不同的问题，我们是否要一个一个地判定它们是否属于P呢？ NP完全(NP Complete，简记为NPC)问题，指的是那些NP中最难的那些问题：所有其它的NP问题都可以归约到这些NP完全问题。也就是说，只要这些NP完全问题的某一个到解决，无论是证明其存在多项式算法，还是不存在，都意味着P vs NP问题的解决。 NP完全问题 几乎所有NP里面无法确定是否属于P的问题最后都被证明为NP完全。正因为如此，多数理论计算机学家都猜测P≠NP。 如果NP≠P，那么NP-P中存在非NP完全问题。 当然，这种问题具体是什么样子，是无法用直观的语言表示出来，它纯粹是一个数学上的构造性证明。 相关资源 NP完全问题的不完全列表 http://www.nada.kth.se/~viggo/problemlist/compendium.html Clay Mathematics Institute /millennium/P_vs_NP/ 图灵机- Wikipedia /wiki/图灵机 数值算法的挑战Challenges of Numerical Algorithms 数值分析是指关心那些求解数学问题的算法。这里指的问题是“连续”的数学问题。 数值算法的挑战Challenges of Numerical Algorithms 数值算法的挑战来自于： 在求解问题时不能得到精确的解。 这种不精确解的误差有两种： 截断误差：用有限来逼近无穷所造成的。 舍入误差：由于计算机在表示数字时的不精确性造成的。 超越算法能力的极限Coping with the Limitations of Algorithm Power 教学内容 回溯（Backtracking） n皇后（n-Queens Problem） 哈密顿回路（Hamiltonian Circuit Problem） 子集和数问题（Subset-Sum Problem） 分支限界（Branch-and-Bound） 分配问题 ? S