图论学习笔记（8）

图论学习笔记（8）

基本概念

图的匹配M是有一些边组成的集合，其中的任何两个边都不关联。

注：设X，Y是二分图G中的两个部分，则图G一个匹配中的每一条边关联的两个结点满足：一个在X中，另一个在Y中。事实上，图G的每条边也都满足。

若X中的每个结点都关联于匹配M中的一条边，则称M为从X到Y的一个完全匹配。

注：此时M未必是从Y到X的一个完全匹配。

若M是从X到Y的一个完全匹配也是从Y到X的一个完全匹配，则称M为一个完美匹配。这要求|X| = |Y|，即图G是平衡的，从X到Y的一个完全匹配仅要求|X|≤|Y|。

若匹配M在图G的所有匹配中最大，则称M为最大匹配。也就是说，若M'是图G的任意一个匹配，则|M'|≤|M|。

若不存在更大的匹配M'包含匹配M，则称M为一个极大匹配。因此，极大匹配是指不能通过增加边而扩大的匹配。

设M是图G的一个匹配。图G的M-交错路是由在M中的边和不再M中的边交替出现构成的。

若结点v与M中的某条边相关联，则称v为M-匹配的，否则，称v为M-不匹配的。

M-增广路是指连接两个M-不匹配结点的交错路。

注：

M-增广路不必包含M的所有边。

M-增广路开始并终止于不在M中的边。

基本定理

定理8.1 Berge匹配定理 图G的匹配M是最大匹配当且仅当G中没有M-增广路。

预备：对于结点v，用n(v)表示所有与v邻接的结点集。对于图G结点集的任意子集S，N(S)表示所有与S中的结点相邻接的结点集的并集，即N(S)=n(v)。

定理8.2 Hall匹配定理 二分图G的两个部分为X、Y，若存在从X到Y的完全匹配当且仅当对任意S⊆X，都有|N(S)|≥|S|。

定理8.3 Hall婚配定理 二分图G的两个部分X、Y满足|X| = |Y|时，图G存在完美匹配当且仅当对任意子集S⊆X，都有|N(S)| ≥|S|。

引理8.3.1 正则二分图G一定平衡，即G的两个部分X、Y一定有相同的结点数。

定理8.4 若二分图是正则图，则它一定存在完美匹配。