回溯算法补充内容(N皇后、图的着色问题).pptVIP

3.5 回溯算法补充内容 N皇后问题的所有解 Procedure NQUEENS(n) //此过程使用回溯算法求出在一个n*n棋盘上放置n个皇后，使其即不同行，也不同列，也不在同一斜角线上 Integer k, n, x(1:n) x(1)=0;k=1; //k是当前行，x(k)是当前列 while k0 do //对所有的行执行以下语句 x(k)=x(k)+1; //移到下一列 while x(k)=n and not PLACE (k) do //此处能放置一个皇后吗 x(k)=x(k)+1; //移到下一列 end while if x(k)=n //找到一个位置 then if k==n //是一个完整的解吗 then print (x) //打印这个数组 else k=k+1; x(k)=0; //移向下一行 end if else k=k-1; //回溯 end if end while end PLACE (k)的程序 Procedure PLACE(k) // 如果一个皇后能放在第k行和x(k)列，返回ture;否则返回false。x是一个全局变量，进入此过程的时候已经置了k个值。ABS(r)过程返回r的绝对值 global x(1:k); integer i,k; i=1; while ik do if x(i)==x(k) or ABS(x(i)-x(k))==ABS(i-k) //在同一列 或者在同一斜角线上 有两个皇后 then return (false) end if i=i+1; end while return (true) end 图的着色问题 Procedure Mcoloring(k) //这是图着色的一个递归回溯算法.图G用它的布尔邻接矩阵GRAPH(1:n,1:n)表示，它计算并打印出符合以下要求的全部解,把整数1,2,..,m 分配给图中各个结点并且使相邻近的结点有不同的整数.k是 下一个要着色的结点的下标. ? Global integer m,n X(1:n) Boolean?Graph(1:n,1:n) integer?k ? loop //产生对X(k)的所有的合法赋值 ??? call NextValue(k) //将一种合法的颜色分配给X(k) ? ??? if X(k)==0 ??????? exit? //没有可用的颜色了 ??? endif ? ??? if k==n ??????? print (X) //至多用了m种颜色分配给n个结点 ??? else ??????? call mcoloring(k+1) //所有m种着色方案均在此反复递归调用中产生 ??? endif ? endloop ? end Procedure NextValue(k) //进入此过程之前X(1), X(2), ..,?X(k-1)已经分得了区域[1,m]中整数且相临近的接点有不同的整数.本过程在区域[0,m]中给X(k)确定一个值:如果还剩下一些颜色,它们与结点k邻接的结点分配的颜色不同,那么就将其中的最高标值的颜色分配给接k,如果没有剩下可用的颜色,则只置X(k)为0 ? Global integer m,n X(1:n) ?Boolean?Graph(1:n,1:n) ?integer?k ? loop ??? X(k)=(X(k)+1)mod(m+1) //试验下一个最高标值的颜色 ? ??? if X(k)==0 ??????? return?? //全部颜色用完 ??? endif ? ??? for j=1:n ??????? if Graph(k,j)and X(k)==X(j) //如果(k,j)是一条边并且临近的结点有相同的颜色???? ????exit ??????? endif ??? endfor ? ??? if j==n+1 // 找到了一种新颜色 ??????? return ??? endif ??? endloop ? end 子集合数问题的递归回溯算法 Procedure Sumofsum（s,k,r） //找w(1:n)中和数为M的所有子集。进入此过程的时候x