计算机系统概论十七节.doc

第十七章 递归 17.1 绪论 我们描述一你可能已经熟悉的程序开始这一章。假如我们想从一按字母顺序排列的查某个学生的成绩。我们将随机地从的中间检如果这个被随机中的成绩不是我们想要的，我们将用同样的方法查找适当的一半。也就是说，取决于我们要查找的名字比中的名字或我们从一或者重复这样的查找。例如，假如我们要查找Babe Ruth的成绩，而中的是Mickey Matle的成绩。我们将从查找。如果它存在于的话很快地，我们将Babe Ruth的成绩。这种查找一组已被过的元素的方法递归。我们用同的查找算法。递归思想是的：一个递归的函数在一个更小的子任务中调用它本身。我们将看到，递归是另一种表程序结构的。递归的功能在于它地获某些的控制流。对于某些程问题，递归的解决方法比方法简单。在这一章，我们将五个例子向你介绍递归的概念我们递归函数是怎样在LC-3里的。运行时栈机制的在于递归函数不需要特别的——它们以与其他任何函数同的方式行RunningSum(n)=n+RunningSum(n-1) 在数学上，我们用递归方程来表达这样的函数。前面那个方程是一个RunningSum的递归方程。为了完成这个方程的计算，我们还必须提供一个初始条件。所以除了前面那个公式外，我们在彻底完成递归计算之前还必须规定 RunningSum(1)=1 我们进行如下计算： RunningSum(4)=4+RunningSum(3) =4+3+RunningSum(2) =4+3+2+RunningSum(1) =4+3+2+1 RunningSum的C版本以与递归方程相同的方法工作。在函数调用RunningSum(4)的执行期间，RunningSum使用变元3（即，RunningSum(3)）进行一次对它本身的函数调用。然而，在RunningSum(3)结束前，它调用RunningSum(2)。在RunningSum(2)结束前，它又调用RunningSum(1)。然而，RunningSum(1)没有进行额外的递归调用，而是把数值1返回给RunningSum(2)，这就让RunningSum(2)可以结束，返回数值2+1给RunningSum(3)。这又使RunningSum(3)结束并把数值3+2+1传递给了RunningSum(4)。图17.2图示了RunningSum(4)的执行是如何进行的。 17.3 递归与重复 很明显，我们也可以使用for循环写RunningSum，而且代码可能要比对应的递归更简明。这里我们提供了一个递归的版本是为了用一个易于理解的例子来演示一个递归调用。 在编程中使用递归和传统的重复（如for和while循环）是相同的。所有的递归函数都可以用重复来写。但是对于某些程序设计问题，递归版本要比重复版本更简单、更好。一些特定问题的解决方案很自然地就是以递归的方式表达的，比如以递归方程表达的问题。所以，对于这些问题，递归是必不可少的程序设计技术。知道哪些问题需要递归，哪些问题用重复可以更好的解决是计算机程序设计艺术的一部分；随着经验的积累，你将会更擅长于什么时候该使用什么。 递归很有用，但是要我们付出代价。做个实验，我们写一个RunningSum的重复版本，然后对于很大的n的运行时间，与递归版本对比。为了实现这个对比，你可以使用库函数来获得函数开始和结束时的时间（比如，gettimeofday）。对于不同的n的值，用图画出它们的运行时间，你将会注意到递归版本相对要慢（假设编译器没有优化递归）。正如我们将在17.5节中看到的，递归函数在它上面进行函数的调用，而重复则不是这样。 17.4 汉诺塔 使用递归解决方案更简单的一个问题就是经典的汉诺塔的难题。这个难题包括一个有三个柱子的平台。其中一个柱子上放置了一些木盘，每一个都比它下面的小。目的是把所有的盘子从当前的柱子上移到另一根柱子上。但是，移动木盘有两个规则：一次只能移动一个木盘，并且大木盘永远不能放在小木盘的上面。例如，图17.3显示了在柱子1上有五个盘子的问题。为了解决这个难题，这五个盘子必须在遵守这两个规则的前提下被移动到另一根柱子上。 这个难题来自于一个传说，当世界初创时，印度教寺庙的僧侣们被分配了一个把64个盘子从一根柱子移动到另一根柱子的任务。当他们完成这项任务时，世界就终结了。 现在我们怎样写一个计算机程序来解决这个问题？如果我们首先从最后来看这个问题，我们可以得出如下的观察：最后的移动顺序必须包括把最大的盘子从柱子1移动到目标柱子，比如柱子3，然后再把其它的盘子移回它的上面。从概念上来说，我们需要把所有的n-1个盘子从最大的盘子上