运筹学-匹配与覆盖问题(名校讲义)

《运筹学-匹配与覆盖问题(名校讲义)》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第三十讲匹配与覆盖问题§1问题的现实来源§2定义§3最大匹配定理§4二分图的匹配与覆盖§5介绍二分图的两种最大匹配算法§1问题的现实来源（1）匹配和覆盖问题是图论的一个重要分支，在介绍它的基本定义和有关算法之前，先举例说明其应用背景。[例5-18]第二次世界大战时，英国空军曾招募了许多沦陷国的飞行员。空军飞机上需配备两名在航空技能与语言技能上都相协调的飞行员（当然，一般一个飞行员可与其多个飞行员搭配）。问如何将众多飞行员进行搭配，才能使发出的飞机数目最多？§1问题的现实来源（2）[例5-19]某国家有50个州和65个民族，该国需成立参谋委员会，委员会要求每州至少一人和每

2、个民族也至少一人，同时希望人员尽量少。现已从全国推选出170人准备参加该委员会，问如何挑选，才能满足上面要求？这两个问题就是典型的匹配和覆盖问题。§2定义（1）1．匹配设M是图G的连E(G)的一个子集，当图的每一个顶点最多只与该集合中一条边相关联时，则称集合M为一个匹配。2．覆盖设M是图G的边集E(G)的一个子集，当图的每一个顶点至少与该集合中一条边相关联时，则称集合M为一个覆盖。值得指出的是，在后面叙述二分图时，将引出覆盖的另一种定义。3．最大基数匹配图G中包含边数最多的匹配（有时简称最大匹配），例5-18即是该类匹配问题。§2定义（2）4．最大权匹配图G中含

3、有边权和最大的匹配（有时简称最优匹配）。5．最小基数覆盖图G中包含边数最少的覆盖。例5-19即是该类覆盖问题。6．最小权覆盖图G中包含边权和最少的覆盖。§3最大匹配定理（1）1．有关术语若M是G中一个匹配，则M中的一条边的两个端点称作M下配对。①若匹配M的某条边与顶点v关联，则称M饱和顶点v，且称v是M饱和的，否则称v是不饱和的。②完全匹配如果G中每个顶点都被M饱和，则称M匹配为完全匹配。显然，完全匹配必是最大匹配。图5-48(a)和(b)分别给出一个最大匹配和完全匹配（图中粗线表示匹配M）。§3最大匹配定理（2）图5-48(a)v2v7v6v5v

4、4v3v1(b)§3最大匹配定理（3）③G的M交错通路路上的边是由G中匹配M的边与其它边（E－M）交错出现的通路。例如，图5-49所示的v2v4v5v7v9v10就是一条M交错通路。④M增广通路起点和终点都是未被M饱和的交错通路。例如，图5-49中的v1v2v4v7v5v8，就是一条M增广通路。2．定理8：图G的一个匹配M成为最大匹配的充要条件是G不包含M增广通路。图5-49v10v9v8v7v6v5v4v3v2v1§4二分图的匹配与覆盖（1）1．有关定义①完全图每对顶点都有边相联的简单图称为完全图。②二分图若图的顶点集合可分成

5、两个子集V1和V2，通常记作G＝(V1，V2；E)。若二分图中V1的每个顶点与V2的每个顶点都相联，则称为完全二分图。③正则图若图G中所有顶点的度均相等，则称图G为正则的或正则图。顶点度为k的正则图称为k度正则图。每个顶点都是k度的二分图称k正则二分图。§4二分图的匹配与覆盖（2）④邻集对于图G中任一顶点集合V0，则称与V0相邻（有边相联）的所有顶点集合为V0的邻集，可记作NG(V0)或简写为N(V0)。在二分图中，人们往往关心图中能否找到饱和V1（或V2）中所有顶点的匹配。2．定理9设G是二分划(V1，V2)的二分图，则G含有饱和V1每个顶点的匹配的充要条件是，对

6、所有的V0V1都存在：N(V0)V03．推论：若G是一个K正则二分图（K＞0），则G必有一个完全匹配。§4二分图的匹配与覆盖（3）4．覆盖的另一定义图G中的一个覆盖可定义为V(G)中的一个子集K，使得G中每条边都至少有一个端点落在K中。后面不加特殊说明，将采用这种覆盖定义。实质上，对于图G中的最大匹配M*和最小覆盖，亦存在下面关系：5．定理10设M和K分别是图G的一个匹配和覆盖，且满足

7、M

8、=

9、K

10、。则M和K必分别是图G的最大匹配和最小覆盖。6．定理11二分图G中的最大匹配边数必等于最小覆盖顶点数。§5介绍二分图的两种最大匹配算法（1）如果说在第二章的整数

11、规划中所说的指派问题是合理安排人员去完成工作以便寻求费用最低的优化分配的话，现在所说的分派问题就是合理安排工作人员，以便使更多人就业。1．匈牙利算法①算法思路及步骤在V1中选择一个不被M饱和的一个顶点ui，并且力图寻找一条以ui为起点的M增广通路。§5介绍二分图的两种最大匹配算法（2）如果找到这样通路P，则求环和则新得就是一个比M更大的匹配，它比M能饱和更多的V1中的点。然后把视作M，重复上述步骤。②举例[例5-20]已给出二分图G（V1，V2）示示图5-52中，其中V1={x1，x2，x3，x4，x5}，V2={y1，y2，y3，y4，