算法设计方法 作者 吴哲辉 第7章.pptVIP

2000年1月25日 北京化工学院信息基础教研室 算法设计方法 吴哲辉 崔焕庆 马炳先 吴振寰 编著 机械工业出版社 第7章 分支限界算法 7.1 基本思想 分支限界方法（Branch and Bound）是一种类似于回溯法的方法，它也是在一个问题的解空间树上采用一定的策略搜索问题解的算法，但是在搜索顺序和剪枝手段上，同回溯法有明显的不同。其基本思想是：当一个活结点成为当前的可扩展结点后，生成该结点的所有子结点，而后利用剪枝函数舍弃或者杀死不会产生可行解或者不会产生最优解的结点，将未被杀死的结点加入到活结点表中。而后利用一定的策略从活结点表中取出一个活结点作为当前的可扩展结点，并重复上述过程，直到找到所需要的解或者活结点表为空为止。 7.1 基本思想 可见，分支限界方法是在生成当前可扩展结点的所有子结点后，再生成其他活结点的子结点，并利用剪枝函数在搜索过程中避免生成不包含（最优）解结点的子树，类似于图的广度优先搜索；而回溯法则是从当前可扩展结点出发，一直搜索下去，直到找到一个解结点或者确定无解为止，类似于图的深度优先搜索。这是两种方法在搜索方式上的区别。 另一方面，回溯法通常用于找到解空间中的所有可行解，而分支限界法主要用于求解一个可行解或者寻找最优解。 7.1 基本思想 依照从活结点表中取一个活结点作为当前可扩展结点的策略不同，有三种分支限界搜索方法。 1. 先进先出方式（First In First Out，简称为FIFO方式）。该方式将活结点表用队列进行组织，每次总是选择最先生成的活结点作为当前的可扩展结点。 2. 后进先出方式（Last In First Out，简称为LIFO方式）。该方式将活结点表用堆栈进行组织，每次总是选取最后生成的活结点作为当前的可扩展结点。 3. 最小成本搜索（Least Cost Search）。该方式需要设置一个成本估计函数，估计从活结点产生解结点的成本，每次总是选择能够“最快”产生解结点的活结点作为当前的可扩展结点。这种方式称为LC分支限界方法（有的文献中称为优先队列式分支限界方法）。 7.1 基本思想 LC分支限界方式的基本思想。这类方法在求解问题时，需要对问题做深入细致的分析，获得有效信息以减少搜索，这类信息称为启发性信息。而利用启发性信息进行搜索的过程称为启发式搜索。在搜索解空间树的过程中，通常选择可以最快达到解结点的活结点进行优先扩展。为此，需要对各个活结点设置一定的“优先级”，使得在选择活结点作为可扩展结点时，可以选择优先级最大的活结点，从而解决FIFO和LIFO方式中可扩展结点选择的盲目性。 7.1 基本思想 我们把与每个结点X对应的优先级定义为一个函数C(X)，将该函数称为成本函数，其定义为：如果X是解结点，则是由解空间树的根结点到X结点的成本；如果X不是解结点，且以X为根的子树不包含任何解结点，则，如果以X为根结点的子树包含解结点，则为该子树中具有最小成本的解结点的成本。 要得到C(X)的精确值通常是不现实的。此时，可以用估计函数来代替，估计函数是对成本函数的估计。为了不使算法偏向于做纵深搜索，需要估计函数不仅估计从结点X到一个解结点的可能成本，而且需要估计由解空间树的根结点到X结点的成本。 算法7.1 LC-搜索的抽象化描述 算法7.2 LCBB的抽象描述 7.2 0-1背包问题 C(X)的定义：若X是可行解结点，那么 若X是叶结点，但不是可行解结点，那么 若X不是叶结点，那么 在LCBB算法中， 算法7.3就是来求解在确定了前j-1个物品的装包方案之后，将剩余的物品尽可能向背包中装，由此而得到的背包中物品的价值。 7.2 0-1背包问题 例7.1 假设n=4，P=(10,10,12,18)，W=(2,4,6,9)，。利用LCBB方法求解此0-1背包问题。此问题用LCBB方法给出的解空间树如图所示。 7.2 0-1背包问题 当利用LCBB算法（算法7.2）来求解0-1背包问题时，需要解决以下问题。 (1) 解空间树中每个结点的存储结构。 (2) 如何生成一个结点的子结点。 (3) 如何识别一个可行解结点。 (4) 活结点表的表示及其操作。 算法7.4~7.7 LCBB算法 7.2 0-1背包问题 例7.2 考虑个物品，背包容量100，W=(30,20,20,50,40)，P=(65,40,30,60,40) 。 7.3 旅行售货商问题 利用分支限界策略来求解TSP方法，可以从两个角度进行考虑： (1) 在周游路线中，由于每个结点（城市）必须经过且仅能经过一次，因此，可以从出发点开始，逐个考察经过结点的次序，并借助LCBB思想去寻求最优解。此时，将周游路线看作顶点的集合。 (2) 从图中边的角度来考虑，一条边只有两种可能：要么包含在周游路线中，要么不被包含