易解问题与难解问题.pptVIP

计算学科的基本问题本章首先介绍一个对问题进行抽象的典型实例——哥尼斯堡七桥问题。然后，通过“梵天塔”问题和“停机问题”分别介绍学科中的可计算问题和不可计算问题。从“梵天塔”问题再引出算法复杂性中的难解性问题、P类问题和NP类问题，证比求易算法，P＝NP是否成立的问题。17世纪的东普鲁士有一座哥尼斯堡城，城中有一座奈佛夫岛，普雷格尔河的两条支流环绕其旁，并将整个城市分成北区、东区、南区和岛区4个区域，全城共有7座桥将4个城区相连起来。01通过这7座桥到各城区游玩，问题：寻找走遍这7座桥的路径，要求过每座桥只许走一次，最后又回到原出发点。021哥尼斯堡七桥问题1736年，大数学家列昂纳德·欧拉（L.Euler）发表了关于“哥尼斯堡七桥问题”的论文。他抽象出问题最本质的东西，忽视问题非本质的东西（如桥的长度等），从而将哥尼斯堡七桥问题抽象为一个数学问题，即经过图中每边一次且仅一次的回路问题了。问题的抽象01欧拉给出了哥尼斯堡七桥问题的证明，还用数学方法给出了三条判定规则(判定每座桥恰好走过一次,不一定回到原点,即对欧拉路径的判定)：02如果通奇数座桥的地方不止两个，满足要求的路线是找不到的。03如果只有两个地方通奇数座桥，可以从这两个地方之一出发，找到所要求的路线。04如果没有一个地方是通奇数座桥的，则无论从哪里出发，所要求的路线都能实现。05根据第3点,可以得出,任一连通图存在欧拉回路的充分必要条件是所有顶点均有偶数度.欧拉回路哈密尔顿回路问题问题：在某个图G中，能不能找到这样的路径，即从一点出发不重复地走过所有的结点，最后又回到原出发点。“哈密尔顿回路问题”与“欧拉回路问题”的不同点“哈密尔顿回路问题”是访问每个结点一次，而“欧拉回路问题”是访问每条边一次。对图G是否存在“欧拉回路”前面已给出充分必要条件，而对图G是否存在“哈密尔顿回路”至今仍未找到满足该问题的充分必要条件。0102欧拉的论文为图论的形成奠定了基础。01图论已广泛地应用于02计算学科03运筹学04信息论05控制论等学科06图论已成为我们对现实问题进行抽象的一个强有力的数学工具。07图论在计算学科中的作用越来越大，图论本身也得到了充分的发展。08图论的形成和发展可计算问题与不可计算问题计算学科的问题，无非就是计算问题，从大的方面来说，分可计算问题与不可计算问题。可计算问题是存在算法可解的问题，不可计算问题是不存在算法可解的问题。为便于理解，下面，分别以梵天塔（Hanoi，又译为汉诺）问题和停机问题来介绍可计算问题与不可计算问题。2.1排序问题随机给出n个数，要求对它们进行排序。比如：

8，2，7，6，4，12对于排序问题，有多种算法。一种选择排序算法是：从n个数中挑出最小的数，再从n-1个数中挑出第二小的数…..那么，在这些众多的算法中，如何来比较谁的速度更快？事后分析：机器的运行时间？事前分析：与问题规模有关的表达式，表示算法中基本操作的执行次数。231一种选择排序算法是：从n个数中挑出最小的数，再从n-1个数中挑出第二小的数…..时间复杂性与n有关，大概是n+(n-1)+…+1=1/2(n(n+1))，忽略常数项，取最大的指数，记为O(n2)。最快的算法是快速排序算法，时间复杂度为O(nlogn)。2.2梵天塔问题相传印度教的天神梵天在创造地球这一世界时，建了一座神庙，神庙里竖有三根宝石柱子，柱子由一个铜座支撑。梵天将64个直径大小不一的金盘子，按照从大到小的顺序依次套放在第一根柱子上，形成一座金塔（如图2.3所示），即所谓的梵天塔（又称汉诺塔）。天神让庙里的僧侣们将第一根柱子上的64个盘子借助第二根柱子全部移到第三根柱子上，即将整个塔迁移，同时定下3条规则：每次只能移动一个盘子；在移动过程中，三根柱子上的盘子必须始终保持大盘在下，小盘在上。盘子只能在三根柱子上来回移动，不能放在他处；递归算法(重点掌握）*递归是一种特别有用的工具,不仅在数学中广泛应用,在日常生活中也常常遇到。1以下使用递归算法来解决梵塔问题。2递归算法*在数学中几个熟知的数学定义：若t1,t2是树，则也是树递归*递归算法包括递推和回归两部分：递推就是为了得到问题的解,将它推到比原问题更简单的问题求解。例如：n!=f(n),为了计算f(n),将它推到比原问题更简单的问题f(n-1),即f(n)=f(n-1)*n,而计算f(n-1)比计算f(n)简单,因为f(n-1)比f(n)更加接近已知解0!=1使用递推要注意（1）递推应有终止之时,例如当n=0时,0!=1为递推终止条件,所谓终止