二分图最大匹配-匈牙利算法

定义

二分图最大匹配，简单地说就是给你两个集合，X和Y，然后X中的元素和Y中的元素有边相连，一条边能匹配仅当两端的节点都没有匹配过，求最多能匹配多少边。

思想

我们先来说增广路：找到一个还没匹配的点，然后从没匹配的点出发，经过非匹配边（也就是没选的边），匹配边（也就是选的边），非匹配边，匹配边……如果最后走到了另一个没匹配过的点，就说这是一条增广路（此时，这个还没匹配过的点就可以通过挪动匹配了）。

因为增广路可以增加一个匹配边，所以二分图最大匹配可以用过不停刷增广路求得。记录一个who[i]表示Y集合中i这个元素和X集合中的谁相连，对于x，如果连接它的边中有who[son]=0（没匹配过的点）。那么就说明找到了增广路，who[son]=x。否则，我们递归调用，询问who[son]是否可行，如果who[son]中除了who[son]目前的匹配点还有没匹配过的点，那么就把who[son]的匹配改了，然后who[son]=x，否则继续递归调用……最终，寻找完所有增广路之后，二分图最大匹配即可求得。这个利用增广路的算法即所谓的匈牙利算法。

效率

总共需要n次增广，每次增广需要$O(m)$的时间，所以效率为$O(n*m)$。如果图是稀疏图的话效果比较好。

模板

bool Find(int x) //vis[x]表示x是否出现过，每次使用之前需初始化
{
    if (vis[x]) return false;vis[x]=true; //x出现过说明成环，肯定不行
    for (int j=lnk[x];j;j=nxt[j])
        if (!who[son[j]]||Find(who[son[j]])) //可以与son[j]连边
        {
            who[son[j]]=x; //增广路增加了一条
            return true; //查找成功
        }
    return false; //查找失败
}