Lct浅谈
Lct浅谈
1.对lct的认识
首先要知道$lct$是什么。$lct$的全称为$link-cut-tree$。通过全称可以看出,这个数据结构是维护树上的问题,并且是可以支持连边断边操作。$lct$是一种动态树,可以处理动态森林问题,并支持查询与修改。
2.前置知识
在学习$lct$之前,建议先学习一下树链剖分,以及树链剖分套线段树,因为$lct$的思想与其相似,且树链剖分套线段树维护的是静态树,并且好实现。并且在$lct$的代码实现中我们要用到$splay$这个小小的知识点,所以建议学一下。
3.$lct$的讲解
我们先看树链剖分套线段树,这是先将整棵树构建好,我们直接在构建的树上进行树剖,并在树剖序上建出线段树,直接在线段树上乱搞就好了。我们想怎么能将静态树变成动态树呢?由于线段树是静态的,不能支持插入,所以我们需要改变我们所运用的数据结构,我们将线段树改变成为$splay$。
在$lct$中我们需要讲解八个操作。在讲解这些操作之前,我们需要知道一些名词以及其含义。
1) 辅助树与虚子树:我们在$lct$这个算法中要运用到$splay$,这个$splay$的运用之处与树剖中线段树的运用之处基本相似。$splay$是用来维护这棵树上的链,一个链就是一个$splay$。这些$splay$所构成的东西就叫辅助树。维护辅助树的关键字是当前节点的深度,也就是一个$splay$上的一个节点的右儿子的子树中的所有点的深度都要比当前点的深度小,反之都大。但是我们用$splay$维护了链,这些$splay$怎么连到一起?我们在维护$splay$的时候要记录当前节点的父亲,到整棵$splay$的根节点是没有的父亲的,这时我们将这个根的父亲指到整个链顶在原树中的父亲就好了,这是我们称原树中的链顶的父亲有一个虚子树,这棵虚子树就是整个链的$splay$。
知道上面两个名词之后,我们来讲解一下操作:
1) $Splay$:这个操作就是将当前节点旋转成为当前节点所在$splay$的根。这个操作要配合$rotate$来实现,这两个函数和正常的$splay$没有太大的区别,只是判根不一样,这里的判根是看当前节点的父亲的两个儿子是否都不等于自己,如果是则为根,反之不是。
bool check(int p) {return son[fa[p]][1]==p;}
bool isroot(int p) {return son[fa[p]][0]!=p&&son[fa[p]][1]!=p;}
void rotate(int p)
{
int tmp1=fa[p],tmp2=fa[tmp1],tmp3=check(p);
fa[son[tmp1][tmp3]=son[p][tmp3^1]]=tmp1,fa[p]=tmp2;
if(!isroot(tmp1)) son[tmp2][check(tmp1)]=p;
fa[son[p][tmp3^1]=tmp1]=p,pushup(tmp1),pushup(p);
}
void splay(int p)
{
update(p);
for(int i;i=fa[p],!isroot(p);rotate(p))
if(!isroot(i)) rotate(check(p)==check(i)?i:p);
}
2) $Access$:这个操作是将当前节点到当前节点所在辅助树的根的链变为一颗$splay$,代码不难理解。
void access(int p)
{
for(int t=0;p;t=p,p=fa[p]) splay(p),pushup(p);
}
3) $Makeroot$:这个操作是将当前节点变为当前节点所在辅助树的根。显然这个操作就是将当前节点先$Access$一下,再将当前节点$Splay$一下。由于希望保证时间复杂度,所以我们将当前
void makeroot(int p)
{
access(p),splay(p),swap(son[p][0],son[p][1]),rev[p]^=1;
}
4) $Update$:这个函数的功能在上面已经提到。
void pushdown(int p)
{
if(!rev[p]) return;
swap(son[son[p][0]][0],son[son[p][0]][1]);
swap(son[son[p][1]][0],son[son[p][1]][1]);
rev[son[p][0]]^=1,rev[son[p][1]]^=1,rev[p]=0;
}
void update(int p)
{
if(!isroot(p)) update(fa[p]);pushdown(p);
}
5) $Pushup$:这个操作就是用来统计答案的,类似于线段树上的$pushup$。
void pushup(int p)
{
if(p) size[p]=1+size[son[p][1]]+size[son[p][0]];
}
6) $Link$:这个操作就是连边,将$x,y$连接在一起。我们需要先$Makeroot(x)$,并$Makeroot(y)$。这样我们就可以直接将$fa[x]=y$,这样我们将以$x$为根的辅助树变为以$y$为根的辅助树的虚子树,这样就解决了。
void link(int x,int y)
{
makeroot(x),makeroot(y),fa[x]=y,ord[y]+=size[x];
}
7) $Cut$:这个操作就是断边,将$x,y$所连接的边断开。我们先$Makeroot(x)$,并$Access(y),Splay(y)$,这时$y$的左儿子就是$x$,所以只需要$son[y][0]=fa[x]=0$就好了。
void cut(int x,int y)
{
makeroot(x),access(y),splay(y),son[y][0]=fa[x]=0;
}
8) $Find$:这个操作是用来寻找当前节点所在辅助树中的根是谁。
int find(int x)
{
access(x),splay(x);
while((son[x][0]&&rev[x]==false)||(son[x][1]&&rev[x])) pushdown(x),x=son[x][0];
return x;
}
整合一下,就是下面的模板:
bool check(int p) {return son[fa[p]][1]==p;}
bool isroot(int p) {return son[fa[p]][0]!=p&&son[fa[p]][1]!=p;}
void pushdown(int p)
{
if(!rev[p]) return;
swap(son[son[p][0]][0],son[son[p][0]][1]);
swap(son[son[p][1]][0],son[son[p][1]][1]);
rev[son[p][0]]^=1,rev[son[p][1]]^=1,rev[p]=0;
}
void pushup(int p) {if(p) size[p]=1+size[son[p][1]]+size[son[p][0]];}
void update(int p) {if(!isroot(p)) update(fa[p]);pushdown(p);}
void rotate(int p)
{
int tmp1=fa[p],tmp2=fa[tmp1],tmp3=check(p);
fa[son[tmp1][tmp3]=son[p][tmp3^1]]=tmp1,fa[p]=tmp2;
if(!isroot(tmp1)) son[tmp2][check(tmp1)]=p;
fa[son[p][tmp3^1]=tmp1]=p,pushup(tmp1),pushup(p);
}
void splay(int p)
{
update(p);
for(int i;i=fa[p],!isroot(p);rotate(p))
if(!isroot(i)) rotate(check(p)==check(i)?i:p);
}
void access(int p) {for(int t=0;p;t=p,p=fa[p]) splay(p),son[p][1]=t,pushup(p);}
void makeroot(int p) {access(p),splay(p),swap(son[p][0],son[p][1]),rev[p]^=1;}
void link(int x,int y) {makeroot(x),makeroot(y),fa[x]=y,ord[y]+=size[x];}
void cut(int x,int y) {makeroot(x),access(y),splay(y),son[y][0]=fa[x]=0;}
Lct浅谈的更多相关文章
- 【转】Android Canvas的save(),saveLayer()和restore()浅谈
Android Canvas的save(),saveLayer()和restore()浅谈 时间:2014-12-04 19:35:22 阅读:1445 评论:0 收藏: ...
- [随机化算法] 听天由命?浅谈Simulate Anneal模拟退火算法
Simulate Anneal模拟退火算法,是一种用于得到最优解的随机化算法. 如果可以打一手漂亮的随机化搜索,也许当你面对一筹莫展的神仙题时就有一把趁手的兵器了. 这篇题解将教你什么?SA的基本思路 ...
- 浅谈 Fragment 生命周期
版权声明:本文为博主原创文章,未经博主允许不得转载. 微博:厉圣杰 源码:AndroidDemo/Fragment 文中如有纰漏,欢迎大家留言指出. Fragment 是在 Android 3.0 中 ...
- 浅谈 LayoutInflater
浅谈 LayoutInflater 版权声明:本文为博主原创文章,未经博主允许不得转载. 微博:厉圣杰 源码:AndroidDemo/View 文中如有纰漏,欢迎大家留言指出. 在 Android 的 ...
- 浅谈Java的throw与throws
转载:http://blog.csdn.net/luoweifu/article/details/10721543 我进行了一些加工,不是本人原创但比原博主要更完善~ 浅谈Java异常 以前虽然知道一 ...
- 浅谈SQL注入风险 - 一个Login拿下Server
前两天,带着学生们学习了简单的ASP.NET MVC,通过ADO.NET方式连接数据库,实现增删改查. 可能有一部分学生提前预习过,在我写登录SQL的时候,他们鄙视我说:“老师你这SQL有注入,随便都 ...
- 浅谈WebService的版本兼容性设计
在现在大型的项目或者软件开发中,一般都会有很多种终端, PC端比如Winform.WebForm,移动端,比如各种Native客户端(iOS, Android, WP),Html5等,我们要满足以上所 ...
- 浅谈angular2+ionic2
浅谈angular2+ionic2 前言: 不要用angular的语法去写angular2,有人说二者就像Java和JavaScript的区别. 1. 项目所用:angular2+ionic2 ...
- iOS开发之浅谈MVVM的架构设计与团队协作
今天写这篇博客是想达到抛砖引玉的作用,想与大家交流一下思想,相互学习,博文中有不足之处还望大家批评指正.本篇博客的内容沿袭以往博客的风格,也是以干货为主,偶尔扯扯咸蛋(哈哈~不好好工作又开始发表博客啦 ...
随机推荐
- day06_03 购物车讲解01
1.0 思路 1.1 列表嵌套 # name1 = ['mac','book','bike','kindle'] a = [[1,2,3],'alex',(2,3,4)] print(a[0]) #& ...
- URAL 1684. Jack's Last Word ( KMP next函数应用 )
题意:问第二行的串能不能恰好分割成几个串,使得这几个串都是第一行串的前缀.如果是,输出No, 并输出这几个串,否则输出Yes. 这题是Special Judge,把两个串连接起来,中间用一个未出现过的 ...
- 有向图强连通分量Tarjan算法
在https://www.byvoid.com/zhs/blog/scc-tarjan中关于Tarjan算法的描述非常好,转述如下: 首先解释几个概念: 有向图强连通分量:在有向图G中,如果两个顶点间 ...
- 使用“\n\t”将多行字符串拼接起来
以前js拼接字符串有好多 \n \t 不使用ES6 使用"\n\t"将多行字符串拼接起来: var roadPoem = 'Then took the other, as just ...
- 【bzoj4010】[HNOI2015]菜肴制作 拓扑排序+堆
题目描述 给你一张有向图,问:编号-位置序(即每个编号的位置对应的序列)最小(例如1优先出现在前面,1位置相同的2优先出现在前面,以此类推)的拓扑序是什么? 输入 第一行是一个正整数D,表示数据组数. ...
- Android M中 JNI的入门学习
今年谷歌推出了Android 6.0,作为安卓开发人员,对其学习掌握肯定是必不可少的,今天小编和大家分享的就是Android 6.0中的 JNI相关知识,这是在一个安卓教程网上看到的内容,感觉很不错, ...
- P1023 税收与补贴问题
题目背景 每样商品的价格越低,其销量就会相应增大.现已知某种商品的成本及其在若干价位上的销量(产品不会低于成本销售),并假设相邻价位间销量的变化是线性的且在价格高于给定的最高价位后,销量以某固定数值递 ...
- 圆盘自动机 cell
圆盘自动机 cell 一个n-m圆盘自动机,包含n个排列成一圈的方格,它们按1至n编号.每个方格中有一个整数,范围[0,m-1] .圆盘会进行d操作,每次d操作会使得每个方格中的数同时变换,变换为与其 ...
- POJ3680:Intervals(离散化+最大流最小费用)
Intervals Time Limit: 5000MS Memory Limit: 65536K Total Submissions: 9320 Accepted: 4014 题目链接:ht ...
- MySQL基本管理和应用
# yum install mysql-server # /etc/init.d/mysqld startInitializing MySQL database: Installing MySQL s ...