最优化理论_第3章_整数规划讲解.ppt

6. 设有A、B、C、D、E五人去完成甲、乙、丙、丁四项任务，每人完成各项工作如表所示。规定每项工作只能有一个人去完成，每人最多承担一项工作，又假定D因某种原因决定不承担丁项目，问应该如何分配，才能使4项工作总得花费时间最少？ A B C D E 甲 乙 丙 丁 例 求解整数规划问题A max z=3x1+2x2 ① 2x1+3x2≤ 70 ② 2x1+x2≤70 ③ x1，x2≥0 ④ x1，x2整数 ⑤ 解：先不考虑条件⑤，即解相应的线性规划B,①～④(见图，得最优解x1=4.81，x2=1.82，z0=356  可见它不符合整数条件⑤。 这时z0是问题A的最优目标函数值z*的上界，记作z0= 。 而在x1=0，x2=0时， 显然是问题A的一个整数可行解， 这时z=0，是z*的一个下界， 记作 =0，即0≤z*≤356 。 分枝 因为 当前均为非整数，故不满足整数要求，任选一个进行分枝。设选 进行分枝，把可行集分成2个子集： 因为4与5之间无整数，故这两个子集内的整数解必与原可行集合整数解一致。这一步称为分枝。这两个子集的规划求解如下： 问题B1为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤ 70 x1 ≤4 x1,x2≥0 问题B2为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤ 70 x1 ≥ 5 x1,x2 ≥ 0 * x1≤4，x1≥5 B1:z1=349 x1=4.00 x2=2.10 B2:z2=341 x1=5.00 x2=1.57 * 显然，仍没有得到全部变量是整数的解。因z1＞z2，故将 改为349，那么必存在最优整数解，得到z*，并且 0≤z*≤349 继续对问题B1和B2进行分解。因z1＞z2，故先分解B1为两支。增加条件x2≤2，称为问题B11；增加条件x2≥3，称为问题B21。相当于在图中再去掉x2＞2与x2＜3之间的区域，进行第二次迭代。 问题B11为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤ 70 x1 ≤4 x2 ≤2 x1,x2≥0 问题B12为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤ 70 x1 ≤4 x2 ≥3 x1≥ 0 z11=340 x1=4.00 x2=2.00 z12=327 x1=1.42 x2=3.00 对问题B1再进行分枝得问题B11和B12，它们的最优解为: 再定界： ，并将B12剪枝。 340≤z*≤349 * 继续对问题B2进行分解 对问题B2再进行分枝得问题B21和B22，它们的最优解为: 无可行解。 将 剪枝，于是可以断定原问题的最优解为： 问题（A） Max z=40x1+90x2 9x1+7x2 ≤ 56 7x1+20x2≤70 x1,x2≥0, 整数 z0=356 x1=4.81 x2=1.82 x1 ≤4 x1≥5 问题B为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2≤70 x1,x2≥0 问题B11为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤ 70 x1 ≤4 x2 ≤2 x1,x2≥0 问题B12为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤ 70 x1 ≤4 x2 ≥3 x1≥ 0 问题B2