题目大意:
有p个小朋友参观动物园,动物园里面有两种动物,分别为猫和狗。规定一个小朋友喜欢猫就讨厌狗,喜欢狗就讨厌猫。
现在管理员要移走0一些动物,当然,移走也是有条件的。比如一个小朋友喜欢猫3,讨厌狗4.那么移走狗4,这个小朋友就会非常开心。同样,如果移走猫3,小朋友就会很不高兴。现在问怎么样才能使开心的小朋友的人数最多。
解题思路:
刚开始想了很久,以为是一道模拟题,类似贪心或者DP什么的,可是始终找不到好的突破点,之后搜了一下,发现是二分图最大独立集。
首先想的是在猫和狗之间建边,但是仔细想想发现,如果有重复的小朋友喜欢、讨厌的都是同一种动物,那么就漏掉了很多小朋友。。这样是不行的。
然后又想了想,发现可以在小朋友之间建边,当然,是在矛盾关系的小朋友之间建边。矛盾有2种情况:我喜欢的是前面讨厌的,我讨厌的是前面喜欢的。
这样,思路就已经很清晰了。
然后就可以套用结论:二分图最大独立集=定点数-二分图最大匹配
但是在做的过程中,我又理解了一点二分图的性质:
因为小朋友与小朋友是没有差别的,而二分图必须要求是2个集合,现在只有一个小朋友的集合,那么我们可以用到拆点的思想,把每个小朋友拆成2个小朋友,这样在求最大匹配的时候除以2就可以了。(相当于匹配了2次~。~)还有一点wa了一下午的地方就是:如果你拆点后,就必须建立双向边,比如1和2之间有矛盾,你不能只建立1-2矛盾边,必须还建立2-1矛盾边。
代码:
#include <iostream>
#include <cstdio>
#include <algorithm>
#include <vector>
#include <cstring>
using namespace std;
const int MAXN = 1505;
int linker[MAXN];
bool used[MAXN];
vector<int> map[MAXN];
int uN;
bool dfs(int u)
{
for(int i=0;i<map[u].size();i++)
{
if(!used[map[u][i]])
{
used[map[u][i]]=true;
if(linker[map[u][i]]==-1||dfs(linker[map[u][i]]))
{
linker[map[u][i]]=u;
return true;
}
}
}
return false;
}
int hungary()
{
int u;
int res=0;
memset(linker,-1,sizeof(linker));
for(u=0;u<uN;u++)
{
memset(used,false,sizeof(used));
if(dfs(u)) res++;
}
return res;
}
char like[MAXN][5];
char dislike[MAXN][5];
int main()
{
int n,m,p;
while(scanf("%d%d%d",&n,&m,&p)!=EOF)
{
for(int i=0;i<MAXN;i++) map[i].clear();
for(int i=0;i<p;i++)
{
scanf("%s%s",&like[i],&dislike[i]);
}
uN=p;
for(int i=0;i<p;i++)
for(int j=i+1;j<p;j++)
if(strcmp(like[i],dislike[j])==0 || strcmp(like[j],dislike[i])==0)
{
map[i].push_back(j);
map[j].push_back(i);
}
printf("%d\n",p-hungary()/2);
}
return 0;
}