LCT总结

LCT总结

类比树剖,树剖是通过静态地把一棵树剖成若干条链然后用一种支持区间操作的数据结构维护(比如线段树、树状数组),而LCT是动态地去处理这个问题。

大家都知道树剖用线段树维护,而LCT用\(splay\)维护。实际上同一条重链上的所有点才会被放在一棵\(splay\)中,而我们需要同时处理这若干条重链对应的若干棵\(splay\)之间的关系。因为一条重链上的每个点的深度互异,所以\(splay\)以深度\(dep\)为关键字。

我们规定一棵\(splay\)的根的\(fa\)为这条重链链顶节点在原树中的父亲节点。(前面的那个\(fa\)指的是\(splay\)中的\(fa\)
而显然认了这个父亲之后,父亲不会认这个儿子:很简单,这两个点不在同一条重链上,所以父亲的左右儿子一定没有它。由此可以写一个判断一个点是不是根节点(当前\(splay\)的根节点)的函数:

bool isroot(int x){
	return ch[0][fa[x]]!=x&&ch[1][fa[x]]!=x;
}

先讲LCT最重要的一个操作:\(access(x)\),表示把\(x\)节点到\(x\)所在树(连通块)的根节点之间的路径全部变成重路径。

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

相当于是说要把这些在路径上的点全部搞到一棵\(splay\)里面去。
从下往上做,每次把\(x\)splay到当前\(splay\)的根后,这个\(x\)就会处于一个很微妙的位置:它的右儿子\(rs\)应该会接上这条重链下面的一部分,因为这条重链下面一部分的深度显然会大于\(x\)。而所谓“下面的一部分”就是我们上一个处理的\(x\),这也就是为什么y=x,x=fa[x]了。
最开始的\(x\)的下面不应该接上任何东西,所以\(y\)的初值赋为0。

再就是另一个基本操作:\(makeroot(x)\),表示把\(x\)节点设为\(x\)所在树(连通块)的根节点。
我们先把\(x\)access了,即连接了\(x\)与根节点,然后再把\(x\)splay到根,那么显然这个\(x\)肯定会是\(splay\)中的最后一个元素(因为它深度最大),所以我们在\(x\)这里打一个\(rev\)标记(\(splay\)区间翻转操作)即可。

void makeroot(int x){
	access(x);splay(x);reverse(x);
}

剩下的操作就很简单了。
\(findroot(x)\),找到\(x\)节点所在树(连通块)的根节点。用这个操作可以维护连通性。
\(findroot(x)=access(x)+splay(x)+\)找到最左边(深度最小)的那个节点。
请注意暴跳了\(x\)之后要把\(x\)splay一下。你可能会问为什么我以前这样写没有被卡,那就请移步[Luogu4230]连环病原体

int findroot(int x){
	access(x);splay(x);
	while (ch[0][x]) x=ch[0][x];
	splay(x);
	return x;
}

\(split(x,y)\),抠出\(x\)\(y\)的路径,抠完以后\(y\)\(splay\)的根。
\(split(x,y)=makeroot(x)+access(y)+splay(y)\)

void split(int x,int y){
	makeroot(x);access(y);splay(y);
}

\(cut(x,y)\),砍断\(x\)\(y\)的边。
\(cut(x,y)=split(x,y)+\)x的父亲和y的左儿子置0。
(split之后这一棵\(splay\)中就只剩\(x\)\(y\)两个点了,所以才可以这么搞)

void cut(int x,int y){
	split(x,y);fa[x]=ch[0][y]=0;
}

\(link(x,y)\),连接\(x\)\(y\)的边。
\(cut(x,y)=makeroot(x)+fa[x]=y\)

void link(int x,int y){
	makeroot(x);fa[x]=y;
}

注意:
split请务必保证两个点联通
cut请务必保证两个点直接相连
link请务必保证两个点不联通
不然出现玄学错误谁都救不了你了

模板

#include<cstdio>
#include<algorithm>
using namespace std;
const int N = 300005;
int n,m,opt,a,b,fa[N],ch[2][N],sum[N],val[N],rev[N],Stack[N],top;
int gi()
{
	int x=0,w=1;char ch=getchar();
	while ((ch<'0'||ch>'9')&&ch!='-') ch=getchar();
	if (ch=='-') w=0,ch=getchar();
	while (ch>='0'&&ch<='9') x=(x<<3)+(x<<1)+ch-'0',ch=getchar();
	return w?x:-x;
}
bool son(int x)
{
	return x==ch[1][fa[x]];
}
bool isroot(int x)
{
	return ch[0][fa[x]]!=x&&ch[1][fa[x]]!=x;
}
void pushup(int x)
{
	sum[x]=sum[ch[0][x]]^sum[ch[1][x]]^val[x];
}
void reverse(int x)
{
	if(!x)return;
	swap(ch[0][x],ch[1][x]);rev[x]^=1;
}
void pushdown(int x)
{
	if(!rev[x])return;
	reverse(ch[0][x]);reverse(ch[1][x]);
	rev[x]=0;
}
void rotate(int x)
{
	int y=fa[x],z=fa[y],c=son(x);
	ch[c][y]=ch[c^1][x];if (ch[c][y]) fa[ch[c][y]]=y;
	fa[x]=z;if (!isroot(y)) ch[son(y)][z]=x;
	ch[c^1][x]=y;fa[y]=x;pushup(y);
}
void splay(int x)
{
	Stack[top=1]=x;
	for (int i=x;!isroot(i);i=fa[i])
		Stack[++top]=fa[i];
	while (top) pushdown(Stack[top--]);
	for (int y=fa[x];!isroot(x);rotate(x),y=fa[x])
		if (!isroot(y)) son(x)^son(y)?rotate(x):rotate(y);
	pushup(x);
}
void access(int x)
{
	for (int y=0;x;y=x,x=fa[x])
		splay(x),ch[1][x]=y,pushup(x);
}
void makeroot(int x)
{
	access(x);splay(x);reverse(x);
}
int findroot(int x)
{
	access(x);splay(x);
	while (ch[0][x]) x=ch[0][x];
	splay(x);return x;
}
void split(int x,int y)
{
	makeroot(x);access(y);splay(y);
}
void cut(int x,int y)
{
	split(x,y);fa[x]=ch[0][y]=0;
}
void link(int x,int y)
{
	makeroot(x);fa[x]=y;
}
int main()
{
	n=gi();m=gi();
	for (int i=1;i<=n;i++) val[i]=gi();
	while (m--)
	{
		opt=gi();a=gi();b=gi();
		if (opt==0)
			split(a,b),printf("%d\n",sum[b]);
		if (opt==1)
			if (findroot(a)!=findroot(b))
				link(a,b);
		if (opt==2)
			if (findroot(a)==findroot(b))
				cut(a,b);
		if (opt==3)
			splay(a),val[a]=b,pushup(a);
	}
	return 0;
}

LCT维护子树信息

LCT还可以维护子树和,但仅限于维护而不支持修改
一般而言就是用一个数组\(sz[u]\)维护每个节点的所有虚子树信息之和。
所以虚子树+实子树+自己=整个子树
那么在所有可能导致虚儿子关系变化的地方都要更新\(sz[u]\)
其实仅有的不同只有三个函数:\(pushup,access,link\)
放一下代码

void pushup(int x)
{
    sum[x]=sum[ch[0][x]]+sum[ch[1][x]]+val[x]+sz[x];
}
void access(int x)
{
    for (int y=0;x;y=x,x=fa[x])
        splay(x),sz[x]+=sum[ch[1][x]]-sum[y],ch[1][x]=y,pushup(x);
}
void link(int x,int y)
{
    makeroot(x);makeroot(y);fa[x]=y;sz[y]+=sum[x];pushup(y);
}

具体可参考BJOI2014大融合cogs2701动态树

posted @ 2017-12-28 20:00  租酥雨  阅读(1034)  评论(2编辑  收藏