第2讲 整数线性规划.pptVIP

　　在一些线性规划问题中,变量只有取整数值才有意义,这时的约束条件需添上变量取整数值的限制,这就是整数线性规划问题。一般形式为： 最优解 作为第一次逼近,它不是整数解,故可取相应的方程 二、分枝定界法 　　　分枝定界法可适用于纯整数规划以及混合整数规划。 　　　例１： (5)求出 内的最优解:在 中因新的约束 和原有的约束 矛盾,故 中没有可行解. 显然无可行解,在 中的最优解是:这个解满足整数解的条件,但是否是最优解呢?因有 ,故最优解可能位于 中. * 西南科技大学网络教育 第2讲 整数线性规划 数学建模与数学实验 西南科技大学理学院数学系 主讲教师: 彭煜 鲜大权 杨学南 西南科技大学网络教育系列课程 　　称此为纯整数规划。若其中仅部分变量要求取整数，则称为 混合整数规划，其解法较一般线性规划的解法要复杂些，下面仅 就两个基本方法作简要介绍。 一、割平面法 　　基本思想：先不考虑整数性要求，用单纯形法求出所给问题最优解，若其每个变量恰好都取整数值，则它正好是所求的解；否则，就将该最优的极点连同它的一个邻域，从可行解集中“切除”，但保留其中全部格点。对可行解剩下部分重复上述步骤，以逐步缩小范围，直至找到最优解为止。这里的关键是如何实现上述的“切除”。事实上，这将通过一个附加的约束条件（称为割平面）来实现，故称为割平面法。具体说明如下： 考虑整数线性规划： 设解（１）～（３）式所得结果为： 其中， 可作为原问题（IP）的第一个逼近解。 于是： １.若全部　　为整数，则　　即为（IP）的解； ２.存在　　　整数，则考虑约束方程（５）中相应的方程 它可写成： 其中［t］表示不超过t的最大整数。 由（７）式有： 若原问题(IP)有整数，则由（８）式又可得： 或 其中 为整数。 从（９）式减去（７）式，得： 　这是在原问题有整数解的假定下导出来的新的 约束条件，称为割平面方程。用来导出（10）式 的方程（6），称为诱导方程。 定理 方程组(5)的非负整数解与方程组 的非负解一一对应。 证明:方程组(11)的非负整数解显然是(5)的非负整 数解,设 为(5)式的非负整数解, 代入(10)式,得: 或 因 均为整数,故由(12’) 式知 为整数. 又 得 由此可得 为整数,且 ,即(5)式的非负整数解也满足(10)式. 根据该定理可得结论:原整数线性规划(IP)与整数线性规划 是等价的。 例1 引入松弛变量和剩余变量 后,用单纯形法求出不计整数值限制的最优解,如表1: 7/3 4/3 -1/3 1 0 0 1/3 1/3 -1/3 0 1 0 8/3 2/3 1/3 0 0 1 23/3 5/3 4/3 0 0 0 z 作为诱导方程,从而得到割平面方程: 将割平面方程添入表1,可得下表: 1 0 0 0 0 7/ 4/3 -1/3 1 0 0 -2/3 -2/3 -1/3 0 0 0 1/3 1/3 -1/3 0 1 0 8/3 2/3 1/3 0 0 1 23/3 5/3 4/3 0 0 0 z 显然得到一个非可行的正则解,再用对偶单纯形法求最优解,作为第二次逼近: -3/2 2 ? 1 5/2 1 0 -1 1 0 0 1 1 1/2 0 0 0 0 0 -1/2 0 1 0 2 0 0 0 0 1 6 0 ? 0 0 0 z 于是,已得整数值的最优解: 目标值为max z=6。 解：（１）忽略　　　是整数这一条件，求得 最优解为： 　　这不是整数解。于是，可将R中与　　有关的区域分成　　　　两个区域，即把 和 。因　　要求取整数，所以这两个局部约束区域也可写成整数形式　　　和　　　，即把R分成： （２）在　　内求最优，得： (4)由于(2)、(3)所得的解都不是整数解， 且　　　　 ,所以 在 内的值就可能比在 内的值小,于是进一步将 分成两个区域,注意到由(3)所得的非整数解 ,且要求 是整