算法设计与王红梅第二版第8章_回溯法范例.ppt

* Chapter 8 Back Track Method * 算法8.2—— 图着色问题 void GraphColor (int n, int c[ ][ ], int m) //所有数组下标从1开始 { for (i=1; i=n; i++ ) //将数组 color[n] 初始化为0 color[i]=0; k=1; while (k=1) { color[k]=color[k]+1; while (color[k]=m) if Ok(k) break; else color[k]=color[k]+1; //搜索下一个颜色 if (color[k]=m k= =n) //求解完毕，输出解 { for (i=1; i=n; i++) coutcolor[i]; return; } * Chapter 8 Back Track Method * else if (color[k]=m kn) k=k+1; //处理下一个顶点 else { color[k]=0; k=k-1; //回溯 } } } bool Ok (int k) //判断顶点k的着色是否发生冲突 { for (i=1; ik; i++) //c[k][i] 存储顶点间的边，即两顶点是否邻接 if (c[k][i]= =1 color[i]= =color[k]) return false; return true; } * Chapter 8 Back Track Method * 时间复杂度分析 状态空间树的结点总数为 ： 每访问一个结点，就调用一次ok函数计算约束方程。 Ok 函数循环体的执行次数，与搜索深度有关，最少一次，最多n-1次。 在最坏情况下，算法的总花费为 。 被访问的结点个数c 是远远低于状态空间树的总结点数 不考虑输入所占用的存储空间，需要用 的空间来存放解向量。 图着色问题 * Chapter 8 Back Track Method * 8.2 图问题中的回溯法 8.2.1 图着色问题 8.2.2 哈密顿回路问题 * Chapter 8 Back Track Method * 哈密顿回路问题 解空间 图G=(V, E)的顶点集为V={1, 2, …, n}， 解向量为n元组X=(x1, x2, …, xn)，xi∈{1, 2, …, n} 状态空间树 高度为n的完全n叉树。最底层有nn个叶子结点。根结点到叶子结点的每一条路径，都是一个可能解 搜索过程 布尔数组c[n][n]：图的邻接矩阵，顶点i 和j 相邻接，则c[i][j]为真，否则为假。 * Chapter 8 Back Track Method * 哈密顿回路问题 约束方程： (xi, xi+1)∈E (1≤i≤n－1) (xn, x1)∈E c[xi][xi+1]=TRUE c[x1][xn]=TRUE xi≠xj (1≤i, j≤n，i≠j) 例：寻找下图的哈密尔顿问路 状态空间树的结点总数:1+5+25+125+625+3125=3906个，c= 21个 * Chapter 8 Back Track Method * 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