算法 第6章 分枝限界法.pptVIP

* * * 第六章 分支限界法 分支限界法类似于回溯法，也是一种在问题的解空间树上搜索问题解的算法。 与回溯法的不同 （1）求解目标：一般情况下，回溯法的求解目标是找出解空间树中满足约束条件的所有解，而分支限界法的求解目标则是找出满足约束条件的一个解，或是在满足约束条件的解中找出在某种意义下的最优解(极小或极大解)。 （2）搜索方式的不同：回溯法以深度优先的方式搜索解空间树，而分支限界法则以广度优先或以最小耗费优先的方式搜索解空间树。 （3）活结点成为扩展结点的机会不同：在回溯法中每个结点可能有多次机会成为扩展结点，而分支限界法中每个结点只有一次机会成为扩展结点。 一个正在产生儿子的结点称为扩展结点 * 分支限界法的基本思想 * 分支限界法的基本思想 分支限界法基本思想 分支限界法常以广度优先或以最小耗费（最大效益）优先的方式搜索问题的解空间树。 在分支限界法中，每一个活结点只有一次机会成为扩展结点。活结点一旦成为扩展结点，就一次性产生其所有儿子结点。在这些儿子结点中，导致不可行解或导致非最优解的儿子结点被舍弃，其余儿子结点被加入活结点表中。 此后，从活结点表中取下一结点成为当前扩展结点，并重复上述结点扩展过程。这个过程一直持续到找到所需的解或活结点表为空时为止。 一个自身已生成但其儿子还没有全部生成的结点称做活结点 * 分支限界法的基本思想 从活结点表中选择下一扩展结点的不同方式导致不同的分支限界法。 常见的两种分支限界法： （1）队列式(FIFO)分支限界法 将活结点表组织成一个队列，并按队列先进先出（FIFO）原则选取下一个结点为当前扩展结点。 （2）优先队列式分支限界法 将活结点表组织成一个优先队列，并按照优先队列中规定的优先级选取优先级最高的结点成为当前扩展结点。 * 分支限界法的基本思想 （2）优先队列式分支限界法 最大优先队列：规定数值较大的结点优先级较高； 最小优先队列：规定数值较小的结点优先级较高。 算法实现时，通常用一个最大堆来实现最大优先队列，体现最大效益优先的原则； 用最小堆实现最小优先队列，体现最小费用优先的原则。 采用优先队列法解具体问题时，应根据具体问题的特点选用最大优先队列或最小优先队列来表示解空间的活结点表。 * 分支限界法的基本思想 堆的补充知识 堆的定义 满足下列性质的数列{R1, R2, …, Rn}被称为堆 或 若满足条件(1)则称最小堆； 若满足条件(2)则称最大堆。 * 分支限界法的基本思想 堆对应一棵完全二叉树，如 最小堆 最大堆 * 分支限界法的基本思想 最大堆调整示例： * 0-1背包问题 设有n个物体和一个背包, 物体i的重量为wi , 价值为vi, 背包的承重量为c, 若将物体i (1? i ?n)装入背包, 则有价值为vi . 目标是找到一个方案, 使得能放入背包的物体总价值最高。 解空间树： * 0-1背包问题 设有n个物体和一个背包, 物体i的重量为wi , 价值为vi, 背包的承重量为c, 若将物体i (1? i ?n)装入背包, 则有价值为vi . 目标是找到一个方案, 使得能放入背包的物体总价值最高。 当n=3时, 问题的解空间树： 例：n=3，w=[16,15,15]，v=[45,25,25]，c=30 队列式分支限界法： * 0-1背包问题 O N M L K G F E C B A X X V=45 V=50 V=25 V=25 V=0 X X X X X X X X X X X