《程序设计实践（四）》-青少年经典教育读本.pdfVIP

下载 第2章 算法与数据结构 总而言之，只有熟悉了这个领域的工具和技术才能对特殊的问题提供正确解答， 只有丰富的经验才能提供坚实的专业性结果。 Raymond Fielding ，《特殊效果立体电影的技术》 算法和数据结构的研究是计算机科学的重要基石。这是一个富集优雅技术和复杂数学分 析结果的领域。这个领域并不是理论嗜好者们的乐园和游戏的场所：一个好的算法或数据结 构可能使某个原来需要用成年累月才能完成的问题在分秒之中得到解决。 在某些特殊领域，例如图形学、数据库、语法分析、数值分析和模拟等等，解决问题的 能力几乎完全依赖于最新的算法和数据结构。如果你正要进入一个新领域去开发程序，那么 首先需要弄清楚在这里已经有了些什么，以免无谓地把时间浪费在别人早已做好的东西上。 每个程序都要依靠算法与数据结构，但很少有程序依赖于必须发明一批全新的东西。即 使是很复杂的程序，比如在编译器或者网络浏览器里，主要的数据结构也是数组、表、树和 散列表等等。如果在一个程序里要求某些更精巧的东西，它多半也是基于这些简单东西构造 起来的。因此，对大部分程序员而言，所需要的是知道有哪些合适的、可用的算法和数据结 构，知道如何在各种可以互相替代的东西之中做出选择。 这里要讲的是一个核桃壳里的故事。实际上基本算法只有屈指可数的几个，它们几乎出 现在每个程序中，可能已经被包含在程序库里，这就是基本检索和排序。与此类似，几乎所 有的数据结构都是从几个基本东西中产生出来的。这样，本章包含的材料对于每个程序员都 是熟悉的。我们写了些能够实际工作的程序，以使下面的讨论更具体。如果需要，你可以抄 录这些代码，但要事先检查用的是哪种语言，你是否有它所需要的库。 2.1 检索 要存储静态的表格式数据当然应该用数组。由于可以做编译时的初始化，构建这种数组 非常容易( J a v a 的初始化在运行中进行。只要数组不是很大，这就是一个无关紧要的实现细节 ) 。 要检查学生练习中是否对某些废话用得太多，在程序里可能会定义： 检索程序必须知道数组里有多少元素。对这个问题的一种处理方法是传递一个数组长度参数。 这里采用的是另一种方法，在数组最后放一个 N U L L作为结束标志。 24计计程序设计实践 下载 在C和C++ 里，字符串数组参数可以说明为 char *array[]或者c h a r * * a r r a y。虽然这 两种形式是等价的，但前一种形式能把参数的使用方式更清楚地表现出来。 这里采用的检索算法称为顺序检索，它逐个查看每个数据元素是不是要找的那一个。如 果数据的数目不多，顺序检索就足够快了。标准库提供了一些函数，它们可以处理某些特定 类型的顺序检索问题。例如，函数 s t r c h r和s t r s t r能在C或C++ 字符串里检索给定的字符 或子串，J a v a 的S t r i n g类里有一个 i n d e x O f方法，C + + 的类属算法f i n d几乎能用于任何数 据类型。如果对某个数据类型有这种函数，我们就应该直接用它。 顺序检索非常简单，但是它的工作量与被检索数据的数目成正比。如果要找的数据并不 存在，数据量加倍也会使检索的工作量加倍。这是一种线性关系——运行时间是数据规模的 线性函数，因此这种检索也被称为线性检索。 下面的程序段来自一个分析 H T M L 的程序，这里有一个具有实际规模的数组，其中为成 百个独立的字符定义了文字名： 对这样的大数组，使用二分检索方法效率将更高些。二分检索是人在字典里查单词时采 用的一种有条理性的方法：先看位于中间的元素，如果那里的值比想要找的值更大，那么就 去查前边的一半；否则就去查后边一半。反复这样做，直到要找的东西被发现，或者确定它 根本不存在为止。 为了能做二分检索，表格本身必须是排好序的，就像上面做的那样 (无论如何，这样做都 是一种好的风格，人们在排序的表格里找东西也更快一些 ) 。另一方面，程序还必须知道表格 的长度，第1章定义的N E L E M S宏可以用在这里： 对这种表格的二分检索函数可以写成下面的样子：