\(LCT\)维护子树信息学习笔记
昨天\(FDF\)好题分享投了 \([ZJOI2018]\)历史 这题。
然后我顺势学学这个姿势。
结果调了一年。。。于是写个笔记记录一下。
基本原理
比较显然地，虽然父子关系在不断变化，但是重链与重链之间的连接是不变的。换句话说，一个点的某个虚儿子也许并不是他在原树中的某个儿子，但是这个点总和上来的信息是这整棵子树的。
所以我们定义这个点总和的信息（记为\(siz\)）为总和该子树的所有信息，
然后记\(fsz\)为虚儿子的总和信息，\(val\)为单点信息。
那么可以得到信息的统计式为：
\(siz[x]=siz[ls]+siz[rs]+fsz[x]+val[x]\)
若将\(x\)做\(Splay\)到根的话，则这个点的\(siz\)就是以这条重链链顶为根的子树的信息和。
（一定把原树和\(LCT\)分开啊
而如果我们要查以某个点为根的子树信息和的话，则先将其\(Splay\)到根，
那么所求即为：\(siz[rs]+fsz[x]+val[x]\)
很简单，就是自己重儿子的所有信息加上自己的虚子树信息以及自己
这里\(siz\)的用处自己脑补一下，很显然这个信息用\(siz\)整合出来也是对的。
这就是最基本的做法了。
虚实信息维护
这个很好办，考虑虚实边的修改只会在一些情况下出现。
\(Access:\)直接做加减法维护\(fsz\)就行了。
\(Link:\)因为每次连边是连一条虚边，所以我们直接维护，要注意的是作为儿子的点要被\(Splay\)上来总和信息。
\(Cut:\)没有特别的地方，和上面一样做即可。
带单点修改
如果带修改，那么就意味着我们需要更新这个被修改点到原树树根的信息。
到树根？\(Access!\)
直接大力\(Access\)一波，每次跳一条虚边就直接做一次单点修改就行了，注意切换虚实边。
特技？
如果要求魔改\(Access?\)
那得好好研究一下它到底长啥样啊。
首先，\(Access\)中前一条重链那棵\(Splay\)的根不一定是你的原树中的那个儿子，你得一直沿着左儿子找，找到深度最小的那个才是。
这个找的复杂度应该与\(Splay\)的复杂度相当，所以不影响其复杂度。
然后呢，你想要那个儿子的子树信息怎么办？再\(Splay\)上去？
不用了，虽然前一条重链那棵\(Splay\)的根不一定是你的原树中的那个儿子，但是它确确实实总和了那棵子树的信息，所以直接调用它的信息即可。
想用\(Access\)模拟某种染色过程？
不就是有些边不能连吗？信息还是直接加加减减来维护，连边特判就行了。
那为什么历史那题要写这么久？
我菜。
所以这个还是比较简单的，毕竟目前没写到太喵的做法。
那么就这样了。