Link Cut Tree

前言：

$lct$，比$splay$好写，而且也很有用。然而，本文不讲基础的东西。只讲一些人生的经验。

lct维护无向图的环

我们有一个很好的想法，就是用$lct$维护$tarjan$缩环之后的图。然而很纠结的是，好像很难维护？那么加上并查集，可以解决这个问题。原理是，第一个并查集维护图的连通性。就是说，节点$i$与节点$j$是否连通。第二个并查集维护每个点缩点之后的编号。那么很明显。如果遇到要$merge$两个本来就连通的点，那他们就会被$tarjan$掉。
具体代码很鬼畜。
这里说一下。
实际上对于每一个边双，我们只用每次都找到其代表元即可：

int truefa(int x){int belong = bcc.F(x) ;return fa[belong] = bcc.fa(fa[belong]);}

然后每次传进一个点的时候就直接把它先变成代表元即可。

lct维护子树信息

我们考虑$lct$如何维护子树。大体上可以看成是维护虚儿子。怎么维护？那么我们记录一下一个$unreal$表示这个节点以及其虚儿子的值，$sum$记一下$unreal$与实儿子的值。那么我们将一个点$access$之后，他的子树就都变成了他的虚儿子，所以此时答案就是这个的$unreal$。
怎么做？难点在于虚儿子。首先，在$splay$与$rotate$中，只是实儿子的变化，与虚儿子无关。

在$access$中：

void access(int x)
{
    for (int t = 0 ; x ; t = x , x = fa[x])
    {
        splay(x);
        ch[x][1] = t ;
    }
}

这里有一个将$x$的右儿子从之前的变为$t$。那么意义就是，虚儿子减少了$t$这个，增加了$x$之前的右儿子。
再看$link$。

void link(int u,int v)
{
    wroot(u);   
    fa[u] = v;
    unreal[v] += sum[u];
    sum [v] += sum[u];
}

这样子的话，$v$的虚儿子增加了$u$。但是，$u$的那一整个链，都要变化。很麻烦。所以我们不如都设成根，然后$link$。

void link(int u,int v)
{
    wroot(u);   wroot(v)
    fa[u] = v;
    unreal[v] += sum[u];
    sum [v] += sum[u];
}

还有$cut$。

这个是标准的$cut$：

void cut(int u,int v)
{
    wroot  (u);
    access (v);
    splay  (v);
    ch[v][0] = fa[u] = 0;   
    update(v);
}

那么这个就很明显。没有虚儿子的变化，只有实儿子的变化。可以直接$update$。
未完待续……