运筹学-整数规划指派问题.ppt

0－1变量： 在整数规划问题中，有一类特殊的整数规划，不仅要求解为整数，而且要求只能取得0和1两个整数值，这类整数规划称之为0－1型整数规划，该类解称为0－1变量。 * * 第三节???? 0－1型整数规划? 一 指派问题 由n项不同的工作或任务，需要n个人去完成（每人只能完成一项工作）。由于每人的知识、能力、经验等不同，故各人完成不同任务所需的时间（或其它资源）不同。 问应指派哪个人完成何项工作所消耗的总资源最少？ 指派问题的数学模型 引进0-1变量 表示安排第i个人完成第j项工作 表示不安排第i个人完成第j项工作 决策变量矩阵可表示为： 用 表示第i个人完成第j项工作所需的资源数，称之为效率 系数（或价值系数）。表示为 则指派问题的数学模型为 或1 注：指派问题是一种特殊的LP问题，是一种特殊的运输问题。 目前认为最简洁的方法—匈牙利法。 例 某商业公司计划开办五家新商店。为了尽早建成 营业，商业公司决定由5家建筑公司分别承建。已知建筑 公司 对新商店 的建造 报价（万元）为 ，商业公司应当对5家建筑公司怎样分配建筑任务，才能使总的建筑费用最少？ 这是一个标准的指派问题。若设0-1变量 当 承建 时 当 不承建 时 则问题的数学模型为 或1 如何分派工作? -4 -6 -7 -6 -7 从而导出匈牙利解法的思想： 1955年,由库恩（W.W.Kuhn）根据匈牙利数学家狄·考尼格（d.konig)关于矩阵中独立零元素的定理发明的。 匈牙利法的基本原理： 定理1 将效率矩阵的某一行（或某一列）的各个元素都减去 同一个常数t (t可正可负），得到新的矩阵，则以新矩阵为 效率矩阵的指派问题与原指派问题的最优解相同。但其最 优值比原最优值减少t 。 解：设效率矩阵C为 二匈牙利解法 记新指派问题的目标函数为 ， 注意到 所以原式 因此有 推论 若将指派问题的效率矩阵每一行及每一列分别减去各 行各列的最小元素，则得到的新的指派问题与原指派问题有 相同的最优解。 注：当 cij=0 时，从第i行看，它表示第i人去干第j项工作效率（相对）最好，而从第j列来看，它表示第j项工作让第i人来干效率（相对）最高。 问题是：能否找到位于不同行、不同列的n个0元素？ 定义 在效率矩阵C中，有一组处于不同行、不同列的零元素， 称为独立零元素组，此时其中每个元素称为独立零元素。 例 已知 则 是一个独立零元素组， 分别称为独立零元素。 也是一个独立零元素组。 不是一个独立零元素组。 定理 效率矩阵C中独立零元素的最多个数等于能覆盖所 有零元素的最少直线数。 本定理由匈牙利数学家狄·考尼格证明的。 例 已知矩阵 例 现有一个4×4的指派问题，其效率矩阵为： 求解该指派问题。 步骤1：变换系数矩阵，使得每行及每列至少产生一个零元 素。 -2 -4 -9 -7 -4 -2 步骤2：用圈0法确定 中的独立0元素。若独立零元素个 素有n个，则已得最优解。若 独立零元素的个数 n, 则转 入步骤3。 其余全为0。 在只有一个0元素的行（或列）加圈，表示此人只能做该事 （或此事只能由该人来做），每圈一个“0”，同时把位于同 列同行的其他零元素划去。表示此时已不能再由他人来做（或此人已不能做其它事）。如此反复，直到矩阵中所有零元素都被圈去或划去为至。 在遇到所有行和列中，零元素都不止一个时，可任选其中 一个加圈，然后划去同行、同列其他未被标记的零元素。 例 步骤3： 若矩阵所有零元素都被标记的，但圈零的个数m n ，作最少直线覆盖当前零元素。 已知5家建筑公司承建5家商店系数矩阵 -4 -7 -6 -6 -6 -1 -3 ⒈变换系数矩阵 ⒉ 确定独立零元素. ⒊ 作最少直线覆盖当前所有零元素。 由于独立零元素个数4 5. ⑴ 对没有圈0的行打“?”。 ⑵ 在已打“?”的行中，对零元素所在的列打“?”。 ? ? ⑶ 在已打“?”的列中，对圈0元素所在的行打“?”。 ? ? ? ? ⑷ 重复⑵和⑶，直到再也找不到可以打“?”的行或列为止 ⑸ 对没有打“?”的行画一横线，对已打“?”的列画一纵线， 即得覆盖当前0元素的最少直线数目的集合。 ? ? ? ⒋ 继续变换系数矩阵，以增加0元素。 在未被直线覆盖的元素中找出一个最小的元素。对未被直 ? ? ? ? ? ? 线覆盖的元素所在的行（或列）中各元素都减去这一元素。这 样，在未被直线覆盖的元素中势必会出现0元素，但同时却又 使已覆盖