第七单元 分支限界法new.pptVIP

计算机算法设计与分析 North China Electric Power University Computer Algorithms Design Analysis 华北电力大学计算机科学与工程系 Dept. of Computer ScienceEngineering of North China Electric Power University 第七章 分支限界法 ★ 分支限界法的基本思想 ★ 单源最短路径问题 ★ 布线问题 North China Electric Power University ★ 方格调整问题 §1 分支限界法的基本思想 分支限界法类似于回溯算法，也是一种在问题的解空间树T上搜索问题的解的算法。 和回溯法的区别： 1.求解目标不同：回溯法的求解目标是找出T中满足约束条件的所有解，而分支限界法的求解目标则是找出满足约束条件的一个解，或是在满足约束条件的解中找出使某一目标函数值达到极大或极小的解，即在某种意义下的最优解。 2.结点的扩展方式不同：回溯法以深度优先的方式搜索解空间树，而分支限界法则以广度优先或最小耗费优先的方式搜索解空间树，在扩展结点处，先生成所有的儿子结点，然后再从当前的扩展结点表中选择下一个扩展结点。 3.活结点成为扩展结点的机会不同：在回溯法中每个结点可能有多次机会成为扩展结点，而分支限界法中每个活结点只有一次机会成为扩展结点。 North China Electric Power University 分支限界法以广度优先或最小耗费优先的方式搜索问题的解空间树。在搜索问题的解空间树时，每一个活结点只有一次机会称为扩展结点。活结点一旦成为扩展结点，就一次性产生其所有的儿子结点。在这些儿子结点中，那些导致不可行解或非最优解的儿子结点被舍弃，其余的儿子结点被加入活结点表中。此后，从活结点表中选择下一个结点成为当前扩展结点，并重复上述结点扩展过程。这个过程一直持续到找到所需的解或活结点表为空时为止。 分支限界法的搜索策略： North China Electric Power University 根据从活结点表中选择下一结点的不同方式，分支限界法分为两类： 1)队列式分支限界法 队列式分支限界法将活结点表组织成一个队列，并按照队列的先进先出的原则选取下一个结点称为当前结点。 2)优先队列式分支限界法 优先队列式分支限界法将活结点表组织成一个优先队列，并按照优先队列中规定的优先级选取优先级最高的下一结点成为当前扩展结点。在算法实现时，通常用一个最大堆来实现最大优先队列，用最小堆来实现最小优先队列。用优先队列法解具体问题时，应根据具体问题的特点选用最大优先队列活最小优先队列来表示解空间的活结点表。 A B C D E F G H I J L K M N O x1=1 x1=0 x2=1 x2=0 x3=1 x3=0 x3=1 x3= 0 x2=1 x2=0 x3=1 x3=0 x3=1 x3=0 例：0-1背包问题 n=3，C=20，(p1,p2,p3)=(20,15,25) (w1,w2,w3)=(10,5,15)，求X=(x1,x2,x3)使背包价值最大？ (10,20) (15,35) (15,35) (10,20) (10,20) (5,15) (20,40) (15,35) (5,15) (20,40) (0,0) (0,0) (15,25) (20,40) (20,40) (0,0) (20,40) 当前最优解 可行解 中间计算结果 A B C D E F G H I J L K M N O 1 0 1 0 1 0 1 0 1 0 1 0 1 0 解空间树T 例：0-1背包问题 n=3，C=20，(p1,p2,p3)=(20,15,25) (w1,w2,w3)=(10,5,15)，求X=(x1,x2,x3)使背包价值最大？ B 10 20 C 0 0 D 15 35 E 10 20 F 5 15 G 0 0 I 15 35 当前最优解 K 10 20 M 5 15 N 15 25 O 0 0 L 20 40 当前最优解 (10,20) (15,35) (10,20) (5,15) (0,0) (0,0) 堆是满足下列性质的数列{R1, R2, …，Rn}： 或 若将此数列看成是一棵完全二叉树，则堆或是空树或是满足下列特性的完全二叉树：其左、右子树分别是堆，并且当左、右子树不空时，根结点的值小于(或大于)左、右子树根结点的值。 堆的补充知识 1. 堆的定义 2. 最小堆的C++描述 template class Object class M