题意
给出 c c 只猫, 只狗, v v 个人投票,每个人只可能喜欢某一只猫,讨厌某一只狗,或喜欢某一只狗,讨厌某一只猫。求通过移出某一些猫、狗,最多能使多少人满足。
思路
不难看出,喜欢某一只猫,讨厌某一只狗和喜欢某一只狗,讨厌某一只猫有可能互斥。我们还要引出一个“最大独立集”的概念。一个点集 满足
∀u,v∈S
∀
u
,
v
∈
S
,
∄(u,v)∈E
∄
(
u
,
v
)
∈
E
(
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;
}