第八章-匹配-教学课件.docVIP

教学安排的说明 章节题目：二部图的性质，匹配，二部图的完美匹配，匹配的应用 学时分配：共4课时 本章教学目的与要求：理解匹配的实际意义，图的最大匹配和完美匹配的定义，掌握二部图的最大匹配存在的充要条件和求法 其它：由于增加了部分例题和练习，增加了对二部图的讨论，因此授课内容与教材不完美一致，主要教学内容有最大匹配，完美匹配，二部图完美匹配的算法 　　　　 课 堂 教 学 方 案 课程名称：二部图的性质，匹配 授课时数：2学时 授课类型：理论课 教学方法与手段：讲授法 教学目的与要求：掌握二部图的性质，匹配的实际意义，能够将简单的匹配问题建立图论模型，掌握求最大匹配的匈牙利算法。 教学重点、难点：匈牙利算法，最大匹配的判别， 教学内容： 第八章 匹配 8.1 二部图 在许多实际问题中常用到二部图，本节介绍二部图的基本概念和主要结论。 定义8.1.1 若无向图的顶点集能分成两个子集和，满足 （1），； （2），均有，。 则称为二部图或偶图(Bipartite Graph或Bigraph)，和称为互补顶点子集，常记为。如果中每个顶点都与中所有顶点邻接，则称为完美二部图或完美偶图(Complete Bipartite Graph)，并记为，其中。 图1中，都是二部图，其中是完美二部图。 图1二部图示例 显然，在完美二部图中中，顶点数，边数。 一个无向图如果能画成上面的样式，很容易判定它是二部图。有些图虽然表面上不是上面的样式，但经过改画就能成为上面的样式，仍可判定它是一个二部图，如图2中可改画成图，图可改画成图。可以看出，它们仍是二部图。 图2二部图示例 定理8.1.1 无向图为二部图的充分必要条件为中所有偶圈的长度均为偶数。 证明 先证必要性。 设是具有互补顶点子集和的二部图。是中任一长度为的偶圈，不妨设，则，，所以必为偶数，不然，不存在边。 再证充分性。 设是连通图，否则对的每个连通分支进行证明。设只含有长度为偶数的偶圈，定义互补顶点子集和如下：任取一个顶点，令 ， 现在证明中任意两顶点间无边存在。 假若存在一条边，且，则由到间的最短路（长度为偶数）， 边和到间的最短路（长度为偶数）所组成的偶圈的长度为奇数，与假设矛盾。 同理可证中任意两顶点间无边存在。 故中的每条边必具有形式，其中，， 即是具有互补顶点子集和的一个二部图。 利用定理8.1可以很快地判断出图3中的、是二部图，而则不是二部图。 图3 例1 六名间谍被擒，已知懂汉语、法语和日语，懂德语、俄语和日语，懂英语和法语，懂西班牙语，懂英语和德语，懂俄语和西班牙语，问至少用几个房间监禁他们，能使在一个房间里的人不能直接对话。 解 以六人为顶点，在懂共同语言的人的顶点间连边得图（如图4所示），因为中没有奇圈，所以是二部图（如图4所示），故至少应有两间房间即可。 图4 二部图是十分有用的一种数学模型，许多问题可以用它来刻划。例如“资源分配”、“工作安排”、“人员择偶”等等。但是，利用二部图分析解决这类问题时，还需要与二部图有关的另一个概念——匹配。 8.2 匹配 首先看实际中常碰见的问题：给个工作人员安排项任务，个人用表示。并不是每个工作人员均能胜任所有的任务，一个人只能胜任其中个任务，那么如何安排才能做到最大限度地使每项任务都有人做，并使尽可能多的人有工作做？ 例如，现有五个人，五项工作。已知能胜任和，能胜任和，能胜任和，能胜任和，能胜任、和。如何安排才能使每个人都有工作做，且每项工作都有人做？ 显然，我们只需构造这样的数学模型：以和（i，j=1，2，3，4，5）为顶点，在与其胜任的工作之间连边，得二部图，如图5所示，然后在中找一个边的子集，使得每个顶点只与一条边关联（图中粗线），问题便得以解决了。这就是所谓匹配问题，下面给出匹配的基本概念和术语。 图5匹配问题示意图 定义8.2.1 设无向图，中有边集，且在中任意两条边都不邻接，称边集为图的一个匹配(Matching)。中一条边的两个端点，叫做在下是配对的。如果中不存在匹配，使得，则称为最大匹配(Maximum Matching)。一般情况下最大匹配是不唯一的。 对于的一个匹配，若顶点与中的边关联，则称是饱和的(Saturated)，也称是饱和顶点，或者称饱和顶点，否则称是不饱和的。若的每一个顶点均为饱和顶点，则称为的完美匹配，显然其边数达到。完美匹配一定是最大匹配，但反之不成立。若最大匹配的边数为p(G)/2，则说明该图存在完美匹配，且这个最大匹配就是完美匹配，否则该图不存在完美匹配。 例3　（1989，美国数学奥林匹克）某地区网球俱乐部的20名成员举行14场单打比赛中，每一名成员至少上场一次，证明：必有6场比赛，其中12个参赛者各不相同。 证明　首先构造图G：用20个顶点代表20名成