上述分枝过程可用下图表示
LP0:X=(3.57,7.14),Z0=35.7
x1≤3 x1≥4
LP1:X=(3,7.6) Z1=34.8
x2≤6
LP2:X=(4,6.5) Z2=35.5
x2≥7 无可行解 x1≥5 LP5:X=(5,5) Z5=35
OR:SM OR:SM
LP3:X=(4.33,6) Z3=35.33
10
OR:SM OR:SM
第二节 整数规划求解
【例3.5 】用分枝定界法求解例3.1
max Z 4 x 1 3 x 2 1 . 2 x 1 0 . 8 x 2 10 2 x 1 2 . 5 x 2 25 x 1 , x 2 0 , 且均取整数
【解】先求对应的松弛问题(记为LP0):
7
OR:SM OR:SM
第二节 整数规划求解
一、舍入化整法
为了满足整数解的要求,自然想到“舍入”或“截尾”处理,以得到 与最优解相近的整数解。 这样做除少数情况外,一般不可行,因为化整后的解有可能超出 了可行域,成为非可行解;或者虽是可行解,却不是最优解。
不考虑整数约束则是一个LP问题,称为原整数规划的松弛问题 对于例1的数学模型,不考虑整数约束的最优解:
6
LP1 LP3
LP3:X=(4.33,6),Z3=35.33
C o
14
3
4
10
x1
OR:SM OR:SM
x2 ① ②
10 A
由于 Z 3 Z 1,选择 LP 3 进行分枝,增加约束 x 1 4 及 x 1 5,到线性规划 LP 4 及 LP 5:
max Z 4x1 3x2 LP1:X=(3,7.6),Z1=34.8 1.2x1 0.8x2 10 2x1 2.5x2 25 LP4 : LP4:X=(4,6),Z4=34 x1 4,x2 6,x1 4 x1 , x2 0 即x1 4, 可行域是一条线段 max Z 4x1 3x2