计算机算法设计与分析第6章分支限界法.ppt
《计算机算法设计与分析第6章分支限界法.ppt》由会员分享,可在线阅读,更多相关《计算机算法设计与分析第6章分支限界法.ppt(43页珍藏版)》请在三一办公上搜索。
1、1,第6章 分支限界法,2,学习要点理解分支限界法的剪枝搜索策略。掌握分支限界法的算法框架(1)队列式(FIFO)分支限界法(2)优先队列式分支限界法 通过应用范例学习分支限界法的设计策略。(1)单源最短路径问题(2)装载问题;(3)布线问题(4)0-1背包问题;(5)最大团问题;(6)旅行售货员问题(7)电路板排列问题(8)批处理作业调度问题,3,6.1分支限界法的基本思想,分支限界法与回溯法,(1)求解目标:回溯法的求解目标是找出解空间树中满足约束条件的所有解,而分支限界法的求解目标则是找出满足约束条件的一个解,或是在满足约束条件的解中找出在某种意义下的最优解。,(2)搜索方式的不同:回溯
2、法以深度优先的方式搜索解空间树,而分支限界法则以广度优先或以最小耗费优先的方式搜索解空间树。,4,6.1分支限界法的基本思想,分支限界法常以广度优先或以最小耗费(最大效益)优先的方式搜索问题的解空间树。,此后,从活结点表中取下一结点成为当前扩展结点,并重复上述结点扩展过程。这个过程一直持续到找到所需的解或活结点表为空时为止。,在分支限界法中,每一个活结点只有一次机会成为扩展结点。活结点一旦成为扩展结点,就一次性产生其所有儿子结点。在这些儿子结点中,导致不可行解或导致非最优解的儿子结点被舍弃,其余儿子结点被加入活结点表中。,5,6.1分支限界法的基本思想,常见的两种分支限界法,(1)队列式(FI
3、FO)分支限界法 按照队列先进先出(FIFO)原则选取下一个节点为扩展节点。,(2)优先队列式分支限界法 按照优先队列中规定的优先级选取优先级最高的节点成为当前扩展节点。,6,6.2单源最短路径问题,1.问题描述,下面以一个例子来说明单源最短路径问题:在下图所给的有向图G中,每一边都有一个非负边权。要求图G的从源顶点s到目标顶点t之间的最短路径。,7,6.2单源最短路径问题,1.问题描述,下图是用优先队列式分支限界法解有向图G的单源最短路径问题产生的解空间树。其中,每一个结点旁边的数字表示该结点所对应的当前路长。,8,6.2单源最短路径问题,2.算法思想,解单源最短路径问题的优先队列式分支限界
4、法用一极小堆来存储活结点表。其优先级是结点所对应的当前路长。,算法从图G的源顶点s和空优先队列开始。结点s被扩展后,它的儿子结点被依次插入堆中。此后,算法从堆中取出具有最小当前路长的结点作为当前扩展结点,并依次检查与当前扩展结点相邻的所有顶点。如果从当前扩展结点i到顶点j有边可达,且从源出发,途经顶点i再到顶点j的所相应的路径的长度小于当前最优路径长度,则将该顶点作为活结点插入到活结点优先队列中。这个结点的扩展过程一直继续到活结点优先队列为空时为止。,9,6.2单源最短路径问题,3.剪枝策略,在算法扩展结点的过程中,一旦发现一个结点的下界不小于当前找到的最短路长,则算法剪去以该结点为根的子树。
5、在算法中,利用结点间的控制关系进行剪枝。从源顶点s出发,2条不同路径到达图G的同一顶点。由于两条路径的路长不同,因此可以将路长长的路径所对应的树中的结点为根的子树剪去。,10,6.2单源最短路径问题,while(true)for(int j=1;j N;N.i=j;N.length=distj;H.Insert(N);try H.DeleteMin(E);/取下一扩展结点 catch(OutOfBounds)break;/优先队列空,顶点I和j间有边,且此路径长小于原先从原点到j的路径长,11,6.3 装载问题,1.问题描述,有一批共个集装箱要装上2艘载重量分别为C1和C2的轮船,其中集装箱i
6、的重量为Wi,且,装载问题要求确定是否有一个合理的装载方案可将这个集装箱装上这2艘轮船。如果有,找出一种装载方案。,容易证明:如果一个给定装载问题有解,则采用下面的策略可得到最优装载方案。(1)首先将第一艘轮船尽可能装满;(2)将剩余的集装箱装上第二艘轮船。,12,6.3 装载问题,2.队列式分支限界法,在算法的while循环中,首先检测当前扩展结点的左儿子结点是否为可行结点。如果是则将其加入到活结点队列中。然后将其右儿子结点加入到活结点队列中(右儿子结点一定是可行结点)。2个儿子结点都产生后,当前扩展结点被舍弃。活结点队列中的队首元素被取出作为当前扩展结点,由于队列中每一层结点之后都有一个尾
7、部标记-1,故在取队首元素时,活结点队列一定不空。当取出的元素是-1时,再判断当前队列是否为空。如果队列非空,则将尾部标记-1加入活结点队列,算法开始处理下一层的活结点。,13,6.3 装载问题,2.队列式分支限界法,while(true)/检查左儿子结点 if(Ew+wi=c)/xi=1 EnQueue(Q,Ew+wi,bestw,i,n);/右儿子结点总是可行的 EnQueue(Q,Ew,bestw,i,n);/xi=0 Q.Delete(Ew);/取下一扩展结点 if(Ew=-1)/同层结点尾部 if(Q.IsEmpty()return bestw;Q.Add(-1);/同层结点尾部标志
8、 Q.Delete(Ew);/取下一扩展结点 i+;/进入下一层,14,6.3 装载问题,3.算法的改进,节点的左子树表示将此集装箱装上船,右子树表示不将此集装箱装上船。设bestw是当前最优解;ew是当前扩展结点所相应的重量;r是剩余集装箱的重量。则当ew+rbestw时,可将其右子树剪去,因为此时若要船装最多集装箱,就应该把此箱装上船。,另外,为了确保右子树成功剪枝,应该在算法每一次进入左子树的时候更新bestw的值。,15,6.3 装载问题,3.算法的改进,/检查左儿子结点 Type wt=Ew+wi;/左儿子结点的重量 if(wt bestw)bestw=wt;/加入活结点队列 if(
9、i n)Q.Add(wt);,提前更新bestw,/检查右儿子结点 if(Ew+r bestw/取下一扩展结点,右儿子剪枝,16,6.3 装载问题,4.构造最优解,为了在算法结束后能方便地构造出与最优值相应的最优解,算法必须存储相应子集树中从活结点到根结点的路径。为此目的,可在每个结点处设置指向其父结点的指针,并设置左、右儿子标志。,class QNode QNode*parent;/指向父结点的指针 bool LChild;/左儿子标志 Type weight;/结点所相应的载重量,17,6.3 装载问题,找到最优值后,可以根据parent回溯到根节点,找到最优解。,4.构造最优解,/构造当
10、前最优解for(int j=n-1;j 0;j-)bestxj=bestE-LChild;bestE=bestE-parent;,18,6.3 装载问题,5.优先队列式分支限界法,解装载问题的优先队列式分支限界法用最大优先队列存储活结点表。活结点x在优先队列中的优先级定义为从根结点到结点x的路径所相应的载重量再加上剩余集装箱的重量之和。优先队列中优先级最大的活结点成为下一个扩展结点。以结点x为根的子树中所有结点相应的路径的载重量不超过它的优先级。子集树中叶结点所相应的载重量与其优先级相同。在优先队列式分支限界法中,一旦有一个叶结点成为当前扩展结点,则可以断言该叶结点所相应的解即为最优解。此时可
11、终止算法。,19,6.4 布线问题,1.算法思想,解此问题的队列式分支限界法从起始位置a开始将它作为第一个扩展结点。与该扩展结点相邻并且可达的方格成为可行结点被加入到活结点队列中,并且将这些方格标记为1,即从起始方格a到这些方格的距离为1。,接着,算法从活结点队列中取出队首结点作为下一个扩展结点,并将与当前扩展结点相邻且未标记过的方格标记为2,并存入活结点队列。这个过程一直继续到算法搜索到目标方格b或活结点队列为空时为止。即加入剪枝的广度优先搜索。,20,6.4 布线问题,Position offset4;offset0.row=0;offset0.col=1;/右 offset1.row=1
12、;offset1.col=0;/下 offset2.row=0;offset2.col=-1;/左 offset3.row=-1;offset3.col=0;/上,定义移动方向的相对位移,for(int i=0;i=m+1;i+)grid0i=gridn+1i=1;/顶部和底部 for(int i=0;i=n+1;i+)gridi0=gridim+1=1;/左翼和右翼,设置边界的围墙,21,6.4 布线问题,for(int i=0;i NumOfNbrs;i+)nbr.row=here.row+offseti.row;nbr.col=here.col+offseti.col;if(gridnb
13、r.rownbr.col=0)/该方格未标记 gridnbr.rownbr.col=gridhere.rowhere.col+1;if(nbr.row=finish.row),找到目标位置后,可以通过回溯方法找到这条最短路径。,22,6.5 0-1背包问题,算法的思想,首先,要对输入数据进行预处理,将各物品依其单位重量价值从大到小进行排列。,在下面描述的优先队列分支限界法中,节点的优先级由已装袋的物品价值加上剩下的最大单位重量价值的物品装满剩余容量的价值和。,算法首先检查当前扩展结点的左儿子结点的可行性。如果该左儿子结点是可行结点,则将它加入到子集树和活结点优先队列中。当前扩展结点的右儿子结点
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 计算机 算法 设计 分析 分支 限界
链接地址:https://www.31ppt.com/p-5838224.html