递推（一）：递推法的基本思想

      所谓递推，是指从已知的初始条件出发，依据某种递推关系，逐次推出所要求的各中间结果及最后结果。其中初始条件或是问题自己已经给定，或是经过对问题的分析与化简后肯定。

      利用递推算法求问题规模为n的解的基本思想是：当n=1时，解或为已知，或能很是方便地求得；经过采用递推法构造算法的递推性质，能从已求得的规模为一、二、…、i−1的一系列解，构造出问题规模为i的解。这样，程序可从i=0或i=1出发，重复地由已知至i−1规模的解，经过递推，得到规模为i的解，直至得到规模为n的解。

      可用递推算法求解的问题通常有如下两个特色： （1） 问题能够划分红多个状态； （2） 除初始状态外，其它各个状态均可以用固定的递推关系式来表示。固然，在实际问题中，大多数时候不会直接给出递推关系式，而是须要经过分析各类状态，找出递推关系式。

      利用递推算法解决问题，须要作好如下四个方面的工做：

      （1）肯定递推变量

      应用递推算法解决问题，要根据问题的具体实际设置递推变量。递推变量能够是简单变量，也能够是一维或多维数组。从直观角度出发，一般采用一维数组。

      （2）创建递推关系

       递推关系是指如何从变量的前一些值推出其下一个值，或从变量的后一些值推出其上一个值的公式（或关系）。递推关系是递推的依据，是解决递推问题的关键。有些问题，其递推关系是明确的，大多数实际问题并无现成的明确的递推关系，需根据问题的具体实际，经过分析和推理，才能肯定问题的递推关系。

       （3）肯定初始（边界）条件

       对所肯定的递推变量，要根据问题最简单情形的数据肯定递推变量的初始（边界）值，这是递推的基础。

      （4）对递推过程进行控制

      递推过程不能无休止地重复执行下去。递推过程在何时结束，知足什么条件结束，这是编写递推算法必须考虑的问题。

       递推过程的控制一般可分为两种情形：一种是所需的递推次数是肯定的值，能够计算出来；另外一种是所需的递推次数没法肯定。对于前一种状况，能够构建一个固定次数的循环来实现对递推过程的控制；对于后一种状况，须要进一步分析出用来结束递推过程的条件。

       递推一般由循环来实现，通常在循环外肯定初始（边界）条件，在循环中实施递推。

       递推法从递推方向可分为顺推与倒推。

       所谓顺推法是从已知条件出发，经过递推关系逐步推算出要解决的问题的结果的方法。如求斐波拉契数列的第20项的值，设斐波拉契数列的第n项的为f(n)，已知f(1)=1，f(2)=1；经过递推关系式f(n)=f(n-2)+f(n-1) （n>=3，n∈N），能够顺推出f(3)=f(1)+f(2)=二、f(4)=f(2)+f(3)=三、…直至要求的解f(20)=f(18)+f(19)=6765。

      所谓倒推法，就是在不知初始值的状况下，经某种递推关系而获知了问题的解或目标，从这个解或目标出发，采用倒推手段，一步步地倒推到这个问题的初始状况。

      一句话归纳：顺推是从条件推出结果，倒推从结果推出条件。

       顺推法是从前日后推，从已求得的规模为一、二、…、i−1的一系列解，推出问题规模为i的解，直至获得规模为n的解。顺推算法可描述为：

for (k=1; k<=i−1; k++)

     f[k]= <初始值>；               // 按初始条件，肯定初始值

for (k=i; k<=n; k++)

    f[k]= <递推关系式>；       // 根据递推关系实施递推

cout<<f[n]；                   // 输出n规模的解f(n)

       倒推法是从后往前推，从已求得的规模为n、n−一、…、i+1的一系列解，推出问题规模为i的解，直至获得规模为1的解（即初始状况）。倒推算法可描述为：

for (k=n; k>=i+1; k--)

     f[k]= <初始值>；               // 按初始条件，肯定初始值

for (k=i; k>=1; k--)

    f[k]= <递推关系式>；       // 根据递推关系实施递推

