算法第5章-第4讲-图搜索-优先队列分枝限界法.pptVIP

That’s all for today See you next time Good bye! fengzhi fengzhi fengzhi 第4讲 分支限界法 上一小节的例子是求最大值的最优化问题，下面我们以求解”最小成本“的最优化问题为例，给出FIFO分支搜索算法框架。 假定问题解空间树为T,T至少包含一个解结点（即答案结点）.u为当前的最优解,初值为一个较大的数;E表示当前扩展的活结点,x为E的儿子,s(x)为结点x下界函数,当其值比u大时,不可能为最优解,不继续搜索此分支,该结点不入队;当其值比u小时,可能达到最优解,继续搜索此分支,该结点入队;cost(X)为当前叶结点所在分支的解。 举一反三：找最小成本的分枝限界法和优先队列分枝限界法 第4讲 分支限界法 search（T） //为找出最小成本答案结点检索T。?{leaf=0;  初始化队； ADDQ（T）； //根结点入队 parent（E）=0； //记录扩展路径，当前结点的父结点 while （队不空） {DELETEQ(E) //队首结点出队为新的E结点； for （E的每个儿子 X）????? if (s（X）u) //当是可能的最优解时入队 {ADD Q（X）； parent（X）=E;  ??? ??? if (X是解结点 ) //x为叶结点 ?????? ?{U=min（cost（X），u）;?????????? ?leaf=x;} //方案的叶结点存储在leaf中 } } FIFO算法框架： 第4讲 分支限界法 ?print（”least cost=’，u）；???while （leaf 0） //输出最优解方案?????? {print（leaf）；??????? leaf=parent（leaf）；}} 第4讲 分支限界法 找最小成本的LC分支-限界算法框架与FIFO分支-限界算法框架结构大致相同，只是扩展结点的顺序不同，因而存储活结点的数据结构不同。FIFO分支-限界算法用队列存储活结点，LC分枝-限界算法用堆存储活结点，以保证比较优良的结点先被扩展。且对于LC分支-限界算法，一旦扩展到叶结点就已经找到最优解，可以停止搜索。而用FIFO算法需要队列为空时才可以停止搜索。 找最小成本的LC分支-限界算法 第4讲 分支限界法 例5：单源最短路径问题（LC算法） 给定带权有向图G =(V,E),其中每条边的权是非负实数.另外,还给定V中的一个顶点,称为源。现在要计算从源到所有其它各顶点的最短路长度。这里路的长度是指路上各边权之和。这个问题通常称为单源最短路径问题。 I S a b c d e f g h i j l m n o p q r t u 第2讲 分支限界法 I S a b c d e f g h i l m n o p q r t u j 下面以一个例子来说明单源最短路径问题:在有向图G中, 每一边都有一个非负边权。求从源顶点I到目标顶点S之间的最短路径。 单源最短路径问题 具体问题实例： I S 2 3 4 2 2 3 9 2 7 9 l 3 5 1 2 2 8 7 1 A B C D E F G H J 用优先队列式分支限界法解有向图G的单源最短路径问题产生的解空间树。其中，每一个结点内数字表示该结点所对应的当前路长 I S 2 3 4 2 2 3 9 2 7 9 l 3 5 1 2 2 8 7 1 A B C D E F G H J I 活节点入堆 （解空间树生成过程） 根节点出堆 I I A B C 对出堆节点扩展 2 3 4 构造堆 A 2 B 3 C 4 A 2 B 3 C 4 判断B,E,F是否入堆 (只有E,F可入) 注：判断A的子节点E是否入堆的方法：从源点经过A到E的路径长度如果小于经过目前解空间树上从源点到E的其他最短路径长度，则E入堆，否则E不入堆。判定其他节点入堆的方法与此相同。 用优先队列式分支限界法解有向图G的单源最短路径问题产生的解空间树。其中，每一个结点内数字表示该结点所对应的当前路长 I S 2 3 4 2 2 3 9 2 7 9 l 3 5 1 2 2 8 7 1 A B C D E F G H J 活节点入堆 （解空间树生成过程） 根节点出堆 I A B C 对出堆节点扩展 2 3 4 B 3 C 4 整理堆 判断B,E,F是否入堆 B 3 C 4 E 4 F 9 B 3 E F D 判断E,D是否入堆 (只有D可入) 注：判断B的子节点E是