《第四讲整数规划》-课件设计（公开）.pptVIP

第四讲 整数规划 在求解线性规划问题时，得到的最优解可能是分数或小数，但许多实际问题要求得到的解为整数才行。这种要求线性规划有整数解的问题,称为整数规划(Integer Programming)或简称IP。 引例 某厂拟用火车装运甲、乙两种货物集装箱，每 箱的体积、重量、可获利润以及装运所受限制如下： 货物集装箱 体积(米3) 重量(百斤) 利润(百元) 甲 5 2 20 乙 4 5 10 托运限制 24 13 问两种货物各装运多少箱，可使获得利润最大？ 整数规划的数学模型 若要求所有 xj 的解为整数，称为纯整数规划 若要求部分 xj 的解为整数，称为混合整数规划 对应没有整数解要求的线性规划称之为松弛问题 整数规划的解是可数个的，最优解不一定发生在极点 整数规划的最优解不会优于其松弛问题的最优解 第二节 分支定界法 第三节 0-1 整数规划 0-1型整数规划是整数规划的一种特殊形式，它的变量xj仅取值0或1。这种只能取0或1的变量称为0-1变量或二进制变量。 下面通过过以下几个例子说明一下： 2. 试求最优解。如能找出n个位于不同行不同列的零元素，令对应的xij= 1，其余xij = 0，得最优解，结束；否则下一步。 作法：由独立0元素的行（列）开始，独立0元素处画 标记 ，在有 的行列中划去其它0元素；再在剩余的0元素中重复此做法，直至不能标记 为止。 * * * 第一节 整数规划的数学模型及解的特点 是不是可通过把不考虑整数要求求得的最优解经过“化整”得到满足整数要求的最优解呢？ 设甲、乙两种货物装运箱数分别为x1和x2。显然，x1、x2 都要求为整数,于是可建立整数规划模型如下： Max z＝20x1+10x2 (1) 5x1+4x2≤24 (2) 2x1+5x2≤13 (3) x1,x2≥0 (4) x1,x2为整数 (5) 它和线性规划问题的区别在于条件(5)。 此例可解得x1=4.8,x2=0，凑整为x1=5,x2=0，这就破坏了条件(2)，因而不是可行解；如截断小数变为x1=4,x2=0，这当然满足所有约束条件，但不是最优解，因为对x1=4,x2=0有z＝80，而对x1=4,x2=1（也是可行解）有z＝90。因此要专门研究整数规划的解法。 分枝定界法是20世纪60年代由Land-Doig和Dakin等人提出的。这种方法既可用于纯整数规划问题，也可用于混合整数规划问题，而且便于用计算机求解，所以很快成为解整数规划的最主要的方法。 例 求解问题 Max z=40x1+90x2 9x1+7x2 ≤ 56 7x1+20x2≤70 x1,x2≥0, 整数 R0: z0=356 x1=4.81 x2=1.82 R1:z1=349 x1=4.00 x2=2.10 R2:z2=341 x1=5.00 x2=1.57 R12: z12=327 x1=1.42 x2=3.00 x2≥3 R11: z11=340 x1=4.00 x2=2.00 R21: z21=308 x1=5.44 x2=1.00 R22: 无可 行解 x1 ≤4 x1 ≤1 x1≥5 x1≥2 问题R0为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2≤70 x1,x2≥0 问题R2为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤ 70 x1 ≥ 5 x1,x2 ≥ 0 问题R1为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤ 70 x1 ≤4 x1,x2≥0 x2 ≤2 问题R11为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤ 70 x1 ≤4 x2 ≤2 x1,x2≥0 问题R12为: Max z=40x1+90x