匹配问题

1、完美匹配：对于一个图G与给定的一个匹配M，如果图G中不存在M的未盖点，则称匹配M为图G的的完美匹配。

2、推论：设 G 中顶点个数为 n，且 G 中无孤立顶点，M 为 G 中的匹配，W 是 G中的边覆盖，则|M|≤|W|，|M|表示 M 中边的数目。当等号成立时, M 为 G 中完美匹配，W 为 G中最小边覆盖。

3、二部图的完备匹配：设无向图 G(V, E)为二部图，它的两个顶点集合为 X 和 Y，且|X|≤|Y|，M为 G 中的一个最大匹配，且|M| = |X|，则称 M 为 X 到 Y 的二部图 G 的完备匹配。若|X| = |Y|，则该完备匹配覆盖住 G 的所有顶点，所以该完备匹配也是完美匹配。

4、二部图的最佳匹配：设 G(V, E)为加权二部图，它的两个顶点集合分别为 X = { x1, x2, …, xm }、Y = { y1, y2, …, yn }。W(xi,yk) ≥ 0 表示工作人员 xi做工作 yk时的效益，权值总和最大的完备匹配称为二部图的最佳匹配。

5、交错轨：设P是图G的一条轨（路径），M是图G中一个给定的匹配，如果P的任意两条相邻的边一定是一条属于匹配M而另一条不属于M，则称P是关于M的一条交错轨。特别地，如果轨P仅含一条边，那么无论这条边是否属于匹配M，P一定是一条交错轨。

6、可增广轨：对于一个给定的图G和匹配M，两个端点都是未盖点的交错轨称为关于M的可增广轨。特别地，如果两个未盖点之间仅含一条边，那么单单这条边也组成一条可增广轨。

7、可增广轨的含义：对于图G的一个匹配M来说，如果能够找到一条可增广轨P，那么这个匹配M一定可以通过下述方法改进成一个多包含一条边的匹配Ms（即匹配M扩充了）：把P中原来属于匹配M的边从匹配M中去掉，而把P中原来不属于M的边加到匹配Ms中去，变化后的匹配Ms恰好比原匹配M多一条边。

8、定理：M为G的最大匹配，当且仅当G不存在关于M的可增广轨。

9、求最大匹配的可行方法：给定一个初始匹配M（如果没有给定，则M＝Ø），如果图G没有未盖点，则肯定不会有可增广轨了，即M就是最大匹配，否则对图G的所有未盖点vi，通过一定的方法搜索以 vi为端点的可增广轨，从而通过可增广轨逐渐把 M 扩大。（在扩大 M 的过程当中，某些未盖点会逐渐被 M 盖住）

10、匈牙利算法的原理：从当前匹配 M（如果没有匹配，则取初始匹配为 M＝Ø）出发，检查每一个未盖点，然后从它出发寻找可增广路，找到可增广路，则沿着这条可增广路进行扩充，直到不存在可增广路为止。