bzoj1854

神奇了

朴素的做法不难想，二分图最大匹配（汗，我其实还是想了一会，太弱了）

左边点集为能打的属性值，右边把武器作为一个点

武器和两个属性连边，

然后和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个点都能满足。

然后就可以利用并查集优越的时空复杂度了,