[管理学]1整数规划20090930.pptVIP

最通常的松驰问题是放弃变量的整数性要求后,（P）为线性规划问题。 分枝定界法步骤 一般求解对应的松驰问题，可能会出现下面几种情况： 若所得的最优解的各分量恰好是整数，则这个解也是原整数规划的最优解，计算结束。 若松驰问题无可行解，则原整数规划问题也无可行解，计算结束。 若松驰问题有最优解，但其各分量不全是整数，则这个解不是原整数规划的最优解，转下一步。 从不满足整数条件的基变量中任选 一个xl进行分枝，它必须满足xl ?[xl ] 或xl ?[xl ] +1中的一个，把这两个约束条件加进原问题中，形成两个互不相容的子问题（两分法）。 定界：把满足整数条件各分枝的最优目标函数值作为上（下）界，用它来判断分枝是保留还是剪枝。 剪枝：把那些子问题的最优值与界值比较，凡不优或不能更优的分枝全剪掉，直到每个分枝都查清为止。 例5-6 用分枝定界法求解： Max Z=4x1+3x2 s.t. 3x1+4x2 ? 12 4x1+2x2 ? 9 x1,x2 ? 0 整数 用单纯形法可解得相应的松驰问题的最优解(6/5,21/10), Z=111/10为各分枝的上界。 0 1 2 3