全程 Link-Cut Tree,是解决动态树问题的有力科技

——题记

简单实现

LCT 的形态直观上是一堆 Splay 的合体,每个 Splay 以时间戳为关键字,各个 Splay 通过虚边相连,可以唯一还原出一棵树

Splay 的划分依据为实链剖分,即在一条实链上的点放到一棵 Splay 里面,其他关联点通过虚边和其他 Splay 连接

一条虚边体现为儿子的父亲认做父亲,而父亲是不认这个儿子的

首先得先写 Splay 对吧,唯二不同的是 Splay 之前先跳到根把所有懒标记下放,以及旋转是不能贸然让父亲认儿子,需要判断是不是虚边

核心函数 —— \(access(x)\) 操作

经过这个操作后可以把 \(x\) 这个节点与整棵树的树根划分在一条实链里(即一棵 Splay 里),并且这条链在 \(x\) 处结束

至于具体怎么弄就不说了,反正代码异常简洁

  1. void access(int x){
  2. for(int y=0;x;y=x,x=fa[x]){
  3. splay(x);
  4. son[x][1]=y;
  5. update(x);
  6. }
  7. return ;
  8. }

\(makeroot(x)\) 操作 —— 将 \(x\) 弄到整棵树的树根

先 \(access\),再 \(splay\),这时虽然它到了平衡树的顶部,由于存在左儿子,它的时间戳没变

这是用一个神奇的操作 —— \(reverse\),就像文艺平衡树那样把它两个儿子颠倒一下,这个也需要通过打懒标记依次下放

\(link(x,y)\) 操作 —— 将两个点所在的树合并

把 \(x\) 转到它那棵树的根,直接认 \(y\) 当爹即可

\(cut(x,y)\) 操作 —— 将两个点间的连边删除

把 \(x\) 弄到根上,把 \(y\) 和它打通,再把 \(y\) 转到根上,由于它们在树上是相邻的,这时的状态一定是 Splay 里只有它们两个,直接不认父亲和不认儿子即可

(注:这里的“弄”指的是 \(makeroot\),这里的“转”指的是 \(splay\),习惯上代码里把前三步重新封装到一个 \(split\) 函数里)

这些就是核心函数了,对于询问,常形如“从 \(x\) 到 \(y\) 的路径上的 xxx 信息”

这时只需要做一遍 \(split\) 操作,\(y\) 节点上的信息就是链上的信息

这里放一下洛谷模板题的代码,背熟即可:

