回溯算法入门及经典案例剖析(初学者必备宝典)

前言

基于有需必写的原则，并且当前这个目录下的文章数量为0(都是因为我懒QAQ)，作为开局第一篇文章，为初学者的入门文章，自然要把该说明的东西说明清楚，于是。。。我整理了如下这篇文章，作者水平有限，有不足之处还望大家多多指出~~~

概念

首先，回溯是什么意思？很多初学者都会问这样的一个问题。我们可以举这样一个例子：

1
1
1
1
0
1
0
1
0
1
0
1
0
1
1
1

我们看到了如图所示的一个4*4的迷宫了，我们假设数字1标记的位置为道路，数字0标记的位置为一堵墙，一个人由起点(0.0)走到终点(3,3)，我们有几种方式可以到达呢？这个是不是很简单的一个问题，由图我们可以推出有两种方式可以到达，并且每条路径的长度均为6(设单位长度为1)。

众曰：诶，樱姐姐，你说的这个问题和我们将要提的有关系嘛？似乎你并没有提到回溯这个概念啊！！！

樱姐姐：当然有关系啦！继续往下看，假如我们把终点由(3,3)换成(1,3)，结果是不是会有变化呢？

我们由图中可以看出有两条可以到达的路径：(0.0)->(0,1)->(0,2)->(0,3)->(1,3)，(0,0)->(0,1)->(1,1)->(2,1)->(3,1)->(3,2)->(3,3)->(2,3)->(1,3)

两条路径长度分别为4和8(设单位长度为1)，并且我们可以知道由起点到终点的最短的路径为(0.0)->(0,1)->(0,2)->(0,3)->(1,3)，长度为4

如果把这一过程交给计算机来处理，计算机该怎么办呢？

此时就要提到我们这个伟大的回溯算法啦！！！

首先回溯算法类似枚举的搜索尝试过程，何为枚举，可参考之前写过的一篇文章，我们需要在搜索尝试过程中寻找问题的解，当发现已不满足求解条件时，就“回溯”返回，尝试别的路径。

比如，我们要从(1,1)这点出发，找到(3,3)这个位置，计算机所计算出的可能路径就不是简单的两条了，因为在我们所到达的每一个点，都有上下左右四个方向可以走，而计算机只能去执行我们所设定的参数变量去搜寻可以行走的路线，我们就需要去进行一个设计线路，让人能从这个迷宫里走出来，一旦发现这条路不通(遇到了墙)，就要退回上一步进行重新选择，这种走不通就退回再走的方法称为回溯法。

说到这里相信大家都差不多理解了回溯法的概念，个人理解，如果对DFS(Depth-First-Search)和BFS(Breadth-First-Search)有了解的同学对回溯这个概念应该是再熟悉不过了，因为实质就是在问题的解空间进行深度优先搜索。DFS是个图的算法，但是回溯算法的图在哪里呢？我们把解空间的一个状态当做一个节点，由于解空间非常庞大，这个图就大到无法想象了。

回溯法并不考虑问题规模的大小，而是从问题的最明显的最小规模开始逐步求解出可能的答案，并以此慢慢地扩大问题规模，迭代地逼近最终问题的解。这种迭代类似于穷举并且是试探性的，因为当目前的可能答案被测试出不可能可以获得最终解时，则撤销当前的这一步求解过程，回溯到上一步寻找其他求解路径。
为了能够撤销当前的求解过程，必须保存上一步以来的求解路径，这一点相当重要。

对DFS和BFS不了解的同学，请转到传送门：这里哦！

解题步骤

  1. 针对所给问题，定义问题的解空间，它至少包含问题的一个（最优）解。
  2. 确定易于搜索的解空间结构,使得能用回溯法方便地搜索整个解空间 。
  3. 以深度优先的方式搜索解空间，并且在搜索过程中用剪枝函数避免无效搜索。

一般写法：

1 void search(){
2     //回溯条件
3     if(满足条件){
4          return;
5     }
6     //否则继续进行搜索
7          ......        
8 }

