运筹学 第五章 整数规划

null整数规划整数规划整数规划整数规划整数规划的数学模型及解的特点 解纯整数规划的割平面法* 分支定界法 0-1型整数规划* 指派问 题 快递公司问题件快递公司问题件货款处理关于圆的周长面积重点题型关于解方程组的题及答案关于南海问题 null例1 某厂拟用集装箱托运甲乙两种货物,每箱的体积、重量、可获利润以及托运所受限制见下表.问每集装箱中两种货物各装多少箱,可使所获利润最大?§1 整 数 规 划的数学模型一、问题的提出null解 设 分别为甲、乙两种货物的托运箱数.则这是一个 纯整数规划问题 .其数学模型为:null 在许多线性规划问题中,要求最优解必须取整数.例如 所求的解是机器的台数、人数车辆船只数等.如果所得的解 中决策变量为分数或小数则不符合实际问题的要求. 二、整数规划问题的数学模型null 对于一个规划问题,如果要求全部决策变量都取整数, 称为纯(或全)整数规划;如果仅要求部分决策变量取整数, 称为混合整数规划问题.有的问题要求决策变量仅取0或l两 个值,称为0-l规划问题. 整数规划简称为IP问题.这里主要讨论的是整数线性规 划问题,简称为ILP问题.null若不考虑整数条件，由余下的目标函数和约束条件构成的规划问题称为该整数规划问题的松弛问题（slack problem）null三、整数规划问题解的特点对于整数线性规划问题,为了得到整数解,初看起来,似乎只要先不管整数要求,而求线性规划的解,然后将求得的非整数最优解“舍零取整”就可以了.但实际上,这个想法却常常行不通,有时“舍零取整”后的整数解根本就不是可行解,有的虽然为可行解,却不是最优解 .null例1 某厂拟用集装箱托运甲乙两种货物,每箱的体积、重量、可获利润以及托运所受限制见下表.问每集装箱中两种货物各装多少箱,可使所获利润最大?null解 设 分别为甲、乙两种货物的托运箱数.则这是一个 纯整数规划问题 .其数学模型为:（1）null若暂且不考虑 取整数这一条件.则(1)就变为下列 线性规划 : （2）我们将式(2)称为(1)的松弛问题.解(2)得到最优解:（3）但它不满足(1)的整数要求.因此它不是(1)的最优解,若把 解(3)“舍零取整”,如取X1=(5,0)T,但它不是式(1)的可行解. 因为它不满足 (1) 中的约束条件。null若取X2=(4,0)T，X2是 (1) 的可行解, 但它却不是(1) 的最优解, 因为当X2=(4,0)T 时,Z2 = 80, 但当X3 = (4,1)T 时,Z3 = 90 > Z2。 即伴随规划的最优解通过 “ 舍零取整 ” 得到的X1,X2 都不是 (1) 的最优解 .因此通过松弛问题最优解的 “ 舍零取 整 ” 的办法 , 一般得不到原整数规划问题的最优解 .null对上面的问题，我们从几何的角度来观察： 若松弛问题(2)的可行域 K 是有界的,则原整数规划(1)的可行 域 K 0应是K中有限个格点(整数点）的集合.见图1, 图中“*" 为整数点(格点).null图1 中四边形 OABC 是松弛问题(2)的可行域.它的最优解 为 C 点(4.8, 0)。而 (1) 的可行域为k0 = { (0,0),(0,1), (0,2), (1,0),(1, l),(1,2), (2,0), (2,1),(3,0), (3,1),(4,0),(4, l) } . 将C点“舍零取整”后得到的X1=(5.0,0)T不在 K0中,而X2=(4,0)T在K0中,但不是(1)的最优解,最优解在B点左侧（4，1）。null当然, 我们也会想到能否用“穷举法”来求解整数规划.如(1) 问题,将 K0 中所有整数点的目标函数值都计算出来,然后逐 一比较找出最优解.这种 方法 快递客服问题件处理详细方法山木方法pdf计算方法pdf华与华方法下载八字理论方法下载 对变量所能取的整数值个数较少 时,勉强可以应用.如本例 可取 0,1,2,3,4共5个数值。 而 只能取0,1,2共三个数值,因此其组合最多为15个(其中 有不可行的点).null但对大型问题,这种组合数的个数可能大得惊人! 如在指派问题中,有n 项任务指派n个人去完成,不同的指派 方案 气瓶 现场处置方案 .pdf气瓶 现场处置方案 .doc见习基地管理方案.doc关于群访事件的化解方案建筑工地扬尘治理专项方案下载 共有n! 种 .当 n=20 时 ,这个数超过2×1018. 如果用穷举法每一个方案都计算一遍 , 就是用每秒百万次的计算机,也要几万年 . 显然 “穷举法” 并不是一种普遍有效的方法null因此研究求解整数规划的一般方法是有实际意义的. ××null整数规划解的特点整数线性规划及其松弛问题，从解的特点上来说，二者之间既有密切的联系，又有本质的区别。 松弛问题作为一个线性规划问题，其可行解的集合是一个凸集，任意两个可行解的凸组合仍为可行解。 整数规划问题的可行解集合是它的松弛问题可行解集合的一个子集，任意两个可行解凸组合不一定满足整数约束条件，因而不一定仍为可行解。null由于整数规划问题的可行解是其松弛问题的可行解的子集，所以，其松弛问题的最优解目标函数值是整数规划问题目标函数值的上界。 在一般情况下，松弛问题的最优解不会刚好满足变量的整数约束条件，因而不是整数规划的可行解，自然也不是整数规划的最优解。null但松弛问题的最优解恰好满足变量的整数约束条件，那么它必然同时是整数规划问题和其松弛问题的最优解。null目前，常用的求解整数规划的方法有： 分支定界法和割平面法； 对于特别的0－1规划问题采用隐枚举法和匈牙利法。 自20世纪60年代以来, 已发展了一些常用的解整数规划的算法,如各种类型的割平面法、分枝定界法、解 0-1 规划的隐枚举法、分解方法、群论方法、动态规划方法等等。 近十年来有人发展了一些近似算法及用计算机模拟法,也取得了较好的效果 .背景null§2 解纯整数规划的割平面法考虑纯整数规划问题null纯整数规划的松弛问题是一个线性规划问题，可用单纯形法求解。在松弛问题的最优单纯形表中，记Q为m个基变量的下标集合，K为n-m个非基变量的下标集合，则m个约束方程可示为：5.4式null而对应的最优解X*=(x1*,x2*, … ,xn*)，其中若各 皆为整数，则X* 满足整数约束，因而就是纯整数规划的最优解；若 不全为整数，则 X* 不满足整数约束，因而就不是纯整数规划的可行解，自然也不是该整数规划的最优解。null割平面法的基本思想： 用割平面法(cutting plane approach)解整数规划时，若其松弛问题的最优解不满足整数约束，则从X*的非整分量中选取一个，用以构造一个线性约束条件，将其加入原松弛问题中，形成一个新的线性规划，然后求解之。若新的最优解满足整数要求，则它就是整数规划的最优解；否则重复上述步骤，直到获得整数最优解为止。null为最终获得整数最优解，每次增加的线性约束条件应当具备两个基本性质： 已获得的不符合整数要求的松弛问题最优解不满足该线性约束条件，从而不可能在以后的解中再出现。 凡整数可行解均满足该线性约束条件，因而整数最优解始终被保留在每次形成的松弛问题（线性规划）可行域中。我们应该怎样构造新的约束条件？null为此，若 不是整数，在（5.4）中对应的约束方程为其中 按假设不是整数； 可能是整数，也可能不是整数。 5.6式5.7式5.8式分解 和 成两部分。一部分是不超过该数的最大整数，另一部分是余下的小数即null将（5.7）和（5.8）式代入（5.6）式，移项以后得：5.9式对5.9式分别讨论当前解（非整数解）和可行域中整数解的情况：对于当前解5.9式右端有对于整数解5.9式左端表明 为整数，又因为 本身不能≥ 1，故null由此我们以 （5.10式）作为标尺来，将当前不满足整数约束的最优解去掉，而完全保留了原整数规划问题的可行解。 综上所述，线性约束条件(5.10)式具备上述的两个性质。将其与原整数规划的松弛问题合并，构成一个新的线性规划。null 记R为原松弛问题可行域，Rˊ为新的线性规划可行域。从几何意义上看，(5.10)式实际上对R做了一次“切割”，在留下的R ˊ中，保留了整数规划的所有可行解，但不符合整数要求的X*被“切割”掉了。随着“切割”过程的不断继续，整数规划最优解最终有机会成为某个线性规划可行域的顶点，作为该线性规划的最优解而被解得。null 割平面法在1958年由高莫瑞（R.E.Gomory）首先提出，故又称Gomory割平面法。在割平面法中，每次增加得用于“切割”的线性约束称为割平面约束或Gomory约束. 构造割平面约束的方法很多，但（5.10）式是最常用的一种，它可以从相应线性规划的最终单纯形表中直接产生。null实际解题时，经验表明若从最终单纯行表中选择具有最大分数部分的非整分量所在行构造割平面约束，往往可以提高“切割”效果，减少“切割”次数null例：用割平面法求解整数规划问题解：增加松弛变量x3和x4 ，得到(LP)的初始单纯形表和最优单纯形表：割平面约束： null加入割平面约束后得到的新的线性规划问题为：我们可用使用单纯行法从头开始解这个线性规划问题。 但更简便的方法是使用对偶单纯形法： 将生成的割平面条件加入松弛变量，然后加到表中 nullnull将 x3=6-3x1-2x2 , x4=3x1-2x2 ,带入 中，得到等价的割平面条件： x2≤1 见下图。null 此时，X1 ＝(2/3, 1), Z=1,仍不是整数解。继续以x1为源行生成割平面，其条件为：将生成的割平面条件加入松弛变量，然后加到表中：nullnull 至此得到最优表，其最优解为 X＊= (1 , 1) , Z = 1, 这也是原问题的最优解。 等价的约束割平面条件为x1 ≥ x2 null§3 分枝定界法在20世纪60年代初 Land Doig 和 Dakin 等人提出了分枝定界法.由于该方法灵活且便于用计算机求解,所以目前已成为解整数规划的重要方法之一。适用范围：分枝定界法既可用来解纯整数规划,也可用来解混合整数规划.null分枝定界法由来： 混合整数规划问题一般有无限多个可行解。即使是纯整数规划问题，随着问题规模的扩大，其可行解的数目也将急剧增加。因此通过枚举全部可行解，并从中筛选出最优解的算法无实际应用价值。分枝定界法（branch and bound）是一种隐枚举或部分枚举法，是在枚举法基础上的改进。分枝定界法的关键是分枝和定界。null分枝定界法的基本思想：( 分枝和定界的思想) 若整数规划的松弛问题的最优解不符合整数要求，假设 不符合整数要求， 是不超过 的最大整数，则构造两个约束条件 。分别将其并入上述松弛问题中，从而形成两个分枝，即两个后续问题。 这就是所谓分枝。null 两个后续问题的可行域中包含原整数规划问题的所有可行解。而在原松弛问题可行域中，满足 的一部分区域在以后的求解过程中被遗弃了，让而它不包含整数规划的任何可行解。根据需要，各后续问题可用类似地产生自己的分枝，即自己的后续问题。null“分枝”为整数规划最优解的出现创造了条件null什么是定界： 所谓“定界”，是在分枝过程中，若某个后续问题的最优解恰巧获得整数规划问题的一个可行解（即其解满足整数约束），那么，它的目标函数值就是一个“界限”，可作为衡量处理其他分枝的一个依据。null 因为整数规划问题的可行解集是其松弛问题的可行解集的一个子集，所以其松弛问题的最优解目标函数值是原整数规划问题的上界。所以，对于那些相应松弛问题最优解的目标函数值比上述“界限”值差的后续问题，就可以剔除而不再考虑。 当然，如果在以后的分枝过程中出现了更好的“界限”，则以它来取代原来的界限，这样可以提高定界的效果。null“定界”则可用提高搜索的效率null“分枝”为整数规划最优解的出现创造了条件， 而“定界”则可用提高搜索的效率。null下面，通过例子来阐明分枝定界法的基本思想和一般步骤: 例 求解整数规划问题解：去掉整数要求，得其相应得线性规划（在分枝定界法中，将此记为B，称其为原整数规划A的松弛问题）：null用任一种方法解问题B得最优解和最优值为： x1=4.55, x2=2.17, Z=37.97 B的可行解集记为R0,如图所示：A(4.55,2.17)null上面B的最优解不满足整数要求，即不是整数规划的最优解。为寻求原整数规划的最优解，我们把B划分为两个子问题（分枝）。 任选一个不满足整数约束的变量，这里我们取x1 构造两个约束条件： 在B中分别增加上述约束条件，得到B的两个子问题：问题①问题②x1=4, x2=2.33, Z= 36.33x1=5, x2=1.5, Z= 35.5null此时，B的可行解被分成了三个部分，即问题①的可行解R1, 问题②的可行解R2，以及不含整数可行解的4 34，即②的可行解集中还有可能含有原整数规划的最优解（比③的最优解目标函数值大的整数解）。 因此需要考察问题②，分别增加约束条件 得到问题②的两个子问题⑤和⑥null问题②问题⑤问题⑥引入约束x1=5.33, x2=1,Z=33.67无可行解null问题⑤的可行域R5问题⑥无可行解此时，问题②的可行域被分成两部分部分，即⑤的可行集R5,和不含整数可行解的1所有分枝末梢的Z值，则得最优解。否则， 取Z值最大的非整数解，继续分解，Go to 3nullx1≤4x1≥5问题②问题①x2≤2x1≥3x2≤1x2≥2练习练习例：用分枝定界法求解整数规划问题（可用图解法求解）null树形图如下：LP1 x1=7/2, x2=2 Z(1)＝29/2=14.5LP x1=13/4, x2=5/2 Z(0) ＝59/4=14.75LP2 x1=5/2, x2=3 Z(2)＝27/2=13.5LP3 x1=3, x2=2 Z(3) ＝13LP4 x1=4, x2=1 Z(4) ＝14x2≤2x2≥3x1≤3x1≥4null§3 0-1型整数规划一、 0-1变量及其应用若变量只能取0或1，则称其为0-1变量。 0-1变量作为逻辑变量(logical variable),常被用来表示系统是否处于某个特定状态，或者决策时是否取某个特定方案。例如 当决策取方案P时当决策不取方案P时（即取 时）null若Ej选择Aj若Ej选择J=1,2…,n那么，向量(x1,x2,…xn)就描述了问题的特定状态或方案即：当问题含有多项要素，而每项要素皆有两种选择时，可用一组0-1变量来描述。一般地，设问题有有限项要素E1,E2,…En,其中每项Ej有两种选择Aj和 ，则可令null投资场所选择问题 某城市拟在其东、西、南三个区域设立邮局，各地区都由几个具体的地点可供选择。 要求不超过总投资100万元的条件下，建立盈利最大化0-1规划。分析：令xj(j1,2….7)为0-1变量二、 0-1 整数规划举例null其数学模型为：null在应用中，有时会遇到变量可以取多个整数值的问题。这时，利用0-1变量是二进值变量（binary variable）的性质，可以用一组0-1变量来取代该变量。 例如，变量x可取0~9之间的任意整数时，可令 其中x0,x1,x2,x3皆为0－1变量null0-1变量不仅广泛应用于科学技术问题，在经济管理问题中也有十分重要的应用1互斥问题 2 固定费用问题 3 工件排序问题null 含有相互排斥的约束条件的问题 假设工序B的每周工时约束条件为 现在假设工序B还有一种新的加工方式，相应的每周工时约束变成: 如果工序B只能从两种加工方式中选择一种，那么（1）式和（2）式就成为两个相互排斥的约束条件。为了统一在一个问题中，就需要 引入0－1变量 null工序B采用原加工方式工序B不采用原加工方式工序B采用新加工方式工序B不采用新加工方式null于是，通过引入0-1变量，可以将相互排斥的约束条件(1)和(2)统一起来：其中M1和M2都是充分大的数。由于（5）式决定了y1和y2中必定有一个是1，另一个是0（互斥条件）。 若y1=1，而y2=0，即采用新的加工方式。此时由于M1是一个充分大的数，则(3)式无效。 反之，若y1=0,而y2=1，即采用原加工方式。此时由于M2是一个充分大的数，则(4)式无效。null一般地，若需要从p个约束条件 中恰好选择q个约束条件，则可用引入p个0-1向量若选择第i个约束条件若不选择第i个约束条件那么，约束条件组就可用达到这个目的。因为上述约束条件组保证了在p个0-1变量中有p-q个为1，q个为0。 凡取0值的yi对应的约束条件即为原约束条件，而取1的yi对应的约束条件无效。null固定费用问题有三种资源被用于生产三种产品，资源量、产品单件费用及售价、资源单耗量及组织三种产品生产的固定费用见下表。要求定制一个生产 计划 项目进度计划表范例计划下载计划下载计划下载课程教学计划下载 ，使总收益最大。建模碰到的困难主要是事先不能确切知道某种产品是否生产，因而不能确定相应的固定费用是否发生null下面借助0-1变量解决这个困难 设xj是第j种产品的产量, j=1,2,3;再设生产第 j 种产品(即xj > 0)不生产第 j 种产品(即xj ＝0)则问题的整数规划数学模型是：null如果生产第j种产品，则其产量xj > 0。此时由约束条件xj ≤Mjyj，知yj=1。因此相应的固定费用在目标函数中将被考虑。 如果不生产第j种产品，则其产量xj = 0,此时由约束条件xj ≤Mjyj可知，yj可以是0也可以是1。但yj=1不利于目标函数的最大化，因而在问题的最优解中必然是yj=0，从而相应的固定费用将不再被考虑null工件排序问题用4台机床加工3件产品。各产品的机床加工顺序，以及产品 i 在机床 j 上的加工工时 aij 见下表由于某种原因，产品2的加工总时间不得超过d，现要求确定各件产品在机床上的加工方案，使在最短的时间内加工完全部产品。null解：设 xij 表示产品 i 在机床 j 上开始加工的时间(i=1,2,3;j=1,2,3,4)下面将逐步列出问题的整数规划模型 1、同一件产品在不同机床上的加工顺序约束 对于同一件产品，在下一台机床上加工的开始时间不得早于在上一台机床上加工的约束时间，故应有：null2、每一台机床对不同产品的加工顺序约束 一台机床在工作中，如已开始的加工还没有结束，则不能开始另一件产品的加工。对于机床1，有两种加工顺序。或先加工产品1，后加工产品2；或反之。对于其它3台机床，情况也类似。为了容纳两种相互排斥的约束条件，对于每台机床，分别引入0-1变量null则每台机床上的加工产品的顺序可用下列四组约束条件来保证：各yj的意义是明显的。如当y1=0时，表示机床1先加工产品1，后加工产品2，当y1=1时，表示机床1先加工产品2，后加工产品1。null3、产品2的加工时间约束 产品2的开始加工时间是x21，结束加工时间是x24+a24，故应有：4、目标函数的建立 设全部产品加工完毕的结束时间为W，由于三件产品的加工结束时间分别为x14+a14， x24+a24， x33+a33，故全部产品的实际加工结束时间为：转化为线性表达式null综上所述，例题的整数规划模型为：null 0-1型整数规划是一种特殊的整数规划，若含有n个变 量，则可能产生 2n 个可能的变量组合。当n 较大时，采用 完全枚举法解题几乎是不可能的。已有的求解0-1型整数规 划的方法一般都属于隐枚举法三、 0-1型整数规划的解法null 在2n个可能的变量组合中，往往只有一部分是可行 解。只要发现某个变量组合不满足其中一个约束条件 时，就不必再去检验其他约束条件。 对于可行解，其目标函数值也有优劣之分。若已发现 一个可行解，则根据它的目标函数值可以产生一个过滤 条件，对于目标函数值比它差的变量组合就不必再去检 验它的可行性。在以后的求解过程中，每当发现比原来 更好的可行解，则以此替换原来的过滤条件。 上述这些做法，都可用减少运算次数，使最优解能 较快地被发现。null例 求解0-1整数规划null解 求解过程可以列表表示abcdnull接上表所以，最优解（x1,x2,x3）T=(1,0,1)T,max Z = 8由于采用上述算法，实际只作了20次运算。null例 求解0－1整数规划解：采用上例那样的算法，解此例共需作36次运算。为了进一步减少运算量，常按目标函数中各变量系数的大小顺序重新排列各变量，以便最优解有可能较早出现。对于最大化问题，可按由小到大的顺序排列；对于最小化问题，则相反null本例可写成下列形式：采取这样的形式用上法解此例，只需作30次运算。一般问题的规模越大，这样做的好处就越明显。null篮球队需要选择5名队员组成出场阵容参加比赛. 8 名队员的身高及擅长位置见下表:出场阵容应满足以下条件:只能有一名中锋上场 至少有一名后卫 如1号和4号均上场, 则6号不上场 2号和8号至少有一个不出场问: 应当选择哪5名队员上场,才能使出场队员平均身高最高? 试建立数学模型null有五项设计任务可供选择.各项设计任务的预期完成时间分别为3, 8, 5, 4, 10 (周), 设计报酬分别为 7, 17, 11, 9, 21 (万元). 设计任务只能一项一项地进行, 总的期限是 20 周. 选择任务时必须满足下面要求:1 至少完成 3 项设计任务;2 若选择任务 1, 必须同时选择任务 2;3 任务3 和 任务4不能同时选择应当选择那些设计任务, 才能使总的设计报酬最大? (试建立数学模型)整数规划整数规划整数规划的数学模型及解的特点 解纯整数规划的割平面法* 分支定界法 0-1型整数规划* 指派问题 null§5 指派问题指派问题是整数规划的一类重要问题。也是在实际生活中经常 遇到的一种问题：由n项不同的工作或任务，需要n个人去完成 （每人只能完成一项工作）。由于每人的知识、能力、经验等 不同，故各人完成不同任务所需的时间（或其它资源）不同。 问应只排哪个人完成何项工作所消耗的总资源最少？一。 指派问题的数学模型引进0-1变量表示按排第i个人完成第j项工作表示不安排第i个人完成第j项工作null则决策变量矩阵可表示为：用 表示第i个人完成第j项工作所需的资源数，称之为效率 系数（或价值系数）。表示为效率矩阵 （Coefficient matrix）null则指派问题的数学模型为或1注：指派问题是一种特殊的LP问题，是一种特殊的运输问题。下用目前认为最简洁的方法—匈牙利法求解。null例1：某商业公司计划开办五家新商店。为了尽早建成 营业，商业公司决定由5家建筑公司分别承建。已知建筑 公司 对新商店 的建造 报价（万元）为 ，见表5-9。商业公 司应当对5家建筑公司怎样分配建筑任务，才能使总的建 筑费用最少？null这是一个 标准 excel标准偏差excel标准偏差函数exl标准差函数国标检验抽样标准表免费下载红头文件格式标准下载 的指派问题。若设0-1变量当 承建 时当 不承建 时则问题的数学模型为或1null若单说让谁建，不让谁建。null-4-6-7-6-7从而导出匈牙利解法的思想：null匈牙利法是1955年由库恩（W.W.Kuhn）根据匈牙利 数学家狄·考尼格（d.konig)关于矩阵中独立零元素的定理 发明的。匈牙利法的基本原理：定理1 将效率矩阵的某一行（或某一列）的各个元素都减去 同一个常数t (t可正可负），得到新的矩阵，则以新矩阵为 效率矩阵的指派问题与原指派问题的最优解相同。但其最 优值比原最优值减少t 。解：设效率矩阵C为二。匈牙利解法null记新指派问题的目标函数为 ，则有null注意到所以原式因此有而新问题的约束方程同原指派问题。因此其最优解比相同，而最优解差一个常数。null推论 若将指派问题的效率矩阵每一行及每一列分别减去各 行各列的最小元素，则得到的新的指派问题与原指派问题有 相同的最优解。证明：结论是显然的。只要反复运用定理1便可得证。null注： 当将效率矩阵的每一行都减去各行的最小元素，将所得的矩阵的每一列在减去当前列中最小元素，则最后得到新效率矩阵 中必然出现一些零元素。 设 =0，从第i行看，它表示第 i 人去干第 j 项工作效率（相对）最好，而从第j列来看，它表示第 j 项工作让第 i 人来干效率（相对）最高。null问题是：能否找到位于不同行、不同列的n个0元素？定义 在效率矩阵C中，有一组处于不同行、不同列的零元素， 称为独立零元素组，此时其中每个元素称为独立零元素。例 已知则是一个独立零元素组，null分别称为独立零元素。也是一个独立零元素组。不是一个独立零元素组。null根据以上对效率矩阵中零元素的分析，对效率矩阵C中出现的的独立零元素组中零元素所处的位置，在决策变量矩阵中令相应的 =1，其余的 =0。就可找到指派问题的一个最优解。null就上例中就是一个最优解。同理也是一个最优解。null 但是在有的问题中发现效率矩阵C中独立零元素的个数不够n个，这样就无法求出最优指派方案，需作进一步的分析。首先给出下述定理。已知效率矩阵怎么办？null定理 效率矩阵C中独立零元素的最多个数等于能覆盖所 有零元素的最少直线数。本定理由匈牙利数学家狄·考尼格证明的。证明的内容已超出 所需学的范围。下面通过例子说明上述定理的内容例 已知矩阵null至于如何找覆盖零元素的最少直线，通过例子来说明。例1 现有一个4×4的指派问题，其效率矩阵为：求解该指派问题。步骤1：变换系数矩阵，使得每行及每列至少产生一个零元 素。null-2-4-9-7-4-2步骤2：用圈0法确定 中的独立0元素。若独立零元素个 素有n个，则已得最优解。若 独立零元素的个数 < n, 则转 入步骤3。其余全为0。null在只有一个0元素的行（或列）加圈，表示此人只能做该事 （或此事只能由该人来做），每圈一个“0”，同时把位于同 列（或同行）的其他零元素划去。表示此时已不能再由他 人来做（或此人已不能做其它事）。如此反复，直到矩阵 中所有零元素都被圈去或划去为至。在遇到所有行和列中，零元素都不止一个时，可任选其中 一个加圈，然后划去同行、同列其他未被标记的零元素。例null步骤3： 若矩阵已不存在未被标记的零元素，但圈零的个 数m < n ，作最少直线覆盖当前零元素。已知例1(工程承包)中的系数矩阵变为-4-7-6-6-6-1-3⒈变换系数矩阵null⒉ 确定独立零元素.⒊ 作最少直线覆盖当前所有零元素。由于独立零元素个数4 < 5.⑴ 对没有圈0的行打“✓”。⑵ 在已打“✓”的行中，对零元素所在的列打“✓”。✓✓⑶ 在已打“✓”的列中，对圈0元素所在的行打“✓”。✓null✓✓✓⑷ 重复⑵和⑶，直到再也找不到可以打“✓”的行或列为止⑸ 对没有打“✓”的行画一横线，对已打“✓”的列画一纵线， 即得覆盖当前0元素的最少直线数目的集合。✓✓✓⒋ 继续变换系数矩阵，以增加0元素。在未被直线覆盖的元素中找出一个最小的元素。对未被直null✓✓✓✓✓✓线覆盖的元素所在的行（或列）中各元素都减去这一元素。这 样，在未被直线覆盖的元素中势必会出现0元素，但同时却又 使已覆盖的元素中出现负元素。为了消除负元素，只要对它们 所在的列（或行）中各元素都加上这一最小元素。返回⑵。null-1-1+1 中已有5个独立0元素，故可确 定指派问题的最优方案。其余全为0。null 中已有5个独立0元素，故可确 定指派问题的最优方案。其余全为0。null也就是说，最优指派方案是：让 承建 ， 承建 承建 ， 承建 。这样安排能使总的建造费用最少， 总的建造费用为7+9+6+6+6=34（万元）。null课堂练习某汽车公司拟将四种新产品配置到四个工厂生产，四个工厂的单位产品成本（元/件）如下表所示．求最优生产配置方案． null第一步：找出效率矩阵每行的最小元素，并分别从每行中减去最小元素，有 第二步：找出矩阵每列的最小元素，再分别从每列中减去，有 null第三步：用最少的直线覆盖所有“0”，得第四步：这里直线数等于3（等于4时停止运算），要进行下一轮计算． 从矩阵未被直线覆盖的数字中找出一个最小数k并且减去k，矩阵中k＝5． 直线相交处的元素加上k，被直线覆盖而没有相交的元素不变，得到下列矩阵第四步等价于第1、3行减去5，同时第1列加上5得到的结果-5-5+5null第五步：覆盖所有零最少需要4条直线，表明矩阵中存在4个不同行不同列的零元素．容易看出4个“0”的位置 或null得到两个最优解 有两个最优方案 第一种方案：第一个工厂加工产品1，第二工厂加工产品3，第三个工厂加工产品4，第四个工厂加工产品2； 第二种方案：第一个工厂加工产品1，第二工厂加工产品4，第三个工厂加工产品3，第四个工厂加工产品2； 产品总成本 Z＝58＋150＋250＋55＝513 null三。非标准形式的指派问题在实际应用中，经常遇到非标准形式的指派问题。处理方法： 化标准，再按匈牙利访法求解。⒈ 最大化指派问题例13 有4种机械要分别安装在4个工地，它们在4个工地工作 效率（见下表）不同。问应如何指派安排，才能使4台机械发 挥总的效率最大？null解：设最大化的指派问题系数矩阵 ，其中最大元 素为m（本例种m=43），令矩阵null本例中-3-7-3-0-4圈0覆盖打✓null✓✓✓-1-1+1圈0此时m=n=4,因此决策变量矩阵为null即指派机械Ⅰ安装在工地丙，机械Ⅱ安装在工地丁，机械Ⅲ 安装在工地甲，机械Ⅳ安装在工地乙，才能使4台机器发挥总 的效率最大。其总效率为null⒉ 人数和事数不等的指派问题若人少事多，则添上一些虚拟的“人”。这些虚拟的“人”做各事 的费用系数可取0，理解为这些费用实际上不会发生。若人多 事少，则添上一些虚拟的“事”。这些虚拟的“事”被各人做的费 用系数同样也取0。⒊ 一个人可做几件时的指派问题若某个人可做几件时，则可将该人化作相同的几个“人”来接受 指派。这几个“人”做同一件时的费用系数当然都一样。⒋ 某事一定不能由某人做的指派问题null若某事一定不能由某个人做，则可将相应的费用系数取 作足够大的数M.例13 对于例12的指派问题，为了保证工程质量，经研究决 定，舍弃建筑公司 和 ，而让技术力量较强的建筑公 司 、 和 来承建。根据实际情况，可以允许每家 建筑公司承建一家或两家商店。求使总费用最少的指派方 案。反映投标费用的系数矩阵为null由于每家建筑公司最多可承建两家新商店，因此，把每家 建筑公司化作相同的两家建筑公司（ 和 这样，系数矩阵变为：上面的系数矩阵有6行5列，为了使“人”和“事”的数目相同，null引入一件虚事 ，使之成为标准指派问题的系数矩阵：再利用匈牙利法求解。null列变换圈0✓✓✓-1-1+1再变换打✓覆盖null圈0最优解 承建 和 ， 承建 ， 承建 和 。总建筑费用为null最优解 承建 和 ， 承建 ， 承建 和 。总建筑费用为（万元）