LCT,就是一个拥有link、cut……诸多操作的高级数据结构了
这么高级的数据结构,应用有很多啦
维护链
这个就是最基本的操作了,就和平横数一样该维护什么维护什么就好啦
例题:
- bzoj2002: [Hnoi2010]Bounce 弹飞绵羊 维护下个数吧
- lg1501:[国家集训队]Tree II 需要维护乘法和加法的情况,要注意先乘再加!
维护边权
LCT中我们一般维护的都是点权
一般数据结构中,我们会把边权给到儿子身上等等做法
但是LCT中,如果换根,信息就变了,所以这样不行
有一个办法是把边拆成点
即x-y,变成x-z-y 。x、y不存储信息,只有z点储存信息
例题:
- bzoj3669/lg2387:[NOI2014]魔法森林 维护边权的题目,两个关键字,需要排序什么的…
维护子树的信息
维护子树信息,要是没有动态添边什么的其实树链剖分还是挺好的
做法其实也没有什么,就是在原来基础上多维护一个虚树的信息,即此点下面的虚树的信息
例如size[x]维护与x相连的所有子树个数、isize[x]维护与x通过虚边连接的子树个数
考虑LCT基本操作中哪些需要变
update肯定会变
inline void update(int x){
size[x]=size[ch[x][0]]+size[ch[x][1]]+isz[x]+1; //要加上isz[x],表示连到x的虚树的个数
}
link操作中,把x、y之间建一条虚边,虚树个数也会改变
inline void link(int x,int y){
makeroot(x);makeroot(y); //注意这里要把y也换到跟,不然y上面的信息就不对了
fa[x]=y;isz[y]+=size[x];update(y); //x向上连一条虚边连到y,y的虚树多了x,所以要先处理y的虚树个数,在处理y的所有数个数(update中会用到isz啊...)
}
access是把x通到根,显然会改变虚实关系,也是要改哦
inline void access(int x){
int y=0;
while(x){
splay(x);isz[x]+=size[ch[x][1]]; //要把ch[x][1]变为虚边了~
ch[x][1]=y;isz[x]-=size[y];update(x); //y变为实边了呢~
y=x;x=fa[x];
}
}
cut,已经没有变了…虚边都不是了..update维护就好啦,所以不用变
splay,显然是在实树的时候才会进行的,因此不会变
makeroot,在access时已经变过来啊,那就不变了吧
例题:
- bzoj4530/lg4219 [BJOI2014]大融合 按照刚才所说…这其实算道比较裸的???
维护连通性
维护相通性的时候,可以用并查集维护吧
但也可以通过找根操作来看是否联通
如果x、y在一棵树上,那么x、y他们这棵树不管怎么转,做左边的点一定是一样的
因此findroot时,找到最左边的点,看是否一样
inline int findroot(int x){
access(x);splay(x); //把x转到根
while(ch[x][0]) x=ch[x][0]; //找最左
return x;
}
例题:
- lg3950部落冲突
就正常lct+findroot吧(其实findroot也是lct操作吧【捂脸】) - bzoj2049 :[Sdoi2008]Cave 洞穴勘测 就维护连通性…link+cut…
还有好多好多题啊……【未完待续?】