实例分析

1.八皇后问题

该问题是国际西洋棋棋手马克斯·贝瑟尔于1848年提出：在8×8格的国际象棋上摆放八个皇后，使其不能互相攻击，即任意两个皇后都不能处于同一行、同一列或同一斜线上，问有多少种摆法。

最容易想到的方法就是有序地从第 1 列的第 1 行开始，尝试放上一个皇后，然后再尝试第 2 列的第几行能够放上一个皇后，如果第 2 列也放置成功，那么就继续放置第 3 列，如果此时第 3 列没有一行可以放置一个皇后，说明目前为止的尝试是无效的（即不可能得到最终解），那么此时就应该回溯到上一步（即第 2 步），将上一步（第 2 步）所放置的皇后的位置再重新取走放在另一个符合要求的地方…如此尝试性地遍历加上回溯，就可以慢慢地逼近最终解。

如果我们逐行放置皇后则肯定没有任意两个皇后位于同一行，只需要判断列和对角线即可。使用一个二维数组vis[3][]，其中vis[0][i]表示列，vis[1][i]和vis[2][i]表示对角线。因为(x,y)的y-x值标识了主对角线，x+y值标识了副对角线。由于y-x可能为负，所以存取时要加上n。

参考写法如下：

 1 void search(int cur)  
 2 {  
 3     int i,j;  
 4     if(cur==8) tot++;
 5     else  
 6     {  
 7         for(i=0;i<8;i++)  
 8         {  
 9             if(!vis[0][i]&&!vis[1][cur-i+8]&&!vis[2][cur+i])  
10             {  
11                 vis[0][i]=1;  
12                 vis[1][cur-i+8]=1;  
13                 vis[2][cur+i]=1;    
14                 search(cur+1);  
15                 //改回辅助的全局变量 
16                 vis[0][i]=0;       
17                 vis[1][cur-i+8]=0;  
18                 vis[2][cur+i]=0;  
19             }  
20         }  
21     }  
22 }

最终我们可以去得到答案：

1 int vis[3][15],tot;
2 int main()  
3 {  
4     search(0);   
5     cout<<tot<<endl;
6 }

2.图的着色问题

给定无向连通图G=(V,E)和m种不同的颜色，用这些颜色为图G的各顶点着色，每个顶点着一种颜色。如果一个图最少需要m种颜色才能使图中每条边连接的2个顶点着不同颜色，则称m为该图的色数。地图着色问题可转换为图的着色问题：以地图中的区域作为图中顶点，2个区域如果邻接，则这2个区域对应的顶点间有一条边，即边表示了区域间的邻接关系。著名的四色定理就是指每个平面地图都可以只用四种颜色来染色，而且没有两个邻接的区域颜色相同。

给定图和颜色的数目求出着色方法的数目，可以使用回溯法。

参考函数如下：

1 bool ok(int k)
2 {
3     for(int j=1;j<=v;j++)
4     {
5         if(graph[k][j]&&(color[j]==color[k])) return false;
6     }
7     return true;
8 }
 1 void backtrack(int t)
 2 {
 3     if(t>v) sum++;
 4      else
 5      {
 6         for(int i=1;i<=c;i++)
 7         {
 8             color[t]=i;
 9                if(ok(t)) backtrack(t+1);
10                //改回辅助的全局变量 
11                color[t]=0;
12         }
13      }
14 }

最终我们可以去得到答案：

 1 #define N 100
 2 int v,e,c,graph[N][N],color[N];
 3 //顶点数,边数,颜色数 
 4 int sum;
 5 int main()
 6 {
 7     int i,j;
 8     cin>>v>>e>>c;                
 9     for(i=1;i<=v;i++)
10     {
11         for(j=1;j<=v;j++)
12         {
13             graph[i][j]=0; 
14         }
15     }           
16     for(int k=1;k<=e;k++)      
17     {
18         cin>>i>>j;
19         graph[i][j]=1;
20         graph[j][i]=1;
21     }
22     for(i=0;i<=v;i++) color[i]=0;
23      backtrack(1);
24       cout<<sum<<endl;
25 }

