指派问题(含非标准指派问题)第五章 整数规划§1 整数规划的数学模型及特点要求一部分或全部决策变量必须取整数值得规划问题称为整数规划。

其模型为：Max(或min)z=∑=nj jjx c 1s.t⎪⎪⎩⎪⎪⎨⎧=≥=≥=≤∑=nj nj i ij ij xx x nj x m i b x a ,,,2,10,2,1),(211若要求决策变量只能取值0或1的整数规划称为0-1型整数线性规划。

§5 指 派 问 题 一． 指派问题的标准形式及数学模型在现实生活中，有各种性质的指派问题。

例如，有若干项工作需要分配给若干人（或部门）来完成；有若干项合同需要选择若干个投标者来承包；有若干班级需要安排在各教室上课等等。

诸如此类的问题，它们的基本要求是在满足特定的指派要求条件下，使指派方案的总体效果最佳。

由于指派问题的多样性，有必要定义指派问题的中部分或全标准形式。

指派问题的标准形式（以人和事为例）是：有n 个人和n 件事，已知第i 个人作第j 件事的费用为),2,1,(n j i cij=，要求确定人和事之间的一一对应的指派方案，是完成这n 件事的总费用最少。

为了建立标准指派问题的数学模型，引入2n 个0-1变量：⎩⎨⎧=1ijx这样，问题的数学模型可写成∑∑===n i nj ijij x c z 11min（5.1）s.t⎪⎪⎪⎩⎪⎪⎪⎨⎧======∑∑==n j i x n i x n j x ij n j ij ni ij ,2,1,1,0,2,11,2,1111（5.3）其中，（5.1）表示每件事必优且只有一个人去做，（5.2）表示每个人必做且只做一件事。

注：○1指派问题是产量（ia ）、销量（jb ）相等，且ia =jb =1，i ，j=1,2,…n 的运输问题。

○2有时也称ijc 为第i 个人完成第j 件工作所若指派第i 人若不指派第i i，（5（5需的资源数，称之为效率系数（或价值系数）。

并称矩阵 C= nn ij c ⨯)(=⎪⎪⎪⎪⎪⎭⎫⎝⎛nn n n n n c c c c c c c c c 212222111211（5.5）为效率矩阵（或价值系数矩阵）。

并称决策变量ijx 排成的n ×n 矩阵X=nn ij x⨯)(=⎪⎪⎪⎪⎪⎭⎫⎝⎛nn n n n n x x x x x x x x x 212222111211（5.6）为决策变量矩阵。

(5.6)的特征是它有n 个1，其它都是0。

这n 个1位于不同行、不同列。

每一种情况为指派问题的一个可行解。

共n!个解。

其总的费用 z =C ⊙X这里的⊙表示两矩阵对应元素的积，然后相加。

问题是：把这n 个1放到X 的2n 个位置的什么地方可使耗费的总资源最少？（解最优） 例1 已知效率矩阵C= ⎪⎪⎪⎪⎪⎭⎫⎝⎛0084765000320205则 X（1）=⎪⎪⎪⎪⎪⎭⎫⎝⎛0100000110000010，X （2）=⎪⎪⎪⎪⎪⎭⎫⎝⎛1000000101000010都是指派问题的最优解例12/P-149：某商业公司计划开办五家新商店。

为了尽早建成营业，商业公司决定由5家建筑公司分别承建。

已知建筑公司A i （i=1，2，…5）对新商店B j （1，2，…5）的建造费用的报价（万元）为ijc （i ，j=1,2,…5）,见表5-9。

商业公司应当对5家建筑公司怎样分派建筑任务，才能使总的建筑费用最少？ 表5-9ijc B 1 B 2 B 3 B 4 B 5A 1 4 8 7 15 12 A 2 7 9 17 14 10 A 3 6 9 12 8 7 A 4 6 7 14 6 10 A 5 6 9 12 10 6解：这是一标准的指派问题。

若设0-1变量ijx =⎩⎨⎧01则问题的数学模型为Min z=411x +812x +…+1054x +655xs.t⎪⎪⎪⎩⎪⎪⎪⎨⎧======∑∑==5,2,1,1,05,2,115,2,115151 j i x i x j x ij j ij i ij若看成运输问题，且ijx 如上所述，则表5-9为商店 公司 B 1B 2 B 3 B 4 B 5 任务A 1 （4） 11x （8） 12x （7） 13x （15） 14x（12） 15x 1A 2 （7） 21x (9)22x(17)23x(14) 24x(10) 25x1 A 3 (6) 31x(9) 32x(12) 33x(8) 34x(7) 35x1 A 4 (6) 41x(7) 42x(14) 43x(6) 44x(10) 45x1 A 5(6) (9) (12) (10) (6)1当A i 承当A i 不承i,j=51x52x53x54x55x所选的公司数1 1 1 1 15当然，第一行的1应放在（1，1）位置，此位置同时是第一列的费用最小。

但一般情况下没有这么好。

需找一适合一般的方法。

二． 匈牙利解法原理：虽然指派问题是一类特殊的整数规划问题，又是特殊的0-1规划问题和特殊的运输问题，因此，它可以用多种相应的解法来求解。

但是，这些解法都没有充分利用指派问题的特殊性质，有效地减少计算量。

1955年，库恩（W.W.Kuhn ）提出了匈牙利法。

定理1：设指派问题的效率矩阵为C= nn ijc⨯)(，若将该矩阵的某一行（或某一列）的各个元素都减去统一常数t （t 可正可负），得到新的效率矩阵nn ijc C ⨯'=')(，则以C '为效率矩阵的新的指派问题与原指派问题的最优解相同。

但其最优解比原最优解之减少t.证明：设式（5.1）～（5.4）为原指派问题。

现在C 矩阵的第k 行个元素东减去同一常数t,记新的指派问题的目标函数为Z '.则有Z '=∑=n i 1∑='n j ijijx c 1=∑≠=n ki i 1∑='n j ij ij x c 1+∑='n j ij ij x c 1=∑≠=n ki i 1∑=nj ijijx c1+∑=-nj kjkjx t c1)(=∑≠=n ki i 1∑=nj ijijx c1+∑=nj kjkjx c1-t ∑=nj kj x 1=∑=n i 1∑=nj ijijx c1-t ·1=Z-t因此有Min Z '=min(Z-t)=minZ-t而新问题的约束方程同原指派问题。

因此其最优解比相同，而最优解差一个常数。

推论：若将指派问题的效率矩阵每一行即每一列分别减去各行及各列的最小元素，则得到新指派问题与原指派问题有相同的最优解。

证明：结论是显然的。

只要反复运用定理1便可得证。

当将效率矩阵的每一行都减去各行的最小元素，将所得的矩阵的每一列在减去当前列中最小元素，则最后得到新效率矩阵C '中必然出现一些零元素。

设ijc '=0，从第i 行来看，它表示第i 个人去干第j 项工作效率（相对）最好。

而从第j 列来看，这个0表示第j 项工作以第i 人来干效率(相对)最高。

定义：在效率矩阵C 中，有一组在不同行不同列的零元素，称为独立零元素组，此时每个元素称为独立零元素。

例2: 已知 C=⎪⎪⎪⎪⎪⎭⎫⎝⎛0084765000320205则｛12c =0，24c =0，31c =0，43c =0｝是一个独立零元素组，12c =0，24c =0，31c =0，43c =0分别称为独立零元素。

｛12c =0，23c =0，31c =0，44c =0｝也是一个独立零元素组，而｛14c =0，23c =0，31c =0，44c =0｝就不是一个独立零元素组，因为14c =0与44c =0这两个零元素位于同一列中。

根据以上对效率矩阵中零元素的分析，对效率矩阵C 中出现的的独立零元素组中零元素所处的位置，在决策变量矩阵中令相应的ijx =1，其余的ijx =0。

就可找到指派问题的一个最优解。

就上例中X （1）=⎪⎪⎪⎪⎪⎭⎫⎝⎛0100000110000010，就是一个最优解。

同理X （2）=⎪⎪⎪⎪⎪⎭⎫⎝⎛1000000101000010也是一个最优解。

但是在有的问题中发现效率矩阵C 中独立零元素的个数不够n 个，这样就无法求出最优指派方案，需作进一步的分析。

首先给出下述定理。

定理2 效率矩阵C 中独立零元素的最多个数等于能覆盖所有零元素的最少直线数。

我们不证它，说一下意思： 例3：已知矩阵 C 1=⎪⎪⎪⎪⎪⎭⎫⎝⎛0084765000320205，C 2=⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛5636040084275500003220205，C 3=⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛341404008653300003420207分别用最少直线去覆盖各自矩阵中的零元素： C 1=⎪⎪⎪⎪⎪⎭⎫⎝⎛0084765000320205， C 2=⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛5636040084275500003220205， C 3=⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛341404008653300003420207 可见，C 1最少需要4条线，C 2最少需要4条线，C 3最少需要5条线，方能划掉矩阵中所有的零。

即它们独立零元素组中零元素最多分别为4，4，5。

三． 匈牙利法求解步骤：我们以例题来说明指派问题如何求解： 例4 给定效率矩阵 C= ⎪⎪⎪⎪⎪⎭⎫⎝⎛9118713161491514410413152求解该指派问题。

解：ⅰ）变换效率矩阵，将各行各列都减去当前各行、各列中最小元素。

C=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛9118713161491514410413152⎪⎪⎪⎪⎪⎭⎫⎝⎛24104750111006211130行变换24 97min列变换⎪⎪⎪⎪⎪⎭⎫ ⎝⎛00102350960607130= C '这样得到的新矩阵C '中，每行每列都必然出现零元素。

ⅱ）用圈0法求出新矩阵C '中独立零元素。

（1）进行行检验对C '进行逐行检验，对每行只有一个未标记的零元素时，用○记号将该零元素圈起。

然后将被圈起的零元素所在的列的其它未标记的零元素用记号×划去。

如C '中第2行、第3行都只有一个未标记的零元素，用○分别将它们圈起。

然后用×划去第1列其它未被标记的零元素（第2列没有），见C '' C '⎪⎪⎪⎪⎪⎭⎫⎝⎛00102350960607130=C ''在第i 行只有一个零元素ijc =0时，表示第i 人干第j 件工作效率最好。

因此优先指派第i 人干第j 项工作，而划去第j 列其它未标记的零元素，表示第j 项工作不再指派其它人去干（即使其它Min 0 0 4 2人干该项工作也相对有最好的效率）。