【以前的空间】BZOJ2733[HNOI2012]永无乡

启发式合并？！

似乎当时写并查集的时候就有看到过类似于把小并查集并到大并查集上的说法，原来这就是启发式……

具体做法就是把小树里面的一个个拿出来，然后加到大树里面去（裸的不敢相信）

const

  maxn=;

  number=;

var

  left,right,size,value,hash,key,fa,num,root:array[..maxn]of longint;

  tot:longint;

procedure swap(var x,y:longint);

var

  i:longint;

begin

  i:=x;

  x:=y;

  y:=i;

end;

procedure lt(var x:longint);

var

  k:longint;

begin

  k:=right[x];

  right[x]:=left[k];

  left[k]:=x;

  size[k]:=size[x];

  size[x]:=size[left[x]]+size[right[x]]+;

  x:=k;

end;

procedure rt(var x:longint);

var

  k:longint;

begin

  k:=left[x];

  left[x]:=right[k];

  right[k]:=x;

  size[k]:=size[x];

  size[x]:=size[left[x]]+size[right[x]]+;

  x:=k;

end;

procedure insert(var x:longint;y:longint);

begin

  if x= then begin

    inc(tot);

    x:=tot;

    value[x]:=num[y];

    hash[x]:=y;

    key[x]:=random(number);

    left[x]:=;

    right[x]:=;

    size[x]:=;

    exit;

  end;

  inc(size[x]);

  if value[x]<num[y] then begin

    insert(right[x],y);

    if key[right[x]]<key[x] then lt(x);

  end

  else begin

    insert(left[x],y);

    if key[left[x]]<key[x] then rt(x);

  end;

end;

procedure dfs(var x:longint;y:longint);

begin

  if y= then exit;

  insert(x,hash[y]);

  dfs(x,left[y]);

  dfs(x,right[y]);

end;

function getfa(x:longint):longint;

begin

  if fa[x]=x then exit(x);

  fa[x]:=getfa(fa[x]);

  exit(fa[x]);

end;

procedure link(x,y:longint);

begin

  x:=getfa(x);

  y:=getfa(y);

  if x=y then exit;

  if size[root[x]]<size[root[y]] then swap(x,y);

  dfs(root[x],root[y]);

  fa[y]:=x;

end;

function find(x,y:longint):longint;

begin

  if x= then exit(-);

  if size[left[x]]=y- then exit(hash[x]);

  if size[left[x]]>y- then exit(find(left[x],y))

    else exit(find(right[x],y-size[left[x]]-));

end;

procedure into;

var

  i,x,y,n,m:longint;

begin

  readln(n,m);

  randomize;

  for i:= to n do begin

    read(num[i]);

    fa[i]:=i;

    insert(root[i],i);

  end;

  for i:= to m do begin

    readln(x,y);

    link(x,y);

  end;

end;

procedure work;

var

  n,x,y,i:longint;

  ch:char;

begin

  readln(n);

  for i:= to n do begin

    readln(ch,x,y);

    case ch of

      'B':link(x,y);

      'Q':writeln(find(root[getfa(x)],y));

    end;

  end;

end;

begin

  into;

  work;

end.