算法讲稿5-分枝定界法.ppt

第六章 分支限界法1学习要点理解分支限界法的剪枝搜索策略。掌握分支限界法的算法框架1.队列式(FIFO)分支限界法2.优先队列式分支限界法 通过应用范例学习分支限界法的设计策略。1.单源最短路径问题2.装载问题；3.布线问题4.0-1背包问题；5.最大团问题；6.旅行售货员问题7.电路板排列问题8.批处理作业调度问题引言2分支限界法类似于回溯法，也是一种在问题的解空间树T中搜索问题解的算法。分支限界法与回溯法的求解目标不同：回溯法是找出满足约束条件的所有解分支限界法是找出满足条件的一个解，或某种意义下的最优解搜索方式不同回溯法：深度优先分支限界法：广度优先或最小耗费优先6.1 分支限界法的基本思想3一、基本思想二、常见的两种分支限界法三、0-1背包问题四、旅行售货员问题一、基本思想4分支限界法常以广度优先或以最小耗费（最大效益）优先的方式搜索问题的解空间树。在分支限界法中，每一个活结点只有一次机会成为扩展结点。活结点一旦成为扩展结点，就一次性产生其所有儿子结点。在这些儿子结点中，导致不可行解或导致非最优解的儿子结点被舍弃，其余儿子结点被加入活结点表中。此后，从活结点表中取下一结点成为当前扩展结点，并重复上述结点扩展过程。这个过程一直持续到找到所需的解或活结点表为空时为止。二、常见的两种分支限界法5从活结点表中选择下一扩展结点的不同方式导致不同的分支限界法：队列式(FIFO)分支限界法：按照队列先进先出（FIFO）原则选取下一个节点为扩展节点。优先队列式分支限界法：按照优先队列中规定的优先级选取优先级最高的节点成为当前扩展节点。最大优先队列：使用最大堆，体现最大效益优先最小优先队列：使用最小堆，体现最小费用优先三、0-1背包问题6考虑如下0-1背包问题的实例：n=3,c=30,w=16,15,15,p=45,25,25队列式分支限界法：A B,C=B,CB,C D,E=EC,E F,G=F,GE,F,G J,K=K(45)1,0,0F,G L,M=L(50)0,1,1 M(25)G N,0=N(25),O(0)不搜索一不可行结点为根的子树优先队列式分支限界法：A B,C=B(45),C(0)B,C D,E=E(45)E,C J,K=K(45)1,0,0C F,G=F(25),G(0)F,G L,M=L(50),0,1,1 M(25)G N,O=N(25),O(0)可用剪枝函数加速搜索ABCDEFGHIJKLMNO10四、旅行售货员问题7队列式分支限界法：A B,C,DB,C,D E,FC,D,E,F G,HD,E,F,G,H I,JE,F,G,H,I,J K(59)1,2,3,4F,G,H,I,J L(66)G,H,I,J M(25)1,3,2,4H,I,J 1-3-4(26)I,J O(25)J P(59)优先队列式分支限界法：A B,C,D=B(30),C6),D(4)D,C,B I,J=I(14),J(24)C,I,J,B G,H=G(11),H(26)G,I,J,B,H M=M(25)1,3,2,4I,J,B,H O=O(25)J,B,H P=P(59)B,H B,H 限界掉1234643020510ABCDEFGHIJKLMNOP12343424234342326.2 单源最短路径问题8一、问题描述二、算法思想三、剪枝策略四、算法描述一、问题描述9下面以一个例子来说明单源最短路径问题：在右上图所给的有向图G中，每一边都有一个非负边权。要求图G的从源顶点s到目标顶点t之间的最短路径。右下图是用优先队列式分支限界法解有向图G的单源最短路径问题产生的解空间树。其中，每一个结点旁边的数字表示该结点所对应的当前路长。二、算法思想10解单源最短路径问题的优先队列式分支限界法用一极小堆来存储活结点表。其优先级是结点所对应的当前路长。算法从图G的源顶点s和空优先队列开始。结点s被扩展后，它的儿子结点被依次插入堆中。此后，算法从堆中取出具有最小当前路长的结点作为当前扩展结点，并依次检查与当前扩展结点相邻的所有顶点。如果从当前扩展结点i到顶点j有边可达，且从源出发，途经顶点i再到顶点j的所相应的路径的长度小于当前最优路径长度，则将该顶点作为活结点插入到活结点优先队列中。这个结点的扩展过程一直继续到活结点优先队列为空时为止。三、剪枝策略11在算法扩展结点的过程中，一旦发现一个结点的下界不小于当前找到的最短路长，则算法剪去以该结点为根的子树。在算法中，利用结点间的控制关系进行剪枝。从源顶点s出发，2条不同路径到达图G的同一顶点。由于两条路径的路长不同，因此可以将路长长的路径所对应的树中的结点为根的子树剪去。四、算法描述四、算法描述12 while(true)for(int j=1;j=n;j+)if(cE.ijinf)&(E.length+cE.ijdistj)/顶点i到顶点j可达，且满足控制约束 distj=E.length+cE.ij;prevj=E.i;/加入活结点优先队列 MinHeapNode N;N.i=j;N.lengthdistj;H.Insert(N);try H.DeleteMin(E);/取下一扩展结点 catch(OutOfBounds)break;/优先队列空 顶点顶点I I和和j j间有边，且间有边，且此路径长小于原先从此路径长小于原先从原点到原点到j j的路径长的路径长 6.3 装载问题13一、问题描述二、队列式分支限界法三、算法的改进四、构造最优解五、优先队列式分支限界法一、问题描述14有一批共个集装箱要装上2艘载重量分别为C1和C2的轮船，其中集装箱i的重量为wi，且wiC1+C2装载问题要求确定是否有一个合理的装载方案可将这个集装箱装上这2艘轮船。如果有，找出一种装载方案。容易证明：如果一个给定装载问题有解，则采用下面的策略可得到最优装载方案。(1)首先将第一艘轮船尽可能装满；(2)将剩余的集装箱装上第二艘轮船。二、队列式分支限界法15在算法的while循环中，首先检测当前扩展结点的左儿子结点是否为可行结点。如果是则将其加入到活结点队列中。然后将其右儿子结点加入到活结点队列中(右儿子结点一定是可行结点)。2个儿子结点都产生后，当前扩展结点被舍弃。活结点队列中的队首元素被取出作为当前扩展结点，由于队列中每一层结点之后都有一个尾部标记-1，故在取队首元素时，活结点队列一定不空。当取出的元素是-1时，再判断当前队列是否为空。如果队列非空，则将尾部标记-1加入活结点队列，算法开始处理下一层的活结点。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);/同层结点尾部标志 Q.Delete(Ew);/取下一扩展结点 i+;/进入下一层 三、算法的改进16节点的左子树表示将此集装箱装上船，右子树表示不将此集装箱装上船。设bestw是当前最优解；ew是当前扩展结点所相应的重量；r是剩余集装箱的重量。则当ew+rbestw时，可将其右子树剪去。另外，为了确保右子树成功剪枝，应该在算法每一次进入左子树的时候更新bestw的值。/检查左儿子结点 Type wt=Ew+wi;/左儿子结点的重量 if(wt bestw)bestw=wt;/加入活结点队列 if(i bestw&i 0;j-)bestxj=bestE-LChild;bestE=bestE-parent;五、优先队列式分支限界法18解装载问题的优先队列式分支限界法用最大优先队列存储活结点表。活结点x在优先队列中的优先级定义为从根结点到结点x的路径所相应的载重量再加上剩余集装箱的重量之和。优先队列中优先级最大的活结点成为下一个扩展结点。以结点x为根的子树中所有结点相应的路径的载重量不超过它的优先级。子集树中叶结点所相应的载重量与其优先级相同。在优先队列式分支限界法中，一旦有一个叶结点成为当前扩展结点，则可以断言该叶结点所相应的解即为最优解。此时可终止算法。6.4 布线问题19一、问题描述二、算法思想三、算法描述四、实例一、问题描述印刷电路板将布线区域划分为nm个方格阵列，如图所示。精确的电路板布线问题要求确定连接方格a的中点到方格b的中点的最短布线方案。布线时电路只能沿直线或直角布线。为避免线路相交，已布线方格做上封闭标记，其他线路布线不允许穿过封闭区域。为讨论方便，我们假定电路板外面的区域为已加封闭标记的方格。ab20二、算法思想21解此问题的队列式分支限界法从起始位置a开始将它作为第一个扩展结点。与该扩展结点相邻并且可达的方格成为可行结点被加入到活结点队列中，并且将这些方格标记为1，即从起始方格a到这些方格的距离为1。接着，算法从活结点队列中取出队首结点作为下一个扩展结点，并将与当前扩展结点相邻且未标记过的方格标记为2，并存入活结点队列。这个过程一直继续到算法搜索到目标方格b或活结点队列为空时为止。即加入剪枝的广度优先搜索。三、算法描述22Position offset4;offset0.row=0;offset0.col=1;/右offset1.row=1;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;/左翼和右翼for(int i=0;i NumOfNbrs;i+)nbr.row=here.row+offseti.row;nbr.col=here.col+offseti.col;if(gridnbr.rownbr.col=0)/该方格未标记 gridnbr.rownbr.col=gridhererowhere.col+1;if(nbr.row=finish.row)&(nbr.col=finish.col)break;/完成布线 Q.Add(nbr);找到目标位置后，可以通过回溯方法找到这条最短路径。复杂性：O(mn)定义移动方向定义移动方向的相对位移的相对位移设置边界的围墙设置边界的围墙四、实例2332211A12212b23485678678ab6.5 0-1背包问题24一、问题描述二、算法思想三、上界函数四、算法描述一、问题描述250-1背包问题略二、算法思想26首先，要对输入数据进行预处理，将各物品依其单位重量价值从大到小进行排列。在下面描述的优先队列分支限界法中，节点的优先级由已装袋的物品价值加上剩下的最大单位重量价值的物品装满剩余容量的价值和。算法首先检查当前扩展结点的左儿子结点的可行性。如果该左儿子结点是可行结点，则将它加入到子集树和活结点优先队列中。当前扩展结点的右儿子结点一定是可行结点，仅当右儿子结点满足上界约束时才将它加入子集树和活结点优先队列。当扩展到叶节点时为问题的最优值。三、上界函数27while(i=n&wi=cleft)/n表示物品总数，cleft为剩余空间 cleft-=wi;/wi表示i所占空间 b+=pi;/pi表示i的价值 i+;if(i=n)b+=pi/wi*cleft;/装填剩余容量装满背包return b;/b为上界函数四、算法描述28while(i!=n+1)/非叶结点 /检查当前扩展结点的左儿子结点 Typew wt=cw+wi;if(wt bestp)bestp=cp+pi;AddLiveNode(up,cp+pi,cw+wi,true,i+1);up=Bound(i+1);/检查当前扩展结点的右儿子结点 if(up=bestp)/右子树可能含最优解 AddLiveNode(up,cp,cw,false,i+1);/取下一个扩展节点（略）分支限界分支限界搜索过程搜索过程6.6 最大团问题29一、问题描述二、上界函数三、算法思想四、算法描述一、问题描述30给定无向图G=(V，E)。如果UV，且对任意u，vU有(u，v)E，则称U是G的完全子图。G的完全子图U是G的团当且仅当U不包含在G的更大的完全子图中。G的最大团是指G中所含顶点数最多的团。下图G中，子集1，2是G的大小为2的完全子图。这个完全子图不是团，因为它被G的更大的完全子图1，2，5包含。1，2，5是G的最大团。1，4，5和2，3，5也是G的最大团。二、上界函数31用变量cliqueSize表示与该结点相应的团的顶点数；level表示结点在子集空间树中所处的层次；用cliqueSize+n-level+1作为顶点数上界upperSize的值。在此优先队列式分支限界法中，upperSize实际上也是优先队列中元素的优先级。算法总是从活结点优先队列中抽取具有最大upperSize值的元素作为下一个扩展元素。三、算法思想32子集树的根结点是初始扩展结点，对于这个特殊的扩展结点，其cliqueSize的值为0。算法在扩展内部结点时，首先考察其左儿子结点。在左儿子结点处，将顶点i加入到当前团中，并检查该顶点与当前团中其它顶点之间是否有边相连。当顶点i与当前团中所有顶点之间都有边相连，则相应的左儿子结点是可行结点，将它加入到子集树中并插入活结点优先队列，否则就不是可行结点。接着继续考察当前扩展结点的右儿子结点。当 upperSize bestn 时，右子树中可能含有最优解，此时将右儿子结点加入到子集树中并插入到活结点优先队列中。算法的while循环的终止条件是遇到子集树中的一个叶结点(即n+1层结点)成为当前扩展结点。对于子集树中的叶结点，有upperSizecliqueSize。此时活结点优先队列中剩余结点的upperSize值均不超过当前扩展结点的upperSize值，从而进一步搜索不可能得到更大的团，此时算法已找到一个最优解。四、算法描述33分支限界法求解最大团问题算法描述略6.7 旅行售货员问题34一、问题描述二、问题分析三、算法描述一、问题描述35某售货员要到若干城市去推销商品，已知各城市之间的路程(或旅费)。他要选定一条从驻地出发，经过每个城市一次，最后回到驻地的路线，使总的路程(或总旅费)最小。路线是一个带权图。图中各边的费用（权）为正数。图的一条周游路线是包括V中的每个顶点在内的一条回路。周游路线的费用是这条路线上所有边的费用之和。旅行售货员问题的解空间可以组织成一棵树，从树的根结点到任一叶结点的路径定义了图的一条周游路线。旅行售货员问题要在图G中找出费用最小的周游路线。二、问题分析36算法开始时创建一个最小堆，用于表示活结点优先队列。堆中每个结点的子树费用的下界lcost值是优先队列的优先级。接着算法计算出图中每个顶点的最小费用出边并用minout记录。如果所给的有向图中某个顶点没有出边，则该图不可能有回路，算法即告结束。如果每个顶点都有出边，则根据计算出的minout作算法初始化。算法的while循环体完成对排列树内部结点的扩展。对于当前扩展结点，算法分2种情况进行处理：1、首先考虑s=n-2的情形，此时当前扩展结点是排列树中某个叶结点的父结点。如果该叶结点相应一条可行回路且费用小于当前最小费用，则将该叶结点插入到优先队列中，否则舍去该叶结点。2、当sn-2时，算法依次产生当前扩展结点的所有儿子结点。由于当前扩展结点所相应的路径是x0:s，其可行儿子结点是从剩余顶点xs+1:n-1中选取的顶点xi，且(xs，xi)是所给有向图G中的一条边。对于当前扩展结点的每一个可行儿子结点，计算出其前缀(x0:s，xi)的费用cc和相应的下界lcost。当lcostbestc时，将这个可行儿子结点插入到活结点优先队列中。（续）37算法中while循环的终止条件是排列树的一个叶结点成为当前扩展结点。当s=n-1时，已找到的回路前缀是x0:n-1，它已包含图G的所有n个顶点。因此，当s=n-1时，相应的扩展结点表示一个叶结点。此时该叶结点所相应的回路的费用等于cc和lcost的值。剩余的活结点的lcost值不小于已找到的回路的费用。它们都不可能导致费用更小的回路。因此已找到的叶结点所相应的回路是一个最小费用旅行售货员回路，算法可以结束。算法结束时返回找到的最小费用，相应的最优解由数组v给出。三、算法描述38旅行售货员问题分支限界法算法描述略6.8 电路板排列问题39一、问题描述二、问题实例三问题分析四、算法描述一、问题描述40电路板排列问题是大规模电子系统设计中提出的一个实际问题。该问题的经典提法是：将n块电路板以最佳排列方式插入带有n个插槽的机箱中。n块电路板的不同排列方式对应于不同的电路板插入方案。设B=1,2,n是n块电路板的集合，L=N1,N2,Nm是连接这n块电路板中若干电路板的m个连接块。Ni是B的一个子集，且Ni中的电路板用同一条导线连接在一起。设x表示n块电路板的一个排列，即在机箱的第i个插槽中插入的电路板编号是xi。x所确定的电路板排列Density(x)密度定义为跨越相邻电路板插槽的最大连线数。在设计机箱时，插槽一侧的布线间隙由电路板排列的密度确定。因此，电路板排列问题要求对于给定的电路板连接条件，确定电路板的最佳排列，使其具有最小密度。二、问题实例41n=8,m=5B=1,2,3,4,5,6,7,8N1=4,5,6;N2=2,3;N3=1,3;N4=3,6;N5=7,8其中一个可能的排列如图所示，则该电路板排列的密度是2另一种可能的组合如下如所示，密度？N2N3N4N1N5板：2 1 3 4 5 6 7 8槽：1 2 3 4 5 6 7 8N2N3N4N1N5板：8 6 1 2 3 4 5 7槽：1 2 3 4 5 6 7 8三、问题分析42算法开始时，将排列树的根结点置为当前扩展结点。在do-while循环体内算法依次从活结点优先队列中取出具有最小cd值的结点作为当前扩展结点，并加以扩展。首先考虑s=n-1的情形，当前扩展结点是排列树中的一个叶结点的父结点。x表示相应于该叶结点的电路板排列。计算出与x相应的密度并在必要时更新当前最优值和相应的当前最优解。当sn-1时，算法依次产生当前扩展结点的所有儿子结点。对于当前扩展结点的每一个儿子结点node，计算出其相应的密度node.cd。当node.cdbestd时，将该儿子结点N插入到活结点优先队列中。四、算法描述43do/结点扩展 if(E.s=n-1)/仅一个儿子结点 int ld=0;/最后一块电路板的密度 for(int j=1;j=m;j+)ld+=BE.xnj;if(ld bestd)/密度更小的电路板排列 delete bestx;bestx=E.x;bestd=max(ld,E.cd);else/产生当前扩展结点的所有儿子结点 for(int i=E.s+1;i=n;i+)BoardNode N;N.now=new int m+1;for(int j=1;j=m;j+)/新插入的电路板 N.nowj=E.nowj+BE.xij;int ld=0;/新插入电路板的密度 for(int j=1;j 0&totalj!=N.nowj)ld+;N.cd=max(ld,E.cd);if(N.cd bestd)/可能产生更好的叶结点 N.x=new int n+1;N.s=E.s+1;for(int j=1;j=n;j+)N.xj=E.xj;N.xN.s=E.xi;N.xi=E.xN.s;H.Insert(N);else delete N.now;delete E.x;