算法设计与分析 第六章ppt

24
算法设计与分析 >分支限界法
while (true) { // 检查左儿子结点 if (Ew + w[i] <= c) // x[i] = 1 EnQueue(Q, Ew + w[i], bestw, i, n); //将活结点加入到队列Q中 // 右儿子结点总是可行的，将其加入到Q中 EnQueue(Q, Ew, bestw, i, n); // x[i] = 0 Q.Delete(Ew); // 取下一扩展结点 if (Ew == -1) { // 同层结点尾部 if (Q.IsEmpty( )) return bestw; Q.Add(-1); // 同层结点尾部标志 Q.Delete(Ew); // 取下一扩展结点 i++;} // 进入下一层 } }
8
算法设计与分析 >分支限界法
活结点的优先级的定义上界Bound方法：
double Bound(int i) { double cleft=c-cw; //剩余容量，初始值为当前背包剩余容量 double b=cp; //价值上界，初始值为当前背包价值 //以物品单位重量价值递减装填剩余容量 while(i<=n&&w[i]<=cleft) { cleft-=w[i]; b+=p[i]; i++; } if(i<=n) b+=p[i]/w[i]*cleft; return b; } 注意: 上界不要求一定是可行解 //装填剩余容量装满背包
cw:当前装包重量 cp: 当前装包价值 bestp:当前最优解
将一个新的活结 点插入到子集树 和优先队列中 12 i+1: 层数
算法设计与分析 >分支限界法
6.2 单源最短路径问题
问题描述 有向图G中，每一边都有一个非负权，要 求图G的从源顶点s到目标顶点t之间的最短路 径。
13
算法设计与分析 >分支限界法
例如，例中从 s 出发经边 a 、 e 、 q （路长 5 ） 和经 c 、 h （路长 6 ）的两条路径到达 G 的 同一顶点。
17
算法设计与分析 >分支限界法
在解空间树中，这两条路径相应于解空间树的 2个不同的结点A和B。 由于 A 的路长较小，故可将以结点 B 为根的子 树剪去。此时称结点A控制了结点B。
队列式(FIFO)分支限界法：按照队列先进先 出（FIFO）原则选取下一个节点为扩展节点。
优先队列式分支限界法：按照优先队列中规 定的优先级选取优先级最高的节点成为当前扩 展节点。
最大优先队列：最大堆，体现最大效益优先 最小优先队列：最小堆，体现最小费用优先
从活结点表中选择下一 扩展结点的不同方式
顶点i和j间有边，且 此路径长小于原先从 原点到j的路径
19
算法设计与分析 >分支限界法
6.3 2 艘载重量分别为 C1 和 C2的轮船，其中集装箱i的重量为Wi，且
w
i 1
n
i
c1 c2
装载问题要求确定是否有一个合理的装载方案可将这n 个集装箱装上这2艘轮船。如果有，找出一种装载方案。 容易证明：如果一个给定装载问题有解，则采用 下面的策略可得到最优装载方案。 首先将第一艘轮船尽可能装满； 将剩余的集装箱装上第二艘轮船。
11
算法设计与分析 >分支限界法
MaxKnapsack{ … while (i != n+1) { // 非叶结点 // 检查当前扩展结点的左儿子结点 Typew wt = cw + w[i]; //当前重量 if (wt <= c) { // 左儿子结点为可行结点 if (cp+p[i] > bestp) bestp = cp+p[i]; AddLiveNode(up, cp+p[i], cw+w[i], true, i+1);} up = Bound(i+1); // 检查当前扩展结点的右儿子结点 if (up >= bestp) // 右子树可能含最优解 AddLiveNode(up, cp, cw, false, i+1); // 取下一个扩展节点（略） }
算法设计与分析 >目录
第一章 第二章 第三章 第四章 第五章 第六章 第七章
算法概述 递归与分治策略 动态规划 贪心算法 回朔法 分支限界法 概率算法
1
算法设计与分析 >分支限界法
6.1 分支限界法的基本思想
分支限界法类似于回溯法，也是一种在问题 的解空间树T中搜索问题解的算法。
分支限界法求解目标：
Q=new ArrayQueue(); //活结点队列
23
算法设计与分析 >分支限界法
② while循环搜索子集空间树：
检测当前扩展结点的左儿子结点是否为可行结 点，如果是则将其加入到活结点队列中。 然后将其右儿子结点加入到活结点队列中 ( 右 儿子结点一定是可行结点)。 (2个儿子结点都产生后，当前扩展结点被舍弃) 活结点队列中队首元素取出作为当前扩展结点， 如果取出元素为-1，判断当前队列是否为空，如 果非空，将尾部标记-1加入活结点队列，处理下 一层活结点；否则程序结束。
21
算法设计与分析 >分支限界法
EnQueue()方法：将活结点加入到Q队列中
}
private static void enQueue(int wt,int i) { //将活结点加入到活结点队列中 if (i==n) { //可行叶结点 if (wt>bestw) bestw=wt; 它首先检查i是否等于n } i=n：当前活结点为叶结点， else 则不必加入队列； Q.Add(wt); i<n：当前结点为内部结点， } 则直接入队列
7
算法设计与分析 >分支限界法
优先级的定义：（价值上界）
首先将剩余物品依其单位重量价值排序 然后依次装入物品，直至无法装入为止 再装入该物品的一部分而装满背包 例如：n=4,c=7,p=[9,10,7,4],w=[3,5,2,1]这四个物 品的单位价值[3,2,3.5,4]，先装入物品4，然后依 次装入3，1，剩余背包容量1，装入0.2个物品2， 得到最大价值22，可以证明其价值是最优值上界
4
算法设计与分析 >分支限界法
6.5 0-1背包问题
采用优先级队列式分支限界法
使用最大堆，堆空算法中止。 优先级为价值上界
5
算法设计与分析 >分支限界法
class HeapNode //堆结点定义 { public: double uprofit; //结点的价值上界 double profit; //结点所相应的价值V double weight; //结点所相应的重量w int level; //活结点在子集树中所处的层序号 bbnode *ptr; //指向活结点在子集树中相应结点 //的指针 bbnode{ //子集树结点定义 };
20
算法设计与分析 >分支限界法
2. 队列式分支限界法
解装载问题仅求出所要求的最优值的队列式分 支限界法 定义：
队列Q存放活结点表，其中元素
Ew：表示当前载重量
-1：表示队列已到达解空间树同一层结点的尾部
方法EnQueue() :将活结点加入到Q队列中
方法MaxLoading():对解空间的分支限界搜索
背包问题的装填方式 9
算法设计与分析 >分支限界法
将一个新的活结点插入到子集树和优先队列中
AddLiveNode(Typep up, Typep cp, Typew cw, bool ch, int lev) { bbnode *b = new bbnode; //创建新结点,插入子集树 b->parent = E; b->LChild = ch; HeapNode<Typep,Typew> N; N.uprofit = up; N.profit = cp; N.weight = cw; N.level = lev; N.ptr = b; H->Insert(N); }
算法思想
解单源最短路径问题的优先队列式分支 限界法用一极小堆来存储活结点表。其优 先级是结点所对应的当前路长。
开始：算法从图G的源顶点s和空优先队 列开始。 遍历:结点s被扩展后，它的儿子结点被 依次插入堆中。
14
算法设计与分析 >分支限界法
算法每次从堆中取出具有最小当前路长的 结点作为当前扩展结点，并依次检查与当前 扩展结点相邻的所有顶点。 如果从当前扩展结点i到j有边可达，且从源 出发，途经i再到j的所相应路径长度，小于当 前最优路径长度，则将该顶点作为活结点插 入到活结点优先队列中。 终止:结点扩展过程一直继续到活结点优先队 列为空时为止
分支限界法找出满足条件的一个解，或某 种意义下的最优解 分支限界法搜索方式： 广度优先或最小耗费优先
2
算法设计与分析 >分支限界法
支限界法常以广度优先或以最小耗费（最大效
益）优先的方式搜索问题的解空间树。 在分支限界法中，每一个活结点只有一次机 会成为扩展结点。
活结点一旦成为扩展结点，就一次性产生其所有
儿子结点。 在这些儿子结点中，导致不可行解或导致非最优 解的儿子结点被舍弃，其余儿子结点被加入活结点 表中。 此后，从活结点表中取下一结点(最有利的)成为当 前扩展结点，并重复上述结点扩展过程。这个过程 一直持续到找到所需的解或活结点表为空时为止。
3
算法设计与分析 >分支限界法
常见的两种分支限界法
22
算法设计与分析 >分支限界法
算法 MaxLoading 具体实施对解空间的分支 限界搜索过程。
① 初始化的活结点队列为空，增加尾部标 志
初 始 化
n=w.length-1; bestw=0; Q.Add(-1); int i=1;//当前扩展结点所处的层 int ew=0; //扩展结点所相应的载重量 //当前最优载重量