cout<<f[1]；                   // 输出问题的初始状况f(1)

       递推问题通常定义一维数组来保存各项推算结果，较复杂的递推问题还需定义二维数组。例如，当规模为i的解为规模为一、二、…、i−1的解经过计算处理决定时，可利用二重循环处理这一较为复杂的递推。

【例1】RPG涂色问题

      有排成一行的n个方格，用红（Red）、粉（Pink）、绿（Green）三种颜色涂每一个格子，每一个格子涂一种色，要求任何相邻的方格不能同色，且首尾两格也不一样色。

      编写一个程序，输入方格数n（0<n<=30），输出知足要求的所有涂法的种数。

      （1） 编程思路

      设知足要求的n个方格的涂色方法数为F(n)。

      由于RPG有三种颜色，能够先枚举出当方格数为一、二、3时的涂法种数。

      显然，     F(1)=3   （即R、P、G三种）

      F(2)=6   （即RP、RG、PR、PG、GR、GP六种）

      F(3)=6   （即RPG、RGP、PRG、PGR、GRP、GPR六种）

      当方格的个数大于3时，n个方格的涂色方案能够由n-1方格的涂色方案追加最后一个方格的涂色方案得出，分两种状况：

      1）对于已按要求涂好颜色的n-1个方格，在F(n-1)种合法的涂色方案后追加一个方格（第n个方格），因为合法方案的首尾颜色不一样（即第n-1个方格的颜色不与第1个方格的相同），这样，第n个方格的颜色也是肯定的，它一定是原n-1个方格的首尾两种颜色以外的一种，所以，在这种状况下的涂色方法数为F(n-1)。

      2）对于已按要求涂好颜色的n-2个方格，能够在第n-1个方格中涂与第1个方格相同的颜色，此时因为首尾颜色相同，这是不合法的涂色方案，但能够在第n个方格中涂上一个合法的颜色，使其成为方格长度为n的合法涂色方案（注意：当n等于3时，因为第1(3-2)个方格与第2(3-1)个方格颜色相同，第3个方格不论怎样涂都不会合法，所以递推的前提是n大于3），在第n个方格中能够涂上两种颜色（即首格外的两种颜色，由于与它相连的第n-1个方格和第1个方格的颜色是同样的），所以，在这种状况下的涂色方法数为2*F(n-2)。

由此，可得递推公式：F(n)= F(n-1) + 2*F(n-2)  (n>=4)

程序中定义3个变量f一、f2和f3分别表示F (n-2)、F(n-1)和F(n)，初始时f1=六、f2=6。

当n<4时，根据初始状况直接输出结果。

当n>=4时，用循环递推计算F(n)。程序段描述为：

    for(i=4;i<=n;i++)

    {

        f3=f1+f2;          // 计算当前F(i)

        f1=f2;   f2=f3;    // 为下一次递推作准备

    }

      （2）源程序及运行结果

#include <iostream>

using namespace std;

int main()

{

   int i,n,f1,f2,f3,num;

   cout<<"请输入方格的数目 n （0<n<=30）:";

   cin>>n;    

   if (n==1)  num=3;

   else if (n==2 || n==3)  num=6;

   else

   {

          f1=6;  f2=6;

       for(i=4;i<=n;i++)  

          {

              f3=2*f1+f2;         // 递推求F(i)

                 f1=f2;  f2=f3;       // 为下次递推作准备

          }

          num=f3;

   }

   cout<<n<<"个方格的正确涂色方案一共有"<<num<<"种。"<<endl;

   return 0;

}

      为更清晰地描述递推过程并保存中间结果，能够定义一个一维数组f[31]，数组元素f[i]保存总数为i个方格的涂色方法数。初始值： f[1]=三、f[2]=六、f[3]=6。源程序清单以下。

#include <iostream>

using namespace std;

int main()

{

   int i,n,f[31];

   f[0]=0;   

   f[1]=3;    

   f[2]=6;   

   f[3]=6;    

   for(i=4;i<31;i++)        

          f[i]=f[i-1]+2*f[i-2];    

   cout<<"请输入方格的数目 n （n<=30）:";

   cin>>n;    

   cout<<n<<"个方格的正确涂色方案一共有"<<f[n]<<"种。"<<endl;

   return 0;

}