常用算法设计方法.doc

常用算法设计方法
常用算法设计方法

要使计算机能完成人们预定的工作，首先必须为如何完成预定的工作设计一个算法，然后再根据算法编写程序。计算机程序要对问题的每个对象和处理规则给出正确详尽的描述，其中程序的数据结构和变量用来描述问题的对象，程序结构、函数和语句用来描述问题的算法。算法数据结构是程序的两个重要方面。
     算法是问题求解过程的精确描述，一个算法由有限条可完全机械地执行的、有确定结果的指令组成。指令正确地描述了要完成的任务和它们被执行的顺序。计算机按算法指令所描述的顺序执行算法的指令能在有限的步骤内终止，或终止于给出问题的解，或终止于指出问题对此输入数据无解。
      通常求解一个问题可能会有多种算法可供选择，选择的主要标准是算法的正确性和可靠性，简单性和易理解性。其次是算法所需要的存储空间少和执行更快等。
      算法设计是一件非常困难的工作，经常采用的算法设计技术主要有迭代法、穷举搜索法、递推法、贪婪法、回溯法、分治法、动态规划法等等。另外，为了更简洁的形式设计和藐视算法，在算法设计时又常常采用递归技术，用递归描述算法。

一、迭代法

     迭代法是用于求方程或方程组近似根的一种常用的算法设计方法。设方程为f(x)=0，用某种数学方法导出等价的形式x=g(x)，然后按以下步骤执行：
（1）   选一个方程的近似根，赋给变量x0；
（2）   将x0的值保存于变量x1，然后计算g(x1)，并将结果存于变量x0；
（3）   当x0与x1的差的绝对值还小于指定的精度要求时，重复步骤（2）的计算。
若方程有根，并且用上述方法计算出来的近似根序列收敛，则按上述方法求得的x0就认为是方程的根。上述算法用C程序的形式表示为：
【算法】迭代法求方程的根
{    x0=初始近似根；
   do {
      x1=x0；
      x0=g(x1)；   /*按特定的方程计算新的近似根*/
      } while ( fabs(x0-x1)>Epsilon)；
   printf(“方程的近似根是%f\n”，x0)；
}
迭代算法也常用于求方程组的根，令
      X=（x0，x1，…，xn-1）
设方程组为：
      xi=gi(X)      (I=0，1，…，n-1)
则求方程组根的迭代算法可描述如下：
【算法】迭代法求方程组的根
   {    for (i=0;i<n;i++)
         x[i]=初始近似根;
      do {
         for (i=0;i<n;i++)
            y[i]=x[i];
         for (i=0;i<n;i++)
            x[i]=gi(X);
         for (delta=0.0,i=0;i<n;i++)
            if (fabs(y[i]-x[i])>delta)      delta=fabs(y[i]-x[i])；
         } while (delta>Epsilon)；
      for (i=0;i<n;i++)
         printf(“变量x[%d]的近似根是 %f”，I，x[i])；
      printf(“\n”)；
   }
   具体使用迭代法求根时应注意以下两种可能发生的情况：
（1）   如果方程无解，算法求出的近似根序列就不会收敛，迭代过程会变成死循环，因此在使用迭代算法前应先考察方程是否有解，并在程序中对迭代的次数给予限制；
（2）   方程虽然有解，但迭代公式选择不当，或迭代的初始近似根选择不合理，也会导致迭代失败。

二、穷举搜索法

     穷举搜索法是对可能是解的众多候选解按某种顺序进行逐一枚举和检验，并从众找出那些符合要求的候选解作为问题的解。
