lct学习笔记

lct不能够实现“对某个点的子树进行的某些操作”(但可以实现类似求子树大小的简单操作)，然而对于大部分动态树问题来说还是够用了。
主要的四个操作。
1，Access(x)，把原树上x到根路径上的所有点放到同一颗splay里面
2，Makeroot(x)，让x成为所在树的根
3，Cut(x,y)，切断相邻的节点x,y的边
4，Link(x,y)，让x,y连一条树边，成为属于原图的同一棵树。

基本定义
splay(x,y)表示x旋转到为y的儿子
fa[x]为splay中的x的父亲。
其中每个splay的根root都记录了一个tfa[root]表示在这棵splay中深度最小的点在树中的父亲。

Access(x)
1，splay(x,0)，splay上，断开右子树，右子树的顶端y记录tfa[y]=x
2，令last=x，x=tfa[x]，执行操作1，并让last所在子树成为x的右子树。(splay上)
3，重复操作2直至tfa[x]=0。

Makeroot(x)
1，Acccess(x)
2，splay(x,0)
3，给x所在的splay打翻转标记
access(x)之后，原树其他点到这个重链上的所有点都是轻边了，无论是这个重链的谁作为根，轻边的信息都不会变质。而x为重链的最深点，把它作为根，那么深度顺序就反了过来，所以翻转。

Cut(x,y)
1，Makeroot(x)
2，Access(y)
3，splay(y,0)
4，在splay上，把y的左子树断掉。
makeroot(x)后x肯定是y的父亲了。为了其他点的信息不被破坏，我们断掉y所在的重链，让x,y于同一重链，把y的左子树断掉，即x和y断掉了，此时tfa[y]肯定是0，因为x是根。

Link(x,y)
1，Makeroot(x)
2，splay(x,0)
3，tfa[x]=y
makeroot(x)后再把x旋到根，tfa[x]=0，直接连向y即可。

模板

bool pd(int x){return(tree[fa[x]][0]==x)?0:1;}void re(int x){    if (!x) return;    bz[x]^=1,swap(tree[x][0],tree[x][1]);}void update(int x){    int l=tree[x][0],r=tree[x][1];    num[x]=max(max(num[l],num[r]),x);}void clear(int x){    int l=tree[x][0],r=tree[x][1];    if (bz[x]) re(l),re(r);    bz[x]=0;}void rotate(int x){    int y=fa[x],z=pd(x),z1=pd(y);    if (tree[y][z]=tree[x][z^1]) fa[tree[y][z]]=y;    if (fa[x]=fa[y]) tree[fa[x]][z1]=x;    if (tfa[y]) tfa[x]=tfa[y],tfa[y]=0;    fa[y]=x,tree[x][z^1]=y,update(y);}void chu(int x,int y){    q[0]=0;    for(;x!=y;x=fa[x]) q[++q[0]]=x;    for(;q[0];q[0]--) clear(q[q[0]]);}void splay(int x,int y){    chu(x,y);    while (fa[x]!=y){        int f=fa[x];        if (fa[f]!=y){            if (pd(x)==pd(f)) rotate(f);else rotate(x);        }rotate(x);    }update(x);}void access(int x){    int last=0,y;    for(;x;last=x,x=tfa[x]){        splay(x,0);        y=tree[x][1];        if (y) tree[x][1]=0,fa[y]=0,tfa[y]=x;        if (last)tree[x][1]=last,fa[last]=x,tfa[last]=0;        update(x);    }}void makeroot(int x){    access(x);    splay(x,0);    re(x);}void link(int x,int y){    makeroot(x);    splay(x,0);    tfa[x]=y;}void cut(int x,int y){    makeroot(x);    access(y);    splay(y,0);    tree[y][0]=0,fa[x]=0,update(y);}