代码
  1. #include<bits/stdc++.h>
  2. using namespace std;
  3. int n,m,op,x,y;
  4. int read(){
  5. int x=0,f=1;
  6. char ch=getchar();
  7. while(!isdigit(ch)){
  8. if(ch=='-')f=-1;
  9. ch=getchar();
  10. }
  11. while(isdigit(ch)){
  12. x=x*10+ch-48;
  13. ch=getchar();
  14. }
  15. return x*f;
  16. }
  17. namespace LCT{
  18. const int maxn=2e5+5;
  19. int fa[maxn],son[maxn][2];
  20. int rev[maxn],val[maxn],sum[maxn];
  21. int sta[maxn],tp;
  22. void update(int x){
  23. sum[x]=sum[son[x][0]]^sum[son[x][1]]^val[x];
  24. return ;
  25. }
  26. void push_rev(int x){
  27. rev[x]^=1;
  28. swap(son[x][0],son[x][1]);
  29. return ;
  30. }
  31. void down(int x){
  32. if(rev[x]){
  33. push_rev(son[x][0]);
  34. push_rev(son[x][1]);
  35. rev[x]=0;
  36. }
  37. return ;
  38. }
  39. bool get(int x){
  40. return son[fa[x]][1]==x;
  41. }
  42. bool isroot(int x){
  43. return son[fa[x]][0]!=x&&son[fa[x]][1]!=x;
  44. }
  45. void rotate(int x){
  46. int f1=fa[x];
  47. int f2=fa[f1];
  48. bool id=get(x);
  49. son[f1][id]=son[x][id^1];
  50. fa[son[f1][id]]=f1;
  51. if(!isroot(f1))son[f2][get(f1)]=x;
  52. fa[x]=f2;
  53. son[x][id^1]=f1;
  54. fa[f1]=x;
  55. update(f1);
  56. return ;
  57. }
  58. void splay(int x){
  59. tp=0;
  60. int y=x;
  61. sta[++tp]=y;
  62. while(!isroot(y))sta[++tp]=y=fa[y];
  63. while(tp)down(sta[tp--]);
  64. while(!isroot(x)){
  65. int f1=fa[x];
  66. int f2=fa[f1];
  67. if(!isroot(f1)){
  68. rotate(get(x)==get(f1)?f1:x);
  69. }
  70. rotate(x);
  71. }
  72. update(x);
  73. return ;
  74. }
  75. void access(int x){
  76. for(int y=0;x;y=x,x=fa[x]){
  77. splay(x);
  78. son[x][1]=y;
  79. update(x);
  80. }
  81. return ;
  82. }
  83. void makeroot(int x){
  84. access(x);
  85. splay(x);
  86. push_rev(x);
  87. return ;
  88. }
  89. void split(int x,int y){
  90. makeroot(x);
  91. access(y);
  92. splay(y);
  93. }
  94. int findroot(int x){
  95. access(x);
  96. splay(x);
  97. while(son[x][0])x=son[x][0];
  98. splay(x);
  99. return x;
  100. }
  101. void link(int x,int y){
  102. makeroot(x);
  103. if(findroot(y)!=x)fa[x]=y;
  104. return ;
  105. }
  106. void cut(int x,int y){
  107. split(x,y);
  108. if(son[y][0]==x){
  109. son[y][0]=fa[x]=0;
  110. update(y);
  111. }
  112. return ;
  113. }
  114. int ask(int x,int y){
  115. split(x,y);
  116. return sum[y];
  117. }
  118. void modify(int x,int w){
  119. splay(x);
  120. val[x]=w;
  121. update(x);
  122. return ;
  123. }
  124. }
  125. int main(){
  126. n=read();
  127. m=read();
  128. for(int i=1;i<=n;i++){
  129. LCT::val[i]=read();
  130. }
  131. for(int i=1;i<=m;i++){
  132. op=read();
  133. x=read();
  134. y=read();
  135. switch (op){
  136. case 0:
  137. printf("%d\n",LCT::ask(x,y));
  138. break;
  139. case 1:
  140. LCT::link(x,y);
  141. break;
  142. case 2:
  143. LCT::cut(x,y);
  144. break;
  145. case 3:
  146. LCT::modify(x,y);
  147. }
  148. }
  149. return 0;
  150. }

LCT 应用

呼哧~

废了好半天才打完的板子,LCT一定很有用吧?这一点还是可以肯定的


维护连通性质

这本来是并查集干的活

如果只有加边,并查集得心应手

如果只有删边,倒过来就可以了

如果都有,还是LCT吧……

P2147 [SDOI2008]洞穴勘测

这就很板子了吧?如果联通那么他们所在树的根是相同的


维护链上信息

比如刚才那道模板题

再来一点儿复杂信息的模板题:

P1501 [国家集训队]Tree II

LCT模板+线段树模板2即可,懒标记和翻转标记一起 \(pushdown\) 即可


维护边权信息

可以把边替换成一个点,这个点分别向两端点连边,点权设为边权

B. 树的维护

