第七章 整数规划问题的.ppt

整数线性规划数学模型的一般形式为: 整数线性规划问题可以分为下列几种类型： ?二、整数规划的例子 三、解的特点 7.2.1 思路与解题步骤（只解松弛问题） 1、在全部可行性域上解松弛问题 若松弛问题最优解为整数解，则其也是整数规划的最优解 2、分枝过程 若松弛问题最优解中某个xk=bk不是整数，令[bk]为 bk的整数部分 构造两个新的约束条件 xk≤ [bk] 和 xk≥ [bk] +1，分别加于原松弛问题，形成两个新的整数规划 3、求解分枝的松弛问题 — 定界过程 设两个分枝的松弛问题分别为问题1和问题2，它们的最优解有如下情况 §7-2 分支定界法 表7.2.1 分枝问题解可能出现的情况 作业点评： 分枝问题的松弛解 1、投资场所的选定--相互排斥的计划 例1：某公司拟在市东、西和南三区建立门市部，拟议有7个位置Ai（i=1、2....7）可供选择，规定： 在东区A1、A2、A3中至多选择两个； 在西区A4、A5中至少选择一个； 在东区A6、A7中至少选择一个 如选择在Ai，设备投资估计为bi，每年可获利润为ci，投资总额不能超过B，应选择哪几个点可使得利润最大（建模） 二、匈牙利法 １、基本思想： （1）匈牙利法基于任务分配问题的标准型，应满足三个条件： 目标函数要求min； 效率矩阵｛aij｝为方阵; 效率阵中所有元素aij≥０且为常数 基本步骤： 3、不规范形式的转化 要求所有aij ?0 若某些 aij 0 ，则利用定理 1 进行变换，使所有 bij ? 0 目标函数为min型 对于max型目标函数，将效率矩阵中所有 aij 反号，则等效于求min型问题；再利用定理 1 进行变换，使所有 bij ? 0，则可采用上述算法 2、人数和事数不等的指派问题 3、一个人可做几件事的指派问题 引例2：一份中文说明书需要译成英、日、德、俄四种文字（E，J，G，R），现有甲、乙、丙、丁四人可以完成上述任务，他们将说明书翻译成不同语种的文字所需时间如下表，且一项任务只能由一人去完成，每人只能完成一项任务。问：指派何人完成何工作，可使总花费时间最少？ i j E J G R 甲 2 15 13 4 乙 10 4 14 15 丙 9 14 16 13 丁 7 8 11 9 （1）n项工作怎样分配给n个工作人员去完成， 可以使总花费时间最省； （2）n项加工任务怎样分配给n台机床去完成， 可以使总费用最低； （3）n条航线，怎样指定n艘班轮去完成航行任 务，可以使总运输费用最低； 。。。。。。 ——该类问题是运输问题的特殊形式，称为 指派问题。 （一）指派问题 （二）指派问题的基本特征 性质：特殊的运输问题、特殊0-1规划问题。 特征：（1）决策变量为0-1变量； (2) 发点数m = 收点数 n； （3）ai=bj=1 i,j=1,2,…,n ; （三）指派问题的基本模型 运输问题是任务分配问题的松弛问题 任务分配问题不但是整数规划，而且是0?1规划 任务分配问题有2m个约束条件，但有且只有m个非零解，是自然高度退化的 任务分配是匹配问题，有著名的匈牙利算法 任务分配问题模型特征： 定理 1（构造等效矩阵） 如果从效率矩阵{aij}m?m中每行元素分别减去一个常数 ui，从每列元素分别减去一个常数 vj ，所得新的效率矩阵{bij}m?m的任务分配问题的最优解等价于原问题的最优解。证明： 定理 2 若方阵中一部分元素为零，一部分元素非零，则覆盖方阵内所有零元素的最少直线数等于位于不同行、不同列的零元素的最多个数。 证明：略 （３）基本思路： 根据定理 1 变换效率矩阵，使矩阵中有足够多的零。若矩阵中存在 m 个不同行不同列的零，就找到了最优解 若覆盖变换后的效率矩阵零元素的直线少于m 条，就尚未找到最优解，设法进一步变换矩阵，增加新的零 （２）匈牙利定理 引例：有四个熟练工人，他们都是多面手，有四项任务要他们完成。若规定每人必须完成且只完成一项任务，而每人完成每项任务的工时耗费如下表，问如何分配任务使完成四项任务的总工时耗费最少？ ２、计算步骤 第一步 建立等效矩阵(行变换和列变换) 使等效矩阵每一行和每一列都至少有1个0 第二步（最优解