第8章_回溯法.ppt

8.2.2 哈密顿回路问题 假定图G=(V, E)的顶点集为V={1, 2, …, n}，则哈密顿回路的可能解表示为n元组X=(x1, x2, …, xn)，其中，xi∈{1, 2, …, n} ，并有如下约束条件： (xi, xi+1)∈E (1≤i≤n－1) (xn, x1)∈E xi≠xj (1≤i, j≤n，i≠j) * 1 2 4 3 5 (a) 一个无向图 (b) 哈密顿回路的搜索空间 x4=4 x3=3 x2=2 2 1 x1=1 4 7 11 17 16 x5=5 x4=5 3 5 10 8 9 6 12 13 14 15 21 20 18 19 x5=4 * 算法8.3——哈密顿回路问题 1．将顶点数组x[n]初始化为0，标志数组visited[n]初始化为0； 2．k=1; visited[1]=1; x[1]=1; 从顶点1出发构造哈密顿回路； 3．while (k=1) 3.1 x[k]=x[k]+1，搜索下一个顶点; 3.2 若(n个顶点没有被穷举) 执行下列操作 3.2.1 若(顶点x[k]不在哈密顿回路上(x[k-1],x[k])∈E)， 转步骤3.3; 3.2.2 否则，x[k]=x[k]+1，搜索下一个顶点； 3.3 若数组x[n]已形成哈密顿路径，则输出数组x[n]，算法结束； 3.4 否则， 3.4.1 若数组x[n]构成哈密顿路径的部分解， 则k=k+1，转步骤3； 3.4.2 否则，重置x[k]，k=k-1，取消顶点x[k]的访问标志， 转步骤3； * 算法8.4——哈密顿回路问题 void Hamiton(int n, int x[ ], int c[ ][ ]) //所有数组下标从1开始 { for (i=1; i=n; i++) //初始化顶点数组和标志数组 { x[i]=0; visited[i]=0; } k=1; visited[1]=1; x[1]=1; //从顶点1出发 while (k=1) { x[k]=x[k]+1; //搜索下一顶点 while (x[k]=n) if (visited[x[k]]= =0 c[x[k-1]][x[k]]= =1) break; else x[k]=x[k]+1; * if (x[k]=n k= =n c[x[k]][1]= =1) { for (k=1; k=n; k++ ) coutx[k]; return; } else if (x[k]=n kn ) { visited[x[k]]=1; k=k+1; } else { //回溯 x[k]=0; visited[x[k]]=0; k=k-1; } } } * 8.3 组合问题中的回溯法 8.3.1 八皇后问题 8.3.2 批处理作业调度问题 * 8.3.1 八皇后问题 八皇后问题是十九世纪著名的数学家高斯于1850年提