第九章 NP完全性理论与近似计算..pptVIP

第9章 NP完全性理论与近似计算 本章主要知识点 引 言 1、何为“好的”算法？ Cobham[1964]和Edmonds[1965]首先加以区别。Edmonds把多项式时间算法与“好的”算法等同看待，并猜想某些整数规划问题可能不能用这种“好的”算法求解。 一般观点：认为指数时间算法不应该算作“好的”算法。 大多数指数时间算法只是穷举搜索法的变种 多项式时间算法通常只有在对问题的结构有了某些比较深入地了解之后才有可能给出 计算机科学家们：多顶式时间算法和指数时间算法之间的区别明显。 2、什么问题“易计算”？“难计算”？ 只有用多项式时间算法解决的问题才能认为“易计算”的。 一般，如果一个问题困难到不可能用多项式时间算法求解，则认为这个问题是“难解的”。 3、有关时间复杂性问题的探讨 时间复杂性是一种最坏情况的度量。时间复杂性为2n的算法仅仅表示至少有一个规模为n的问题实例需要这么多的运算时间，而大多数问题实例可能需要远比2n少得多的时间。 例如：几个著名的算法 线性规划的单纯形算法：已经证明具有指数时间复杂性[Klee Minty，1972］，但是在实际中它计算得很好。 背包问题的分支限界算法：虽然也具有指数时间复杂性，但是它是一种非常成功的算法，使得许多人认为背包问题已经很好地解决了。 探讨（续） 一些问题尽管有指数计算时间，但算法很成功。研究人员没有停止继续寻找该类问题的多项式时间算法的努力。 疑问：出现上述现象的问题其关键性的性质是什么？ 对这些性质的仔细研究可能给出更好的方法，但至今在解释这种成功方面几乎毫无进展，也没有一种方法能够事先预言给定的指数时间算法在实际中能否快速运算。 4、“可证地有效”算法 具有时间复杂性为n100或1099n2的算法，能称快速运算吗？ 实际情况是，多项式可解的问题大多数可用2次，或者在最坏的情况下用3次多项式时间算法求解，而且在多项式中不包含特别大的系数。 满足这些限制的算法可认为是“可证地有效”算法。 5、一些初步概念 1. 问题可解：指有一定算法，在有限步内解决问题 9.1 计算模型 计算模型概述 计算机模型：是作复杂性分析的依据和客观尺度 三种最基本的计算模型： 1、随机存取存储程序机 RASP 2、图灵机TM（单带图灵机，多带图灵机） 3、随机存取机（RAM） 研究结果：至今研究过的所有实际的计算机模型，例如单带图灵机、多带图灵机以及随机存取机（RAM），都是相对于多项式时间复杂性等价的，但在计算速度上不同。 “合理的”计算机模型：也称为是“确定性”的计算机模型。不能认为具有完成任意多道并行运算能力的模型是“合理的”，因他们是“不确定的” 。 9.1.1 随机存取机RAM 1、RAM的结构 2、RAM程序 一个RAM程序定义了从输入带到输出带的一个映射。 可以对这种映射关系作2种不同的解释： 3、 RAM程序的耗费标准 标准一：均匀耗费标准 在均匀耗费标准下，每条RAM指令需要一个单位时间；每个寄存器占用一个单位空间。RAM程序的复杂性一般按照均匀耗费标准来衡量。 9.1.2 随机存取存储程序机RASP 1、RASP的结构 2、RASP程序的复杂性 不管是在均匀耗费标准下，还是在对数耗费标准下，RAM程序和RASP程序的复杂性只差一个常数因子。在一个计算模型下T(n)时间内完成的输入-输出映射可在另一个计算模型下模拟，并在kT(n)时间内完成。其中k是一个常数因子。空间复杂性的情况也是类似的。 9.1.3 图灵机 0、有穷自动机（补充） 确定型有穷自动机的定义： 一台确定型有穷自动机是一个五元组（Q, ?, ?, S, F)。其中， Q, ?, ?都是有穷集合。 Q：有穷状态集合 ?：字母表 S: 初始状态， S ?Q F: 终止状态集合，F ? Q ?: 转移函数， ?: Q ?? ? Q 确定性有穷自动机举例 例：一台确定型有穷自动机，它接受这样的语言：由a,b字符构成、不含3个连续b字符的有限长度的字符串。 Q = { q0, q1, q2, q3 } ? = { a, b } S = q0 F = { q0, q1, q2 } ?采用状态图表示： 有穷自动机的一种表示 1. 多带图灵机 结构：有限状态控制器、k条读/写头（双向移动）、k条读写带 2. 单带图灵机 3、图灵机结构特点 （1）读/写头既能读，又能写。 （2）读写头能左/右移动，但不会移出带的左端。 （3）“带”无限长，上置所读/写的字符和特殊符号。 （4）有穷控制器内置各种状态。 4、有限状态控制器的作用 根据有限状态控制器的当前状态及每个读写头读到的带符号，图灵机的一个计算步可实现下面3个操作之一或全部。 (1)改变有限状