[管理学]第五章_整数规划.pptVIP

第五章 整数规划 第一节 数学模型及解的特点 在数学规划问题中要求一部分或全部决策变量必须取整数值的规划问题称为整数规划 在整数规划中去掉取整数的约束，剩下的目标函数和约束条件构成的规划问题称为该整数规划的松弛问题 若整数规划的松弛问题是线性规划，则称该整数规划为整数线性规划（只讨论整数线性规划） 整数线性规划的数学模型 整数线性规划的几种类型 整数规划的例子 整数线性规划问题解的特点 分支定界法 分支定界法举例 第四节 0-1型整数规划 含有相互排斥的约束条件的问题(例7) 工件排序问题（p138） 0-1型整数规划问题的解法 指派问题 指派问题的标准形式 指派问题数学模型 例（p149） 系数矩阵的性质 匈牙利解法（1） 匈牙利解法（2） 匈牙利解法（3） 匈牙利解法（4） 匈牙利解法（5） 非标准形式的指派问题 非标准形式的指派问题（1） 非标准形式的指派问题（2） 非标准形式的指派问题（3） 非标准形式的指派问题（4） 非标准形式的指派问题—例（p147例13） 当引入如下的0-1型变量 则数学模型为 每个人必须承担也只能承担一项工作 每项工作必须指派给一人也只能指派给一人 明显地不同的n阶指派问题，有相同的可行解。但最优解可能不同。区别在于它们目标函数的系数不同。称指派问题的目标函数系数构成的矩阵 为系数矩阵。 指派问题的解可以用矩阵表示： 若矩阵X是指派问题的一个可行解，则它的每一行恰好有一个元素等于1其余元素为零，每一列也恰好有一个元素等于1其余元素为零。因此指派问题有n!个可行解。 6 10 12 9 6 A5 10 6 14 7 6 A4 7 8 12 9 6 A3 10 14 17 9 7 A2 12 15 7 8 4 A1 B5 B4 B3 B2 B1 Ai Bj 系数矩阵： 1. 系数矩阵C=(cij)的某行（列）各元素分别减去一个常数k，得到一个新的矩阵C=(cij)，则以C和C为系数矩阵的两个指派问题有相同的最优解 称系数矩阵中位于不同行不同列的一组零元素称为独立零元素。 2. 系数矩阵C=(cij)中独立零元素的最多个数等于能覆盖所有零元素的最少直线数 变换系数矩阵：使变换后的矩阵各行各列出现零元素 4 7 6 6 6 0 1 3 0 0 减去每行最小者 减去每列最小者 确定独立的零元素 若独立零元素的个数小于矩阵的阶数，转下一步，否则按独立零元素进行指派 对有唯一零元素的行（列），将零元素圈起来，再划去其所在列（行）的其他零元素。对有多个零元素的行（列），优先选择所在列（行）零元素较少的圈起来，然后划去其所在行与列的其他零元素。 用最少的直线覆盖所有的零元素 对没有独立零元素的行打“√” 在已打“√”行中，选择划去零元素的列打“√” 在已打“√”列中，选择圈住了的零元素的行打“√” 用线条覆盖没打“√”的行和已打“√”的列 继续变换矩阵，使其中出现新的零元素 选择没有被覆盖的元素中最小的元素；没有被覆盖的元素减去这一最小的元素，位于直线交叉处的元素加上这个最小的元素 重新确定独立零元素 最优指派方案：A1→B3, A2→B2, A3→B1, A4→B4, A5→B5。按照此方案指派费用最少，为7+9+6+6+6=34 注：匈牙利解法是一反复迭代的过程 当独立零元素的个数等于系数矩阵的阶数时就可完成指派，否则回到第3步。 非标准形式的指派问题可以化为标准形式的指派问题求解 最大化指派问题： 设最大化指派问题的系数矩阵为 C=(cij)，其中最大元素为m，构造矩阵B=(bij)=(m-cij)，则以B为系数矩阵的最小化指派问题与以C为系数矩阵的原最大化指派问题有相同的最优解 人数和事数不等的指派问题： 若人少事多，则添上一些虚拟的“人”，使得人数与事数相等，而虚拟的“人”承担各事的费用为零 若人多事少，则添加一些虚拟的事，使人数与事数相等，各人做虚拟的“事”的费用为零 一个人可做几件事的指派 若某人可做几件事，则可将此人看作相同的几个“人”，这几个“人”做同一件事的费用相同 某事一定不能由某人承担 若某事一定不能由某人来做，则可取此人承担该件事的费用为M 例如：人多事少的情形，若某人必须承担工作任务，则此人承担虚拟的“事”的费用为M；类似地，在人少事多的情形，若某项工作必须完成，则虚拟的“人”做该工作的费用为M B1 B2 B3 B4 B5 4 8 7 15 12 A1 7 9 17 14 10 A2 6 9 12 8 7 A3 4 8