运筹学第4章-整数规划.pptxVIP

第4章 整数规划4.1 问题及其数学模型4.2 分支定界法4.3 割平面法4.4 整数规划4.5 指派问题4.6 整数规划案例目录 CONTENTS4.1 问题及数学模型4.1.1 整数规划问题引例例4.1 某公司拟用集装箱托运甲、乙两种货物，这两种货物每件的体积、重量，可获利润以及托运所受限制如表4.1所示。甲种货物至多托运4件，问两种货物各托运多少件，可使获得利润最大。表4.1 单位货物体积、重量及利润货物每件体积（立方英尺）每件重量（百千克）每件利润（百元）甲19542乙273403托运限制1365（立方英尺）140（百千克）?4.1.1 整数规划问题引例?解：设、分别为甲，乙两种货物托运的件数4.1.2 整数规划的数学模型纯整数规划：所有决策变量为非负整数；全整数规划：所有变量、系数和常数均为整数；混合整数规划：只有一部分决策变量为非负整数，其余变量可为非负实数；0-1整数规划：所有决策变量只能取0获1两个整数。4.1.3 整数规划与线性规划的关系例4.2 设整数规划问题如下首先不考虑整数约束，得到线性规划问题（一般称为松弛问题）。4.1.3 整数规划与线性规划的关系用图解法求出最优解x1＝3/2, x2 = 10/3且有z = 29/6现求整数解（最优解）：如用“舍入取整法”可得到4个点，即 (1，3) (2，3) (1，4) (2，4)。显然，它们都不可能是整数规划的最优解。按整数规划约束条件，其可行解肯定在线性规划问题的可行域内且为整数点。故整数规划问题的可行解集是一个有限集，如图所示。因此，可将集合内的整数点一一找出，其最大目标函数的值为最优解，此法为完全枚举法。4.2 分枝定界法4.2 分支定界法 基本思路4.2 分支定界法分支定界法的步骤如下：1）先不考虑整数约束，解( IP )的松弛问题( LP )，可能得到以下情况之一： ⑴.若( LP )没有可行解，则( IP )也没有可行解，停止计算。 ⑵.若( LP )有最优解，并符合( IP )的整数条件，则( LP )的最优解即为( IP )的最优解，停止计算。 ⑶.若( LP )有最优解，但不符合( IP )的整数条件，转入下一步。 为讨论方便，设( LP )的最优解为：4.2 分支定界法2）定界： 记( IP )的目标函数最优值为Z* ,以Z(0) 作为Z* 的上界，记为＝Z(0) 。再用观察法找的一个整数可行解 X′，并以其相应的目标函数值 Z′作为Z* 的下界，记为Z＝ Z′，也可以令Z＝－∞，则有：Z ≤ Z* ≤3）分枝： 在( LP )的最优解 X(0)中，任选一个不符合整数条件的变量，例如xr=（不为整数），以 表示不超过 的最大整数。构造两个约束条件 xr≤和xr ≥＋1将这两个约束条件分别加入问题( IP ) ，形成两个子问题( IP1)和( IP2 ) ，再解这两个问题的松弛问题( LP1)和( LP2) 。4.2 分支定界法4）修改上、下界：按照以下两点规则进行。 ⑴.在各分枝问题中，找出目标函数值最大者作为新的上界； ⑵.从已符合整数条件的分枝中，找出目标函数值最大者作为新的下界。5）比较与剪枝 各分枝的目标函数值中，若有小于Z 者，则剪掉此枝，表明此子问题已经探清，不必再分枝了;否则继续分枝。如此反复进行，直到得到 Z ＝ Z * ＝ 为止，即得最优解X* 。4.2 分支定界法分支定界法是一种隐枚举方法（implicit enumeration）或部分枚举方法，它不是一种有效的算法，是枚举方法基础上的改进。其关键是分支和定界。例4.3 Max Z = X1 + X2 14X1 + 9X2 ≤ 51 - 6X1 + 3X2 ≤ 1 X1 ， X2 ≥ 0 X1 ， X2 取整数s.t.4.2 分支定界法松弛问题 Max Z = X1 + X2 14X1 + 9X2 ≤ 51 - 6X1 + 3X2 ≤ 1 X1 ， X2 ≥ 0分支定界法图解整数规划例4.3分支定界求解过程（一）该整数规划松弛问题的解为：（X1 ，X2 ）= （3/2 ，10/3）Z0 = 29/64.2 分支定界法松弛问题 Max Z = X1 + X2 14X1 + 9X2 ≤ 51 - 6X1 + 3X2 ≤ 1 X1 ， X2 ≥ 0例4.3分支定界求解过程（二）（3/2 ，10/3）Z0 = 29/6LP1 Max Z = X1 + X2 14X1 + 9X2 ≤ 51 - 6X1 + 3X2 ≤ 1 X1 ≥ 2 X1 ， X2 ≥ 0LP1：解（2，23/9 ）Z1 = 41/9LP2：解（1，7/3 ）Z2 = 10/3LP2 Max Z = X1 + X2 14X1 + 9X2