第五模块离散模型第八章图论方法的数学模型.PDFVIP

泰山学院 科学计算基础与应用系列课程《数学模型与实验》 第五模块离散模型 第八章图论方法的数学模型 教学课题 §8.4匹配、覆盖与控制集问题 讲授 2学时 教学目的 掌握合匹配、覆盖与控制集问题以及解决问题的方法 教学重点 匈牙利算法、Kuhn-Munkres算法 教学难点 匹配问题的应用 教学方法 多媒体与传统教学手段相结合 课型 新授课 教学过程与内容 一、基本概念 1. 匹配 定义 8.4.1 设G是无环非空图，M是E(G)的非空子集。若M中的任意两条边在G中 都不相邻，则称M为G的匹配。G中与M中边关联的顶点称为M饱和点，反之称为M非饱 和点。设X ? V (G)，若X中的每个点都是M饱和点，则称M饱和X。若M饱和V (G)，则 称M为G的完美匹配。若对G的任意匹配M 0, 均有|M 0| 6 |M|, 则称M为G的最大匹配， 其所含边的数目称为匹配数。 显然，每个完美匹配一定是最大匹配，但反之不成立。 定义 8.4.2 设M和M 0是E(G)的两个不交的非空真子集。图G中的(M, M 0)交错路是 指边在M和M 0中交错出现的路径。若M = E(G) \ M, 则(M, M)交错路简称M交错路。 设M为G的匹配，两个端点不同且都是M非饱和点的M交错路称为M增广路。 c b d a g e h f 图8-11 1 例 8.4.1 如图8-11中，边子集{(a, b), (g, h), (e, f)}，{(c, g), (d, e)}, {(a, b)}以及空集 都是该图的匹配。而边子集{(a, b), (g, h), (e, f)}及{(a, b), (c, g), (d, e)}都是该图的最大匹 配。若取最大匹配M = {(a, b), (g, h), (e, f)}, 则路abgh, ahgfed, abhgd, cgha, ah等都 是M交错路，且该图中找不到M增广路。如果取匹配M = {(b, g), (e, f)}, 这时图中有增广路，例如abgfed。 M交错路和M增广路是处理匹配问题的有力工具。对于最大匹配，我们有以下结果。 定理 8.4.1 设M是G的匹配，则M为最大匹配的充分必要条件为G中不含M增广 路。 2. 覆盖 定义 8.4.3 设G是无环非空图，S是V (G)的非空子集。若E(G)中的每条边都与S中 某点关联，则称S为G的点覆盖。如果对G中任何异于S的点覆盖S0，均有|S| 6 |S0|, 则 称S为最小点覆盖，其顶点数称为点覆盖数。 若对于任意x ∈ S, S \ {x}都不是点覆盖，则称点覆盖S为极小的。 对于任意的无环图G，设S是G中任何一个点覆盖，M是G中任何一个匹配。由于M中 任何一条边e的两个端点中至少有一个在S中，因此一定有|M| 6 |S|。再结合点覆盖数和 匹配数的定义可知：图G的匹配数小于等于点覆盖数。 3. 二部图的匹配与覆盖 关于匹配与覆盖的概念和性质对于二部图来说自然也成立，但特别的，二部图具有 如下的重要结果。 定理 8.4.2 对于任意的二部图G，其点覆盖数与匹配数相等。因此匹配M、点覆 盖S分别为最大匹配、最小覆盖的充分必要条件是：|M|