回溯法-算法设计与分析.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 8.5.2? 哈密顿环算法 对于n个结点的图G=(V,E)的哈密顿环问题，可采用n-元组表示问题的解 (x0,x1,?,xn－1)。每个xi?{0,1,…,n-1}, 0?in，代表路径上一个结点的编号，这就是显式约束。因此解空间的大小为nn。其隐式约束可描述为：xi?xj,0?i,jn，i?j，且（xi,xi+1）?E，xi,xi+1?V，i=0,1,…,n?2，又（xn－1，x0）?E。 哈密顿环问题的分析和求解方法与图的m-着色问题非常相似 【程序8－7】哈密顿环算法 template class T void MGraphT::NextValue(int k,int *x) { do { x[k]=(x[k]+1)% n; if (!x[k]) return; if (a[x[k-1]][x[k]]) { for (int j=0;jk;j++) if (x[j]==x[k]) break; if (j==k) if ((kn-1)||((k==n-1) a[x[n-1]][x[0]])) return; } } while(1); } template class T void ExtMGraphT::Hamiltonian(int k,int *x) { do { NextValue(k,x); if (!x[k]) return; if (k==n-1) { for (int i=0; in; i++) coutx[i] ; cout 0\n; } else Hamiltonian(k+1,x); } while (1); } template class T void ExtMGraphT:: Hamiltonian(int *x) { Hamiltonian(1,x); } 8.6 0/1背包问题 确定0/1背包问题的限界函数: 目标: 使用限界函数杀死某些活结点, 使这些活结点不再扩展 如果扩展给定的活结点和它的任一子孙所导致的最好可行解值的上界不大于迄今所确定的最好解的值, 就杀死该活结点 如果在结点Z处已经确定了xi的值,1≤i≤k, 则结点Z的上界可由下述方法获得: 对k+1≤i≤n, 将xi=0或1的要求放宽为0≤xi≤1, 然后利用贪心算法求解, 得到一个效益值(注意:物品已按P/W的比值降序排列) 使用大小固定的元组表示0/1背包问题的解状态 1 9 10 13 14 15 11 12 x1=1 x1=0 x2=1 x2=0 1 0 1 0 2 3 6 7 8 4 5 x2=1 x2=0 x3=1 x3=0 1 0 实例:n=3, M=30, (p1,p2,p3)=(24,15,25), (w1,w2,w3)=(15,10,18) 所有解状态: (1, 1, 1) P=64, W=43 (1, 1, 0) P=39, W=25 (1, 0, 1) P=49, W=33 (1, 0, 0) P=24, W=15 (0, 1, 1) P=40, W=28 (0, 1, 0) P=15, W=10 (0, 0, 1) P=25, W=18 (0, 0, 0) P=0, W=0 最优解 限界函数 procedure BOUND(p, w, k, M) int i; float b,c; b=p; c=w; for i=k+1 to n do { if (c+W[i] =M) then { c=c+W[i