3.装载问题

有一批共n个集装箱要装上2艘载重量分别为c1和c2的船，其中集装箱i的重量为wi，且。装载问题要求确定是否有一个合理的装载方案可将这些集装箱装上这2艘船。如果有，找出一种装载方案。例如当n=3，c1=c2=50且w=[10,40,40]时，则可以将集装箱1和2装到第一艘轮船上，而将集装箱3装到第二艘轮船上；如果w=[20,40,40]，则无法将这3个集装箱都装上轮船。容易证明，如果一个给定装载问题有解，则首先将第一艘船尽可能装满再将剩余的集装箱装上第二艘船可得到最优装载方案。将第一艘船尽可能装满等价于选取全体集装箱的一个子集，使该子集中集装箱重量之和最接近c1。用回溯法解装载问题,  时间复杂度O(2^n)，在某些情况下优于动态规划算法。剪枝方案是如果当前已经选择的全部物品载重量cw+剩余集装箱的重量r<=当前已知的最优载重量bestw，则删去该分支。

 1 void backtrack(int i)  
 2 {        
 3     if(i>n)    
 4     {  
 5         if(ans>bestans) bestans=ans;  
 6         return;  
 7     }  
 8     r-=w[i];  
 9     if(ans+w[i]<=c1)  
10     {   
11       ans+=w[i];  
12       backtrack(i+1);  
13       //改回辅助的全局变量 
14       ans-=w[i];  
15     }  
16     if(ans+r>bestans) backtrack(i+1);    
17     //改回辅助的全局变量 
18     r+=w[i];  
19 }    
1 int maxloading()  
2 {  
3     ans=0;  
4     bestans=0;  
5     backtrack(1);   
6     return bestans;  
7 }

最终我们可以去得到答案：

 1 int n;//集装箱数  
 2 int w[40];//集装箱重量
 3 int c1,c2;//两艘船的载重量  
 4 int ans;//当前载重量  
 5 int bestans;//当前最优载重量  
 6 int r;//剩余集装箱重量 
 7 int main()  
 8 {    
 9     cin>>n>>c1>>c2;  
10      int i=1;  
11      int sum=0;  
12      //集装箱总重量 
13      while(i<=n)  
14     {  
15         cin>>w[i];  
16         r+=w[i];  
17         sum+=w[i];  
18          i++;  
19      }    
20     maxloading();  
21     if(bestans>0&&((sum-bestans)<=c2)) cout<<bestans<<endl;  
22      else if(sum<=c2) cout<<bestans<<endl;  
23       else cout<<"No"<<endl;  
24 }

4.批处理作业调度问题

给定n个作业的集合{J1,J2,…,Jn}。每个作业必须先由机器1处理，然后由机器2处理。作业Ji需(1≤i≤n)要机器j(1≤j≤2)的处理时间为tji。对于一个确定的作业调度，设Fji是作业i在机器j上完成处理的时间。所有作业在机器2上完成处理的时间和称为该作业调度的完成时间和：。要求对于给定的n个作业，制定最佳作业调度方案，使其完成时间和达到最小。

 

tji 机器1 机器2
作业1 2 1
作业2 3 1
作业3 2 3

例如，对于这张表格所示的情况，3个作业有3!=6种可能调度方案，很显然最坏复杂度即为O(n!)。如果按照2,3,1的顺序,则作业2的完成时间为4，作业3的完成时间为8，作业1的完成时间为9，完成时间和为21。最优的作业调度顺序为最佳调度方案是1,3,2，其完成时间和为18。

 1 void backtrack(int k)
 2 {
 3     if(k>number)
 4     {
 5         for(int i=1;i<=number;i++) bestorder[i]=xorder[i];
 6           bestvalue=xvalue;
 7     }
 8     else
 9     {
10         for(int i=k;i<=number;i++)
11           {
12            f1+=x1[xorder[i]];
13            f2[k]=(f2[k-1]>f1?f2[k-1]:f1)+x2[xorder[i]];
14            xvalue+=f2[k];
15            swap(xorder[i],xorder[k]);
16            if(xvalue<bestvalue) backtrack(k+1);
17            swap(xorder[i],xorder[k]);
18            xvalue-=f2[k];
19            f1-=x1[xorder[i]];
20         }
21     }
22 }
23

