fwnx 递归范式

 在程序设计实践中，经常需要从整体和局部两个方面考虑问题。部分场合需要考虑整体行为，部分场合又需要考虑程序某个部分（函数或函数一部分）的行为，整个程序设计过程就是思维在整体和局部间不停切换的过程。

   然而在分析递归问题时，上述的思考过程可能会导致一些问题。虽然对计算机而言递归函数和普通函数没什么两样，但是如果一定要跟踪递归算法的流程，就会很快发现其过于复杂而难以理解。

   因此，即使再理论上跟踪递归流程确实能够揭示递归全部工作的细节进而证明其正确性，跟踪递归流程也是完全没有必要和不可行的。那么如何验证和证明递归算法的正确性呢？

   这里有项重要原则要记住，那就是不管任何复杂细节而仅仅考虑单一层次上的操作。引入递归的目的是远离算法细节而不是陷入算法细节的泥潭无法自拔。理解和使用递归时，需要在更高的抽象层次上进行思考。

   这里的基本假设是，只要递归调用的参数比原始参数在某种程度上更简单，则递归调用就一定能获得正确的答案。在心理学的角度讲，这种简单递归调用一定正确工作的假设即为递归信任。

   在设计递归算法时，建立递归信任非常重要。有了基本的递归信任，我们就可以发现所有递归算法在设计上都满足特定的规律。

   一般地，递归算总是可以表达成如下的形式：

  if(最简单情形)

  {

     直接得到最简单情形的解

   }

   else

   {

      将原始问题转化为简单一些（降低问题规模）的一个或多个子问题

      以递归方式逐个求解上述子问题

      以合理有效的方式将这些子问题的解组装成原始问题的解

   }

此即为递归范型，例如求阶乘的问题中递归函数套用了上述范型：

 public static int GetFactorial(int n)

 {

  int result;

  if(n==0)  //最简单情形

  {

   result = 1;   //不使用递归直接获得最简单情形下的解

  }

  else {   //问题分解

   //子问题为n-1的阶乘，递归函数调用格式为GetFactorial(n-1)

   //原始问题的装配方法为n*GetFactorial(n-1)

   result = n*GetFactorial(n-1);

  }

  return result;

 }

为了保证递归正确工作，必须回答下述6个问题

1）递归实现是否检查了最简单情形。在尝试将问题分解成子问题前，首先检查问题是否已经足够简单。在大多数情况下，递归函数以if开头，如果程序不是这样，请仔细检查源程序确保理解所编写代码的准确含义。

2）是否解决了最简单情形，大量的递归错误都是因为没有正确的解决最简单情形所导致的，注意，最简单情形不能调用递归。

3）递归分解是否使问题更简单，只有分解出的子问题更简单，递归才能正确工作，否则将形成无限递归，算法无法终止。

4）问题简化过程是否能够确实回归最简单情形，还是遗漏了某些情况，例如，汉诺塔问题需要调用两次递归过程，程序如果遗漏了任意一个都会导致错误。

5）子问题是否与原始问题一致。如果递归过程改变了问题的实质，则整个过程肯定会得到错误结果

6）使用递归信任时，子问题的解是否正确组装为原始问题的解，任务化简只是递归过程的一部分，将子问题的解正确组装以形成原始问题的解也是必不可少的步骤。