hdu 1068 Girls and Boys（二分图求最大独立点集）

题意：一部分男生喜欢一部分女生，一部分女生喜欢一部分男生，现在给出他们的关系，然后问最多可以找出多少个人，其中任意两个人都彼此不喜欢。

        思路：因为男生只喜欢女生，女生只喜欢男生，所以这肯定是一个二分图，起码把所有男生拉一块儿肯定是没有彼此互相喜欢的。首先求二分图最大匹配，剩下的人肯定都是独立的。然后对于这些匹配中，每个匹配中至少都要有一个人在剩下的人中没有可以组合的对象。

        这一点我是这么考虑的，加入存在a——b这样的匹配，剩下的集合为M，如果x属于M，且x可以与a组合，y属于M且y可以与b组合，那么就可以将a和b拆分，让他们分别和x还有y组队，这样的话，原来的结果就不是最大匹配了。

        开始的时候我还想过，如果存在x属于M，且x可以与a组合也可以与b组合，那么a和b中就不能有人进入集合M。但是这样的话x就要和a或者b中间的一个人搞基。。。。

        我在书上找到了这样的一条定理：当且仅当无向图G的每一条回路的长度均为偶数时，G才是一个二分图。如果无回路，相当于任意一条回路的长度是0，0视为偶数。

        二分图最大独立点集=顶点数 - 最大匹配数。这个公式我就试着做了上面的一些推论，但是没能给出完整的推论。我在网上也没有找到比较完整的证明。等这个专题学完了，再试着给出证明。

#include<stdio.h>
#include<string.h>
#define N 505
#define M 250005
struct node
{
    int son;
    int next;
} Edge[M*2];
int head[N],vis[N],link[N];
int cnt;
void AddEdge(int x,int y)
{
    Edge[cnt].son=y;Edge[cnt].next=head[x];head[x]=cnt++;
    return ;
}
int dfs(int father)
{
    int u=head[father];
    for(int i=u;i!=-1;i=Edge[i].next)
    {
        int son=Edge[i].son;
        if(vis[son]) continue;
        vis[son]=1;
        if(link[son]==-1||dfs(link[son]))
        {
            link[son]=father;
            return 1;
        }
    }
    return 0;
}
int main()
{
    int n;
    while(scanf("%d",&n)!=EOF)
    {
        cnt=0;
        memset(head,-1,sizeof(head));
        for(int i=0; i<n; i++)
        {
            int x,m;
            scanf("%d: (%d)",&x,&m);
            for(int i=1;i<=m;i++)
            {
                int y;
                scanf("%d",&y);
                AddEdge(x,y);
            }
        }
        int count=0;
        memset(link,-1,sizeof(link));
        for(int i=0;i<n;i++)
        {
            memset(vis,0,sizeof(vis));
            if(dfs(i)) count++;
        }
        printf("%d\n",n-count/2);
    }
    return 0;
}