运筹学4 整数规划（2＋1）.ppt

运筹学Operations Research 孙现军 河南理工大学土木工程学院 工程管理系 第四章 整数规划－IP ４1 整数规划的数学模型 ４.2 整数规划的求解方法 ４.2.1 整数规划问题的求解思路 ４.2.2 分枝定界法 ４.2.3 割平面法 ４.3 整数规划问题的应用 ４.3.1 0－1规划与隐枚举法 ４.3.2 指派问题与匈牙利法 ４.1 整数规划的数学模型 教学目标：熟悉整数规划数学模型的特点，会建立整数规划的数学模型。 教学重点：整数规划数学模型的特点 引入 在前面的线性规划问题的讨论中,对决策变量只限于不能取负值的连续型数值，即可以是正分数或正小数。 然而在许多经济管理的实际问题中，决策变量只有非负整数才有实际意义。比如产品件数；钢筋根数；人员数量等 对求整数最优解的问题，称为整数规划。 根据变量特点分类 1、纯整数规划，所有变量都取整数. 2、混合整数规划，一部分变量取整数,一部分变量取实数 3、0-1整数规划 ,所有变量均取0或1 整数规划模型的建立 设按照方式 Aj下料的原料有 xj 根（j =1,…,8）；所用原料为 y 根。于是，本下料问题的数学模型是： 例2 整数规划模型的建立 ４.2 整数规划的求解方法 教学目标：熟悉整数规划模型求解的基本思想，掌握分枝定界法和割平面法的基本步骤。 教学重点：分枝定界法和割平面法的基本步骤 ４.2.1 整数规划问题的求解思路 设想1： 把整数规划当线性规划问题求解，如果其解恰好为整数，岂不很好。 四舍五入 看看四舍五入如何？ 四舍五入 下例是最大化纯整数规划，其相应线性规划为： 整数规划求解方法的两个分支 第一分支：搜索法，即在其解集范围内有效搜索可能的整数点的集合； 穷举 整数规划求解方法的两个分支 第二分支：割平面法，即割去解集中不含整数解的部分； ４.2.2 分枝定界法 1、概述： 20世纪60年代数学家R.J.Dakin等提出 是一种搜索法 直接适用于纯整数规划或混合整数规划。 2、分枝定界法的基本思想 1）运用某种策略将原问题的可行域分解的越来越小的子域——“分枝”；检查子域内整数解的情况，直到找到最优解或证明整数解不存在； 2） “定界” ——如果某个子域内部的非整数最优解 比已寻找到的整数最优解还要差，就不再寻找该子域内部的整数最优解，称该子域已经“查清”。 3、分支定界法的求解的三个步骤 第一步：主要特征就是放宽。指通过删去整数条件，把原整数规划化成相应线性规划。 能够得到三个结论： 原IP的可行域在相应LP的可行域内部。 原IP的最优值不大于相应LP的最优解。 如果最优解是整数解，则也是IP的最优解。 第一步做法：去掉整数条件，求相应LP问题最优解，如果是整数解，结束，否则，进入第二步。 3、分支定界法的求解的三个步骤 第二步：主要特征是分枝。 从LP最优解中，任选一个不满足IP整数条件的决策变量xj=bj。增加两个分枝约束xj≥bj， xj≤bj ；因而得到两个新的LP，称为分枝。其中每个新的线性规划，统称为枝。 有如下结论：原IP的可行域真包含于两枝可行域的并集。原整数规划的最优解不大于两枝最优值的最大值。 具体作法是：先列出两枝各自的数学模型，后计算每枝的最优解和最优值。 3、分支定界法的求解的三个步骤 第三步：主要特征就是定界，由各枝的最优值中选最大值，称为定界。而该最大值，称为界。最优值称为界的枝，称为界枝。 结论：若界枝的最优解满足原整数规划的最优条件，则它也是原整数规划的最优解。 具体做法为：进行定界，找出界枝。若界枝的最优解就是原整数规划的最优解，则计算过程便告结束；否则，回到第二步。 例 利用分枝定界法求解 解：本题属于最大化纯整数规划。为便于叙述，我们将其记作A。现在利用分枝定界法求解之。 采取图解法或单纯形法，求得B的 最优解(x1 ,x2)=(2.25，3.75)T 最优值ymax =41.25。 分枝：由B的最优解中，选择决策变量x2=3.75，按照既定的原则写出B的两枝： 定界：由图可知。界为max{39,41}=41。于是界枝是B2。B2的最优解不满足A的整数条件，从而它不是A的最优解。因此，应当再次分枝。 第二次分枝：由B2的最优解中，选择决策变量x1=1.8，写出B2的两枝： 第三次分枝： 现在，已完成的求解过程和所得到的计算结果见下图： 第三次定界 由上图可知，界为max{39, 37, 40 } = 40. 所以，界枝是B212。由于B212的最优解满足A的整数条件，它一定也是A的最优解。于是，原整数规划的最优解为： (x1，x2)=(0，5)，最优值ymax= 40。 课本P128页例3是一个利用分枝定解法求解纯整数规划问题，其基本步骤也适用于