44整数规划.ppt

第五章 整数规划 1. 整数规划的数学模型 2. 指派问题 3. 0-1整数规划 4. 分支定界法 5. 割平面法 1.整数规划的数学模型 整数规划中不考虑整数条件对应的规划问题 ——该整数规划的 松弛问题。 1.2 整数线性规划的几种类型 例1：某医药公司现有两个制药厂A1和A2，三个销售点B1、B2 和 B3。由于供不应求，公司打算由两个拟建的制药厂A3 和 A4 中选择一个来兴建新厂。新厂投产后，估计每月的固定成本：A3 是100万元，A4 是120万元。各销售点每月药品需求量、各制药厂每月药品产量和每箱药品运费见下。在两个拟建的制药厂中，应当选择哪个，使总成本最低（建立数学模型）？ 设： 目标函数： Min Z= 3X11 + 2X12 + 3X13 （A1每月的运费） + 10X21 + 5X22 + 8X23 （A2每月的运费） + X31 + 3X32 + 10X33 （A3每月的运费） + 4X41 + 5X42 + 3X43 （A4每月的运费） + 1000000 （A3每月的固定成本） + 1200000 （A4每月的固定成本） 目标函数： Min Z= 3X11 + 2X12 + 3X13 （A1每月的运费） + 10X21 + 5X22 + 8X23 （A2每月的运费） + X31 + 3X32 + 10X33 （A3每月的运费） + 4X41 + 5X42 + 3X43 （A4每月的运费） + 1000000 u （A3每月的固定成本） + 1200000 v （A4每月的固定成本） 例1的数学模型为： 2. 指派问题(assignment problem) 2.1指派问题的标准形式及其数学模型 2.2匈牙利解法 2.3一般的指派问题 在我们现实生活中，常有各种性质的指派问题。例如：应如何分配若干项工作给若干个人（或部门）来完成，以达到总体的最佳效果等等。由于指派问题的多样性，我们有必要定义指派问题的标准形式。 2.1指派问题的标准形式及其数学模型 指派问题的标准形式（以人和事为例） n 个人做 n 件事，要求每件事需要人做，每人必须而且只做一件事。设第i人做第j件事的费用为 Cij（i,j＝1，2……，n)如下，怎样安排使总费用最少。 2.3一般的指派问题 在实际应用中，常会遇到各种非标准形式的指派问题。通常的处理方法是先将他们化为标准形式，然后再用匈牙利解法解之。 1、最大化指派问题 设最大化指派问题系数矩阵C=(Cij)n×n,其中最大元素为m,令矩阵B=(bij)n×n=(m-cij)n×n,则以B为系数矩阵的最小化指派问题和以C为系数矩阵的最大化指派问题有相同最优解。 一般指派问题 2、人数和事数不等的指派问题 （1）人少事多 （2）人多事少 类似产销不平衡问题,添加虚拟的“人”或“事”，费用系数为0。 3、一个人可做几件事的指派问题。 此人所在的行重复多次 4、某事一定不能由某人做的指派问题。 将相应的费用系数取作足够大的数M。 5、如果事比人多一件，存在一个人可做两件事时，添加虚拟的“人”,费用系数为各人之最佳值。 例3：纯整数规划 整数规划常用的解法是分枝定界法和割平面法。一旦遇到仅含两个决策变量的情况，可以采用图解法，其计算方法与线性规划图解法大同小异，就不再赘述。 4.分支定界法 第一步 第二步 主要特征是分枝。从相应线性规划的最优解中，任意选择一个不满足原整数规划整数条件的决策变量xj=bj。以使相应线性规划增加一个约束条件；xj小于等于bj的最大整数（或xj大于等于bj的最小整数），因而得到两个新的线性规划，称为分枝。其中每个新的线性规划，统称为枝。 第三步 主要特征就是定界，由各枝的最优值中选最大值，称为定界。最优值称为界的枝，称为界枝。 5. 割平面法（适应于纯整数规划） 在纯整数线性规划中