回溯算法；旅行售货员问题；排列树；需要访问的是各个地点，不是路径；第一个排列点是出发点；O(n!)

#include <iostream> using namespace std; #define NoEdge -1 #define MAX 99999 class Traveling { private: int num;//城市数量 int **graph;//邻接矩阵存储城市之间联系图 int *x;//记录回溯算法的解 int *bestX;//记录最优解 int bestDist;//最短距离 int dist;//递归过程中距离 public: //构造函数 Traveling(int num) { this->num=num; graph=new int* [num+1]; for(int i=0;i<=num;i++) { graph[i]=new int[num+1]; } x=new int[num+1]; for(int i=0;i<=num;i++) { x[i]=i; } bestX=new int[num+1]; bestDist=MAX; dist=0; } //输入邻接矩阵 void input() { int temp; for(int i=1;i<=num;i++) { for(int j=i;j<=num;j++) { cout<<"输入"<<i<<"到"<<j<<"之间的距离,-1表示没有连接"<<endl; cin>>temp; graph[i][j]=temp; graph[j][i]=temp; } } } //回溯法求解 void travel(int i) { if(i==num)//递归到n层时，x[n]已经确定了，没有其他可以选择的 { //如果与前一顶点有联系，与结点1有联系，并且总距离小于之前的最小值，那么更新 if(graph[x[num-1]][x[num]]!=NoEdge&&graph[x[num]][x[1]]!=NoEdge&&graph[x[num-1]][x[num]]+dist+graph[x[num]][x[1]]<bestDist) { bestDist=graph[x[num-1]][x[num]]+dist+graph[x[num]][x[1]]; for(int j=1;j<=num;j++) { bestX[j]=x[j]; } } } for(int j=i;j<=num;j++) { if(graph[x[i-1]][x[j]]!=NoEdge)//如果有边与前一顶点相连 { if(dist+graph[x[i-1]][x[j]]<bestDist)//如果此点之前距离和仍小于最小值，那么可以选择这条路径 { dist+=graph[x[i-1]][x[j]]; swap(i,j); travel(i+1); swap(i,j); dist-=graph[x[i-1]][x[j]]; } } } } //交换函数 void swap(int i,int j) { int temp=x[i]; x[i]=x[j]; x[j]=temp; } //调用回溯法解决问题 void bestTravel() { travel(2); } //打印结果 void display() { int i=1; while(i<=num) { cout<<bestX[i]<<" "; ++i; } cout<<"/n"<<"最短路径长度和："<<bestDist<<endl; } }; void main() { Traveling test(4);//4个结点,这里举得书上的例子，4个结点全部互相连通了，没有NoEdge情况 //邻接矩阵表示 // 1 2 3 4 // 1 -1 30 6 4 // 2 30 -1 5 10 // 3 6 5 -1 20 // 4 4 10 20 -1 test.input(); test.bestTravel(); test.display(); }

 

回溯算法应用在图的一种排列树中。

 

一开始有点迷茫，虽然知道是排列树，但是却把思路过多放在了边上。

其实，这个问题是由各个城市结点构成的。  问题要求所有城市均到达一遍，只是次序不同将会影响结果，所以排列的应该是结点。

即第一个点应该走哪一个，第二个结点应该走哪一个。 由题意知道，第一个结点一定是出发地，所以回溯算法从i=2开始，即为第二个目的地进行决策，并计算第二个结点之前走的路径长度。  当然，由于问题时间复杂度是O(n!)，这是由排列树的结构决定的，所以规模很大，回溯算法必须剪枝，用一个问题本身的性质可以进行剪枝，利用约束函数也进行了剪枝，如果当前结点与之前结点没有连通，自然可以剪去。如果加入当前结点后的路径长度已经超过了最优值，那么就没必要继续搜索下去。 所以，问题解空间树会变得很小，问题也就得到了合理的解决。