从“数学归纳法”的角度理解“递归”算法

1.数学归纳法推演步骤

1. 证明基本情况（通常是N = 1 的时候）是否成立。证明对于N=1成立。我们只需要先从最小的自然数开始证明。这一步通常非常简单。
2. 证明N > 1 时，假设 N - 1 成立，那么对于N成立（N为任意大于1的自然数）。这一步并不是直接证明的，而是假设N-1成立，利用这个结论推出N是成立的。如果能够推出的话，就可以说：对于所有的N都成立。

2.递归

递归的基本思想:把规模大的问题转化为与之具有相同行为逻辑的最小规模的子问题来解决。
构成递归需具备的条件：

1. 子问题必须是与原始问题具有相同行为逻辑的最小规模的子问题。
2. 必须具有结束条件。一般情况下，非递归处理最小规模子问题的条件即为结束条件。

设计递归步骤：

1.明确函数f(n)功能，查找最小规模的子问题；
2.依次扩大规模，进行推演，归纳原始问题的行为逻辑；
3.确定递归结束条件。

递归算法一般用于解决三类问题：
1.数据的定义是按递归定义的。（Fibonacci函数）
2.问题解法按递归算法实现。这类问题虽则本身没有明显的递归结构，但用递归求解比迭代求解更简单，如Hanoi问题。
3.数据的结构形式是按递归定义的。如二叉树、广义表等，由于结构本身固有的递归特性，则它们的操作可递归地描述。

3.总结

递归的内核就是“数学归纳法”。

参考：从“数学归纳法”到理解“递归算法”