运筹学3.4 分枝定界法教学幻灯片.pptVIP

OR XJTU 第三章 整数线性规划 OR XJTU 第三章 整数线性规划 § 3.4 分枝定界法 Th.1 : 令 这里 为 的一个划分, 则 . 划分常常是递归进行的, 如右图所示的分枝定界树. Def. 称结点 为结点 的子结点, 而 称为 的 父结点.没有父结点的结点称为 根结点, 没有子结点的结点为 叶结点. 从一个结点到任一 子结点之连线称之为一个 分枝, 称由根结点到某个叶 结点所对应的一组分枝为一条路经 . 以上划分过程的极限情形就是对可行解集合S中所有元素 的枚举. 因此也将分枝定界树称为枚举树. 假定 已被划分为子集合 . 如果可以论证对于 某个 没有必要做进一步的划分, 则说分枝定界树 可以在对应于 的结点处被剪枝, 或简称为 可以被剪枝 . Th.2 : 若下列三个条件中的任何一个得以满足, 则分枝定 界树可以在对应于 的结点处被剪枝 : (ⅰ) 不可行性 : ; (ⅱ) 最优性 : 已找到 的一个最优解 ; ( ⅲ ) 最优值比较 : . 实际中, 遇到满足条件(ⅰ)与(ⅱ)的机会并不多, 常常通过 求解 的某个松弛问题或它的弱对偶问题来应用条件( ⅲ ) . 1. 若 不可行, 则 也不可行. 2. 的最优值不会大于 的最优值 . 设 为 的任一个松弛问题, 即 的可行解集合 和目标函数 满足: , 且对任意的 ,有 . 因此, 有下列明显结论 : 3. 若 的一个最优解为 的可行解, 则它也是 的 一个最优解 . 由这些结论和定理2, 可得用于判别可否剪枝的实用条件 . ⅰ) 不可行 ; ⅱ) 的一个最优解 满足 且 ; ⅲ ) 对( IP )的某个可行解所对应的目标函数值 , 有 . Th.3 : 如果下列三个条件中的任何一个得以满足, 则分 枝定界树可以在对应于 的结点处被剪枝 : 分枝定界法中的定界就泛是指使用任一策略来寻找、并 不断改进下界 (有时还包括某个上界)的过程 . 一般地, 假设刚刚求解了 的一个松弛问题, 则在分枝 运算对应的修正、加细步, 首先划分 , 取 ,然后构造 集合 的松弛 , 使得 . 基于上述过程的分枝定界法是一个带有枚举特点的松弛 算法, 故也被称为隐含枚举法 . 在下面给出的算法描述中, L表示一系列整数规划 的集合, 每个 具有形式 ,其中 , 与L 中每个问题相关联地有一个上界 .. 一般分枝定界算法步骤 : S 1 (初始化) S 2 (终止检验) 如果 , 则使得 的解 即为 原问题的最优解, 终止 . S 4 (剪枝) a ) 若 , 则转S 2 ; b ) 若 , 则转S 5 ; c ) 若 且 , 则令 , 并从L中删去所有使 得 的问题 . 如果 ,则转S 2 , 否则转S 5 . S 5 (划分) 设 为 的一个划分, 将由此产生的新问题 加到L中去, 并令