OSDN Git Service

Update lct.md
authorIr1dXD <sirius.caffrey@gmail.com>
Tue, 30 Jul 2019 14:37:18 +0000 (22:37 +0800)
committerGitHub <noreply@github.com>
Tue, 30 Jul 2019 14:37:18 +0000 (22:37 +0800)
docs/ds/lct.md

index 8f347f0..dd20c81 100644 (file)
@@ -74,7 +74,7 @@
 
 1.  辅助树由多棵 Splay 组成,每棵 Splay 维护原树中的一条路径,且中序遍历这棵 Splay 得到的点序列,从前到后对应原树“从上到下”的一条路径。
 2.  原树每个节点与辅助树的 Splay 节点一一对应。
-3.  辅助树的各棵 Splay 之间并不是独立的。每棵 Splay 的根节点的父亲节点本应是空,但在 LCT 中每棵 Splay 的根节点的父亲节点指向原树中_这条链_的父亲节点(即链最顶端的点的父亲节点)。这类父亲链接与通常 Splay 的父亲链接区别在于儿子认父亲,而父亲不认儿子,对应原树的一条_虚边_。因此,每个联通块恰好有一个点的父亲节点为空。
+3.  辅助树的各棵 Splay 之间并不是独立的。每棵 Splay 的根节点的父亲节点本应是空,但在 LCT 中每棵 Splay 的根节点的父亲节点指向原树中 **这条链** 的父亲节点(即链最顶端的点的父亲节点)。这类父亲链接与通常 Splay 的父亲链接区别在于儿子认父亲,而父亲不认儿子,对应原树的一条 **虚边** 。因此,每个联通块恰好有一个点的父亲节点为空。
 4.  由于辅助树的以上性质,我们维护任何操作都不需要维护原树,辅助树可以在任何情况下拿出一个唯一的原树,我们只需要维护辅助树即可。(本句来源自 大爷 @PoPoQQQ 的 PPT)
 
 -   现在我们有⼀棵原树,如图。