HDU-2768 Cat vs. Dog（最大独立集）

题意

给出 $c$ 只猫，$d$ 只狗，$v$ 个人投票，每个人只可能喜欢某一只猫，讨厌某一只狗，或喜欢某一只狗，讨厌某一只猫。求通过移出某一些猫、狗，最多能使多少人满足。

思路

不难看出，喜欢某一只猫，讨厌某一只狗和喜欢某一只狗，讨厌某一只猫有可能互斥。我们还要引出一个“最大独立集”的概念。一个点集 $S$ 满足 $\forall u,v \in S$ ，$\not\exists (u,v) \in E$（$E$ 是图的边集），它被称为独立集。二分图的最大独立集则是要在二分图中找一个独立集 $S$ 满足 $|S|$ 最大。
有这样一个结论：最大独立集 $=$ 二分图中点的个数 $-$ 最小点覆盖
相当好证，在二分图中删去所有覆盖点，就能使所有边无效，那剩下的就是最大独立集。

代码

#include<iostream>
#include<cmath>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
#define FOR(i,x,y) for(int i=(x);i<=(y);i++)
#define DOR(i,x,y) for(int i=(x);i>=(y);i--)
#define N 503
typedef long long LL;
using namespace std;
template<const int maxn,const int maxm>struct Linked_list
{
    int head[maxn],to[maxm],nxt[maxm],tot;
    void clear(){memset(head,-1,sizeof(head));tot=0;}
    void add(int u,int v){to[++tot]=v,nxt[tot]=head[u],head[u]=tot;}
    #define EOR(i,G,u) for(int i=G.head[u];~i;i=G.nxt[i])
};
int lk[N],ds[N];
int mark[N],mc[N],v;
bool judge[N];
Linked_list<N,N*N>G;
bool match(int u,int stmp)
{
    EOR(i,G,u)
    {
        int v=G.to[i];
        if(mark[v]==stmp)continue;
        mark[v]=stmp;
        if(!mc[v]||match(mc[v],stmp))
        {
            mc[v]=u;
            return true;
        }
    }
    return false;
}
int solve()
{
    int ans=0;
    memset(mark,0,sizeof(mark));
    memset(mc,0,sizeof(mc));
    FOR(i,1,v)if(judge[i]&&match(i,i))ans++;
    return ans;
}

int main()
{
    int T;
    scanf("%d",&T);
    while(T--)
    {
        G.clear();
        int f;char c1,c2;
        scanf("%d%d%d",&f,&f,&v);
        FOR(i,1,v)
        {
            scanf(" %c%d %c%d",&c1,&lk[i],&c2,&ds[i]);
            judge[i]=(c1=='C');
        }
        FOR(i,1,v)
            FOR(j,1,v)
                if(judge[i]&&!judge[j])
                    if(lk[i]==ds[j]||ds[i]==lk[j])
                        G.add(i,j);
        printf("%d\n",v-solve());
    }
    return 0;
}