bzoj1854

神奇了

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

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

武器和两个属性连边，

然后和superhero那题差不多，顺次找匹配，找不到了就退

然后分析一下规模，感觉能卡过去，于是就真卡过去了（……）

其实，因为n很大，每次找匹配要fillchar一下visit数组很浪费时间

于是就加了个队列记录前一次访问过的点

竟然就过去了……论常数优化的重要

type node=record
       next,point:longint;
     end;

var edge:array[0..2000010] of node;
    v:array[0..1000000] of boolean;
    p:array[0..10010] of longint;
    q,cx,cy:array[0..1000010] 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<>0 do
    begin
      j:=edge[i].point;
      if not v[j] then
      begin
        v[j]:=true;
        inc(t);
        q[t]:=j;
        if (cy[j]=0) 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:=1 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:=1 to max do
    if cx[i]=0 then
    begin
      for j:=1 to t do
        v[q[j]]:=false;     //关键啊，能不写fillchar就不写
      t:=0;
      if not dfs(i) then
      begin
        ans:=i-1;
        break;
      end;
    end;
  writeln(ans);
end.

然后去看了一下正解，感觉真的不容易想到：

还是把属性值看做点，把武器看做连接两个属性值的边（无向边）

1.对于一个联通块，假如不含环（就是一棵树），那么必定可以满足其中任意的p-1个点。
2.对于一个联通块，假如含环，那么必定全部的p个点都能满足。

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