第六章 分限界法.pptVIP

第6章 分支限界法 本章主要知识点 学习要点 理解分支限界法的剪枝搜索策略 掌握分支限界法的算法框架 （1）队列式(FIFO)分支限界法 （2）优先队列式分支限界法 通过应用范例学习分支限界法的设计策略 分支限界法与回溯法 （1）求解目标：基本相同 回溯法：通过回溯找出满足约束条件的所有解或最优解 分支限界法：找出满足约束条件的一个解，或是在满足约束条件的解中找出在某种意义下的最优解 6.1 分支限界法的基本思想 分支限界法的基本思想 分支限界法以广度优先或以最小耗费优先的方式搜索问题的解空间树，扩展节点。 常见的两种分支限界法 （1）队列式(FIFO)分支限界法 按照队列先进先出（FIFO）原则选取下一个节点为扩展节点 分支限界法问题的解空间 与回溯类似 1. 解空间树：子集树、排列树 分支限界法问题的解空间（续1） 4、状态空间树 用于形象描述解空间的树。 分支限界法问题的解空间（续2） 5、目标函数与最优解 （1）目标函数：衡量问题解的“优劣”标准。 （2）最优解：使目标函数取极（大/小）值的解。 例：四城市的TSP问题 搜索方式：构造队列、优先级队列 子集树与排列树算法框架 6.2 单源最短路径问题 1. 问题描述 单源最短路径问题：在下图所给的有向图G中，每一边都有一个非负边权。要求图G的从源顶点s到目标顶点t之间的最短路径 算法分析 用极小堆存放结点 算法思想 优先队列式分支限界法：用极小堆来存储活结点表，其优先级是结点所对应的当前路长。 算法过程： 从图G的源顶点s和空优先队列开始。 结点s被扩展后，它的儿子结点被依次插入堆中。 算法从堆中取出具有最小当前路长的结点作为当前扩展结点，并依次检查与当前扩展结点相邻的所有顶点。如果从当前扩展结点i到顶点j有边可达，且从源出发，途经顶点i再到顶点j的所相应的路径的长度小于当前最优路径长度，则将该顶点作为活结点插入到活结点优先队列中。 这个结点的扩展过程一直继续到活结点优先队列为空时为止。 剪枝策略 在算法扩展结点的过程中，一旦发现一个结点的下界不小于当前找到的最短路长，则算法剪去以该结点为根的子树。 部分算法 while (true) { // 搜索问题的解空间 for (int j=1;j=n;j++) if(a[E.i][j] max E.length+a[E.i][j] dist[j]) { // 顶点i到顶点j可达，且满足控制约束 dist[j]=E.length+a[E.i][j]; //修正数值 prev[j]=E.i; //确定节点j的父节点 MinHeapNode node = new MinHeapNode(j,dist[j]); heap.Insert(node); // 加入活结点优先队列 } if (heap.isEmpty()) break; else enode = (MinHeapNode) heap.removeMin(); } 算法举例 应用分支限界法 计算从源顶点1到其他顶点间最短路径 6.3 装载问题 1. 问题描述 有一批共个集装箱要装上2艘载重量分别为C1和C2的轮船，其中集装箱i的重量为Wi，且 2. 队列式分支限界法 在算法的while循环中，首先检测当前扩展结点的左儿子结点是否为可行结点。如果可行，则将其加入到活结点队列中。右儿子结点一定是可行结点，将其加入到活结点队列中。2个儿子结点都产生后，当前扩展结点被舍弃。必要时添加一个层尾部标记-1 MaxLoading实现对解空间的限界操作 c：载重量 w[i]：第i个集装箱重量 Ew：扩展结点所相应的载重量 bestw：当前最优载重量 函数EnQueue：将活结点加人到活结点队列Q中 3. 算法的改进 节点的左子树表示将此集装箱装上船，右子树表示不将此集装箱装上船。设bestw是当前最优解；Ew是当前扩展结点所相应的重量；r是剩余集装箱的重量。则当Ew+r?bestw时，可将其右子树剪去，因为此时若要船装最多集装箱，就应该把此箱装上船。 为确保右子树成功剪枝，在算法每一次进入左子树的时候更新bestw的值。 算法的改进 MaxLoading:队列式分支限界法 // 初始化 Queue Type Q; //活结点队列 Q.Add(-1); //同层结点尾部标志 int i=1; //当前扩展结点所处的层