CH5算法设计和分析.pptVIP

第5章 算法设计与分析 5.1算法的概念 算法是解决问题的方法与步骤。 N?Wirth指出：程序=算法+数据结构。 在软件开发中，软件的主体是程序，程序的核心是算法设计。 算法是程序设计的基础，算法的质量直接影响到程序运行的效率。 5.1.1 算法的特征 Donald E?Knuth归纳出算法的5个特性： 1．确定性 算法的每一个步骤都具有确切的含义，不能有歧义。 2．有穷性 一个算法由有限个步骤组成，而且每一个步骤必须在有限的时间内完成。 3．可行性 算法中的每一个步骤都能被有效地执行。 4．输入 一个算法有0个或多个输入。 5．输出 一个算法有一个或多个输出，也即至少有一个输出，没有输出的算法是无意义的。 算法和程序的区别 算法和程序是两个不同的概念。 算法解决的是一类问题，而不是一个特定的问题。 计算机程序是对某个算法使用某种程序设计语言的具体实现。 算法必须具备有穷性，但并不是所有的计算机程序都满足有穷性，例如操作系统。 5.1.2 算法描述 一、自然语言 自然语言就是人们日常生活中使用的语言。如菜谱书籍中某道菜的做法，就是使用自然语言描述的该道菜的“算法”。 用自然语言描述算法简单直接，无语法和语义上的障碍，通俗易懂，但文字冗长，且容易出现歧义。 例5-1 求任意两个正整数的最大公约数。 古希腊数学家欧几里德给出了求解两个整数的最大公约数的辗转相除算法。设两个整数分别为m和n，算法描述如下： 步骤1：如果mn，那么m和n对换； 步骤2：求出m除n的余数r； 步骤3：如果r≠0，那么令m=n，n=r，转步骤2； 如果r=0，那么n就是最大公约数。输出n的值，算法结束。 二、流程图 流程图是一种传统的、广泛使用的算法工具，它采用几何图形、线条和文字来表示不同的操作步骤。 用流程图描述算法形象直观，简明清晰。 美国国家标准协会规定的常用流程图符号 例5-2 找出10个数中的最大值。 三、伪代码 伪代码是一种介于自然语言和计算机语言之间、类似计算机语言的描述形式。 用伪代码描述算法，可以像自然语言那样灵活方便、易于理解，无需顾忌程序设计语言的语法。 由于采用类似计算机语言的形式，描述出来的算法粗略地看很像程序代码，但又不是真正意义上的程序代码，因此被称为伪代码。 伪代码是不能被计算机直接执行的。 用伪代码描述的算法，可以更方便地转换为计算机程序代码。 5.1.3 算法分析 同一个问题的不同算法，自然有其各自的特点。 分析评价一个算法，主要从时间复杂度和空间复杂度两个方面来考虑。 1.时间复杂度 一般作定性分析 首先找出该算法中的关键语句，也即重复执行次数最多的语句 计算其被重复执行的次数，得到一个关于n（问题的规模）的多项式 再使用O()函数去掉常数项、低次项以及常数系数，便得到该算法的时间复杂度 几种常见的时间复杂度： O(1) O(log n) O(n) O(n log n) O(n2) O(n3) O(2n) 2.空间复杂度 空间复杂度主要考察算法在计算机中执行时所需要的辅助空间大小。 几种常见的空间复杂度： O(1) O(log n) O(n) O(n log n) O(n2) 评价算法的几个标准 ①正确性 算法应满足具体问题的需求。 ②可读性 算法应容易供人阅读和交流。可读性好的算法有助于对算法的理解和修改。 ③健壮性 算法应具有容错处理。当输入非法或错误数据时，算法应能适当地作出反应或进行处理，而不会产生莫名其妙的输出结果。 ④通用性 算法应具有一般性，即算法的处理结果对于一般的数据集合都成立。 ⑤效率与存储量需求 效率指的是算法执行的时间；存储量需求指算法执行过程中所需要的最大存储空间。通常情况下，这两者与问题的规模有关。 5.2 算法设计的基本思想 经常采用的算法设计技术主要有： 迭代法 枚举法 递推法 递归法 回溯法 贪心法 分治法 动态规划 5.2.1迭代法 迭代法也称辗转法，是一种从一个初始估计值出发，不断用变量的旧值递推新值的过程。 迭代法又分为精确迭代和近似迭代。 “二分法”和“牛顿迭代法”属于近似迭代法。 迭代算法常用于求解方程或方程组的近似根。 设方程为f(x)=0，用某种数学方法导出等价的形式x=g(x)，然后按以下步骤执行： ①选一个方程的近似根，赋给变量x0； ②将x0的值保存于变量x1，然后计算g(x1)，并将结果存于变量x0； ③当x0与x1的差的绝对值还大于指定的精度要求epsilon时，重复步骤②的计算。 当x0与x1的差的绝对值小于指定的精度要求epsilon时，x0就是方程的根。 算法5.1 迭代法求方程的根 void root(float x0) /* x0为初始近似根*/ { do {