最终我们可以去得到答案：

 1 #define MAX 200
 2 int* x1;//作业Ji在机器1上的工作时间
 3 int* x2;//作业Ji在机器2上的工作时间
 4 int number=0;//作业的数目
 5 int* xorder;//作业顺序
 6 int* bestorder;//最优的作业顺序
 7 int bestvalue=MAX;//最优的时间
 8 int xvalue=0;//当前完成用的时间
 9 int f1=0;//机器1完成的时间
10 int* f2;//机器2完成的时间
11 int main()
12 {
13     cout<<"请输入作业数目：";
14      cin>>number;
15     x1=new int[number+1];
16      x2=new int[number+1];
17       xorder=new int[number+1];
18        bestorder=new int[number+1];
19        f2=new int[number+1];
20        x1[0]=0;
21        x2[0]=0;
22        xorder[0]=0;
23        bestorder[0]=0;
24     f2[0]=0;
25     cout<<"请输入每个作业在机器1上所用的时间："<<endl;
26     int i;
27     for(i=1;i<=number;i++)
28     {
29         cout<<"第"<<i<<"个作业=";
30         cin>>x1[i];
31       }
32     cout<<"请输入每个作业在机器2上所用的时间："<<endl;
33      for(i=1;i<=number;i++)
34       {
35            cout<<"第"<<i<<"个作业=";
36          cin>>x2[i];
37       }
38        for(i=1;i<=number;i++) xorder[i]=i;
39     backtrack(1);
40     cout<<"最节省的时间为："<<bestvalue<<endl;
41     cout<<"对应的方案为：";
42     for(i=1;i<=number;i++) cout<<bestorder[i]<<"  ";
43     cout<<endl;
44 }

5.01背包问题

当然，回溯问题还可以用来解决01背包问题，对01背包不清楚的请移步至这里

下面贴下01背包的模板

 1 void backtrack(int i,int cp,int cw)
 2 {
 3     if(i>n)
 4     {
 5         if(cp>bestp)
 6         {
 7             bestp=cp;
 8             for(i=1;i<=n;i++) bestx[i]=x[i];
 9         }
10     }
11     else
12     {
13         for(int j=0;j<=1;j++)  
14         {
15             x[i]=j;
16             if(cw+x[i]*w[i]<=c)  
17             {
18                 cw+=w[i]*x[i];
19                 cp+=p[i]*x[i];
20                 backtrack(i+1,cp,cw);
21                 cw-=w[i]*x[i];
22                 cp-=p[i]*x[i];
23             }
24         }
25     }
26 }

最终我们可以去得到答案：

 1 int n,c,bestp;//物品个数,背包容量,最大价值
 2 int p[10000],w[10000],x[10000],bestx[10000];//物品的价值,物品的重量,物品的选中情况
 3 int main()
 4 {
 5     bestp=0; 
 6     cin>>c>>n;
 7     for(int i=1;i<=n;i++) cin>>w[i];
 8     for(int i=1;i<=n;i++) cin>>p[i];
 9     backtrack(1,0,0);
10     cout<<bestp<<endl;
11 }

6.最大团问题

