03.4分枝定界法.pptVIP

* * 运 筹 学 Operations Research §3.4 分枝定界法 Branch and Bound Method 运 筹 学 Operations Research 一、0-1规划： 背包问题（knapsack problem）：将n种物品装入容积为b的背包中.第j种物品的体积为aj，价值为cj，j=1,2,…, n，问：应如何选择物品装入背包中，才能使得装入物品的总体积不超过背包的容积，且总价值最大？ 令 运 筹 学 Operations Research 利用分枝定界法求解0-1规划应注意的几个问题： 的松弛线性规划问题为 可利用Greedy算法解之，即尽可能地将 中的最大者对应的 xj 取为1. 1.松弛线性规划问题的选择与求解 0-1规划 运 筹 学 Operations Research 2.分枝 若 的最优解中的变量 ，则可分别令 xk=0 和 xk=1 将（P0）分枝为两个子问题： 运 筹 学 Operations Research 3.定界 命题1 (P)的最优值≤ 的最优值. 先找出 的一个下界.每求得一个子问题的松弛线性规划问题的整数最优解（此最优解亦为子问题的最优解）时，都要重新定界.设求解某子问题得其最优值 ，则将 与 的当前下界作比较，取其大者为新下界. 4.子问题的探明 出现下列情形时，子问题 已探明，不必再分枝. 1） 不可行，则（Pk）也不可行，已探明. 2） 有整数最优解，则此最优解亦为（Pk）的最优解，已探明. 3） 的（整数或非整数）最优值小于（P0）的当前下界，则已探明，剪枝. 命题2 （Pk）的任一子问题的最优值不超过（Pk）的最优值. 当所有子问题都已探明时，（P0）的最优解或已被求出或判定不可行. 运 筹 学 Operations Research 分枝定界法的基本思想： 为原“max”型0-1规划找一个下界（常用观察法），并将其分割为若干子问题（分枝）. 求解每个子问题，若得其整数最优解，则重新定界，并将目标函数值≤当前下界的子问题剪枝. 当全部子问题都已探明时，即可求出原规划的最优解或判定它不可行. 枚举法（enumeration）：将（全部或部分）可行解一一代入目标函数，取目标函数值最大（小）者为最优解. 完全枚举法（complete enumeration）：全部代入； 部分枚举法（隐枚举法，implicit enumeration）：部分代入，如分枝定界法. 运 筹 学 Operations Research 例1 利用分枝定界法求解背包问题 解：显然， 有下界0. 求解过程： *