递归（二）

1 这一篇讲述如何利用“分治法”（Divide and Conquer）进行递归算法设计的方法

2 通常可以先写出问题求解的递归定义。和第二数学归纳法类似，递归定义由基本项和归纳项两部分组成。

2.1 递归定义的基本项描述了一个或几个递归过程的终结状态。虽然一个有限的递归（且无明显的迭代）可以描述一个无限的计算过程，但任何实际应用的递归过程，除错误情况外，必定能经过有限层次的递归而终止。所谓终结状态指的是不需要继续递归而可直接求解的状态。

2.2 递归定义的归纳项描述了如何实现从当前状态到终结状态的转化。递归设计的实质是：当一个复杂的问题可以分解成若干子问题来处理时，其中某些子问题与原问题由相同的特征属性，则可利用和原问题相同的分析处理方法；反之，这些子问题解决了，原问题也就迎刃而解了。递归定义的归纳项就是描述这种原问题和子问题之间的转化关系。以Hanoi塔问题为例，原问题是将n个圆盘从X塔座上移至Z塔座上，可以把它分解成3个子问题：

* 将编号为1至n-1的n-1个圆盘从x塔座移至y塔座

* 将编号为n的圆盘从x塔座移至Z塔座

* 将编号为1至n-1个圆盘从y塔座移至z塔座

其中，第一个和第三个子问题和原问题特征属性相同，只是参数(n-1和n)不同，由此实现了递归。

2.3 由于递归函数的设计用的是归纳思维的方法，则在设计递归函数时，应注意：（1）首先应书写函数的首部和规格说明书，严格定义函数的功能和接口(递归调用的界面)，对求精函数中所得的和原问题性质相同的子问题，只要接口一致，便可进行递归调用；（2）对函数中的每一个递归调用都看成只是一个简单的操作，只要接口一致，必能实现规格说明书定义的功能，切忌想的太深太远。正如用第二数学归纳法证明命题时，由归纳假设进行归纳证明时绝不能怀疑假设是否正确。