网络流匹配精要.ppt

图论小组专题之 ——网络流与匹配 08年08月08日 第一节 最大二部图基数匹配 1．何为二部图 　　如果V(G)可以分到两个集合X，Y中，且X和Y内部没有G的边．那么图G就是一个二部图（等价于图G是可二顶点着色的）如右（图一）便是一个二部图． ２．二部图的性质 　　一个图是二部图当且仅当图G中没有奇环．比如说一个三角形就不可能分成两个部分，并且每个部分内部没有边，但一个正方形就可以． ３．如何得到二部图的每个部分 　　任意选一个顶点，所有到该点距离为偶数的点构成的集合便是G中的一部分，距离为奇数的点为另一部分 最大匹配 １．何为匹配 　　图G的一个匹配是一组没有公共端点的边构成的集合，如（图一）两条黑色的边构成一个大小为２的匹配，三条红色的边构成一个大小为３的匹配．图中的最大匹配数就是３。 ２．判断一个匹配是不是最大匹配 　　一个匹配M是图G的最大匹配当且仅当图G中不存在M-增广路径.　M-增广路径是一条边交替出现在M和不出现在M中的路径，且两个端点没有被M中的边覆盖。如下（图二）红色的边代表匹配，灰色代表不是匹配的边。若是一个图有M-增广路径，我们用灰色的边作为匹配，就得到了一个更大的匹配 二部图基数匹配算法 二部图的表示 　　由于二部图的每个部分内部没有边，这允许我们用更少的空间来存储二部图的结构.若G[i][j]=1就表示X部分的第i个顶点与Y部分的第j个