1.1 算法引论.pptVIP

计算机算法设计与分析 The Design and Analysis of Computer Algorithms 图灵/Church命题 Turing命题 可计算的函数集等于图灵机可计算的函数集。 Church命题 可计算的函数集等于递归函数集。 历史上看，Turing命题和Church命题都是不可证明的，但数学家都相信这两个命题是对的（可能是因为Turing和Church太有名气，或者是由于他们的理论太庞大以至于“不识庐山真面目”，更有说服力的是迄今没有发现该命题的什么反例，反正如今这两个命题合二为一了。没有人对“能行可计算”的这个论断提出质疑）。 P = NP? 这个问题，作为理论计算机科学的核心问题，其声名早已经超越了这个领域 两个P都是指Polynomial 如果一个算法，它能在以输入规模为参变量的某个多项式的时间内给出答案，则称它为多项式时间算法 P指确定型图灵机上的具有多项式算法的问题集合 NP指非确定型图灵机上具有多项式算法的问题集合 脱离图灵机的概念，就在普通的计算机上看，P问题是指能够在多项式时间求解的判定问题（判定问题指只需要回答是和不是的问题），而NP问题则是指那些其肯定解能够在给定正确信息下在多项式时间内验证的判定问题。 P vs NP问题指P是否完全等于NP，即确定型图灵机和非确定图灵机的性能是否一样。 Did you know ? Algorithm Algorism Logarithm Algebra Arithmetic 定义1.1.8空间复杂性思考题： 如果进栈的元素序列为1,2,3,4,5,6，得到1,3,5,4,2,6的出栈序列，说明其栈空间复杂性。 定义1.1.6（输入的大小）： 设Input是问题R的输入集合，R的输入大小是一个函数。F：Input ? N，N是正整数集合。 例： 矩阵问题的输入大小 ＝ 矩阵的维数 图论问题的输入大小 ＝ 图的边数／结点数 定义1.1.7（时间复杂性）： 一个算法对特定输入的时间复杂性是该算法对该输入产生结果需要的原始操作或“步”数。 注： ? 时间复杂性是输入大小的函数。 我们假设每一步的执行需要常数时间； 实际上每步需要的时间量可能不同。 定义1.1.8（空间复杂性）： 一个算法对特定输入的空间复杂性是该算法对该输入产生结果所需要的存储空间大小。 定义1.1.9（最坏复杂性）： 设Input是问题R的输入集合，Complexity(X) 是求解R的算法A的复杂性函数，Size(y)是R的输入 大小函数，A的最坏复杂性是： Max?Complexity(size(y))?y?Input? 答：得到1,3,5,4,2,6的出栈序列，操作步骤如表所示。 空间复杂性为3。 空 6 6 6 空 2 2 ? 2 4 2,4 ? 2,4 5 2,4,5 5 2,4 ? 2,4 4 2 3 2,3 3 2 ? 2 2 空 1 1 1 当前栈 出栈 当前栈 进栈 * * * * * * 鄢 田 云 Chapter 1 算 法 引 论 Computer Algorithms Introduction Algorithms and  Analysis Algorithms §1. 算法与算法分析 Role of Algorithms in Computer Science §1.1 算法在计算机科学中 的重要性 1.算法是计算机科学基础的重要主题 ·70年代前，计算机科学基础的主题没有被清楚地认识。 ·70年代，Knuth出版了《The Art of Computer Programming》(三卷）, 以各种算法研究为主线，确立了算法为计算机科学基础的重要主题，1974年获得图灵奖。 Knuth home page：/~knuth/ ·70年代后，算法作为计算机科学的核心推动了计算机科学技术的飞速发展。 2.计算机科学的体系 ? 解决一个计算问题的过程： 可计算否? 能行可计算否? 算法设计与分析 用计算机语言实现算法 软件系统 定义 对于一个n元函数f(x1,...,xn)，如果存在一个机械的实现过程使得对于任意赋值(a1,...,an)，该过程在有限的步骤内产生出f(a1,...,an)，那么就称f(x1,...,xn)是可计算的（或能行可计算的）。 ? 可计算理论 · 计算模型 · 可计算问题/不可计算问题 · 计算模型的等价性--图灵/C