递归

125 阅读4分钟

本章内容

  • 学习递归。递归是很多算法都使用的一种编程方法,是理解本书后续内容的关键。
  • 学习如何将问题分成基线条件和递归条件。第4章将介绍的分而治之策略使用这种简单的
  • 概念来解决棘手的问题。

我怀着激动的心情编写本章,因为它介绍的是递归——一种优雅的问题解决方法。递归是我 最喜欢的主题之一,它将人分成三个截然不同的阵营:恨它的、爱它的以及恨了几年后又爱上它 的。我本人属于第三个阵营。为帮助你理解,现有以下建议。

  • 本章包含很多示例代码,请运行它们,以便搞清楚其中的工作原理。
  • 请用纸和笔逐步执行至少一个递归函数,就像这样:我使用5来调用factorial,这将使用4调用factorial,并将返回结果乘以5,以此类推。这样逐步执行递归函数可搞明白递归函数的工作原理。

本章还包含大量伪代码。伪代码是对手头问题的简要描述,看着像代码,但其实更接近自然语言。

3.1 递归

假设你在祖母的阁楼中翻箱倒柜,发现了一个上锁的神秘手提箱。 1.png

祖母告诉你,钥匙很可能在下面这个盒子里。

2.png

这个盒子里有盒子,而盒子里的盒子又有盒子。钥匙就在某个盒子中。为找到钥匙,你将使用什么算法?先想想这个问题,再接着往下看。

下面是一种方法。

3.png

(1) 创建一个要查找的盒子堆。

(2) 从盒子堆取出一个盒子,在里面找。

(3) 如果找到的是盒子,就将其加入盒子堆中,以便以后再查找。

(4) 如果找到钥匙,则大功告成!

(5) 回到第二步。

下面是另一种方法。

4.png

(1) 检查盒子中的每样东西。

(2) 如果是盒子,就回到第一步。

(3) 如果是钥匙,就大功告成!

在你看来,哪种方法更容易呢?第一种方法使用的是while循环:只要盒子堆不空,就从中取一个盒子,并在其中仔细查找。

def look_for_key(main_box):

pile = main_box.make_a_pile_to_look_through()

while pile is not empty:

box = pile.grab_a_box()

for item in box:

if item.is_a_box():

pile.append(item)

elif item.is_a_key():

print "found the key!"

第二种方法使用递归——函数调用自己,这种方法的伪代码如下。

def look_for_key(box):

for item in box:

if item.is_a_box():

look_for_key(item)

elif item.is_a_key():

print "found the key!"

这两种方法的作用相同,但在我看来,第二种方法更清晰。递归只是让解决方案更清晰,并没有性能上的优势。实际上,在有些情况下,使用循环的性能更好。我很喜欢Leigh Caldwell在Stack Overflow上说的一句话:“如果使用循环,程序的性能可能更高;如果使用递归,程序可能 更容易理解。如何选择要看什么对你来说更重要。”

很多算法都使用了递归,因此理解这种概念很重要。

3.2 基线条件和递归条件

由于递归函数调用自己,因此编写这样的函数时很容易出错,进而导致 无限循环。例如,假设你要编写一个像下面这样倒计时的函数。

3...2...1

为此,你可以用递归的方式编写,如下所示。

def countdown(i):

print i

countdown(i-1)

如果你运行上述代码,将发现一个问题:这个函数运行起来没完没了!

5.png

3...2...1...0...-1...-2...

(要让脚本停止运行,可按Ctrl+C。)

编写递归函数时,必须告诉它何时停止递归。正因为如此,每个递归函数都有两部分:基线条件(base case)和递归条件(recursive case)。递归条件指的是函数调用自己,而基线条件则指的是函数不再调用自己,从而避免形成无限循环。

我们来给函数countdown添加基线条件。

6.png

现在,这个函数将像预期的那样运行,如下所示。

7.png

3.3 栈

本节将介绍一个重要的编程概念——调用栈(call stack)。调用 栈不仅对编程来说很重要,使用递归时也必须理解这个概念。

假设你去野外烧烤,并为此创建了一个待办事项清单——一叠 便条。

本书之前讨论数组和链表时,也有一个待办事项清单。你可将待办事 项添加到该清单的任何地方,还可删除任何一个待办事项。一叠便条要简单得多:插入的待办事项放在清单的最前面;读取待办事项时,你只读取最上面的那个,并将其删除。因此这个待办事项清单只有两种操作:压入(插入)和弹出(删除并读取)。

8.png

下面来看看如何使用这个待办事项清单。

9.png

这种数据结构称为栈。栈是一种简单的数据结构,刚才我们一直在使用它,却没有意识到!