第七章分枝-限界法.pptVIP

* 图7.8 大小固定的元组表示对应的状态空间树 * 实例：带限期的作业排序问题 图7.7中可将成本函数C(.)定义为，对于圆形结点X， C(X)是根为X的子树中结点的最小罚款；对于方形结点， C(X)= ∞。 设SX是在结点X对J所选择的作业的子集。如果m=max{i |i 属于SX}，则^C(X)等于作业数i 小于m的所有罚款累加和。 ^C(1)=0； ^C(2)=0； ^C(3)=5； ^C(4)=15； ^C(5)=21；…… * 实例：带限期的作业排序问题 作业排序问题的一个FIFO分枝-限界算法开始时可以将最小成本答案结点的成本上界定义为∞。 假定使用图7.7大小可变的元组表示，开始时结点1作为E-结点，于是依次生成结点2,3,4和5。由于u(2)=19, u(3)=14, u(4)=18, u(5)=21,因此在生成结点3时，就将上界U修改为14。 因为^C(4) 和^C(5)大于U，所以结点4和5被杀死。 * 实例：带限期的作业排序问题 结点2成为下一个E-结点，生成它的儿子6,7,8。 u(6)=9，因此U修改为9；^C(7)=10U，所以结点7被杀死；结点8是不可行结点，也被杀死。 结点3成为E-结点，生成其儿子结点9和10。 u(9)=8，因此U变成8； ^C(10)=11U，所以10被杀死。 结点9只有一个儿子且不可行，因此结点9是最小成本答案结点，其成本值为8。 第七章 分枝-限界法 * 一般方法 分枝-限界法是在生成当前E-结点全部儿子之后，再生成其他活结点的儿子，并且使用限界函数帮助避免生成不包含答案结点子树的状态空间的检索方法。 根据对状态空间树中结点检索次序的不同，可将分枝-限界的设计策略分为： FIFO检索，活结点采用一张先进先出表 LIFO检索，活结点采用一张先进后出表 * 例7.1 ：4-皇后问题 39 55 * 本例考察用一个FIFO分支-限界算法检索4-皇后问题的状态空间树的基本过程。 起初，只有一个活结点，即结点1。这表示没有皇后被放在棋盘上。 扩展这个结点，生成它的儿子结点2,18,34和50。这些结点分别表示皇后1在第1行的1,2,3,4列情况下的棋盘。 现在仅有的活结点是2,18,34和50。如果按这样的次序生成这些结点，则下一个E-结点就是结点2。扩展结点2，生成结点3,8和13。利用限界函数，结点3立即被杀死，将结点8和13加到活结点队列。 * 结点18变成下一个E-结点，生成结点19,24和29，限界函数杀死结点19和24，结点29被加到活结点队列。下一个E-结点是34。 图中显示了由FIFO分枝-限界检索生成图6.2中的那棵树的一部分。由限界函数杀死的那些结点的下方有一个B字。结点内的数与图6.2所示的结点内的数对应。 结点外的数给出了用FIFO分枝-限界法生成结点的次序。 在到达答案结点31时，仅剩下活结点38和54。比较图6.6和图7.1可以看出，对于这个问题回溯法占优势。 * 7.1.1 LC-检索 问题：在LIFO和FIFO分枝-限界法中，对下一个E-结点的选择规则相当死板，在某种意义上是盲目的。 方法：对活结点使用一个“有智力”排序函数 c(.) 来选取下一个E-结点往往可以加快到达一答案结点的速度。 对任意结点X，可用两种标准来量度： 在生成一个答案结点之前，子树X需要生成的结点数 在子树X中离X最近的那个答案结点到X的路径长度 * 使用后一种度量，图7.1中树的根结点付出的代价是4。结点（18和34），（29和35）以及（30和38）的代价分别是3,2和1。 所有在2,3和4级上剩余结点的代价应分别大于3,2和1。以这些代价作为选择下一个E-结点的依据，则E-结点依次为1,18,29和30。 得以生成的其它结点仅是2,34,50,19,24,32和31。易于看出，如果使用度量1，则对于每一种分枝-限界算法，总是生成最小数目的结点。 * 如果使用度量2，则要成为E-结点的结点只是由根到最近的那个答案结点路径上的那些结点。 以后用C(.)表示“有智力的”排序函数，有称为结点的成本函数。其定义如下： 如果X是答案结点，则C(X)是由状态空间树的根结点到X的成本；如果X不是答案结点且子树X不包含任何答案结点，则C(X)= ∞；否则C(X)等于子树X中具有最下成本的答案结点的成本。 但要指出的是：要得到结点成本函数C(.)所用的计算工作量与解原问题具有相同的复杂度，所以要得到精确的成本函数一般是不现实的。 * 解决方法：考虑在算法中检测活结点的次序通常可以根据能大致估计结点成的函数^g(.)来排出。 设^g(X)是由X到达一个答案结点所需做的附加工作的估计函数。 但是单纯使用函数^g(.)并不合适，它会导致算法偏向于作纵深检查。 假设结点X是当前的