运筹学－0-1规划指派问题.pptVIP

第五章 整 数 规 划 1．整数规划的基本概念 2．分枝定界法解整数规划 3．０－１规划 4. 指派问题及其解法 具体作法是：从相应线性规划的最优解中，任意选择一个不满足原整数规划整数条件的决策变量xj=bj。以使相应线性规划增加一个约束条件；xj小于bj的最大整数（或xj大于bj的最小整数），因而得到两枝新的线性规划，然后计算每枝的最优解和最优值。 第四节 0-1 规 划 一、0-1 规划的概念 二、隐枚举法 y为增加的物品总价值 只取0或1的变量,称为0-1变量。若纯整数规划的决策变量都是0-1变量，则称为0-1规划。 在讨论线性规划时，如果研究对象可以归结为互相对立的两种可能情况，那么依靠引入0-1变量，就能够将它进一步化成0-1规划。 二、隐枚举法 从理论上讲，求解0—1规划，可用枚举法。 这时，一旦有n个决策变量x1，x2，…，xn，就必须逐一地检查（x1，x2，…，xn）的2n种取值（不仅仅指可行解）。但是，当 n＞10时，即使经历漫长的计算过程找到了最优解，也会由于时过境迁而失去实用价值。 隐枚举法是0-1规划的常用解法，它只须检查（x1，x2，…，xn）取值的一部分，即可找到最优解。 例10 利用隐枚举法求解例9。 本0-1规划包含4 个决策变量。所以（x1，x2，x3，x4）共有24种不同的取值。见表2-12。其中：（x1，x2，x3，x4）是24种取值；（0）′和（1）′是将（x1，x2，x3，x4）取值代入后的计算结果。考查它们是否满足（0）和（1）：当不满足某个约束条件时，同行以下的各项就不再考虑，这表明（x1，x2，x3，x4）不是可行解；当满足全部约束条件时，这表明（x1，x2，x3，x4）是可行解。 从提高隐枚举法的效率着想，当求解最大（小）化0-1规划时，若遇到y 值大（小）于（0）的右边，应随即让（0）的右边改取这个y 值。求解0-1规划，不要墨守成规，应视具体情况选择适当的解法，以期收到事半功倍的效果。 第五节 指派问题 一、指派问题的概念 例11 某医院的四名化验员（甲、乙、丙、丁）完成四项化验工作（A、B、C、D）所消耗的时间见表2-13。哪个化验员担当哪项化验工作，可使他们总的消耗时间最短？ y 表示四名化验员总的消耗时间，于是数学模型为： 一般地，最小化指派问题的数学模型是： 定理2.1 若效率矩阵[bij]第i 行元素的最小值为bi ,则效率矩阵分别为[bij]和[bij-bi]的最小化指派问题具有相同的最优解。把“第i行”换成“第j列”，“bi”换成 “bj”后，依然成立。 第三步：在矩阵[Cij]中，若不能得到m个（0），则进行第四步；若能得到m个（0），则令[Cij]中与（0）相对应的xij=1，其余的决策变量等于0。这时，[xij]便是最优解。将最优解代入目标函数 y 的表达式，即得最优值。 三、???最大化指派问题 例12 某卫生防疫站准备选拔防疫科、食品科、总务科的三名科长。几经筛选，仅剩下赵、钱、孙三名候选人。根据民主评议的统计结果,他们主持各个 科的工作能力（以 得分多少来衡量） 如表2-14 所示。试 从工作能力出发， 确定最优选择科长 方案。 建立数学模型 设： i = 1, 2, 3分别表示赵，钱，孙； j =1, 2, 3分别表示防疫科，食品科，总务科； aij 表示 i 担任 j 科长的工作能力； 例12称为最大化指派问题。 一般地，最大化指派问题的数学模型是： 最大化指派问题的求解步骤如下： 第一步：将最大化指派问题的效率矩阵[aij]化成 [a－aij] ，a = max{ aij ∣ i, j = 1, 2, …, m} 第二步：求出效率矩阵为[a－aij]的最小化指派问题的最优解，以其作为最大化指派问题的最优解。 第三步：把最优解代入最大化指派问题的目标函数的表达式，求出最优解。 确定例12的最优选拔科长方案 第二步：因为 3 8 11 -3 [a－aij]= 1 3 9 -1 0 10 6 -0 ? 0 5 8 （0） 3 2 → 0 2 8 → （0） 2 0 10 6 8 （0） -0 -2 -6 所以，例12的最优解是： 第三步：将最优解代入目标函数y的表达式，求得最优值为： ymax= a11 + a22 + a3