nefu474二分图的最大匹配

题意：给你n头牛，和m个墙，每头牛有自己喜欢的墙，要求每堵墙只能有一头牛，求最多的匹配数 

分析：这题的最大流模型不是那么明显了，我们首先根据样例画出题目的图，如下：

我们仔细的分析，题目要求最大的匹配数，也就是通过左边的点，从右边的点穿出，使得穿出的个数最多，每个点只能穿过一次，怎么看起来和最大的流量那么像？我们在图中加个源点和汇点看看:

没错，有了源点和汇点，源点到左边每个的流量都是1，也就是只能通过1次，汇点也类似，而左边的点到右的点对应的边的边容量为1，就这样，这道题成功转换为最大流问题，建图后最大流解决

这题其实就是经典的二分图最大匹配！！！

#include <iostream>
#include <cstdio>
using namespace std;
const int oo=1e9;
const int mm=111111;
const int mn=999;
int node,src,dest,edge;
int ver[mm],flow[mm],next[mm];
int head[mn],work[mn],dis[mn],q[mn];
void prepare(int _node,int _src,int _dest)
{
    node=_node,src=_src,dest=_dest;
    for(int i=0;i<node;i++) head[i]=-1;
    edge=0;
}
void addedge(int u,int v,int c)
{
    ver[edge]=v;flow[edge]=c;next[edge]=head[u];head[u]=edge++;
    ver[edge]=u;flow[edge]=0;next[edge]=head[v];head[v]=edge++;
}
bool Dinic_bfs()
{
    int i,u,v,l,r=0;
    for(i=0;i<node;i++)
        dis[i]=-1;
    dis[q[r++]=src]=0;
    for(l=0;l<r;l++)
        for(i=head[u=q[l]];i>=0;i=next[i])
            if(flow[i]&&dis[v=ver[i]]<0)
            {
                dis[q[r++]=v]=dis[u]+1;
                if(v==dest) return 1;
            }
    return 0;
}
int Dinic_dfs(int u,int exp)
{
    if(u==dest) return exp;
    for(int &i=work[u],v,tmp;i>=0;i=next[i])
    {
        if(flow[i]&&dis[v=ver[i]]==dis[u]+1&&(tmp=Dinic_dfs(v,min(exp,flow[i])))>0)
        {
            flow[i]-=tmp;
            flow[i^1]+=tmp;
            return tmp;
        }
    }
    return 0;
}
int Dinic_flow()
{
    int i,ret=0,delta;
    while(Dinic_bfs())
    {
        for(i=0;i<node;i++)
            work[i]=head[i];
        while(delta=Dinic_dfs(src,oo))  ret+=delta;
    }
    return ret;
}
int main()
{
    int n,m,u,v,c;
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        prepare(n+m+2,0,n+m+1);
        for(u=1;u<=n;u++)
        {
            addedge(src,u,1);
            scanf("%d",&c);
            while(c--)
            {
                scanf("%d",&v);
                addedge(u,n+v,1);
            }
        }
        while(m)  addedge(n+m--,dest,1);

        printf("%d\n",Dinic_flow());
    }
    return 0;
}