整数规划 优秀培训书.pptVIP

第五章 整数规划 §1 整数规划问题的提出 §2 分枝定界法 §4 ? 0-1型整数规划 §5 指派问题 第五章 整数规划（重点和难点） 1、理解整数规划的数学模型 2、了解整数规划模型的类型 3、了解整数规划的求解方法 4、掌握分枝的思想和步骤（重点和难点） 5、理解割平面法的思想和步骤 5、理解0-1变量在建立数学模型中的作用，了解0-1规划的隐枚举法 6、掌握指派问题的数学模型和求解方法（重点和难点） §1 整数规划问题的提出 理解整数规划的数学模型 了解整数规划模型的类型 了解整数规划的求解方法 掌握分枝的思想和步骤 了解0-1规划的隐枚举法 掌握指派问题的数学模型和求解方法 例1 某厂拟用集装箱托运甲乙两种货物，每箱的体积、重量、可获利润以及托运所受限制如表5-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、整数规划的类型： 如果所有的变量都限制为(非负)整数，就称为纯整数线性规划(pure integer linear programming)或称为全整数线性规划(all integer linear programming) 如果仅一部分变量限制为整数，则称为混合整数规划(mixed integer linear programming)。 整数线性规划的一种特殊情形是0-1规划，即变量的取值仅限于0或1。 本章最后讲到的指派问题就是一个0-1规划问题。 整数规划的可行解，最优解 x2 3 2 + + 1 + + + + + 0 0 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.