【问题】   将A、B、C、D、E、F这六个变量排成如图所示的三角形，这六个变量分别取[1，6]上的整数，且均不相同。求使三角形三条边上的变量之和相等的全部解。如图就是一个解。
程序引入变量a、b、c、d、e、f，并让它们分别顺序取1至6的证书，在它们互不相同的条件下，测试由它们排成的如图所示的三角形三条边上的变量之和是否相等，如相等即为一种满足要求的排列，把它们输出。当这些变量取尽所有的组合后，程序就可得到全部可能的解。细节见下面的程序。
【程序1】
# include <stdio.h>
void main()
{   int a,b,c,d,e,f;
   for (a=1;a<=6;a++)   
      for (b=1;b<=6;b++)      {
         if (b==a)      continue;
         for (c=1;c<=6;c++)      {
            if (c==a)||(c==b)   continue;
            for (d=1;d<=6;d++)      {
               if (d==a)||(d==b)||(d==c)    continue;
for (e=1;e<=6;e++)      {
   if (e==a)||(e==b)||(e==c)||(e==d)    continue;
f=21-(a+b+c+d+e);
if ((a+b+c==c+d+e))&&(a+b+c==e+f+a))   {
printf(“%6d,a);
   printf(“%4d%4d”,b,f);
   printf(“%2d%4d%4d”,c,d,e);
   scanf(“%*c”);
}
                  }
               }
            }
         }
      }
按穷举法编写的程序通常不能适应变化的情况。如问题改成有9个变量排成三角形，每条边有4个变量的情况，程序的循环重数就要相应改变。
   对一组数穷尽所有排列，还有更直接的方法。将一个排列看作一个长整数，则所有排列对应着一组整数。将这组整数按从小到大的顺序排列排成一个整数，从对应最小的整数开始。按数列的递增顺序逐一列举每个排列对应的每个整数，这能更有效地完成排列的穷举。从一个排列找出对应数列的下一个排列可在当前排列的基础上作部分调整来实现。倘若当前排列为1，2，4，6，5，3，并令其对应的长整数为124653。要寻找比长整数124653更大的排列，可从该排列的最后一个数字顺序向前逐位考察，当发现排列中的某个数字比它前一个数字大时，如本例中的6比它的前一位数字4大，这说明还有对应更大整数的排列。但为了顺序从小到大列举出所有的排列，不能立即调整得太大，如本例中将数字6与数字4交换得到的排列126453就不是排列124653的下一个排列。为了得到排列124653的下一个排列，应从已经考察过的那部分数字中选出比数字大，但又是它们中最小的那一个数字，比如数字5，与数字4交换。该数字也是从后向前考察过程中第一个比4大的数字。5与4交换后，得到排列125643。在前面数字1，2，5固定的情况下，还应选择对应最小整数的那个排列，为此还需将后面那部分数字的排列顺序颠倒，如将数字6，4，3的排列顺序颠倒，得到排列1，2，5，3，4，6，这才是排列1，2，4，6，5，3的下一个排列。按以上想法编写的程序如下。
