第五讲：易解问题与难解问题.pptVIP

国王立即回国，并向时任宰相的大数学家孔唤石求教，大数学家在仔细地思考后认为这个数为17位，则最小的一个真因子不会超过9位， 他给国王出了一个主意：按自然数的顺序给全国的老百姓每人编一个号发下去，等公主给出数目后，立即将它们通报全国，让每个老百姓用自己的编号去除这个数，除尽了立即上报，赏金万两。 顺序算法和并行算法 国王最先使用的是一种顺序算法，其复杂性表现在时间方面， 后面由宰相提出的是一种并行算法，其复杂性表现在空间方面。 直觉上，我们认为顺序算法解决不了的问题完全可以用并行算法来解决，甚至会想，并行计算机系统求解问题的速度将随着处理器数目的不断增加而不断提高，从而解决难解性问题，其实这是一种误解。 当将一个问题分解到多个处理器上解决时，由于算法中不可避免地存在必须串行执行的操作，从而大大地限制了并行计算机系统的加速能力。 阿达尔定律 设f为求解某个问题的计算存在的必须串行执行的操作占整个计算的百分比，p为处理器的数目，Sp为并行计算机系统最大的加速能力，则 设f=1%，p→?，则Sp=100。 串行执行操作仅占全部操作1%，解题速度最多也只能提高一百倍。 对难解性问题而言，提高计算机系统的速度是远远不够的，而降低算法复杂度的数量级才是最关键的问题。 2.5 P＝ NP ？ P类问题——存在多项式时间的算法的一类问题； NP类问题——非多项式时间算法解的一类问题。像梵塔问题、推销员旅行问题、（命题表达式）可满足问题这类，至今没有找到多项式时间算法解的一类问题。 P＝NP？如果P=NP，则所有在多项式时间内可验证的问题都将是在多项式时间内可求解（或可判定）的问题。 要证明P≠NP，目前还无法做到这一点 。 NP完全问题 在P＝?NP问题上，库克（S.A.Cook）等人认为NP类中的某些问题的复杂性与整个类的复杂性有关，当这些问题中的任何一个存在多项式时间算法时，则所有这些NP问题都是多项式时间可解的，这些问题被称为NP完全性问题。 多达数千个的NP完全性问题。有代表性的有：哈密尔顿回路问题、旅行商问题（也称货郎担问题）、划分问题、带优先级次序的处理机调度问题、顶点覆盖问题等。 本章首先介绍一个对问题进行抽象的典型实例——哥尼斯堡七桥问题。然后，通过“梵天塔”问题和“停机问题”分别介绍学科中的可计算问题和不可计算问题。从“梵天塔”问题再引出算法复杂性中的难解性问题、P类问题和NP类问题，证比求易算法，P＝NP是否成立的问题。 1 哥尼斯堡七桥问题 17世纪的东普鲁士有一座哥尼斯堡城，城中有一座奈佛夫岛，普雷格尔河的两条支流环绕其旁，并将整个城市分成北区、东区、南区和岛区4个区域，全城共有7座桥将4个城区相连起来。 通过这7座桥到各城区游玩，问题：寻找走遍这7座桥的路径，要求过每座桥只许走一次，最后又回到原出发点。 问题的抽象 1736年，大数学家列昂纳德·欧拉（L.Euler）发表了关于“哥尼斯堡七桥问题”的论文。 他抽象出问题最本质的东西，忽视问题非本质的东西（如桥的长度等），从而将哥尼斯堡七桥问题抽象为一个数学问题，即经过图中每边一次且仅一次的回路问题了。 欧拉回路 欧拉给出了哥尼斯堡七桥问题 的证明，还用数学方法给出了三条判定规则(判定每座桥恰好走过一次,不一定回到原点, 即对欧拉路径的判定)： 如果通奇数座桥的地方不止两个，满足要求的路线是找不到的。 如果只有两个地方通奇数座桥，可以从这两个地方之一出发，找到所要求的路线。 如果没有一个地方是通奇数座桥的，则无论从哪里出发，所要求的路线都能实现。 根据第3点,可以得出,任一连通图存在欧拉回路的充分必要条件是所有顶点均有偶数度. 哈密尔顿回路问题 问题：在某个图G中，能不能找到这样的路径，即从一点出发不重复地走过所有的结点，最后又回到原出发点。 “哈密尔顿回路问题”与“欧拉回路问题”的不同点 “哈密尔顿回路问题”是访问每个结点一次，而“欧拉回路问题”是访问每条边一次。 对图G是否存在“欧拉回路”前面已给出充分必要条件，而对图G是否存在“哈密尔顿回路”至今仍未找到满足该问题的充分必要条件。 图论的形成和发展 欧拉的论文为图论的形成奠定了基础。 图论已广泛地应用于 计算学科 运筹学 信息论 控制论等学科 图论已成为我们对现实问题进行抽象的一个强有力的数学工具。 图论在计算学科中的作用越来越大，图论本身也得到了充分的发展。 2 可计算问题与不可计算问题 计算学科的问题，无非就是计算问题，从大的方面来说，分可计算问题与不可计算问题。可计算问题是存在算法可解的问题，不可计算问题是不存在算法可解的问题。 为便于理解，下面，分别以梵天塔（Hanoi，又译为汉诺）问题和停机问题来介绍可计算问题与不可计算问题。 2.1　排