Ch整数规划分支定界法优秀讲义.pptVIP

Ch3 整数规划 Integer Programming?? 制作与教学 武汉理工大学管理学院 熊伟 xiongw@whut.edu.cn Page * 3.1 整数规划数学模型 Mathematical Model of IP 3.2 纯整数规划的求解 Solving Pure Integer Programming 3.3 0－1规划的求解 Solving Binary Integer Programming Chapter 3 整数规划 Integer Programming 运筹学 Operations Research 3.2 纯整数规划的求解 Solving Pure Integer Programming * 分枝定界法的步骤： 1. 求整数规划的松弛问题最优解； 2.??若松弛问题的最优解满足整数要求，得到整数规划的最优解，否则转下一步； 3.任意选一个非整数解的变量xi，在松弛问题中加上约束xi≤[xi]及xi≥[xi]+1组成两个新的松弛问题，称为分枝。新的松弛问题具有特征：当原问题是求最大值时，目标值是分枝问题的上界；当原问题是求最小值时，目标值是分枝问题的下界； 4.? 检查所有分枝的解及目标函数值，若某分枝的解是整数并且目标函数值大于（max）等于其它分枝的目标值，则将其它分枝剪去不再计算,若还存在非整数解并且目标值大于（max）整数解的目标值，需要继续分枝，再检查，直到得到最优解。 3.2.1 求解纯整数规划的分枝定界法 3.2 纯整数规划的求解 Solving Pure Integer Programming * 【例3-5 】用分枝定界法求解例5.1 【解】先求对应的松弛问题（记为LP0）： 用图解法得到最优解X＝（3.57,7.14）,Z0=35.7,如下图所示。 3.2 纯整数规划的求解 Solving Pure Integer Programming * 8.33 10 松弛问题LP0的最优解X=(3.57,7.14),Z0=35.7 x1 x2 o A B C 10 3.2 纯整数规划的求解 Solving Pure Integer Programming 10 10 x1 x2 o A B C LP1 LP2 3 4 LP1:X=(3,7.6),Z1=34.8 LP2:X=(4,6.5),Z2=35.5 ① ② 10 10 x1 x2 o A B C LP1 LP3 3 4 LP3:X=(4.33,6),Z3=35.33 6 ① ② LP1:X=(3,7.6),Z1=34.8 10 10 x1 x2 o A C LP1 3 4 6 ① ② LP4:X=(4,6),Z4=34 LP5:X=(5,5),Z5=35 5 LP1:X=(3,7.6),Z1=34.8 LP3 LP5 尽管LP1的解中x1不为整数，但Z5Z因此LP5的最优解就是原整数规划的最优解。 上述分枝过程可用下图表示 LP0:X=(3.57,7.14),Z0=35.7 LP1:X=(3,7.6) Z1=34.8 LP2:X=(4,6.5) Z2=35.5 x1≤3 x1≥4 LP3:X=(4.33,6) Z3=35.33 x2≤6 LP4:X=(4,6) Z4=34 LP5:X=(5,5) Z5=35 x1≤4 x1≥5 无可行解 x2≥7 Ch3 整数规划 Integer Programming?? 制作与教学 武汉理工大学管理学院 熊伟 xiongw@whut.edu.cn Page *