优先队列及分支限界法.pdf

优先队列与分支限界法 （根据王晓东《计算机算法设计与分析》（第2 版）第6 章改写，资料内容较多，只讲一少部分， 其余供自学和讨论） 目录： 1．基本思想：队列式(FIFO)分支限界法与优先队列式分支限界法 2．单源最短路径问题 3．装载问题； 4．布线问题 5．0-1 背包问题； 6．最大团问题； 7．旅行售货员问题 8．电路板排列问题 9．批处理作业调度问题 1 (FIFO) 11．基本思想：队列式((FFIIFFOO))分支限界法与优先队列式分支限界法 分支限界法与回溯法 （1）求解目标：回溯法的求解目标是找出解空间树中满足约束条件的所有解，而分支限界法的 求解目标则是找出满足约束条件的一个解，或是在满足约束条件的解中找出在某种意义下的最优解。 （2）搜索方式的不同：回溯法以深度优先的方式搜索解空间树，而分支限界法则以广度优先或 以最小耗费优先的方式搜索解空间树。 分支限界法常以广度优先或以最小耗费（最大效益）优先的方式搜索问题的解空间树。在分支 限界法中，每一个活结点只有一次机会成为扩展结点。活结点一旦成为扩展结点，就一次性产生其 所有儿子结点。在这些儿子结点中，导致不可行解或导致非最优解的儿子结点被舍弃，其余儿子结 点被加入活结点表中。 此后，从活结点表中取下一结点成为当前扩展结点，并重复上述结点扩展过程。这个过程一直 持续到找到所需的解或活结点表为空时为止。 常见的两种分支限界法 （1）队列式(FIFO)分支限界法 按照队列先进先出（FIFO）原则选取下一个节点为扩展节点 （2）优先队列式分支限界法 按照优先队列中规定的优先级选取优先级最高的节点成为当前扩展节点 2 22．单源最短路径问题 2.1 问题描述 下面以一个例子来说明单源最短路径问题：在下图所给的有向图G 中，每一边都有一个非负边权。 要求图G 的从源顶点s 到目标顶点t 之间的最短路径。 1 下图是用优先队列式分支限界法解有向图G 的单源最短路径问题产生的解空间树。其中，每一个 结点旁边的数字表示该结点所对应的当前路长。 2.2 算法思想 解单源最短路径问题的优先队列式分支限界法用一极小堆来存储活结点表。其优先级是结点所 对应的当前路长。 算法从图G 的源顶点s 和空优先队列开始。结点s 被扩展后，它的儿子结点被依次插入堆中。 此后，算法从堆中取出具有最小当前路长的结点作为当前扩展结点，并依次检查与当前扩展结点相 邻的所有顶点。如果从当前扩展结点i 到顶点j 有边可达，且从源出发，途经顶点i 再到顶点j 的 所相应的路径的长度小于当前最优路径长度，则将该顶点作为活结点插入到活结点优先队列中。这 个结点的扩展过程一直继续到活结点优先队列为空时为止。 2.3. 剪枝策略 在算法扩展结点的过程中，一旦发现一个结点的下界不小于当前找到的最短路长，则算法剪去 以该结点为根的子树。 在算法中，利用结点间的控制关系进行剪枝。从源顶点 s 出发，2 条不同路径到达图G 的同一 顶点。由于两条路径的路长不同，因此可以将路长长的路径所对应的树中的结点为根的子树剪去。 while (true) 2 {for (int j = 1; j = n; j++) if ((c[E.i][j]inf)(E.length+c[E.i][j]dist[j])) { // 顶点i 到顶点j 可达，且满足控制约束 dist[j]=E.length+c[E.i][j]; prev[j]=E.i; // 加入活结点优先队列 MinHeapNodeType N; N.i=j; N.length=dist[j]; H.Insert(N); } try {H.DeleteMin(E);} // 取下一扩展结点 catch (OutOfBounds) {break;} // 优