递归函数
递归的学习绝对是一个持久战,没有人可以一蹴而就。一年两年的,很寻常。
问题的复杂,加上递归本身的细节,我们想要 '学会','学好',再 '用好',是需要一个漫长的过程的。所以还希望读者有足够的耐心。
一:什么是递归
所谓递归,简单点来说,就是一个函数直接或间接调用自身的一种方法,它通常把一个大型复杂的问题层层转化为一个与原问题相似的规模较小的问题来求解。
我们可以把” 递归 “比喻成 “查字典 “,当你查一个词,发现这个词的解释中某个词仍然不懂,于是你开始查这第二个词。
可惜,第二个词里仍然有不懂的词,于是查第三个词,这样查下去,直到有一个词的解释是你完全能看懂的,那么递归走到了尽头,然后你开始后退,逐个明白之前查过的每一个词,最终,你明白了最开始那个词的意思。(摘自知乎的一个回答)
我们以阶乘作为:
int Factorial(int n){
if (n == 0) return 1;
return
n * Factorial(n - 1);
}
二:递归与栈的关系
常常听到 “递归的过程就是出入栈的过程”,这句话怎么理解?我们以上述代码为例,取 n=3,则过程如下:
-
第 1~4 步,都是入栈过程,
Factorial(3)
调用了Factorial(2)
,Factorial(2)
又接着调用Factorial(1)
,直到Factorial(0)
; -
第 5 步,因 0 是递归结束条件,故不再入栈,此时栈高度为 4,即为我们平时所说的递归深度;
-
第 6~9 步,
Factorial(0)
做完,出栈,而Factorial(0)
做完意味着Factorial(1)
也做完,同样进行出栈,重复下去,直到所有的都出栈完毕,递归结束。
每一个递归程序都可以把它改写为非递归版本。我们只需利用栈,通过入栈和出栈两个操作就可以模拟递归的过程,二叉树的遍历无疑是这方面的代表。
但是并不是每个递归程序都是那么容易被改写为非递归的。某些递归程序比较复杂,其入栈和出栈非常繁琐,给编码带来了很大难度,而且易读性极差,所以条件允许的情况下,推荐使用递归。
三:如何思考递归
在初学递归的时候, 看到一个递归实现, 我们总是难免陷入不停的验证之中,比如上面提及的阶乘,求解Factorial(n)
时,我们总会情不自禁的发问,Factorial(n-1)
可以求出正确的答案么?接着我们就会再用Factorial(n-2)
去验证,,,不停地往下验证直到Factorial(0)
。
对递归这样的不适应,和我们平时习惯的思维方式有关。我们习惯的思维是:已知Factorial(0)
,乘上 1 就等于Factorial(1)
,再乘以 2 就等于Factorial(2)
,,,直到乘到 n。
而递归和我们的思维方式正好相反。
那我们怎么判断这个递归计算是否是正确的呢?Paul Graham 提到一种方法,如下:
如果下面这两点是成立的,我们就知道这个递归对于所有的 n 都是正确的。
当 n=0,1 时,结果正确;
假设递归对于 n 是正确的,同时对于 n+1 也正确。
这种方法很像数学归纳法,也是递归正确的思考方式,上述的第 1 点称为基本情况,第 2 点称为通用情况。
在递归中,我们通常把第 1 点称为终止条件,因为这样更容易理解,其作用就是终止递归,防止递归无限地运行下去。
下面我们用两个例子来具体说明这种数学归纳法:
例 1 汉诺塔展开目录
问题描述为:有三根杆子 1,2,3。1杆上有 N 个穿孔圆盘,盘的尺寸由上到下依次变大,2,3 杆为空。要求按下列规则将所有圆盘移至 3 杆:
-
每次只能移动一个圆盘;
-
大盘不能叠在小盘上面。
问:如何移?最少要移动多少次?
分析:
首先看下基本情况,即终止条件:N=1 时,直接从 1移到 3。
剩下的(n-1)需要放到 2中。可以看做是2是过渡。
可以想象成2步,先把N-1放到过渡中,剩下的搬到目标位
所以说一共就三步
- 把 n-1 号盘子移动到缓冲区
- 把1号从起点移到终点
- 然后把缓冲区的n-1号盘子也移到终点
代码如下:
count = 0 #用于计算 def hanoi(n,src,dst,mid): #n 圆盘数,src 起始位,dst 目标位,mid 中间过渡 global count #局部变量引用全局变量 if n ==1: #基例 当n = 1时,结束直接开始位到目标位(即从1杆到3杆) print("{}:{}->{}".format(1,src,dst)) count += 1 else: hanoi(n-1, src, mid, dst) #调用函数hanoi print("{}:{}->{}".format(n,src,dst)) # 开始位到目标位(即从1杆到3杆) count += 1 hanoi(n-1,mid,dst,src)#从过渡放到目标(即从2杆到3杆) def main(): hanoi(3,"1","3","2") print(count) main()
1:1->3
2:1->2
1:3->2
3:1->3
1:2->1
2:2->3
1:1->3
7
https://www.zhihu.com/question/24385418
例 2 求二叉树节点个数展开目录
首先看下基本情况,即终止条件:当为空树时,节点数为 0;
再来看下通用情况:当前节点的左,右子树节点数都被求出,则以当前结点为根的二叉树的节点总数就是 “左子树 + 右子树 + 1”。
代码如下:
int GetNodes(Node * node){ //终止条件
if (node == nullptr)
return 0; //通用情况
return
GetNodes(node->left) + GetNode(node->right) + 1;
}
四:什么时候该用递归
当我们遇到一个问题时,我们是怎么判断该题用递归来解决的?
问题可用递归来解决需具备的条件:
子问题需与原问题为同样的事,且规模更小;
程序停止条件。