给定无向图G=(V, E)，U是V的子集。如果对任意u,v属于U有(u,v)属于E，则称U是G的完全子图。G的完全子图U是G的团当且仅当U不包含在G的更大的完全子图中。G的最大团是指G中所含顶点数最多的团。如果对任意u,v属于U有(u, v)不属于E，则称U是G的空子图。G的空子图U是G的独立集当且仅当U不包含在G的更大的空子图中。G的最大独立集是G中所含顶点数最多的独立集。G的补图G'=(V', E')定义为V'=V且(u, v)属于E'当且仅当(u, v)不属于E。
如图所示，给定无向图G={V, E}，其中V={1,2,3,4,5}，E={(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)}。根据最大团定义，子集{1,2}是图G的一个大小为2的完全子图，但不是一个团，因为它包含于G的更大的完全子图{1,2,5}之中。{1,2,5}是G的一个最大团。{1,4,5}和{2,3,5}也是G的最大团。右侧图是无向图G的补图G'。根据最大独立集定义，{2,4}是G的一个空子图，同时也是G的一个最大独立集。虽然{1,2}也是G'的空子图，但它不是G'的独立集，因为它包含在G'的空子图{1,2,5}中。{1,2,5}是G'的最大独立集。{1,4,5}和{2,3,5}也是G'的最大独立集。

最大团问题可以用回溯法在O(n2^n)的时间内解决。首先设最大团为一个空团，往其中加入一个顶点，然后依次考虑每个顶点，查看该顶点加入团之后仍然构成一个团。程序中采用了一个比较简单的剪枝策略，即如果剩余未考虑的顶点数加上团中顶点数不大于当前解的顶点数，可停止回溯。用邻接矩阵表示图G，n为G的顶点数，cn存储当前团的顶点数，bestn存储最大团的顶点数。当cn+n-i<bestn时，不能找到更大的团，利用剪枝函数剪去。

 1 void backtrack(int i)
 2 {
 3     if(i>v)
 4     {
 5         if(cn>bestn)
 6         {
 7             bestn=cn;
 8             for(int j=1;j<=v;j++) bestuse[j]=use[j];
 9             return;
10         }
11     }
12     bool flag=true;
13     for(int j=1;j<i;j++)
14     {
15         if(use[j]&&!graph[j][i])
16         {
17             flag=false;
18             break;
19         }
20     }
21     if(flag)
22     {
23         cn++;
24         use[i]=true;
25         backtrack(i+1);
26         use[i]=false;
27         cn--;
28     }
29     if(cn+v-i>bestn)  
30     {
31         use[i]=false;
32         backtrack(i+1);
33     }
34 }

最终我们可以去得到答案：

 1 const int maxnum=101;
 2 bool graph[maxnum][maxnum];
 3 bool use[maxnum],bestuse[maxnum]; 
 4 int cn,bestn,v,e;
 5 int main()
 6 {
 7     cin>>v>>e;
 8     for(int i=1;i<=e;i++)
 9     {
10         int p1,p2;
11         cin>>p1>>p2;
12           graph[p1][p2]=true;
13           graph[p2][p1]=true;
14     }
15     backtrack(1);
16     cout<<bestn<<endl;
17     for(int i=1;i<=v;i++) 
18     {
19         if(bestuse[i]) cout<<i<<" ";
20     }
21     cout<<endl;  
22 }

7.圆排列问题

给定n个大小不等的圆c1,c2,…,cn，现要将这n个圆排进一个矩形框中，且要求各圆与矩形框的底边相切。圆排列问题要求从n个圆的所有排列中找出有最小长度的圆排列。例如，当n=3，且所给的3个圆的半径分别为1，1，2时，这3个圆的最小长度的圆排列如图所示。其最小长度为。


