FMS_chapter2_第5节_线性整数规划.pptVIP

指定甲译出俄文、乙译出日文、丙译出英文、丁译出德文，所需时间最少 例2 求表2-5-2所示效率矩阵的指派问题的最小解。 练习题：有4个工人，要派他们分别完成4项工作，每人做各项工作所消耗的时间如下表。问指派哪个人去完成哪项工作，可以使总的消耗时间为最小？ * * §2.5 线性整数规划——指派问题 2.5.1 整数规划问题的提出 实际问题常要求解答必须是整数。 带有分数或小数的解经过“舍入化整”——常常不行 例2-5-1 某厂拟用集装箱托运甲乙两种货物，每箱的体积、重量、可获利润以及托运所受限制如下表。问两种货物各托运多少箱，可使获得利润为最大？ 设x1、x2分别为甲、乙两种货物的托运箱数 不考虑④最优解为： x1=4.8 , x2=0 max z=96 例2-5-1 某厂拟用集装箱托运甲乙两种货物，每箱的体积、重量、可获利润以及托运所受限制如下表。问两种货物各托运多少箱，可使获得利润为最大？ x1=5 , x2=0 —不是可行解 x1=4 , x2=0 max z=80,不是最优 一般将要求问题的解中的全部或一部分变量为整数的数学规划称为整数规划（Integer Programming），简称IP。 纯整数规划（Pure Integer Programming）或称为全整数规划（All Integer Programming） 混合整数计划（Mixed Integer Programming） 0-1规划——指派问题。 2.5.2 指派问题（Assignment problem ) 例1 有一份中文说明书，需译成英、日、德、俄四种文字。分别记作E、J、G、R。现有甲、乙、丙、丁四人，他们将中文说明书翻译成不同语种的说明书所需时间如表2-5-1所示。问应指派何人去完成何工作，使所需总时间最少？ 效率矩阵或系数矩阵，其元素cij0（i, j=1,2,…, n）表示指派第i人去完成第j项任务时的效率（或时间、成本等） 2.5.2 指派问题（Assignment problem ) 引入变量xij，其取值只能是1或0，并令 效率矩阵或系数矩阵，其元素cij0（i, j=1,2,…, n）表示指派第i人去完成第j项任务时的效率（或时间、成本等） 数学模型： 解矩阵 满足约束条件的可行解xij也可写成表格或矩阵形式，称为解矩阵。 最优解的性质：若从系数矩阵（cij）的一行（列）各元素中分别减去该行（列）的最小元素，得到新矩阵（bij），那么以（bij）为系数矩阵求得的最优解和用原系数矩阵求得的最优解相同。 解矩阵(xij)中各行各列的元素之和都是1。 独立的0元素：位于不同行不同列的0元素。 以（bij）为系数矩阵的指派问题的最优解：若能在系数矩阵（bij）中找出n个独立的0元素；则令解矩阵（xij）中对应这n个独立的0元素的元素取值为1，其它元素取值为0。 这就是以（cij）为系数矩阵原问题的最优解。 库恩（W. W. Kuhn），1955 匈牙利数学家康尼格（D. Konig）关于矩阵中0元素的定理：系数矩阵中独立0元素的最多个数等于能覆盖所有0元素的最少直线数。 这解法称为匈牙利法。 第一步：使指派问题的系数矩阵经变换，在各行各列中都出现0元素。 （1）从系数矩阵的每行元素减去该行的最小元素； （2）再从所得系数矩阵的每列元素中减去该列的最小元素。 匈牙利法： 第二步：进行试指派，以寻求最优解。 （1）从只有一个0元素的行（列）开始，给这个0元素加圈，记作◎；然后划去◎所在列（行）的其它0元素，记作φ。 第二步：进行试指派，以寻求最优解。 （2）给只有一个0元素列（行）的0元素加圈，记作◎；然后划去◎所在行（列）的0元素，记作φ。 （3）反复进行（1），（2）两步，直到所有0元素都被圈出和划掉为止。 （4）若仍有没有划圈的0元素，且同行（列）的0元素至少有两个。从剩有0元素最少的行（列）开始，比较这行各0元素所在列中0元素的数目，选择0元素少的那列的这个0元素加圈；然后划掉同行同列的其它0元素。可反复进行，直到所有0元素都已圈出和划掉为止。 （5）若◎元素的数目m等于矩阵的阶数n，那么这指派问题的最优解已得到。若mn，则转入下一步。 （1）对没有◎的行打√号； 第三步：作最少的直线覆盖所有0元素，以确定该系数矩阵中能找到最多的独立元素数。 （2）对已打√号的行中所有含0元素的列打√号； （3）再对打有√号的列中含◎元素的行打√号； （4）重复（2）（3）直到得不出新的打√号的行、列为止； （5）对没有打√号的行画一横线，有打√号的列画一纵线，这就得到覆盖所有0元素的最少直线数。 令这直线数为l。若ln，说明必须再变换当前的系数矩阵，才能找到n个独