如果有人喜欢的动物是另一个人不喜欢的动物,就是有冲突,那么在这俩人之间连一条边
喜欢猫的必定讨厌狗,喜欢狗的必定讨厌猫,那么把喜欢猫和喜欢狗的分开,就是一个二分图
那么要让更多的人高兴,就是找这个二分图的最大独立集(任意两点之间没有边,就是没有冲突)
二分图最大独立集 = | V | - 最大匹配
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<queue>
using namespace std;
typedef long long ll;
const int N=500+10;
const int M=62500+10;
const int INF=0x7f7f7f7f;
struct Edge
{
int to,nxt;
}edge[M];
int tot,first[N];
void addedge(int u,int v)
{
edge[tot].to=v;
edge[tot].nxt=first[u];
first[u]=tot++;
}
void init()
{
tot=0;
memset(first,-1,sizeof(first));
}
int uN,dis;
int Mx[N],My[N];
int dx[N],dy[N];
bool used[N],cat[N];
bool SearchP()
{
queue<int> q;
memset(dx,-1,sizeof(dx));
memset(dy,-1,sizeof(dy));
for(int i=0;i<uN;i++)
if(Mx[i]==-1&&cat[i])
{
q.push(i);
dx[i]=0;
}
dis=INF;
while(!q.empty())
{
int u=q.front();
q.pop();
if(dx[u]>dis) break;
for(int i=first[u];i!=-1;i=edge[i].nxt)
{
int v=edge[i].to;
if(dy[v]==-1)
{
dy[v]=dx[u]+1;
if(My[v]==-1) dis=dy[v];
else
{
dx[My[v]]=dy[v]+1;
q.push(My[v]);
}
}
}
}
return dis!=INF;
}
bool dfs(int u)
{
for(int i=first[u];i!=-1;i=edge[i].nxt)
{
int v=edge[i].to;
if(!used[v]&&dy[v]==dx[u]+1)
{
used[v]=true;
if(My[v]!=-1&&dy[v]==dis) continue;
if(My[v]==-1||dfs(My[v]))
{
My[v]=u;
Mx[u]=v;
return true;
}
}
}
return false;
}
int MaxMatch()
{
int res=0;
memset(Mx,-1,sizeof(Mx));
memset(My,-1,sizeof(My));
while(SearchP())
{
memset(used,false,sizeof(used));
for(int i=0;i<uN;i++)
if(Mx[i]==-1&&cat[i]&&dfs(i)) res++;
}
return res;
}
char like[N][5],disl[N][5];
int main()
{
int n,m,p;
while(~scanf("%d%d%d",&n,&m,&p))
{
init();
uN=p;
for(int i=0;i<p;i++)
{
scanf("%s%s",like[i],disl[i]);
if(like[i][0]=='C') cat[i]=true;
else cat[i]=false;
}
for(int i=0;i<p;i++)
for(int j=i+1;j<p;j++)
if(strcmp(disl[i],like[j])==0||strcmp(disl[j],like[i])==0)
{
if(cat[i]) addedge(i,j);
else addedge(j,i);
}
printf("%d\n",p-MaxMatch());
}
return 0;
}