首先这道题很容易想到二分图相关（给的很明确了）；
但是我们发现，男孩之间都互相认识，女孩之间也互相认识
这样是不能划分点集的
但是男孩之间都互相认识，女孩之间也互相认识，所以男孩和男孩，女孩和女孩之间不存在不认识关系；
如果以不认识作为边的话，这样不就能划开点集吗？
于是我们换一个思维，要找最多的男女生互相认识，不就是找最多的男女生之间不存在不认识关系吗
所以，我们在不认识之间的男女之间连边，然后对这个二分图求最大独立集即可
最大独立集=点集x+点集y-最大匹配数（最小点覆盖）
要注意思维的转化
type node=record
point,next:longint;
end;
var edge:array[..] of node;
p,cx,cy:array[..] of longint;
v:array[..] of boolean;
a:array[..,..] of boolean;
t,len,ans,g,b,m,i,j,x,y:longint; procedure add(x,y:longint);
begin
inc(len);
edge[len].point:=y;
edge[len].next:=p[x];
p[x]:=len;
end; function find(x:longint):longint;
var y,i:longint;
begin
i:=p[x];
while i<>- do
begin
y:=edge[i].point;
if not v[y] then
begin
v[y]:=true;
if (cy[y]=-) or (find(cy[y])=) then
begin
cx[x]:=y;
cy[y]:=x;
exit();
end;
end;
i:=edge[i].next;
end;
exit();
end; begin
readln(g,b,m);
while (b<>) do
begin
inc(t);
fillchar(a,sizeof(a),false);
len:=;
fillchar(p,sizeof(p),);
for i:= to m do
begin
readln(x,y);
a[x,y]:=true;
end;
for i:= to g do
for j:= to b do
if not a[i,j] then add(i,j);
fillchar(cx,sizeof(cx),);
fillchar(cy,sizeof(cy),);
ans:=;
for i:= to g do
if cx[i]=- then
begin
fillchar(v,sizeof(v),false);
ans:=ans+find(i);
end;
writeln('Case ',t,': ',b+g-ans);
readln(g,b,m);
end;
end.