注意，下面代码中圆排列的圆心横坐标以第一个圆的圆心为原点。所以，总长度为第一个圆的半径+最后一个圆的半径+最后一个圆的横坐标。

 1 //计算当前所选择圆的圆心横坐标
 2 float center(int t)
 3 {
 4     float temp=0;
 5     for(int j=1;j<t;j++)
 6     {
 7         //由x^2=sqrt((r1+r2)^2-(r1-r2)^2)推导而来
 8         float valuex=x[j]+2.0*sqrt(r[t]*r[j]);
 9         if(valuex>temp) temp=valuex;
10     }
11     return temp;
12 }
 1 //计算当前圆排列的长度
 2 void compute()
 3 {
 4     float low=0,high=0;
 5     for(int i=1;i<=n;i++)
 6     {
 7         if(x[i]-r[i]<low) low=x[i]-r[i];
 8         if(x[i]+r[i]>high) high=x[i]+r[i];
 9     }
10     if(high-low<minlen) minlen=high-low;
11 }
 1 void backtrack(int t)
 2 {
 3     if(t>n) compute();
 4     else
 5     {
 6         for(int j=t;j<=n;j++)
 7         {
 8             swap(r[t],r[j]);
 9             float centerx=center(t);
10             if(centerx+r[t]+r[1]<minlen)
11             {
12                 x[t]=centerx;
13                 backtrack(t+1);
14             }
15             swap(r[t],r[j]);
16         }
17     }
18 }

最终我们可以去得到答案：

 1 float minlen=10000,x[4],r[4];//当前最优值,当前圆排列圆心横坐标,当前圆排列
 2 int n;//圆排列中圆的个数
 3 int main()
 4 {
 5     n=3; 
 6     r[1]=1,r[2]=1,r[3]=2;
 7     cout<<"各圆的半径分别为："<<endl;
 8     for(int i=1;i<=3;i++) cout<<r[i]<<" ";
 9     cout<<endl;
10     cout<<"最小圆排列长度为：";
11     backtrack(1);
12     cout<<minlen<<endl;
13 }

上述算法尚有许多改进的余地。例如，像1,2,…,n-1,n和n,n-1, …,2,1这种互为镜像的排列具有相同的圆排列长度，只计算一个就够了。而且，如果所给的n个圆中有k个圆有相同的半径，则这k个圆产生的k!个完全相同的圆排列，也只需要计算一个。

8.连续邮资问题

假设国家发行了k种不同面值的邮票，并且规定每张信封上最多只允许贴h张邮票。连续邮资问题要求对于给定的k和h的值，给出邮票面值的最佳设计，在1张信封上可贴出从邮资1开始，增量为1的最大连续邮资区间。例如，当k=5和h=4时，面值为(1,3,11,15,32)的5种邮票可以贴出邮资的最大连续邮资区间是1到70。UVA165就是一道这样的典型例题。用stampval来保存各个面值，用maxval来保存当前所有面值能组成的最大连续面值。那么，stampval[0] 一定等于1，因为1是最小的正整数。相应的，maxval[0]=1*h。接下去就是确定第二个，第三个......第k个邮票的面值了。对于stampval[i+1]，它的取值范围是stampval[i]+1~maxval[i]+1。 stampval[i]+1是因为这一次取的面值肯定要比上一次的面值大，而这次取的面值的上限是上次能达到的最大连续面值+1， 是因为如果比这个更大的话， 那么就会出现断层， 即无法组成上次最大面值+1这个数了。 举个例子， 假设可以贴3张邮票，有3种面值，前面2种面值已经确定为1,2， 能达到的最大连续面值为6， 那么接下去第3种面值的取值范围为3～7。如果取得比7更大的话会怎样呢？ 动手算下就知道了，假设取8的话， 那么面值为1,2,8，将无法组合出7。直接递归回溯所有情况， 便可知道最大连续值了。

1 //标记每种取到的钱数 
2 void mark(int n,int m,int sum)
3 {  
4     if(m>h) return;  
5     vis[sum]=true;
6     for(int i=1;i<=n;++i) mark(n,m+1,sum+stampval[i]);    
7 } 
 1 void backtrack(int cur)
 2 {  
 3     if(cur>k)
 4     {  
 5         if(maxval[cur-1]>maxstampval)
 6         {  
 7             maxstampval=maxval[cur-1];  
 8             memcpy(ans,stampval,sizeof(stampval));  
 9         }  
10         return;  
11     }  
12     for(int i=stampval[cur-1]+1;i<=maxval[cur-1]+1;++i)
13     {  
14         memset(vis,0,sizeof(vis));  
15         stampval[cur]=i;  
16         mark(cur,0,0);  
17         int num=0,j=1;  
18         while(vis[j++]) ++num;  
19         maxval[cur]=num;  
20         backtrack(cur+1);  
21     }  
22 }

