动态树.docxVIP

什么是动态树 (Dynamic Tree) 什么是?Link/cut tree 根据杨哲的论文，动态树是一类问题的总称，而解决这类问题的数据结构就是?Link/cut tree?，简称?LCT?。 根据个人理解，就是要： 给你一些森林，维护他们的联通性 在某棵树上的链（或链上节点）上做查询或修改。 很容易想到，如果没有第一点，那么第二点可以用 HYPERLINK /summary-of-heavy-light-decomposition 树链剖分轻松解决。 Link/cut tree?的实现 原理我就不说了，可以参考上方的参考资料（Tarjan那篇不建议看）。主要说说实现。 大致上就是把某棵Splay的根节点指向这棵Splay所在实边最上方的点的父亲，也就是说，这是一条虚边。注意到这条虚边是单向的，由某棵Splay的根指向某一节点，但是那个节点的孩子里面并没有它。LCT的精髓就是通过这一条条的虚边将整棵大树串起来。 既然Splay中的根节点还有父亲，为了确定哪个节点是当前Splay的根，我们必须对正常的Splay tree进行修改。大致有两种方法： 在每个节点记下?Root?标记，以确定当前节点是否为它所在的Splay tree的根。然后旋转的时候通过标记下传修改Root标记。 优点：方便调试 缺点：LCT的操作写起来麻烦，而且容易出错 不记录Root标记，但是修改旋转过程。 优点：LCT非常好写好理解 缺点：需要修改splay操作 我个人还是偏向后面那种方法，后面具体说。 另外，LCT操作的实现也有两种方法： 固定根，通过修改过的?Access?操作 (Access2) 进行查询和修改。 动态根，通过换原树的根和原始的Access进行查询和修改。 很明显第一个由于少了换根，常数肯定要小的多。但是我觉得第二个理解比较容易，而且比较好写，不容易出错。 下面就介绍具体每个操作的写法。 Access(u) 这个操作是核心操作，我们保证做完之后，把u到根的路径打通成为实边，并且u的孩子节点的实边变成虚边。也就是这条Prefer Path一端是根，一端是u。 1 2 3 4 5 6 7 8 9 10 11 Node* access(Node* u) { Node* v = EMPTY; for (; u != EMPTY; u = u-parent) { splay(u); u-child[1] = v; update(v = u); } return v; } 大致的意思就是说，每次把一个节点旋到Splay的根，然后把上一次的Splay的根节点当作当前根的右孩子（也就是原树中的下方）。第一次初始?v = EMPTY?是为了清除u原来的孩子。 因为不是每次access都需要把最后节点旋到Splay的根，所以我就不在最后splay(v)了。 返回值是最后访问到的节点，也就是原树的根。 MakeRoot(x) 把x当作原树的根（因为是无向图，所以随便指定树根）。 1 2 3 4 5 inline void makeroot(Node* const x) { access(x)-rev ^= true; splay(x); } 打通到原根的路径，打翻转标记（交换左右子树，也就是在原树中交换上下关系），splay清标记。 GetRoot(x) 这个操作用来得到当前Prefer Path在原树的最上方节点，常用来判断两个节点是否在同一棵树上。 1 2 3 4 5 Node* getroot(Node* x) { for (x = access(x); clear(x), x-child[0] != EMPTY; x = x-child[0]); return x; } 没什么好说的，就是旋到根，不断往左走（对应原树的往根走）。唯一要注意的是，要清除标记。 Link(x, y) 把?x?和?y?所在的子树连接起来（森林中树的连接） 1 2 3 4 5 6 inline void link(Node* const x, Node* const y) { makeroot(x); x-parent = y; access(x); } 最后那个access(x)可以不用，没什么影响。 Cut(x, y) 以x为树根，把y到x的路径分离出来。 1 2 3 4 5 6 7 8 9 inline void cut(Node* const x, Node* const y) { makeroot(x); access(y); splay(y); y-child[0]-parent = EMPTY; y-child[0] = EMPTY; update(y); } Qu