二分图匹配详解

二分图匹配

1.二分图的原始模型及相关概念

二分图又称作二部图，是图论中的一种特殊模型。
设$G = (V, E)$是一个无向图。如顶点集$V$ 可分割为两个互不相交的子集，并且图中每
条边依附的两个顶点都分属两个不同的子集。则称图$G$ 为二分图。我们将上边顶点集合称
为$X$ 集合，下边顶点结合称为$Y$ 集合，如下图，就是一个二分图。

二分图的匹配：

给定一个二分图$G$ ，在$G$ 的一个子图$M$中， $M$的边集$E$ 中的任意两条边都不依附于
同一个顶点，则称$M$ 是一个匹配。

最大匹配：

在二分图$G$ 中所有的匹配$M$ 中，边数最多的匹配，称为二分图的最大匹配。

完全匹配：

如果一个匹配中，图中的每个顶点都和图中某条边相关联，则称此匹配为完全匹配，也
称作完备匹配。显然，完备匹配必然是一个最大匹配。
由完备匹配的定义可知：一个二分图有完备匹配，那么这个二分图的顶点个数必然为偶
数，且它的两个顶点集合的个数相等。

最佳匹配：

如果二分图$G$ 的每条边带权的话，权和最大的匹配叫做最佳匹配。

最佳完备匹配：

在加权二分图的所有完备匹配中，边权和最大的称为最佳完备匹配。

一般图最大匹配：

对于无向图