最终我们可以去得到答案：

 1 #define MAXN 200 
 2 int h,k,ans[MAXN],stampval[MAXN],maxval[MAXN],maxstampval;  
 3 bool vis[MAXN];  
 4 int main()
 5 {   
 6     while(scanf("%d %d",&h,&k),h+k)
 7     {  
 8         maxval[1]=h;  
 9         stampval[1]=1;  
10         maxstampval=-1;  
11         backtrack(2);  
12         for(int i=1;i<=k;++i) printf("%3d",ans[i]);  
13         printf("->%3d\n",maxstampval);  
14     }    
15 }

直接递归的求解复杂度太高，不妨尝试计算用不超过m张面值为x[1:i]的邮票贴出邮资k所需的最少邮票数y[k]。通过y[k]可以很快推出r的值。事实上，y[k]可以通过递推在O(n)时间内解决。这里就不再讲解了。

9.符号三角形问题

下图是由14个“+”和14个“-”组成的符号三角形，第一行有n个符号。2个同号下面都是“+”，2个异号下面都是“-”。

符号三角形问题要求对于给定的n，计算有多少个不同的符号三角形，使其所含的“+”和“-”的个数相同。在第1行前i个符号x[1:i]确定后，就确定了1个由i(i+1)/2个符号组成的三角形。下一步确定第i+1个符号后，在右边再加1条边，就可以扩展为前i+1个符号x[1:i+1]对应的新三角形。这样依次扩展，直到x[1:n]。最终由x[1:n]所确定的符号三角形中含"+"号个数与"-"个数同为n(n+1)/4。因此，当前符号三角形所包含的“+”个数与“-”个数均不超过n*(n+1)/4，可以利用这个条件剪支。对于给定的n，当n*(n+1)/2为奇数时，显然不存在包含的"+"号个数与"-"号个数相同的符号三角形。在回溯前需要简单的判断一下。

 1 void backtrack(int t)  
 2 {  
 3     if((counts>half)||(t*(t-1)/2-counts>half)) return;  
 4     if(t>n) sum++;    
 5     else  
 6     {  
 7         for(int i=0;i<2;i++)   
 8         {  
 9             p[1][t]=i;//第一行符号  
10             counts+=i;//当前"+"号个数  
11             for(int j=2;j<=t;j++)   
12             {  
13                 p[j][t-j+1]=p[j-1][t-j+1]^p[j-1][t-j+2];  
14                 counts+=p[j][t-j+1];  
15             }  
16             backtrack(t+1);  
17             for(int j=2;j<=t;j++)  
18             {  
19                 counts-=p[j][t-j+1];  
20             }  
21             counts-=i;  
22         }  
23     }  
24 }

最终我们可以去得到答案：

 1 int n,half,counts,p[100][100],sum;
 2 //第一行的符号个数,n*(n+1)/4,当前"+"号个数,符号三角矩阵,已找到的符号三角形数   
 3 int main()  
 4 {
 5     cin>>n;      
 6     half=n*(n+1)/2;  
 7     if(half%2==1)
 8     {
 9         cout<<"共有0个不同的符号三角形。"<<endl;
10         return 0;
11     }
12     half=half/2;   
13     backtrack(1);  
14     cout<<"共有"<<sum<<"个不同的符号三角形。"<<endl;
15 }

10.集合划分问题

