LCT应用

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…

---

还有好多好多题啊……【未完待续?】