【程序2】
# include <stdio.h>
# define SIDE_N   3
# define LENGTH   3
# define VARIABLES   6
int A,B,C,D,E,F;
int *pt[]={&A,&B,&C,&D,&E,&F};
int *side[SIDE_N][LENGTH]={&A,&B,&C,&C,&D,&E,&E,&F,&A};
int side_total[SIDE_N];
main{}
{   int i,j,t,equal;
   for (j=0;j<VARIABLES;j++)
      *pt[j]=j+1;
   while(1)
   {   for (i=0;i<SIDE_N;i++)
      {   for (t=j=0;j<LENGTH;j++)
            t+=*side[i][j];
         side_total[i]=t;
      }
      for (equal=1,i=0;equal&&i<SIDE_N-1;i++)
         if (side_total[i]!=side_total[i+1]   equal=0;
      if (equal)
      {   for (i=1;i<VARIABLES;i++)
            printf(“%4d”,*pt[i]);
         printf(“\n”);
         scanf(“%*c”);
      }
      for (j=VARIABLES-1;j>0;j--)
         if (*pt[j]>*pt[j-1])   break;
      if (j==0)   break;
      for (i=VARIABLES-1;i>=j;i--)
         if (*pt[i]>*pt[i-1])   break;
      t=*pt[j-1];* pt[j-1] =* pt[i]; *pt[i]=t;
      for (i=VARIABLES-1;i>j;i--,j++)
      {   t=*pt[j]; *pt[j] =* pt[i]; *pt[i]=t;   }
   }
}
从上述问题解决的方法中，最重要的因素就是确定某种方法来确定所有的候选解。下面再用一个示例来加以说明。
【问题】   背包问题
问题描述：有不同价值、不同重量的物品n件，求从这n件物品中选取一部分物品的选择方案，使选中物品的总重量不超过指定的限制重量，但选中物品的价值之和最大。
设n个物品的重量和价值分别存储于数组w[ ]和v[ ]中，限制重量为tw。考虑一个n元组（x0，x1，…，xn-1），其中xi=0 表示第i个物品没有选取，而xi=1则表示第i个物品被选取。显然这个n元组等价于一个选择方案。用枚举法解决背包问题，需要枚举所有的选取方案，而根据上述方法，我们只要枚举所有的n元组，就可以得到问题的解。
显然，每个分量取值为0或1的n元组的个数共为2n个。而每个n元组其实对应了一个长度为n的二进制数，且这些二进制数的取值范围为0～2n-1。因此，如果把0～2n-1分别转化为相应的二进制数，则可以得到我们所需要的2n个n元组。
【算法】
maxv=0;
for (i=0;i<2n;i++)
{   B[0..n-1]=0;
   把i转化为二进制数，存储于数组B中;
   temp_w=0;
   temp_v=0;
   for (j=0;j<n;j++)
   {   if (B[j]==1)
      {   temp_w=temp_w+w[j];
         temp_v=temp_v+v[j];
      }
      if ((temp_w<=tw)&&(temp_v>maxv))
      {   maxv=temp_v;
         保存该B数组；
      }
   }
}
三、递推法

   递推法是利用问题本身所具有的一种递推关系求问题解的一种方法。设要求问题规模为N的解，当N=1时，解或为已知，或能非常方便地得到解。能采用递推法构造算法的问题有重要的递推性质，即当得到问题规模为i-1的解后，由问题的递推性质，能从已求得的规模为1，2，…，i-1的一系列解，构造出问题规模为I的解。这样，程序可从i=0或i=1出发，重复地，由已知至i-1规模的解，通过递推，获得规模为i的解，直至得到规模为N的解。
【问题】   阶乘计算
问题描述：编写程序，对给定的n（n≦100），计算并输出k的阶乘k！（k=1，2，…，n）的全部有效数字。
由于要求的整数可能大大超出一般整数的位数，程序用一维数组存储长整数，存储长整数数组的每个元素只存储长整数的一位数字。如有m位成整数N用数组a[ ]存储：
   N=a[m]×10m-1+a[m-1]×10m-2+ … +a[2]×101+a[1]×100
并用a[0]存储长整数N的位数m，即a[0]=m。按上述约定，数组的每个元素存储k的阶乘k！的一位数字，并从低位到高位依次存于数组的第二个元素、第三个元素……。例如，5！=120，在数组中的存储形式为：
3   0   2   1   ……
首元素3表示长整数是一个3位数，接着是低位到高位依次是0、2、1，表示成整数120。
   计算阶乘k！可采用对已求得的阶乘(k-1)！连续累加k-1次后求得。例如，已知4！=24，计算5！，可对原来的24累加4次24后得到120。细节见以下程序。
# include <stdio.h>
# include <malloc.h>
# define  MAXN   1000
void  pnext(int a[ ],int k)
{   int *b,m=a[0],i,j,r,carry;
   b=(int * ) malloc(sizeof(int)* (m+1));
   for ( i=1;i<=m;i++)      b[i]=a[i];
   for ( j=1;j<=k;j++)
   {   for ( carry=0,i=1;i<=m;i++)
      {   r=(i<a[0]?a[i]+b[i]:a[i])+carry;
         a[i]=r%10;
         carry=r/10;
      }
      if (carry)  a[++m]=carry;
   }
   free(b);
   a[0]=m;
}

void  write(int *a,int k)
{   int i;
   printf(“%4d！=”,k);
   for (i=a[0];i>0;i--)
      printf(“%d”,a[i]);
printf(“\n\n”);
}

void main()
{   int a[MAXN],n,k;
   printf(“Enter the number n:  “);
   scanf(“%d”,&n);
   a[0]=1;
   a[1]=1;
   write(a,1);
   for (k=2;k<=n;k++)
   {   pnext(a,k);
      write(a,k);
      getchar();
   }
}
四、递归

   递归是设计和描述算法的一种有力的工具，由于它在复杂算法的描述中被经常采用，为此在进一步介绍其他算法设计方法之前先讨论它。
   能采用递归描述的算法通常有这样的特征：为求解规模为N的问题，设法将它分解成规模较小的问题，然后从这些小问题的解方便地构造出大问题的解，并且这些规模较小的问题也能采用同样的分解和综合方法，分解成规模更小的问题，并从这些更小问题的解构造出规模较大问题的解。特别地，当规模N=1时，能直接得解。
【问题】   编写计算斐波那契（Fibonacci）数列的第n项函数fib（n）。
   斐波那契数列为：0、1、1、2、3、……，即：
      fib(0)=0;
      fib(1)=1;
      fib(n)=fib(n-1)+fib(n-2)      （当n>1时）。
写成递归函数有：
int fib(int n)
{   if (n==0)      return  0;
   if (n==1)      return  1;
   if (n>1)      return  fib(n-1)+fib(n-2);
}
   递归算法的执行过程分递推和回归两个阶段。在递推阶段，把较复杂的问题（规模为n）的求解推到比原问题简单一些的问题（规模小于n）的求解。例如上例中，求解fib(n)，把它推到求解fib(n-1)和fib(n-2)。也就是说，为计算fib(n)，必须先计算fib(n-1)和fib(n-2)，而计算fib(n-1)和fib(n-2)，又必须先计算fib(n-3)和fib(n-4)。依次类推，直至计算fib(1)和fib(0)，分别能立即得到结果1和0。在递推阶段，必须要有终止递归的情况。例如在函数fib中，当n为1和0的情况。
   在回归阶段，当获得最简单情况的解后，逐级返回，依次得到稍复杂问题的解，例如得到fib(1)和fib(0)后，返回得到fib(2)的结果，……，在得到了fib(n-1)和fib(n-2)的结果后，返回得到fib(n)的结果。
   在编写递归函数时要注意，函数中的局部变量和参数知识局限于当前调用层，当递推进入“简单问题”层时，原来层次上的参数和局部变量便被隐蔽起来。在一系列“简单问题”层，它们各有自己的参数和局部变量。
   由于递归引起一系列的函数调用，并且可能会有一系列的重复计算，递归算法的执行效率相对较低。当某个递归算法能较方便地转换成递推算法时，通常按递推算法编写程序。例如上例计算斐波那契数列的第n项的函数fib(n)应采用递推算法，即从斐波那契数列的前两项出发，逐次由前两项计算出下一项，直至计算出要求的第n项。
【问题】   组合问题
问题描述：找出从自然数1、2、……、n中任取r个数的所有组合。例如n=5，r=3的所有组合为：   （1）5、4、3      （2）5、4、2      （3）5、4、1
         （4）5、3、2      （5）5、3、1      （6）5、2、1
         （7）4、3、2      （8）4、3、1      （9）4、2、1
         （10）3、2、1
   分析所列的10个组合，可以采用这样的递归思想来考虑求组合函数的算法。设函数为void  comb(int m,int k)为找出从自然数1、2、……、m中任取k个数的所有组合。当组合的第一个数字选定时，其后的数字是从余下的m-1个数中取k-1数的组合。这就将求m个数中取k个数的组合问题转化成求m-1个数中取k-1个数的组合问题。设函数引入工作数组a[ ]存放求出的组合的数字，约定函数将确定的k个数字组合的第一个数字放在a[k]中，当一个组合求出后，才将a[ ]中的一个组合输出。第一个数可以是m、m-1、……、k，函数将确定组合的第一个数字放入数组后，有两种可能的选择，因还未去顶组合的其余元素，继续递归去确定；或因已确定了组合的全部元素，输出这个组合。细节见以下程序中的函数comb。
【程序】
# include   <stdio.h>
# define   MAXN   100
int   a[MAXN];
void   comb(int m,int k)
{   int i,j;
   for (i=m;i>=k;i--)
   {   a[k]=i;
      if (k>1)
         comb(i-1,k-1);
      else
      {   for (j=a[0];j>0;j--)
            printf(“%4d”,a[j]);
         printf(“\n”);
      }
   }
}

void main()
{   a[0]=3;
   comb(5,3);
}
【问题】   背包问题
问题描述：有不同价值、不同重量的物品n件，求从这n件物品中选取一部分物品的选择方案，使选中物品的总重量不超过指定的限制重量，但选中物品的价值之和最大。
设n件物品的重量分别为w0、w1、…、wn-1，物品的价值分别为v0、v1、…、vn-1。采用递归寻找物品的选择方案。设前面已有了多种选择的方案，并保留了其中总价值最大的方案于数组option[ ]，该方案的总价值存于变量maxv。当前正在考察新方案，其物品选择情况保存于数组cop[ ]。假定当前方案已考虑了前i-1件物品，现在要考虑第i件物品；当前方案已包含的物品的重量之和为tw；至此，若其余物品都选择是可能的话，本方案能达到的总价值的期望值为tv。算法引入tv是当一旦当前方案的总价值的期望值也小于前面方案的总价值maxv时，继续考察当前方案变成无意义的工作，应终止当前方案，立即去考察下一个方案。因为当方案的总价值不比maxv大时，该方案不会被再考察，这同时保证函数后找到的方案一定会比前面的方案更好。
对于第i件物品的选择考虑有两种可能：
（1）   考虑物品i被选择，这种可能性仅当包含它不会超过方案总重量限制时才是可行的。选中后，继续递归去考虑其余物品的选择。
（2）   考虑物品i不被选择，这种可能性仅当不包含物品i也有可能会找到价值更大的方案的情况。
按以上思想写出递归算法如下：
try(物品i，当前选择已达到的重量和，本方案可能达到的总价值tv)
{   /*考虑物品i包含在当前方案中的可能性*/
   if(包含物品i是可以接受的)
   {   将物品i包含在当前方案中；
      if (i<n-1)
         try(i+1,tw+物品i的重量,tv);
      else
         /*又一个完整方案，因为它比前面的方案好，以它作为最佳方案*/
以当前方案作为临时最佳方案保存;
         恢复物品i不包含状态；
      }
      /*考虑物品i不包含在当前方案中的可能性*/
      if (不包含物品i仅是可男考虑的)
         if (i<n-1)
            try(i+1,tw,tv-物品i的价值)；
         else
            /*又一个完整方案，因它比前面的方案好，以它作为最佳方案*/
以当前方案作为临时最佳方案保存;
   }
   为了理解上述算法，特举以下实例。设有4件物品，它们的重量和价值见表：
物品   0   1   2   3
重量   5   3   2   1
价值   4   4   3   1

并设限制重量为7。则按以上算法，下图表示找解过程。由图知，一旦找到一个解，算法就进一步找更好的佳。如能判定某个查找分支不会找到更好的解，算法不会在该分支继续查找，而是立即终止该分支，并去考察下一个分支。

按上述算法编写函数和程序如下：
【程序】
# include   <stdio.h>
# define   N   100
double   limitW,totV,maxV;
int   option[N],cop[N];
struct   {   double   weight;
         double   value;
      }a[N];
int   n;
void find(int i,double tw,double tv)
{   int k;
   /*考虑物品i包含在当前方案中的可能性*/
   if (tw+a[i].weight<=limitW)
   {   cop[i]=1;
      if (i<n-1)   find(i+1,tw+a[i].weight,tv);
      else
      {   for (k=0;k<n;k++)
            option[k]=cop[k];
         maxv=tv;
      }
      cop[i]=0;
}
   /*考虑物品i不包含在当前方案中的可能性*/
   if (tv-a[i].value>maxV)
      if (i<n-1)   find(i+1,tw,tv-a[i].value);
      else
      {   for (k=0;k<n;k++)
            option[k]=cop[k];
         maxv=tv-a[i].value;
      }
}

void main()
{   int k;
   double w,v;
   printf(“输入物品种数\n”);
   scanf((“%d”,&n);
   printf(“输入各物品的重量和价值\n”);
   for (totv=0.0,k=0;k<n;k++)
   {   scanf(“%1f%1f”,&w,&v);
      a[k].weight=w;
      a[k].value=v;
      totV+=V;
   }
   printf(“输入限制重量\n”);
   scanf(“%1f”,&limitV);
   maxv=0.0;
   for (k=0;k<n;k++)   cop[k]=0;
   find(0,0.0,totV);
   for (k=0;k<n;k++)
      if (option[k])   printf(“%4d”,k+1);
   printf(“\n总价值为%.2f\n”,maxv);
}
   作为对比，下面以同样的解题思想，考虑非递归的程序解。为了提高找解速度，程序不是简单地逐一生成所有候选解，而是从每个物品对候选解的影响来形成值得进一步考虑的候选解，一个候选解是通过依次考察每个物品形成的。对物品i的考察有这样几种情况：当该物品被包含在候选解中依旧满足解的总重量的限制，该物品被包含在候选解中是应该继续考虑的；反之，该物品不应该包括在当前正在形成的候选解中。同样地，仅当物品不被包括在候选解中，还是有可能找到比目前临时最佳解更好的候选解时，才去考虑该物品不被包括在候选解中；反之，该物品不包括在当前候选解中的方案也不应继续考虑。对于任一值得继续考虑的方案，程序就去进一步考虑下一个物品。
【程序】
# include   <stdio.h>
# define   N   100
double   limitW;
int   cop[N];
struct   ele   {   double   weight;
            double   value;
         } a[N];
int   k,n;
struct   {   int       flg;
         double   tw;
         double   tv;
      }twv[N];
void next(int i,double tw,double tv)
{   twv[i].flg=1;
   twv[i].tw=tw;
   twv[i].tv=tv;
}
double find(struct ele *a,int n)
{   int i,k,f;
   double maxv,tw,tv,totv;
   maxv=0;
   for (totv=0.0,k=0;k<n;k++)
      totv+=a[k].value;
   next(0,0.0,totv);
   i=0;
   While (i>=0)
   {   f=twv[i].flg;
      tw=twv[i].tw;
      tv=twv[i].tv;
      switch(f)
      {   case 1:   twv[i].flg++;
               if (tw+a[i].weight<=limitW)
                  if (i<n-1)
                  {   next(i+1,tw+a[i].weight,tv);
                     i++;
                  }
                  else
                  {   maxv=tv;
                     for (k=0;k<n;k++)
                        cop[k]=twv[k].flg!=0;
                  }
               break;
         case 0:   i--;
               break;
         default:   twv[i].flg=0;
               if (tv-a[i].value>maxv)
                  if (i<n-1)
                  {   next(i+1,tw,tv-a[i].value);
                     i++;
                  }
                  else
                  {   maxv=tv-a[i].value;
                     for (k=0;k<n;k++)
                        cop[k]=twv[k].flg!=0;
                  }
               break;
      }
   }
   return maxv;
}

void main()
{   double maxv;
   printf(“输入物品种数\n”);
   scanf((“%d”,&n);
   printf(“输入限制重量\n”);
   scanf(“%1f”,&limitW);
printf(“输入各物品的重量和价值\n”);
   for (k=0;k<n;k++)
      scanf(“%1f%1f”,&a[k].weight,&a[k].value);
   maxv=find(a,n);
   printf(“\n选中的物品为\n”);
for (k=0;k<n;k++)
      if (option[k])   printf(“%4d”,k+1);
   printf(“\n总价值为%.2f\n”,maxv);
}
五、回溯法

   回溯法也称为试探法，该方法首先暂时放弃关于问题规模大小的限制，并将问题的候选解按某种顺序逐一枚举和检验。当发现当前候选解不可能是解时，就选择下一个候选解；倘若当前候选解除了还不满足问题规模要求外，满足所有其他要求时，继续扩大当前候选解的规模，并继续试探。如果当前候选解满足包括问题规模在内的所有要求时，该候选解就是问题的一个解。在回溯法中，放弃当前候选解，寻找下一个候选解的过程称为回溯。扩大当前候选解的规模，以继续试探的过程称为向前试探。
1、回溯法的一般描述
可用回溯法求解的问题P，通常要能表达为：对于已知的由n元组（x1，x2，…，xn）组成的一个状态空间E={（x1，x2，…，xn）∣xi∈Si ，i=1，2，…，n}，给定关于n元组中的一个分量的一个约束集D，要求E中满足D的全部约束条件的所有n元组。其中Si是分量xi的定义域，且 |Si| 有限，i=1，2，…，n。我们称E中满足D的全部约束条件的任一n元组为问题P的一个解。
解问题P的最朴素的方法就是枚举法，即对E中的所有n元组逐一地检测其是否满足D的全部约束，若满足，则为问题P的一个解。但显然，其计算量是相当大的。
我们发现，对于许多问题，所给定的约束集D具有完备性，即i元组（x1，x2，…，xi）满足D中仅涉及到x1，x2，…，xi的所有约束意味着j（j<i）元组（x1，x2，…，xj）一定也满足D中仅涉及到x1，x2，…，xj的所有约束，i=1，2，…，n。换句话说，只要存在0≤j≤n-1，使得（x1，x2，…，xj）违反D中仅涉及到x1，x2，…，xj的约束之一，则以（x1，x2，…，xj）为前缀的任何n元组（x1，x2，…，xj，xj+1，…，xn）一定也违反D中仅涉及到x1，x2，…，xi的一个约束，n≥i>j。因此，对于约束集D具有完备性的问题P，一旦检测断定某个j元组（x1，x2，…，xj）违反D中仅涉及x1，x2，…，xj的一个约束，就可以肯定，以（x1，x2，…，xj）为前缀的任何n元组（x1，x2，…，xj，xj+1，…，xn）都不会是问题P的解，因而就不必去搜索它们、检测它们。回溯法正是针对这类问题，利用这类问题的上述性质而提出来的比枚举法效率更高的算法。
回溯法首先将问题P的n元组的状态空间E表示成一棵高为n的带权有序树T，把在E中求问题P的所有解转化为在T中搜索问题P的所有解。树T类似于检索树，它可以这样构造：
   设Si中的元素可排成xi(1) ，xi(2) ，…，xi(mi-1) ，|Si| =mi，i=1，2，…，n。从根开始，让T的第I层的每一个结点都有mi个儿子。这mi个儿子到它们的双亲的边，按从左到右的次序，分别带权xi+1(1) ，xi+1(2) ，…，xi+1(mi) ，i=0，1，2，…，n-1。照这种构造方式，E中的一个n元组（x1，x2，…，xn）对应于T中的一个叶子结点，T的根到这个叶子结点的路径上依次的n条边的权分别为x1，x2，…，xn，反之亦然。另外，对于任意的0≤i≤n-1，E中n元组（x1，x2，…，xn）的一个前缀I元组（x1，x2，…，xi）对应于T中的一个非叶子结点，T的根到这个非叶子结点的路径上依次的I条边的权分别为x1，x2，…，xi，反之亦然。特别，E中的任意一个n元组的空前缀（），对应于T的根。
   因而，在E中寻找问题P的一个解等价于在T中搜索一个叶子结点，要求从T的根到该叶子结点的路径上依次的n条边相应带的n个权x1，x2，…，xn满足约束集D的全部约束。在T中搜索所要求的