算法通关村第七关青铜挑战——一图理解递归

大家好，我是怒码少年小码。

算法通关不知不觉以及写了好多篇了，但是接下来路依旧很长。今天的主题是——递归。

什么是递归

方法的调用，而且是自己调用自己。下面这张图可以说是很形象了😄

但是如果自己一直调用自己不久无线循环了吗？就好像我们小候经常讲的那个故事一样：

从前有座山，山上有座庙，庙里有个老和尚和一个小和尚在讲故事，老和尚对小和尚说：
从前有座山，山上有座庙，庙里有个老和尚和一个小和尚在讲故事，老和尚对小和尚说：
········

这就得好好讲讲递归的特征了

递归的特征

执行时范围不断缩小，这样才能触底反弹。

换句话说，“递”的过程必须向终止条件逼近，才能有“归”的过程。递归就是数学里的递推，设计递归就是努力寻找数学里的递推公式。例如斐波那契数列的递归公式为f(n)=f(n-1)+f(n2)，n也在不断缩小。这个特征可以辅助我们检查自己写的递推公式对不对。

可以记成“不撞南墙不回头”

终止条件判断在递归调用的前面

递归之后可能还有终止条件，但是在执行递归之前，一定会有一个终止条件。

Why？ 如下这段代码：假设一个函数在执行自己之前没有终止条件判断，那么他就会顺其自然地调用自己，由于没有终止条件判断，它又调用了自己，就这样子子孙孙无穷尽也，那还“归”个啥！

public void recursion(参数0) { 
    recursion(参数1);
    if (终止条件) {
        return ;
    }
}

这一特点启示我们，可以先考虑清楚什么情况下终止，而且相关代码要写在靠前位置的，之后再考虑递归的逻辑，这样可以降低编写的难度。

怎么写递归

第一步：从小到大递推

递归该怎么写呢？递归源自数学里的归纳法，这个在高中数学中学过，大致就是你先猜测出存在递归关系，f(n)=δf(n-1)，然后你只要证明当n增加1时，f(n+1)=δf(n)也是成立就说明你的猜测是对的。不过，在算法里，我们写递归一般不需要证明，先选几个较小的值验一下，再选择几个比较大的验一下即可。
很明显，大部分从n=1，2，3或者只有一两个元素开始写最简单。例如斐波那契序列为 1 1 2 3 5 8，…，从n=3开始都满足f(n)= f(n-1) + f(n-2)，然后我们再选择某个比较大的n来验证即可。

例如，斐波那契数列的是这样一个数列：1、1、2、3、5、8、13、21、34….，即第一项 f(1) = 1,第二项 f(2) = 1……，从第三项开始就满足：
f(n) = f(n-1) + f(n-2)这就是我们要找的递归公式。

分情况讨论，明确结束条件

有时候需要考虑的终止条件不止一个，例如斐波那契数列的递推公式f(n) = f(n-1) + f(n-2)里，如果n=2时会出现f(2)=f(1)+f(0)，很明显这里是没有f(0)的，所以我们要将n==2也给限制住，所以结束条件是这样的：

int f(int n){
    if(n <=2){
        return 1;
    }
}

有些情况不一定是触底才开始反弹，而是达到某种要求就要停止，这样需要考虑的情况会比较多。解决这类问题最直接的方式就是枚举，将可能的情况列举一下，再逐步优化。面试的时候千万不要上来就写！

组合出完整方法

将递推公式和终止条件组合起来，变成完整的方法。例如斐波那契数列的实现为：

int fibonacci(int n){
    // 1.先写递归结束条件
    if(n <= 2){
        return 1;
    }
    // 2.接着写等价关系式
    return fibonacci(n-1) + fibonacci(n - 2);
}

每次写递归的时候，你就强迫自己试着去从这几个方面来考虑。一步一步来，没学会爬之前就不要想着飞了😉

END

递归，从知道它开始就一直似懂非懂的，现在、似乎、好像还可以？（弱弱）

参考文章：编程导航算法通关村文章