LCT 小记
全程 Link-Cut Tree,是解决动态树问题的有力科技
——题记
简单实现
LCT 的形态直观上是一堆 Splay 的合体,每个 Splay 以时间戳为关键字,各个 Splay 通过虚边相连,可以唯一还原出一棵树
Splay 的划分依据为实链剖分,即在一条实链上的点放到一棵 Splay 里面,其他关联点通过虚边和其他 Splay 连接
一条虚边体现为儿子的父亲认做父亲,而父亲是不认这个儿子的
首先得先写 Splay 对吧,唯二不同的是 Splay 之前先跳到根把所有懒标记下放,以及旋转是不能贸然让父亲认儿子,需要判断是不是虚边
核心函数 —— \(access(x)\) 操作
经过这个操作后可以把 \(x\) 这个节点与整棵树的树根划分在一条实链里(即一棵 Splay 里),并且这条链在 \(x\) 处结束
至于具体怎么弄就不说了,反正代码异常简洁
void access(int x){
for(int y=0;x;y=x,x=fa[x]){
splay(x);
son[x][1]=y;
update(x);
}
return ;
}
\(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\) 节点上的信息就是链上的信息
这里放一下洛谷模板题的代码,背熟即可:
代码
#include<bits/stdc++.h>
using namespace std;
int n,m,op,x,y;
int read(){
int x=0,f=1;
char ch=getchar();
while(!isdigit(ch)){
if(ch=='-')f=-1;
ch=getchar();
}
while(isdigit(ch)){
x=x*10+ch-48;
ch=getchar();
}
return x*f;
}
namespace LCT{
const int maxn=2e5+5;
int fa[maxn],son[maxn][2];
int rev[maxn],val[maxn],sum[maxn];
int sta[maxn],tp;
void update(int x){
sum[x]=sum[son[x][0]]^sum[son[x][1]]^val[x];
return ;
}
void push_rev(int x){
rev[x]^=1;
swap(son[x][0],son[x][1]);
return ;
}
void down(int x){
if(rev[x]){
push_rev(son[x][0]);
push_rev(son[x][1]);
rev[x]=0;
}
return ;
}
bool get(int x){
return son[fa[x]][1]==x;
}
bool isroot(int x){
return son[fa[x]][0]!=x&&son[fa[x]][1]!=x;
}
void rotate(int x){
int f1=fa[x];
int f2=fa[f1];
bool id=get(x);
son[f1][id]=son[x][id^1];
fa[son[f1][id]]=f1;
if(!isroot(f1))son[f2][get(f1)]=x;
fa[x]=f2;
son[x][id^1]=f1;
fa[f1]=x;
update(f1);
return ;
}
void splay(int x){
tp=0;
int y=x;
sta[++tp]=y;
while(!isroot(y))sta[++tp]=y=fa[y];
while(tp)down(sta[tp--]);
while(!isroot(x)){
int f1=fa[x];
int f2=fa[f1];
if(!isroot(f1)){
rotate(get(x)==get(f1)?f1:x);
}
rotate(x);
}
update(x);
return ;
}
void access(int x){
for(int y=0;x;y=x,x=fa[x]){
splay(x);
son[x][1]=y;
update(x);
}
return ;
}
void makeroot(int x){
access(x);
splay(x);
push_rev(x);
return ;
}
void split(int x,int y){
makeroot(x);
access(y);
splay(y);
}
int findroot(int x){
access(x);
splay(x);
while(son[x][0])x=son[x][0];
splay(x);
return x;
}
void link(int x,int y){
makeroot(x);
if(findroot(y)!=x)fa[x]=y;
return ;
}
void cut(int x,int y){
split(x,y);
if(son[y][0]==x){
son[y][0]=fa[x]=0;
update(y);
}
return ;
}
int ask(int x,int y){
split(x,y);
return sum[y];
}
void modify(int x,int w){
splay(x);
val[x]=w;
update(x);
return ;
}
}
int main(){
n=read();
m=read();
for(int i=1;i<=n;i++){
LCT::val[i]=read();
}
for(int i=1;i<=m;i++){
op=read();
x=read();
y=read();
switch (op){
case 0:
printf("%d\n",LCT::ask(x,y));
break;
case 1:
LCT::link(x,y);
break;
case 2:
LCT::cut(x,y);
break;
case 3:
LCT::modify(x,y);
}
}
return 0;
}
LCT 应用
呼哧~
废了好半天才打完的板子,LCT一定很有用吧?这一点还是可以肯定的
维护连通性质
这本来是并查集干的活
如果只有加边,并查集得心应手
如果只有删边,倒过来就可以了
如果都有,还是LCT吧……
这就很板子了吧?如果联通那么他们所在树的根是相同的
维护链上信息
比如刚才那道模板题
再来一点儿复杂信息的模板题:
LCT模板+线段树模板2即可,懒标记和翻转标记一起 \(pushdown\) 即可
维护边权信息
可以把边替换成一个点,这个点分别向两端点连边,点权设为边权
LCT 小记的更多相关文章
- LCT小记
不用说了,直接上怎么 die( 千万不要和 Treap 一样写左旋 zig 和右旋 zag,莫名死亡.Splay 只支持一个 rotate 上旋一个节点即可. splay() 之前记得弄一个栈存储 u ...
- 树上数据结构——LCT
目录 树上数据结构--LCT 概述 基本概念 核心操作 其他操作 完整模板 树上数据结构--LCT 概述 LCT是一种强力的树上数据结构,支持以下操作: 链上求和 链上求最值 链上修改 子树修改 子树 ...
- [原]Paste.deploy 与 WSGI, keystone 小记
Paste.deploy 与 WSGI, keystone 小记 名词解释: Paste.deploy 是一个WSGI工具包,用于更方便的管理WSGI应用, 可以通过配置文件,将WSGI应用加载起来. ...
- MySql 小记
MySql 简单 小记 以备查看 1.sql概述 1.什么是sql? 2.sql发展过程? 3.sql标准与方言的关系? 4.常用数据库? 5.MySql数据库安装? 2.关键概念 表结构----- ...
- 一堆LCT板子
搞了一上午LCT,真是累死了-- 以前总觉得LCT高大上不好学不好打,今天打了几遍感觉还可以嘛= =反正现在的水平应付不太难的LCT题也够用了,就这样好了,接下来专心搞网络流. 话说以前一直YY不出来 ...
- Git小记
Git简~介 Git是一个分布式版本控制系统,其他的版本控制系统我只用过SVN,但用的时间不长.大家都知道,分布式的好处多多,而且分布式已经包含了集中式的几乎所有功能.Linus创造Git的传奇经历就 ...
- 广州PostgreSQL用户会技术交流会小记 2015-9-19
广州PostgreSQL用户会技术交流会小记 2015-9-19 今天去了广州PostgreSQL用户会组织的技术交流会 分别有两个session 第一个讲师介绍了他公司使用PostgreSQL-X2 ...
- 东哥读书小记 之 《MacTalk人生元编程》
一直以来的自我感觉:自己是个记性偏弱的人.反正从小读书就喜欢做笔记(可自己的字写得巨丑无比,尼玛不科学呀),抄书这事儿真的就常发生俺的身上. 因为那时经常要背诵课文之类,反正为了怕自己忘记, ...
- Paypal支付小记
Paypal支付小记 *:first-child { margin-top: 0 !important; } body>*:last-child { margin-bottom: 0 !impo ...
随机推荐
- 双击映射坚果云网盘并打开的AHK源代码
双击映射坚果云网盘并打开的AHK源代码 #SingleInstance,force ;当此脚本已经运行时自动替换旧实例再次运行.#Persistent ;让脚本持久运行(即直到用户关闭或遇到 Exit ...
- 终拿字节Offer...动态规划复盘...
大家好!我是 Johngo 呀! 和大家一起刷题不快不慢,没想到已经进行到了第二阶段,「动态规划」这部分题目很难,而且很不容易理解,目前我的题目做了一半,凭着之前对于「动态规划」的理解和最近做的题目做 ...
- 涨姿势啦!Java程序员装X必备词汇之对象标记Mark Word!
大家好,我是庆哥Java,一个专注于干货分享的Java自学者! 写在前面 如果你已经知道什么是Mark Word,那我也希望你都好好阅读下本篇文章,因为你有可能发现不一样的切入点来帮助你更加深入的了解 ...
- Java数组01——声明创建、赋值及特点
数组声明创建 数组的四个基本特点 例子 package array; public class ArrayDemon01 { //变量的类型 变量的名字 = 变量的值 / ...
- 分享我的CleanArchitecture for Razor Page项目模板
这个项目是参考和整合了jasontaylordev/CleanArchitecture 和 blazorhero/CleanArchitecture 代码基础上,重构出来的新的项目,这两个项目都是非常 ...
- "百度杯"CTF比赛 十月场——EXEC
"百度杯"CTF比赛 十月场--EXEC 进入网站页面 查看源码 发现了vim,可能是vim泄露,于是在url地址输入了http://21b854b211034489a4ee1cb ...
- ant的copy标签使用方法
对于ant里拷贝用的标签的用法,此文(来自 http://electiger.blog.51cto.com/112940/39575 )讲得很好,注意其中黑体字部分,今天被这个问题耽误了20分钟. A ...
- jd-gui或jad反编译工具bug
文件1:A.class------------2020-09-01日版本 文件2:A.class------------2020-09-02日版本,代码内容有变动. bug出现条件:文件1或文件2同目 ...
- docker容器dockerfile详解
docker公司在容器技术发展中提出了镜像分层的理念,可以说也是这个革命性的理念让原本只不过是整合linux内核特性的容器,开始野蛮生长. docker通过UnionFS联合文件系统将镜像的分层实现合 ...
- sqli-labs lesson 54-65
less 54 需要从数据库的CHALLENGES表中取出key值输入,输入对了才算通过,但是只能做10次尝试. 这里id被单引号包裹,注意闭合单引号即可,剩下的就可以参照less 1获取表中信息即可 ...