匈牙利算法求二分图的最大匹配（牛头人算法）

转载自匈牙利算法（简单易懂）-CSDN博客

匈牙利算法是由匈牙利数学家Edmonds于1965年提出，因而得名。匈牙利算法是基于Hall定理中充分性证明的思想，它是部图匹配最常见的算法，该算法的核心就是寻找增广路径，它是一种用增广路径求二分图最大匹配的算法。

等等，看得头大？那么请看下面的版本：
通过数代人的努力，你终于赶上了剩男剩女的大潮，假设你是一位光荣的新世纪媒人，在你的手上有N个剩男，M个剩女，每个人都可能对多名异性有好感（暂时不考虑特殊的性取向），如果一对男女互有好感，那么你就可以把这一对撮合在一起，现在让我们无视掉所有的单相思，你拥有的大概就是下面这样一张关系图，每一条连线都表示互有好感。

匈牙利算法的工作模式会教你这样做：

一： 先试着给1号男生找妹子，发现第一个和他相连的1号女生还名花无主，连上一条蓝线

二：接着给2号男生找妹子，发现第一个和他相连的2号女生名花无主，连上一条蓝线

三：接下来是3号男生，很遗憾1号女生已经有主了，怎么办呢？
我们试着给之前1号女生匹配的男生（也就是1号男生）另外分配一个妹子。

(黄色表示这条边被临时拆掉)

与1号男生相连的第二个女生是2号女生，但是2号女生也有主了，怎么办呢？我们再试着给2号女生的原配。重新找个妹子(注意这个步骤和上面是一样的，这是一个递归的过程)

此时发现2号男生还能找到3号女生，那么之前的问题迎刃而解了，回溯回去

所以第三步最后的结果就是：

四： 接下来是4号男生
很遗憾，按照第三步的节奏我们没法给4号男生腾出来一个妹子。

就是匈牙利算法的流程，其中找妹子是个递归的过程，最关键的就是：有机会上，没机会创造机会也要上。

题目链接861. 二分图的最大匹配 - AcWing题库

c++代码

#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 510, M = 1e5 + 10;
int h[N],e[M],ne[M],idx;
int n1,n2,m;
bool st[N];
int match[N];
void add(int a,int b)
{
    e[idx] = b;
    ne[idx] = h[a];
    h[a] = idx ++;
}
bool find(int x)
{
    for(int i = h[x]; i != -1; i = ne[i])
    {
        int j = e[i];
        if(!st[j])
        {
            st[j] = true;
            if(match[j] == 0|| find(match[j]))
            {
                match[j] = x;
                return true;
            }
        }
    }
    return false;
}
int main()
{
    memset(h,-1,sizeof h);
    cin >> n1 >> n2 >> m;
    for(int i = 0; i < m; i ++ )
    {
        int a,b;
        cin >> a >> b;
        add(a,b);
    }
    int res = 0;
    for(int i = 1; i <= n1; i ++ )
    {
        memset(st,false,sizeof st);
        if(find(i))
        res ++;
    }
    cout << res << endl;
    return 0;
}

以上为转载csdn大佬的博客

个人理解st数组的含义

st数组即为妹子是否可以被选择，每一次遍历都要初始化是因为：可以保证每一个男孩选择时每一个喜欢的女孩都可以选，而st数组存在的意义是，匈牙利算法本质上是dfs，一层一层的递归调用，如果没有初始化st数组，很容易进入死循环