题意:一部分男生喜欢一部分女生,一部分女生喜欢一部分男生,现在给出他们的关系,然后问最多可以找出多少个人,其中任意两个人都彼此不喜欢。
思路:因为男生只喜欢女生,女生只喜欢男生,所以这肯定是一个二分图,起码把所有男生拉一块儿肯定是没有彼此互相喜欢的。首先求二分图最大匹配,剩下的人肯定都是独立的。然后对于这些匹配中,每个匹配中至少都要有一个人在剩下的人中没有可以组合的对象。
这一点我是这么考虑的,加入存在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;
}