算法201301引论学习课件.pptVIP

教学内容 一、 算法设计与分析概论 二、算法设计基本方法 三、具体问题的算法设计 四、相关领域研究问题算法概述及讨论 Algorithm vs. Computer Science Sometimes people ask: “What really is computer science? Why don’t we have telephone science? Telephone, it might be argued, are as important to modern life as computer are, perhaps even more so. A slightly more focused question is whether computer science is not covered by such classical disciplines as mathematics, physics, electrical engineering, linguistics, logic and philosophy. We would do best not to pretend that we can answer these questions here and now. The hope, however, is that the course will implicitly convey something of the uniqueness and universality of the study of algorithm, and hence something of the importance of computer science as an autonomous field of study. - adapted from Harel: “Algorithmics, the Spirit of Computing” 算法1.1 冒泡排序 输入：待排序数组A，其中有n个元素； 输出：排好序的数组A。 bubblesort(float A[], int n) { int i,j; for (i=0; in; i++) for (j=n-1; ji; j--) if (A[j]A[j-1]) swap(A[j], A[j-1]); } 2 算法终止性证明-良序原则 利用良序原则证明依赖于可数集合的命题P(x)。 良序关系 设﹤是集合S上的一个良序关系，如果满足以下性质： （1）给定集合S中元素x,y,z，如果x﹤y，y﹤z，则x﹤z。 （2）给定集合S中元素x,y，以下三种可能性恰有一种为真： x﹤y，x=y，y﹤x （3）如果A是S的任何非空子集，则A中必有一个元素x，使得对于A中所有的y，有x≤y。 算法终止性证明 良序原则 命题2 设﹤是集合S的一个良序，并且设p(x)是关于S元素x的一个命题。如果p(x)能在p(y)对于所有的yx为真的假定下得证，则p(x)对S中所有的x为真。 3 递归关系式的求解 例：梵塔问题 递归关系的求解-生成函数(母函数) 函数 与序列 相对应，定义生成函数：对于序列 构造函数 为序列 的生成函数，其中x是参数，只要序列{an}确定，则G只依赖于x。反之，若G已知，则序列自然确定。 生成函数 对于梵塔问题，以h(n)为系数，构造其生成函数H(x)， 生成函数 得到 递归关系的求解-特征方程、特征根 k阶常系数线性齐次递归关系： 若 是常数，且 ，则递归关系 为k阶常系数线性齐次递归关系 其特征方程是 。 特征方程、特征根 例1 解：对应的特征方程为 特征方程、特征根 特征方程、特征根 例2 特征方程、特征根 解得 递归关系的求解-递推 例3 解： Case1：如果特征方程有k个互不相同的根 则通解为 其中 只要求出特征方程的根，利用初始条件确定通解当中的待定系数，可以得到原递归关系的解。 特征方程的根为： 通解为： 由初始条件得到： 解得 因此 Ca