OSDN Git Service

Merge branch 'master' into movestl
author雷蒻 <34390285+hsfzLZH1@users.noreply.github.com>
Wed, 31 Jul 2019 02:21:30 +0000 (10:21 +0800)
committerGitHub <noreply@github.com>
Wed, 31 Jul 2019 02:21:30 +0000 (10:21 +0800)
1  2 
docs/ds/lct.md

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