第六章整数规划(应用运筹学)讲解.ppt

Chapter 6 Integer Programming 整数规划 §1 Graphical Method for Integer Programming 整数规划的图解法 §2　Branch and Bound for Pure IPs 整数规划的分枝定界法 §3 Binary integer programming 0-1整数规划 §4 Assignment Problems 指派问题 求整数解的线性规划问题，不是用四舍五入法或去尾法对线性规划的非整数解加以处理都能解决的，而要用整数规划的方法加以解决。 在整数规划中，如果所有的变量都为整数，则称为纯整数规划问题；如果有一部分变量为整数，另一部分变量可以不取整数，则称之为混合整数规划问题。在整数规划中，如果变量的取值只限于0和1，这样的变量我们称之为0-1变量。在纯整数规划和混合整数规划问题中，如果所有的变量都为0-1变量，则称之为0-1规划。 例1 TBA 航空公司飞机采购问题Airlines Problem 图解法 Graphical Method for Integer Programming 当一个整数规划问题只有两个决策变量时，可用图解法求解 首先去掉整数约束，得到松弛规划。确定松弛规划的可行域。根据目标函数确定等值线，将等值线沿着梯度的方向移动。. 当等值线平移到可行域内的最后一个整数点，使目标函数取得最优值时，这个整数解即为最优解。 用图解法求例1最优解 图解 §1　整数规划的图解法 例1. 某公司拟用集装箱托运甲、乙两种货物，这两种货物每件的体积、重量、可获利润以及托运所受限制如表所示。 P162 甲种货物至多托运4件，问两种货物各托运多少件，可使获得利润最大。 解：设x1 、 x2分别为甲、乙两种货物托运的件数，建立模型 目标函数： Max z = 2x1 +3 x2 约束条件： s.t. 195 x1 + 273 x2 ≤1365 4 x1 + 40 x2 ≤140 x1 ≤4 x1，x2 ≥ 0 为整数。 如果去掉最后一个约束，就是一个线性规划问题。利用图解法， 得到线性规划的最优解为x1=2.44, x2=3.26,目标函数值为14.66。 由图表可看出，整数规划的最优解为x1=4, x2=2,目标函数值为14。 性质1：任何求最大目标函数值的纯整数规划或混合整数规划的最大目 标函数值小于或等于相应的线性规划的最大目标函数值；任何求最小目 标函数值的纯整数规划或混合整数规划的最小目标函数值大于或等于相 应的线性规划的最小目标函数值。 §2 Branch and Bound Technique for Pure IPs整数规划的分枝定界法 分枝定界法步骤 第一步: 将原规划称为问题A0.去掉整数约束得到相应的松弛规划B0 第二步：求解B0 ，有以下几种情况：(1) B0无解→ A0无解，停止计算 (2) B0 最优解为整数，则B0 最优解为A0最优解，停止计算 (3) B0 最优解不是整数解，则转入下一步 第三步：确定初始上界 和下界 ，记B0 最优值为 用观察法找到A 0.的一个整数解，此解的目标函数值记为 第四步：分枝（将问题B0分枝），在的最优解中，任选一个不符合整数条件变量 xj＝bj 构造两个约束条件， xj≤[bj ]； xj ≥ [bj ]＋1；加到 B0中得到两个子规划B1和B2（两支）。 第五步：比较与剪枝，对B1和B2求解，可得到以下情况： (1) 分枝无解→该分枝是树叶，剪枝。 (2) 分枝最优解为整数，从该最优解的目标函数值与原来的 值中选最大的值作为新的 ，该分枝为树叶，剪掉 (3) 该分枝最优解不是整数解，但其目标函数值≤ 当前下界 ,该分枝剪掉 (4) 该分枝最优解不是整数解，而其目标函数值 ≥当前下界 ，则该枝需要继续分枝，在各分枝中选目标函数最大的那枝进行分枝。 第六步：修改上、下界 (1)每求出一次符合整数的解，都要考虑修改下界 ，选整数解的目标函数值最大者为新的下界 (2)修改