第1部分算法和算法分析.PDF

第 1 部分 算法和算法分析 第 1 章 算法问题求解基础 算法是计算机学科的一个重要分支，它是计算机科学的基础，更是计算机程序的基石。算法 是计算机求解问题的特殊方法。学习算法，一方面需要学习求解计算领域中典型问题的各种有效 算法，还要学习设计新算法和分析算法性能的方法。本章给出算法的基本概念，介绍使用计算机 求解问题的过程和方法，讨论递归算法及证明递归算法正确性的归纳法。 1.1 算法概述 1.1.1 什么是算法 在学习一门计算机程序设计语言，如 C/C++或 Pascal 之后，应该对算法一词不再陌生。编写 一个程序，实际上是在实现使用计算机求解某个问题的方法。在计算机科学中，算法一词用于描 述一个可用计算机实现的问题求解 （problem-solving ）方法。 什么是算法？笼统地说，算法 （algorithm ）是求解一类问题的任意一种特殊的方法。较严格 的说法是，一个算法是对特定问题求解步骤的一种描述，它是指令的有限序列。此外，算法具有 下列 5 个特征。 （1）输入 （input ）：算法有零个或多个输入量； （2 ）输出 （output ）：算法至少产生一个输出量； （3 ）确定性 （definiteness ）：算法的每一条指令都有确切的定义，没有二义性； （4 ）能行性 （effectiveness ）：算法的每一条指令必须足够基本，它们可以通过已经实现的基 本运算执行有限次来实现； （5 ）有穷性 （finiteness ）：算法必须总能在执行有限步之后终止。 所有算法都必须具有以上 5 个特征。算法的输入是一个算法在开始前所需的最初的量，这些 输入取自特定的值域。算法可以没有输入，但算法至少应产生一个输出，否则算法便失去了它存 在的意义。算法是一个指令序列。一方面，每条指令的作用必须是明确、无歧义的。在算法中不 允许出现诸如“计算 5+3 或计算 7−3 ”这样的指令。另一方面，算法的每条指令必须是能行的。 对一个计算机算法而言，能行性要求一条算法指令应当最终能够由执行有限条计算机指令来实 现。例如，一般的整数算术运算是能行的，但如果 1÷3 的值需由无穷的十进制展开的实数表示， 就不是能行的。因此，概括地说，算法是由一系列明确定义的基本指令序列所描述的，求解特定 问题的过程。它能够对合法的输入，在有限时间内产生所要求的输出。如果取消有穷性限制，则 只能称为计算过程 （computational procedure ）。 描述一个算法有多种方法，可以用自然语言、流程图、伪代码和程序设计语言来描述。当一 个算法使用计算机程序设计语言描述时，就是程序 （program ）。算法必须可终止。计算机程序并 没有这一限制，例如，一个操作系统是一个程序，却不是一个算法，一旦运行，只要计算机不关 ·1 · 机，操作系统程序就不会终止运行。所以，操作系统程序是使用计算机语言描述的一个计算过程。 算法概念并不是计算机诞生以后才有的新概念。计算两个整数的最大公约数的辗转相除法是 由古希腊欧几里得（约公元前330—275 年）在他的《几何原本》（Euclid’s Elements ）中提出的， 它是算法研究最重要的早期成果。直到 1950 年左右，算法一词还经常与欧几里得算法（Euclid’s algorithm ）联系在一起。中国的珠算口诀可视为典型的算法，它将复杂的计算（如除法）描述为 一系列的算珠拨动操作。 欧几里得算法又称辗转相除法，用于计算两个整数 m 和 n （0≤m ＜n 的最大公约数，记为 gcd(m, n) 。其计算过程是重复应用下列等式，直到n mod m= 0 。 gcd(m, n) = gcd(n mod m, m) ，对于m ＞0 （1-1） 式中，n mod m 表示 n 除以 m 之后的余数。因为 gcd(0, n) = n ，n 的最后取值也就是m 和 n 的最 大公约数。例如，gcd(24, 60) = gcd(12, 24)