二分图匹配 模板题 洛谷P3386 + 例题 洛谷P2756

二分图的最大匹配边数
对于一个二分图的最大匹配边数是指，能够存在的从左部连到右部且端点不重合的边数，即为其最大边数。

匈牙利算法
即先从左部中选出一个端点，去匹配右部，如果可以匹配且被匹配端点没有被匹配过，那么直接将两个点进行配对，如果被匹配端点已经被匹配过了，那么就尝试“协商”，协商的意思是指尝试将被匹配端点的匹配端点进行再次匹配，看看能不能找到一个点，让它再次匹配成功，如果找到了，那么就将当前两个点直接进行配对，如果没有，则说明匹配失败，如此进行直到左部的所有点都查找完毕，即可得到最大边数。

P3386代码

#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
using namespace std;
int n,m,e;
int mat[505];
int vis[505];
int ans;
int mmap[505][505];
bool found(int cur)
{
    for(int i=1;i<=m;i++)
    {
        if(mmap[cur][i])
        {
            if(vis[i])
                continue;
            vis[i]=1;
            if(!mat[i]||found(mat[i]))
            {
                mat[i]=cur;
                return true;
            }
        }
    }
    return false;
}
void match()
{
    for(int i=1;i<=n;i++)
    {
        memset(vis,0,sizeof(vis));
        if(found(i))
            ans++;
    }
}
int main()
{
    cin>>n>>m>>e;
    for(int i=1;i<=e;i++)
    {
        int u,v;
        cin>>u>>v;
        mmap[u][v]=1;
    }
    match();
    cout<<ans<<endl;
    return 0;
}

P2756代码
思路和模板题一样，不同的一点在于要输出匹配了哪几对，那么只要再开一个数组记录就好了

#include<cstdio>
#include<iostream>
#include<cstring>
using namespace std;
int n,m;
int mmap[105][105];
int mat[105],vis[105];
int ans;
int mat2[105];
bool found(int cur)
{
    for(int i=m+1;i<=n;i++)
    {
        if(mmap[cur][i])
        {
             if(vis[i])
                continue;
            vis[i]=1;
            if(!mat[i]||found(mat[i]))
            {
                mat[i]=cur;
                mat2[cur]=i;
                return true;
            }
        }

    }
    return false;
}
void match()
{
    for(int i=1;i<=m;i++)
    {
        memset(vis,0,sizeof(vis));
        if(found(i))
            ans++;
    }
}
int main()
{
    cin>>m>>n;
    while(1)
    {
        int u,v;
        cin>>u>>v;
        if(u==-1&&v==-1)
            break;
        mmap[u][v]=1;
    }
    match();
    cout<<ans<<endl;
    for(int i=1;i<=m;i++)
        if(mat2[i])
            cout<<i<<" "<<mat2[i]<<endl;
    return 0;
}