又遇递归函数

之前再写【算法】算法初步：聊一聊常见排序的算法的时候简单的总结了一下递归的用法。这里再详细的归纳一下递归这种编程技术。

关于递归

递归通俗一点的解释就是函数的自调用。举个例子来说，我们计算阶乘n! = 1*2*3*4*….*n-1*n，用函数fn(n)表示。通过一些数学处理可以归纳出通项公式fn(n) = fn(n-1)*n。所以，只有当n = 1的时候才需要特殊处理。
于是，用递归方法写的fn(n)就是：

#python

def fn(n):
    if n = 1:
        return 1
    return n*fn(n-1)

上面就是一个递归函数。递归函数的优点是定义简单，逻辑清晰。

如果我们计算fn(5)，可以根据函数的定义来看到下面的计算过程：

===>fn(5)
===>5*fn(4)
===>5*(4*fn(3))
===>5*(4*(3*(fn(2))))
===>5*(4*(3(2*(fn(1)))))
===>5*(4*(3(2*1)))
===>5*(4*(3*2))
===>5*(4*6)
===>5*24
===>120

我们可以看出递归的运算就是函数的逐层调用。我们知道函数调用是在通过栈（Stack）这种数据结构中进行的。所以在递归函数中，每当进入一个函数时，就会给原有的栈加一层栈帧。当函数返回时就会减少一层栈帧。由于栈不是无限的，所以如果递归调用的过多，就会导致栈的溢出。我们来试一试fn(1000)，会发现命令行会报一个错误：RuntimeError: maximum recursion depth exceeded in comparison，这个错误表示超过最大递归深度。

---

尾递归

解决递归调用栈溢出的方法是通过尾递归优化。尾递归是指，在函数返回的时候调用自身，并且return语句不能包含表达式。这样，编译器或者解释器就可以把尾递归做优化，是递归本身无论调用多少次都只占用一个栈帧，从而出现栈溢出的情况。

上面的fn(n)函数由于return n * fn(n - 1)引入了乘法表达式，所以就不是尾递归。把普通递归函数改成尾递归函数最主要一步的运算表达式传入到递归函数中去：

#python
def fn(n):
    return fn_iter(n, 1)
def fn_iter(n, m):
    if n == 1:
        return m
    return fn_iter(n - 1, n * m)

可以看出，return fn_iter(n - 1, n m)仅仅返回递归函数本身，而*n - 1和n m*会在函数调用前就会被计算，不会影响函数的调用。
此时fn(5)对应的fn_iter调用如下：

===>fn_iter(5,1)
===>fn_iter(4,5)
===>fn_iter(3,20)
===>fn_iter(2,60)
===>fn_iter(1,120)
===>120

但是此时我们如果运算fn(1000)，依然会报出和之前一样的错误。这是因为尾递归调用时，编译器或者解释器如果做了优化，栈就不会增长。但是遗憾的是，大多数的编程语言是没有针对尾递归做优化的，Python和Java解释器也没有做优化，所以即便我们把fn(n)函数改成尾递归函数，依旧会导致栈的溢出。

递归能解决的一些问题（汉诺塔问题）

问题描述：
有三根相邻的柱子，标号为A,B,C，A柱子上从下到上按金字塔状叠放着n个不同大小的圆盘，要把所有盘子一个一个移动到柱子C上，并且每次移动同一根柱子上都不能出现大盘子在小盘子上方，请问至少需要多少次移动。
问题分析：
当只有一个盘子的时候，只需要从将A塔上的一个盘子移到C塔上。
当A塔上有两个盘子是，先将A塔上的1号盘子（编号从上到下）移动到B塔上，再将A塔上的2号盘子移动的C塔上，最后将B塔上的小盘子移动到C塔上。
当A塔上有3个盘子时，先将A塔上编号1至2的盘子（共2个）移动到B塔上（需借助C塔），然后将A塔上的3号最大的盘子移动到C塔，最后将B塔上的两个盘子借助A塔移动到C塔上。
当A塔上有n个盘子是，先将A塔上编号1至n-1的盘子（共n-1个）移动到B塔上（借助C塔），然后将A塔上最大的n号盘子移动到C塔上，最后将B塔上的n-1个盘子借助A塔移动到C塔上。
综上所述，除了只有一个盘子时不需要借助其他塔外，其余情况均一样。所以问题可以简化成三步：1、通过C把A上的n-1个盘子移动到B上。2、把第n个盘子移动到C上。3、通过A把B上的n-1个盘子移动到C上。所以汉诺塔问题对应的Python代码是:

#python
def hanoi(n, origin, assist, destination):
    if n == 1:
        move(origin, destination)
    else:
        hanoi(n-1, origin, destination, assist) #将n-1个盘子移到辅助柱子上
        move(origin,destination)
        hanoi(n-1, assist, origin, destination) #将n-1个盘子移动到目标柱子上
def move(origin, destination):
    print(origin, '--->', destination)
hanoi(3, 'a', 'b', 'c')

可以看出一个看似很麻烦的问题通过递归很简单就解决了。