HDU-3829 Cat VS Dog(最大独立集)

题目大意：

有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;
}