神奇了
朴素的做法不难想，二分图最大匹配（汗，我其实还是想了一会，太弱了）
左边点集为能打的属性值，右边把武器作为一个点
武器和两个属性连边，
然后和superhero那题差不多，顺次找匹配，找不到了就退
然后分析一下规模，感觉能卡过去，于是就真卡过去了（……）
其实，因为n很大，每次找匹配要fillchar一下visit数组很浪费时间
于是就加了个队列记录前一次访问过的点
竟然就过去了……论常数优化的重要
type node=record
next,point:longint;
end; var edge:array[..] of node;
v:array[..] of boolean;
p:array[..] of longint;
q,cx,cy:array[..] of longint;
j,t,s,n,i,x,y,ans,max:longint; procedure add(x,y:longint);
begin
inc(s);
edge[s].point:=y;
edge[s].next:=p[x];
p[x]:=s;
end; function dfs(u:longint):boolean;
var i,j:longint;
begin
i:=p[u];
while i<> do
begin
j:=edge[i].point;
if not v[j] then
begin
v[j]:=true;
inc(t);
q[t]:=j;
if (cy[j]=) or dfs(cy[j]) then
begin
cx[u]:=j;
cy[j]:=u;
exit(true);
end;
end;
i:=edge[i].next;
end;
exit(false);
end; begin
readln(n);
for i:= to n do
begin
readln(x,y);
add(x,i);
add(y,i);
if x>max then max:=x;
if y>max then max:=y;
end;
ans:=max;
for i:= to max do
if cx[i]= then
begin
for j:= to t do
v[q[j]]:=false; //关键啊，能不写fillchar就不写
t:=;
if not dfs(i) then
begin
ans:=i-;
break;
end;
end;
writeln(ans);
end.
然后去看了一下正解，感觉真的不容易想到：
还是把属性值看做点，把武器看做连接两个属性值的边（无向边）
1.对于一个联通块，假如不含环（就是一棵树），那么必定可以满足其中任意的p-1个点。
2.对于一个联通块，假如含环，那么必定全部的p个点都能满足。
然后就可以利用并查集优越的时空复杂度了,