4.3.1 分枝定界法.pdf

运筹学--管理科学方法 李军 桂林电子科技大学商学院 第三节（I ）分枝定界法 1.1.分枝定界法的创立者 2.2.分枝定界法求解依据 3.3. 分枝定界法求解步骤 4.4.分枝定界法求解实例 5.5.分枝定界法求解小结 6. 6. 算法应用注意事项算法应用注意事项 2 OR:SMOR:SM 一、分枝定界法的创立者 理查德·卡普（Richard Karp）教授1935年1月3 日生 于波士顿，从小时起就兴趣广泛，聪明过人。在哈 佛大学时他文理兼修，1955年先获得文学学士学位 ，第二年又获得理科硕士学位。之后他进入哈佛大 学的计算实验室攻读博士，于1959年取得应用数学 博士学位。现任美国加州大学伯克利分校计算机科 学讲座教授，美国科学院、美国工程院、美国艺术 与科学院、欧洲科学院院士。因其在计算机科学领 域的杰出贡献曾获图灵奖、冯诺依曼奖、美国国家 科学勋章、哈佛大学百年奖章等奖项. 卡普和他的同事海尔特（M．Held ）20世纪60年代，经过反复研究，提出 了一种称为“分枝限界法”（branch—and—bound method ）的新方法。该方 法的要点是：对解集合反复进行分枝，每次分枝时，都对所得的子集计算最 优解的界。如果对某个子集求得的界不优于已知的允许解，则抛弃此子集不 再进行分枝；否则继续分枝以探索更好的解，直到所得的子集仅含有一个解 时为止。分枝限界法就其实质而言是一种求解策略而非算法，具体算法要根 据实际问题的特点去实现。但由于这种方法在求解许多问题中都非常实用， 因此常常被直呼为“分枝限界算法”。 3 OR:SMOR:SM 二、分枝定界法求解依据 依据之一 依据之二 依据之三 如果求解一个整数规划的松 如果解松弛问题得到的不是一 如果在求解的过程中已经得 弛问题到到的是一个整数解， 个整数解，则最优整数解不会 到了一个整数解，则最优整 则这个解也一定就是整数规 更优于所得到的松弛问题的目 数解一定不会少于该整数解。 划的最优解。但这种情况很 标函数值。因此，因此，线性 因此，该整数解，可构成最 少见。 规划松弛问题的解值必是整数 优整数解的另一个界，对于 松弛问题：不考虑整数条件， 规划目标函数值的一个界。它 最大化问题，它为下界，对 由余下的目标函数和约束条 对于最大化问题为上界，对于 于最小化问题，它为上界。 件构成的规划问题。 最小化问题为下界。 分枝定界法 z z  z  * OR:SMOR:SM 三、分枝定界法求解步骤