标签：LCT Tree Top 基础 Splay cluster 维护 动态
Dynamic Tree
前置知识：线段树
Splay
维护区间翻转，\(O(n)=10^6\)
显然，这样的操作不能用线段树来维护，因为线段树的结构是固定的，我们需要一种结构上更加灵活的数据结构
于是联想到平衡树，如果以，对于一个区间 \([l,r]\)，我们只需要知道 \(l-1\) 和 \(r+1\) 在平衡树上的位置就可以了，其中间的部分就是翻转的区间
如果翻转的区间是一颗子树，打一个标记表示子树翻转就可以了（注意第 \(x\) 个应该是在平衡树上找第 \(x\) 大）
但正常的平衡树不能使得翻转的区间总在一颗子树上，所以引出了 \(Splay\)
\(Splay\) 基于一个朴实的想法，需要操作的点如果是根那就会很方便，那么在操作时可以先把需要操作的点一路旋转到根就可以了（为了避免被卡，旋转应该有 \(6\) 种，比较繁琐）
如果涉及新的节点（比如插入），只需要找到前驱和后继，依次转到根上，发现前驱和后继之间没有点，然后就可以 \(\Theta(1)\) 插入了
于是翻转区间实际上是一样的，把前驱和后继换成第 \(l-1\) 大和第 \(r+1\) 大就会发现它们之间就是代表区间 \([l,r]\) 的子树
既然 \(Splay\) 能维护区间翻转这种线段树做不到的事，那它显然也可以维护线段树能维护的信息（区间和、区间max之类的），只需要转出区间打 \(tag\)，旋转的时候 \(pushup\) 一下就好了
LCT
换根，维护 \(LCA\)
实际上可以看做求一个无根树上的‘Y’字形的拐点位置，而拐点处的点是距离'Y'字三点距离和最小的点，也就是
\[dis(a,b)=\text{a,b在树上的距离}\\ \text{设}f(x)=(dis(u,x)+dis(v,x)+dis(root,x))\\ f_{min}=f(LCA(u,v)) \]特判一下共线，随便取一条链（以任意一个点为根），三分找拐点（显然是单峰的）
于是就有了 \(\Theta(n\log n)\) 预处理，\(O(\log n)\) 在线回答的方法了
不过上面的和 \(LCT\) 没有什么关系
为了体现 \(LCT\) 是有用的，我们加入维护：链加，链求和 的操作，这样静态树的做法就需要打树剖了，复杂度达到了 \(O(\log^2 n)\)
\(LCT\) 解决上述问题是均摊 \(O(\log n)\) 的
为了做到单 \(\log\) 的复杂度，我们必须摒弃轻重链剖分，转而使用一种可以使得我们需要维护的链上只有 \(O(1)\) 个区间需要用数据结构维护的新的剖分方式
可以证明，不存在比轻重链剖分更优秀的静态剖分方式
那只能考虑动态剖分了，也就是会更改点的重儿子（不妨继承轻重链中的称谓），那么自然也不能用线段树维护链信息了。我们依然保留轻重链的优秀性质：一条链上点的深度严格单调且连续。在此基础上，以点的深度作键值，用 \(Splay\) 维护链就可以做到 \(O(1)\) 更改重儿子了（假如我们已经知道要选择哪个轻儿子称为重儿子；当然，\(pushup\) 被认为是 \(O(1)\)的）。特殊地，为了更好的维护信息，一个点可以没有重儿子。
采用上述的方法，对于一个固定的根，我们只需要使它没有重儿子，一路暴力的把从它到根的路径上所有轻边变为重边就可以得到一条它到根的路径了，这样的操作被称为 \(access\)。（不妨回到 \(Splay\) 的复杂度证明再向下翻一点）
有了 \(access\)，我们容易维护 链加，链求和，只需要再考虑 换根，LCA
LCA 的操作容易处理，只需要维护最深的没有改变过的节点就可以了
对于 换根 操作，我们观察发现轻边的属性完全由父节点表示，而父节点信息全部维护在 \(Splay\) 中，那么只需要把 \(access\) 之后的 \(Splay\) 整个翻转，重链上的点深度也就反转了！而根完全等价于深度最小的点，且 \(Splay\) 可以方便的找到点的深度的相对大小，于是我们就完成了 换根 的操作。这种操作被称为 \(makeroot\)
特殊地，为了更好的维护信息，一个点可以没有重儿子。
这启发我们用 \(LCT\) 维护更多问题，比如
连边，删边（保证无环），维护连通性
无环就是森林，而连通性等价于两点所在树的根是否相同，采用同样的思路，只需要把一条边中的随便一个点钦定为父亲，儿子 \(makeroot\) 后直接连上去就可以了
Top Tree？
我也不知道是不是 \(Top\ Tree\)
树剖可以维护子树操作，\(LCT\) 当然也可以（不然有什么用）
之前在 \(LCT\) 中，我们只维护了实（重）儿子的信息，我们把所有虚儿子放到一个 \(BST\) 里，要换的时候就挪出来，在 \(BST\) 上再维护所有虚儿子的信息，也就是被称为 \(LCT\) 三度化的操作。这样复杂度依然是对的（可我就不会证了）
这样的好处就是只需要维护两个差不多的数据结构就可以修改子树信息了（从轻儿子处跳上来的时候把 \(BST\) 里的标记下方一下就好了）
然后似乎就等价于 \(Top\ Tree\) 了？
还是简要介绍一下原始的 \(Top\ Tree\)：
定义 \(Top\ Cluster\) 为一个树上点集，所有 \(cluster\) 的交为整颗树，任意一个 \(cluster\) 至多有两个顶点和其他 \(cluster\) 公用，这样的顶点叫做界点
原本树上的边都可以看做一个 \(cluster\)，最后可以把所有 \(cluster\) 合并为一个表示整颗树的 \(cluster\)。存在 \(O(n)\) 的建立方式，建立的过程中，每合并一次，就从合并后的 \(cluster\) 向合并前 \(cluster\) 连边（方向不重要），构成的树就叫 \(Top\ Tree\)
可以很 trivial的基于 \(Top\ Tree\) 在 \(O(\log n)\) 的时间内得到任意需要的 \(cluster\)，不过似乎和 \(LCT\) 的写法是等价的
标签：LCT,Tree,Top,基础,Splay,cluster,维护,动态 来源： https://www.cnblogs.com/efX-bk/p/basic_dynamic_tree.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。