【BZOJ3514】Codechef MARCH14 GERALD07加强版（LCT）

题意：N个点M条边的无向图，q次询问保留图中编号在[l,r]的边的时候图中的联通块个数。

询问加密，强制在线

n,m,q<=200000

题意：RYZ作业

以下转载自hzwer http://hzwer.com/4358.html 本人实力有限难以清晰描述

有一个比较猎奇的做法：首先把边依次加到图中，若当前这条边与图中的边形成了环，那么把这个环中最早加进来的边弹出去
并将每条边把哪条边弹了出去记录下来：ntr[i] = j，特别地，要是没有弹出边，ntr[i] = 0;
这个显然是可以用LCT来弄的对吧。
然后对于每个询问，我们的答案就是对l~r中ntr小于l的边求和，并用n减去这个值
正确性可以YY一下：
如果一条边的ntr >= l,那么显然他可以与从l ~ r中的边形成环，那么它对答案没有贡献
反之如果一条边的ntr < l那么它与从l ~ r中的边是不能形成环的，那么他对答案的贡献为-1
对于查询从l ~ r中有多少边的ntr小于l，我反正是用的函数式线段树

话说LCT自带十倍常数 被卡了一天半 最后还是把swap和isroot拆出来才卡过的……

var t,c:array[0..4100000,0..2]of longint;
    mx,a,b,rev,fa,root,q:array[0..4100000]of longint;
    x,y:array[1..2100000]of longint;
    n,m,cnt,i,k,tp,tmp,lastans,l,r,top,tt:longint;

{function isroot(x:longint):boolean;
begin
 if (t[fa[x],0]<>x)and(t[fa[x],1]<>x) then exit(true);
 exit(false);
end;
             }
{procedure swap(var x,y:longint);
var t:longint;
begin
 t:=x; x:=y; y:=t;
end; }

procedure pushup(x:longint);
var l,r:longint;
begin
 l:=t[x,0]; r:=t[x,1];
 mx[x]:=x;
 if b[mx[l]]<b[mx[x]] then mx[x]:=mx[l];
 if b[mx[r]]<b[mx[x]] then mx[x]:=mx[r];
end;

procedure pushdown(x:longint);
var l,r:longint;
begin
 l:=t[x,0]; r:=t[x,1];
 if rev[x]>0 then
 begin
  rev[x]:=rev[x] xor 1; rev[l]:=rev[l] xor 1; rev[r]:=rev[r] xor 1;
 // swap(t[x,0],t[x,1]);
 tt:=t[x,0]; t[x,0]:=t[x,1]; t[x,1]:=tt;
 end;
end;

procedure rotate(x:longint);
var y,z,l,r:longint;
begin
 y:=fa[x]; z:=fa[y];
 if t[y,0]=x then l:=0
  else l:=1;
 r:=l xor 1;
// if not isroot(y) then
 if (t[fa[y],0]=y)or(t[fa[y],1]=y) then
 begin
  if t[z,0]=y then t[z,0]:=x
   else t[z,1]:=x;
 end;
 fa[y]:=x; fa[x]:=z; fa[t[x,r]]:=y;
 t[y,l]:=t[x,r]; t[x,r]:=y;
 pushup(y);
 pushup(x);
end;

procedure splay(x:longint);
var y,z,k:longint;
begin
 inc(top); q[top]:=x;
 k:=x;
// while not isroot(k) do
 while (t[fa[k],0]=k)or(t[fa[k],1]=k) do
 begin
  inc(top); q[top]:=fa[k];
  k:=fa[k];
 end;
 while top>0 do
 begin
  pushdown(q[top]);
  dec(top);
 end;

// while not isroot(x) do
 while (t[fa[x],0]=x)or(t[fa[x],1]=x) do
 begin
  y:=fa[x]; z:=fa[y];
  //if not isroot(y) then
  if (t[fa[y],0]=y)or(t[fa[y],1]=y) then
  begin
   if (t[y,0]=x)xor(t[z,0]=y) then rotate(x)
    else rotate(y);
  end;
  rotate(x);
 end;
end;

procedure access(x:longint);
var last:longint;
begin
 last:=0;
 while x>0 do
 begin
  splay(x); t[x,1]:=last; pushup(x);
  last:=x; x:=fa[x];
 end;
end;

function findroot(x:longint):longint;
var k:longint;
begin
 access(x); splay(x);
 k:=x;
 while t[k,0]<>0 do k:=t[k,0];
 exit(k);
end;

procedure makeroot(x:longint);
begin
 access(x); splay(x); rev[x]:=rev[x] xor 1;
end;

procedure link(x,y:longint);
begin
 makeroot(x); fa[x]:=y;
end;

procedure cut(x,y:longint);
begin
 makeroot(x); access(y); splay(y); t[y,0]:=0; fa[x]:=0;
end;

procedure update(l,r:longint;var p:longint;x:longint);
var mid:longint;
begin
 inc(cnt); c[cnt]:=c[p];
 p:=cnt; inc(c[p,2]);
 if l=r then exit;
 mid:=(l+r)>>1;
 if x<=mid then update(l,mid,c[p,0],x)
  else update(mid+1,r,c[p,1],x);
end;

function query(p1,p2,l,r,x:longint):longint;
var mid:longint;
begin
 if r=x then exit(c[p2,2]-c[p1,2]);
 mid:=(l+r)>>1;
 if x<=mid then exit(query(c[p1,0],c[p2,0],l,mid,x))
  else exit(c[c[p2,0],2]-c[c[p1,0],2]+query(c[p1,1],c[p2,1],mid+1,r,x));
end;

begin
 assign(input,'data.in'); reset(input);
 assign(output,'bzoj3514.out'); rewrite(output);
 readln(n,m,k,tp);
 fillchar(b,sizeof(b),$1f);
 for i:=1 to m do
 begin
  readln(x[i],y[i]);
  if x[i]=y[i] then a[i]:=i
   else
   begin
    if findroot(x[i])=findroot(y[i]) then
    begin
     makeroot(x[i]); access(y[i]); splay(y[i]);
     tmp:=mx[y[i]];
     a[i]:=tmp-n;
     cut(x[tmp-n],tmp); cut(tmp,y[tmp-n]);
     b[n+i]:=i; mx[n+i]:=n+i;
     link(x[i],i+n); link(i+n,y[i]);
    end
     else
     begin
      b[n+i]:=i; mx[n+i]:=n+i;
      link(x[i],i+n); link(i+n,y[i]);
     end;
   end;

 end;
 //for i:=1 to m do writeln(a[i]);
 for i:=1 to m do
 begin
  root[i]:=root[i-1];
  update(0,m,root[i],a[i]);
 end;
 for i:=1 to k do
 begin
  readln(l,r);
  if tp=1 then
  begin
   l:=l xor lastans;
   r:=r xor lastans;
  end;
  lastans:=n-query(root[l-1],root[r],0,m,l-1);
  writeln(lastans);
 end;

 close(input);
 close(output);
end.