第五章 整数规划(运筹学教程).ppt

第五章 整数规划 §1 整数规划问题的提出 §2 分枝定界法 §3 ? 割平面法 §4 0-1型整数规划 §5 指派问题 第五章 整数规划（重点和难点） 1、理解整数规划的数学模型 2、了解整数规划模型的类型 3、了解整数规划的求解方法 4、掌握分枝的思想和步骤（重点和难点） 5、理解割平面法的思想和步骤 5、了解0-1规划的隐枚举法 6、掌握指派问题的数学模型和求解方法（重点和难点） §1 整数规划问题的提出 理解整数规划的数学模型 了解整数规划模型的类型 了解整数规划的求解方法 掌握分枝的思想和步骤 了解0-1规划的隐枚举法 掌握指派问题的数学模型和求解方法 令xi表示小偷选择物品i的数量，则背包问题的数学模型为 问题分析 设x1,x2分别为甲乙两种货物的托运箱数(非负整数),则 Max z=20x1+10x2 5x1+4x2≤24 2x1+5x2 ≤13 x1，x2≥0， x1，x2整数。 求解线性规划的最优解得： x1=4.8，x2=0， Max z=96 。 四舍五入得x1=5，x2=0，但不是可行解，取整x1=4，x2=0是可行解，z=80,是不是最优解呢？不是，因为可行解x1=4，x2=1对应的z=90。 那么，如何求整数规划的最优解，这就是本章的主要内容。 什么是整数规划？ 1、一个线性规划如果有某些决策变量是整数，则称为整数规划（Integer programming)； 2、整数规划的类型： 纯整数规划； 混合整数规划； 0-1（整数）规划。 整数规划的可行解，最优解 x2 3 2 + 1 + + + + + 1 2 3 4 5 6 7 x1 §2 分枝定界法 对于整数规划问题，如果是两个自变量则可以用图解法（要比线性规划难）。 当可行区域有界时，整数可行解的个数为有限个，因此，可把所有的整数可行解求出来，目标函数值最大者对应的可行解就为最优解，这种方法称为枚举法。 但是，当变量较多时，可行整数解的个数也很多，其计算量仍然很大。 例如指派n人做n件事的问题就有n!个可行解，当n=10时，可行解超过300万个，当n=20时，可行解超过2*1018个，枚举法就不行了。因此，下面要给出整数规划的有效求解方法。 求解整数规划的方法 分枝定界法； 割平面法； 其它算法。 分枝定界法 设有极大型的整数线性规划问题，记为 ILP ，与之对应的普通线性规划问题记为 LP 。分枝定界法求解 ILP 问题的基本思路是： 1、先从求解LP 问题开始，如果 LP 的解不符合整数条件，那么 LP 的最优目标值必然构成ILP 最优目标值的一个上界，记为 ； 2、而 ILP 的任意可行解的目标值都将是最优目标值的一个下界，记为 z 。 所谓分枝定界法就是将LP 问题的可行域划分为两个子域（分枝，中间去掉了一块没有整数可行解的部分），使上界 逐步减小，而通过获得更好的整数可行解使下界 z 逐步增大，最终求得最优解 z* 。 例2 求解 A Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤70 x1，x2≥0 x1，x2整数 解 先不考虑整数约束,用求解线性规划B：返回 Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤70 x1，x2≥0 得最优解得x1=4.81，x2=1.82,最优值 z0=356. 如果x1，x2是整数,则就是最优解,否则分枝定。 如何分枝和定界 （定界） ,由于z0=356是原整数规划去掉整数约束的最大值，因此它就是原整数规划的目标函数值的上界,即 z≤ 356(为什么)；找一个整数规划的可行解x1=0，x2=0,对应的目标函数值 0,则它是整数规划最优值的下界,因此0 ≤ z≤ 356. （分枝）选择任一非整数变量(只选一个), x1=4.81,将x1≤4， x1 ≥5分别添加到线性规划B得到两个新的原整数规划B1,B2: 每次对一个线性规划问题进行分枝一次，就定界一次。 分枝 B1 Max z=20x1+10x2 x2 5x1+4x2≤24 2x1+5x2 ≤13 x1 ≤ 4 x1，x2≥0 B2 Max z=20x1+10x2 5x1+4x2≤24 x1 2x1+5x2 ≤13 x1 ≥ 5 x1，x2≥0LP 解得 修改上界和下界,得 0 ≤ z≤ max(z1,z2)= max(349,341)=349