给定一个图，图中任意两点的距离已知，请你把这个图的所有的点分成两个子集，要求两个子集之间的所有点的距离和最大。对于图中的每一个点，我们可以设一个数组，用0和1表示属于哪个子集。

 1 void backtrack(int x,int sum) 
 2 {  
 3     int temp;
 4     if(x>n) 
 5     {  
 6         if(sum>ans) ans=sum; 
 7         return; 
 8     } 
 9     //不选
10     set[x]=0;
11     temp=0;
12     for(int i=1;i<=x;i++) 
13     { 
14         if(!set[i]) continue;
15         temp+=graph[i][x];
16     } 
17     backtrack(x+1,sum+temp); 
18     //选
19     set[x]=1;
20     temp=0; 
21     for(int i=1;i<=x;i++) 
22     { 
23         if(set[i]) continue; 
24         temp+=graph[i][x];
25     }   
26     backtrack(x+1,sum+temp);   
27 }

最终我们可以去得到答案：

 1 int graph[25][25]; 
 2 int set[25]; 
 3 int ans,n;
 4 int main() 
 5 {  
 6     cin>>n;  
 7     for(int i=1;i<=n;i++) 
 8     { 
 9         for(int j=1;j<=n;j++) 
10         { 
11             cin>>graph[i][j];  
12         } 
13     }   
14     backtrack(1,0); 
15     cout<<ans<<endl;
16 }

例题练习推荐

  • N皇后问题是一个经典的问题，在一个N*N的棋盘上放置N个皇后，每行一个并使其不能互相攻击（同一行、同一列、同一斜线上的皇后都会自动攻击），求出有多少种合法的放置方法。输出N皇后问题所有不同的摆放情况个数。---九度OJ1254
  • 给定无向连通图G和m种不同的颜色。用这些颜色为图G的各顶点着色，每个顶点着一种颜色。如果有一种着色法使G中每条边的2个顶点着不同颜色，则称这个图是m可着色的。图的m着色问题是对于给定图G和m种颜色，找出所有不同的着色法。---洛谷P2819
  • 现已知yifenfei随身携带有n种浓度的万能药水，体积V都相同，浓度则分别为Pi%。并且知道，针对当时幽谷的瘴气情况，只需选择部分或者全部的万能药水，然后配置出浓度不大于 W%的药水即可解毒。如何配置此药，能得到最大体积的当前可用的解药呢？---hdu2570
  • 将一堆正整数分为2组，要求2组的和相差最小.---51Nod 1007 参考题解在这里，关于01背包问题更多题目推荐参考这里
  • 已知班级有g个女孩和b个男孩，所有女生之间都相互认识，所有男生之间也相互认识，给出m对关系表示哪个女孩与哪个男孩认识。现在要选择一些学生来组成一个团，使得里面所有人都认识，求此团最大人数。---POJ3692
  • 某国家发行k种不同面值的邮票，并且规定每张信封上最多只能贴h张邮票。 公式n（h,k）表示用从k中面值的邮票中选择h张邮票，可以组成面额为连续的1，2，3，……n， n是能达到的最大面值之和。例如当h=3，k=2时， 假设两种面值取值为1，4， 那么它们能组成连续的1……6，  虽然也可以组成8，9，12，但是它们是不连续的了。---UVA165
  • 符号三角形的 第1行有n个由“+”和”-“组成的符号 ，以后每行符号比上行少1个，2个同号下面是”+“，2个异 号下面是”-“ 。计算有多少个不同的符号三角形，使其所含”+“ 和”-“ 的个数相同 。---hdu2510
  • 给定正整数n，计算出n 个元素的集合{1,2,L, n }可以划分为多少个不同的非空子集。---南邮oj1215

更多题目推荐未来待续更新

参考文献

  1. 百度百科：https://baike.baidu.com/item/回溯算法/9258495
  2. 回溯算法：http://www.docin.com/p-191320525.html?docfrom=rrela
  3. 三个典型问题的回溯算法（PDF）：http://www.doc88.com/p-2935311069314.html
posted @ 2018-02-13 17:20  Angel_Kitty  阅读(11082)  评论(0)  编辑  收藏  举报