LCT 小记的更多相关文章

  1. LCT小记

    不用说了,直接上怎么 die( 千万不要和 Treap 一样写左旋 zig 和右旋 zag,莫名死亡.Splay 只支持一个 rotate 上旋一个节点即可. splay() 之前记得弄一个栈存储 u ...

  2. 树上数据结构——LCT

    目录 树上数据结构--LCT 概述 基本概念 核心操作 其他操作 完整模板 树上数据结构--LCT 概述 LCT是一种强力的树上数据结构,支持以下操作: 链上求和 链上求最值 链上修改 子树修改 子树 ...

  3. [原]Paste.deploy 与 WSGI, keystone 小记

    Paste.deploy 与 WSGI, keystone 小记 名词解释: Paste.deploy 是一个WSGI工具包,用于更方便的管理WSGI应用, 可以通过配置文件,将WSGI应用加载起来. ...

  4. MySql 小记

    MySql  简单 小记 以备查看 1.sql概述 1.什么是sql? 2.sql发展过程? 3.sql标准与方言的关系? 4.常用数据库? 5.MySql数据库安装? 2.关键概念 表结构----- ...

  5. 一堆LCT板子

    搞了一上午LCT,真是累死了-- 以前总觉得LCT高大上不好学不好打,今天打了几遍感觉还可以嘛= =反正现在的水平应付不太难的LCT题也够用了,就这样好了,接下来专心搞网络流. 话说以前一直YY不出来 ...

  6. Git小记

    Git简~介 Git是一个分布式版本控制系统,其他的版本控制系统我只用过SVN,但用的时间不长.大家都知道,分布式的好处多多,而且分布式已经包含了集中式的几乎所有功能.Linus创造Git的传奇经历就 ...

  7. 广州PostgreSQL用户会技术交流会小记 2015-9-19

    广州PostgreSQL用户会技术交流会小记 2015-9-19 今天去了广州PostgreSQL用户会组织的技术交流会 分别有两个session 第一个讲师介绍了他公司使用PostgreSQL-X2 ...

  8. 东哥读书小记 之 《MacTalk人生元编程》

         一直以来的自我感觉:自己是个记性偏弱的人.反正从小读书就喜欢做笔记(可自己的字写得巨丑无比,尼玛不科学呀),抄书这事儿真的就常发生俺的身上. 因为那时经常要背诵课文之类,反正为了怕自己忘记, ...

  9. Paypal支付小记

    Paypal支付小记 *:first-child { margin-top: 0 !important; } body>*:last-child { margin-bottom: 0 !impo ...

随机推荐

  1. cJSON解析数据如何避免过多if-else,实现解耦

    代码展示: 数据接收函数内,解析cJSON数据时,一不小心就会冒出来一大堆if语句在一个函数内,后续想要新增网络功能时,必然又会导致需要在mqtt订阅函数内去新增部分代码,实现解析新的报文. 这显然耦 ...

  2. Jenkins配置下拉菜单联动效果

    在使用Jenkins集成时,经常需要配置一些环境信息,由于测试.线上.预发布需要切换环境和域名,需要在Jenkins中配置下拉菜单联动效果. 首先选择参数化构建过程,然后首先配置环境,环境分为:测试环 ...

  3. Jetpack Compose 1.0 终于要投入使用了!

    前言 Jetpack Compose 是用于构建原生界面的「新款 Android 工具包」.2021 Google IO 大会上,Google宣布:「Jetpack Compose 1.0 即将面世」 ...

  4. 大厂需要什么样的 Android 开发?

    前言 昨天和一个百度的朋友闲聊,他说根据最近招聘 Android工程师的经验来看,大部分候选人在工作 3 年的时候基本都会遇上一道难过的坎. 为啥这么说呢? 因为工作一段时间之后,大部分工程师都已经完 ...

  5. MIT6.828 La5 File system, Spawn and Shell

    Lab 5: File system, Spawn and Shell 1. File system preliminaries 在lab中我们要使用的文件系统比大多数"真实"文件 ...

  6. Linux命令(八)之安装Jdk、Tomcat

    .personSunflowerP { background: rgba(51, 153, 0, 0.66); border-bottom: 1px solid rgba(0, 102, 0, 1); ...

  7. 采用Jpcap+redis+线程 设备网络流量监控 应用实战实例

    .personSunflowerP { background: rgba(51, 153, 0, 0.66); border-bottom: 1px solid rgba(0, 102, 0, 1); ...

  8. filter,interceptor,controllerAdvice,aspect,controller执行顺序

    1.filter,这是java的过滤器,和框架无关的,是所有过滤组件中最外层的,从粒度来说是最大的. 配置方式,有直接实现Filter+@component,@Bean+@configuration( ...

  9. centos7.5 安装jdk环境

    最新下载地址 历史下载地址 [root@manage ~]# mkdir /application/ [root@manage ~]# tar -xf jdk-8u112-linux-x64.gz - ...

  10. 题解—P3000 [USACO10DEC]Cow Calisthenics G

    做这题之前最好学会 "树形 \(dp\) 求树的直径"这一前缀知识(虽然我会但是我还是没想出来) 几乎想到要求直径这道题也没什么问题了(这不是废话吗,为什么题面里给了"直 ...