对于递归的个人理解(2)

    对于上篇文章所说的“递归策略只需少量的程序就可描述出解题过程所需要的多次重复计算，大大地减少了程序的代码量。递归的能力在于用有限的语句来定义对象的无限集合”,这只是一个表象，最主要的思想是看起来规模很大的问题划分为一个或者多个规模更小的子问题，而这些子问题可以用同样的方法去求解。

  用递归来解决问题的时候，遵循如下几步。

       1   找出初始条件接口（递归出口）。

       2 找到策略，将大问题划分为子问题，并接近出口

       3将所有的子问题组合起来，得到原问题的解

  在这过程中，需要注意的几个问题

     1 规模如何缩小

     2 缩小了还是不是同一个问题

     3 多大问题的规模，可做为出口

     4 缩小了，能达到递归出口吗？

有了这几个问题，需要找到这几个问题的答案，找到答案的目的，是证明这算法的正确性,

    这里就要用到数学的归纳法与循环不变量（比如在迭代中，始终不变的条件）

    1 检测出口条件下，问题是不是能正确解决，及循环不变量是不是真

     2 是不是一步步接近递归出口，即循环不变量是不是为真

    3   证明  小问题得到解决-》原始问题也得到解决 。

思想-》产生规则-》证明规则的正确性

如此反复，使你有一个用递归思想思考问题的习惯