二分图最大匹配

先上定义：

一、二分图

二分图又称作二部图，是图论中的一种特殊模型。 设G=(V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集(A,B)，并且图中的每条边（i，j）所关联的两个顶点i和j分别属于这两个不同的顶点集(i in A,j in B)，则称图G为一个二分图

也就是一个图被划分成了两个不相交的集合，集合内部没有边相连。

二、匹配

1、匹配

在一个二分图G中，它的一个子集M，里面的任意两条边都不依附于同一个顶点，也就是一个顶点只有一条边与之相连。

这一个子集M就是一个匹配。例如下图中的，图3，图3即为图2的一个匹配

2、匹配点，匹配边，未匹配点，非匹配边

很明显，图3，图4中的红线即为匹配边，与匹配边相连的点为匹配点，其余的为未匹配点和非匹配边

3、最大匹配

二分图中匹配的边数最多的匹配即为最大匹配，图4即为图2的最大匹配。

4、完美匹配

一个图中所有的点都为匹配点的匹配，例如图4： 1,2,3,4,5,6,7,8都是匹配点，这样的匹配就是完美匹配。

显然完美匹配一定是最大匹配，而最大匹配不一定是完美匹配。

三、匈牙利算法

  求解二分图最大匹配匹配所用的方法之一就是匈牙利算法。

匈牙利算法的根本是求增广路径。

交替路：从一个未匹配点出发，依次经过非匹配边，匹配边，非匹配边......这样的路径为交替路

増广路：从一个未匹配点出发，走交替路，如果经过了一个未匹配点（不包括起点），则这条路径为増广路。

増广路有一个重要特点：非匹配边比匹配边多1.

而匈牙利算法就是不断地寻找増广路，当找不到増广路时即达到最大匹配。

匈牙利算法是由匈牙利数学家Edmonds于1965年提出，因而得名。匈牙利算法是基于Hall定理中充分性证明的思想，它