运筹学 第5章：整数规划.ppt

第五章 整数规划 (Integer Programming) 整数规划及其数学模型 分枝定界法 割平面法 0-1整数规划 指派问题 WinQSB软件应用 如果所有变量都取整数，就称为纯整数规划或全整数规划 如果仅有一部分变量取整数，则称为混合整数规划 若变量值仅限于0或1，则称为0-1规划 适用范围 全整数规划问题或混合整数规划问题 本世纪60年代初由Land Doig和Dakin等人提出 基本思路 设有最大化的整数规划问题(IP)，与它相应的线性规划问题为(LP)——松弛问题。从解(LP)开始，若其最优解不符合整数条件，那么(LP)的最优目标函数必是(IP)最优解z*的一个上界，记作z ;而(IP)的任意可行解的目标函数值将是z*的一个下界z 。分枝定界法就是将(LP)的可行域分成子区域（分枝），逐步减小z 和增大z ，最终求得z*的方法。 x1 x2 ⑴ ⑵ 3 3 (18/11,40/11) ⑶ 1 1 B A C 先求（LP3）,如图所示。此时D 在点取得最优解 即 x1＝12/5=2.4, x2 =3, Z(3)＝-87/5=-17.4-18.7 但x1＝12/5不是整数，可继续分枝。即 3≤x1≤2 D 求（LP4），如图所示 无可行解，不再分枝 在（LP3）的基础上继续分枝。加入条件3≤x1≤2有下式： 只要求出（LP5）和（LP6）的最优解即可 x1 x2 ⑴ ⑵ 3 3 (18/11,40/11) ⑶ 1 1 B A C D 先求（LP5）,如图所示。此时E 在点取得最优解 即 x1＝2, x2 =3, Z(5)＝－17 找到整数解，问题已探明，此枝停止计算。 E 求（LP6），如图所示。此时 F在点取得最优解 x1＝3, x2 =2.5, Z(6)＝－31/2=－15.5 Z(5) F 如对Z(6) 继续分解，其最小值也不会低于－15.5，问题探明,剪枝 至此，原问题(IP)的最优解为： x1=2， x2 =3, Z* = Z(5) ＝－17 以上的求解过程可以用一个树形图表示如右： LP1 x1=1, x2=3 Z(1) ＝－16 LP x1=18/11, x2=40/11 Z(0) ＝－19.8 LP2 x1=2, x2=10/3 Z(2) ＝－18.5 LP3 x1=12/5, x2=3 Z(3) ＝－17.4 LP4 无可 行解 LP5 x1=2, x2=3 Z(5) ＝－17 LP6 x1=3, x2=5/2 Z(6) ＝－15.5 x1≤1 x1≥2 x2≤3 x2≥4 x1≤2 x1≥3 ＃ ＃ ＃ ＃ 练习：用分枝定界法求解整数规划问题  LP1 x1=1, x2=7/3 Z(1) ＝10/3 LP x1=3/2, x2=10/3 Z(0) ＝29/6 LP2 x1=2, x2=23/9 Z(2) ＝41/9 x1≤1 x1≥2 ＃ LP3 x1=33/14, x2=2 Z(3) ＝61/14 LP4 无可 行解 x2≤2 x2≥3 ＃ LP5 x1=2, x2=2 Z(7) ＝4 LP6 x1=3, x2=1 Z(8) ＝4 x1≤2 x1≥3 ＃ ＃ 一、计算步骤 1、用单纯形法求解( IP )对应的松弛问题( LP ) ⑴ 若( LP )没有最优解，则( IP )也没有最优解，停止计算； ⑵ 若( LP )有最优解，并符合( IP )的整数条件，则( LP )的最优解即为( IP )的最优解，停止计算； ⑶ 若( LP )有最优解，但不符合( IP )的整数条件，转入下一步。 第三节 整数规划的解法 — 割平面法 2、从(LP)的最优解中，任选不为整数的分量xi ,将最优单纯形表中该行的系数 和 分解为整数部分和小数部分之和，并以该行为源行，作割平面方程 由最终单纯形表可以得到： 将 和 分成整数部分和非负真分数之和，即 代入上式得： 因变量为整数，即上式左边必须是整数，由右边看，因为0fi 1，所以不能为正，即 割平面方程 3、将由割平面方程得到的约束条件作为一个新的约束条件置于最优单纯形表中，用对偶单纯形法求出新的最优解，返回1。 例1 、用割平面法求解整数规划问题 解：增加松弛变量x3和x4 ，得到(LP)的初始单纯形表和最优单纯形表： 0 1 0 x4 0 0 1 0 0 －Z 0 1 2 9 x4 0 1 3 2 14 x3 0 x3 x2 x1 b XB CB 0 2 3 Cj -5/4 1/4 -1/2 x4 0 -1/4 0 0 -3/2 －Z -1/4 0 1 13/