zoukankan      html  css  js  c++  java
  • Link-Cut Tree(LCT)

    转载自LCT(Link-Cut Tree)详解(蒟蒻自留地)

    如果你还没有接触过LCT,你可以先看一看这里:

    (看不懂没关系,先留个大概的印像)http://www.cnblogs.com/BLADEVIL/p/3510997.html

    看完之后我们知道,LCT和静态的树链剖分很像。怎么说呢?这两种树形结构都是由若干条长度不等的“重链”和“轻边”构成(名字可以不同,大概就是这个意思),“重链”之间由”轻边”连接。就像这样:


    可以想象为一棵树被人为的砍成了一段段。

     

            LCT和树链剖分不同的是,树链剖分的链是不会变化的,所以可以很方便的用线段树维护。但是,既然是动态树,那么树的结构形态将会发生改变,所以我们要用更加灵活的维护区间的结构来对链进行维护,不难想到Splay可以胜任。如何分离树链也是保证时间效率的关键(链的数量和长度要平衡),树链剖分的“重儿子”就体现了前人博大精深的智慧。

     

            在这里解释一下为什么要把树砍成一条条的链:我们可以在logn的时间内维护长度为n的区间(链),所以这样可以极大的提高树上操作的时间效率。在树链剖分中,我们把一条条链放到线段树上维护。但是LCT中,由于树的形态变化,所以用能够支持合并、分离、翻转等操作的Splay维护LCT的重链(注意,单独一个节点也算是一条重链)。

            这时我们注意到,LCT中的轻边信息变得无法维护。为什么呢?因为Splay只维护了重链,没有维护重链之间的轻边;而LCT中甚至连根都可以不停的变化,所以也没法用点权表示它父边的边权(父亲在变化)。所以,如果在LCT中要维护边上信息,个人认为最方便的方法应该是把边变成一个新点和两条边。这样可以把边权的信息变成点权维护,同时为了不影响,把真正的树上节点的点权变成0,就可以用维护点的方式维护边。

     

    LCT的各种操作:

            LCT中用Splay维护链,这些Splay叫做“辅助树“。辅助树以它上面每个节点的深度为关键字维护,就是辅助树中每个节点左儿子的深度小于当前节点的深度,当前节点的深度小于右儿子的深度。

            可以把LCT认为是一个由Splay组成的森林,就像这样:(三角形代表一棵Splay,对应着LCT上一条链)


     

    箭头是什么意思呢?箭头记录着某棵Splay对应的链向上由轻边连着哪个节点,可以想象为箭头指向“Splay 的父亲”。但是,Splay的父亲并不记录有这个儿子,即箭头是单向的。同时,每个节点要记录它是否是它所在的Splay的根。这样,Splay构成的森林就建成了。

     

    这个是我的Splay节点最基本的定义:(如果要维护更多信息就像Splay维护区间那样加上更多标记)

    struct Splay{
        Splay *fa,*son[2];bool is_root,rev;
        Splay(){
            memset(this,0,sizeof(Splay));is_root=1;
        }
    }
    LCT中基本的Splay上操作:
    void reverse(Splay *x){//翻转x子树 
        if(!x)return;
        swap(x->son[1],x->son[0]);
        x->rev^=1;
    }
    void pushdown(Splay *x){//下放标记 
        if(x->rev){
            x->rev=0;
            reverse(x->son[0]);
            reverse(x->son[1]);
        }
    }
    void push(Splay *x){//将x路径上的标记全部下放,为x旋到根做准备 
        if(!x->is_root)push(x->fa);
        pushdown(x);
    }
    void update(Splay *x){//更新维护的信息,因为模板中没有维护什么,所以为空 
    }
    /*
    下面三个函数是普通Splay的操作
    只是下放标记的方法不同 
    */ 
    void rotate(Splay *&x,int d){
        Splay *p=x->son[!d];
        x->son[!d]=p->son[d],p->son[d]=x;
        p->fa=x->fa,x->fa=p;
        if(x->son[!d])x->son[!d]->fa=x;
        update(x),update(p);
        if(x->is_root)p->is_root=1,x->is_root=0;
        x=p;
    }
    void up(Splay *x){
        Splay *&p=!x->fa->fa->is_root?x->fa->fa->fa->son[is_r(x->fa->fa)]:null=x->fa->fa;
        int d=is_r(x);
        if(is_r(x->fa)==d)rotate(p,!d),rotate(p,!d);
        else rotate(p->son[!d],!d),rotate(p,d);
    }
    void splay(Splay *x){
        push(x);
        while(!x->is_root&&!x->fa->is_root)up(x);
        if(!x->is_root)rotate(null=x->fa,!is_r(x));
    }

    access操作:

    这是LCT最核心的操作。其他所有操作都要用到它。

    他的含义是”访问某节点“。作用是:对于访问的节点x,打通一条从树根(真实的LCT树)到x的重链;如果x往下是重链,那么把x往下的重边改成轻边。可以理解为专门开辟一条x到根的路径,由一棵Splay维护这条路径。

    access之前:(粗的是重链)        access之后:

     

    access实现的方式很简单;

            先把x旋转到所在Splay的根,然后把x的右孩子的is_root设为true(此时右孩子对应的是x下方的重链,这样就断开了x和下方的重链)。

            用y记录上一次的x(初始化y=0),把y接到x的右孩子上,这样就把上一次的重链接到了当前重链一起,同时记得T[y].is_root=false。

            记录y=x,然后x=T[x].fa,把x上提。重复上面的步骤直到x=0。

    代码:

    void access(Splay *x){
        Splay *y=0;
        while(x){//如果x和LCT的根不在一条链上,每次将它所在的链与上面的链合并 
            splay(x);
            if(x->son[1])x->son[1]->is_root=1;
            if(x->son[1]=y)y->is_root=0;
            update(x);
            x=(y=x)->fa;
        }
    }

    mroot操作:

             这个操作的作用是把某个节点变成树根(这里的根指的是整棵LCT的根)。加上access操作,就可以方便的提取出LCT上两点之间的路径。提取u到v的路径只需要mroot(u),access(v),然后v所在的Splay对应的链就是u到v的路径。

    mroot实现的方式:

             由于LCT是Splay组成的森林,所以要把x变成根就只需要让所有Splay的父亲最终指向x所在Splay。所以先access(x),Splay(x),把现在的根和将成为根的x链在一棵Splay中,并转到根即可。但是我们注意到,由于x成为了新的根,所以它和原来的根所在的Splay中深度作为关键字的性质遭到了破坏:新根x应该是Splay中深度最小的,但是之前的操作并不会改变x的深度(也就是目前x依旧是当前Splay中深度最深的)。所以,我们需要把所在的这棵Splay翻转过来。

    (粗的是重链,y是原来的根)

                            翻转前:                           翻转后:

     

    这时候x才真正变成了根。

    代码:

    void mroot(Splay *x){//将x变为所在LCT的根 
        access(x);
        splay(x);
        reverse(x);
    }

    link操作:

    这个操作的作用是连接两棵LCT。对于link(u,v),表示连接u所在的LCT和v所在的LCT;

    link实现的方式:

    很简单,只需要先mroot(u),然后记录T[u].fa=v就可以了,就是把一个Splay森林连到另一个上。

    代码:

    void link(Splay *u,Splay *v){//合并u和v所在的LCT 
        mroot(u);
        u->fa=v;
    }

    cut操作:

             这个操作的作用是分离出两棵LCT。

    代码:

    void cut(Splay *u,Splay *v){
        mroot(u);//将u变成根 
        access(v);splay(v);//v和u弄到同一条链上,并且分别为两端 
        pushdown(v);
        if(v->son[0])v->son[0]->fa=v->fa,v->son[0]->is_root=1;//将v子树和链上的点分开 
        v->son[0]=v->fa=0;
        update(v);
    }

    这些就是LCT的基本操作。我推荐几个LCT的练习题:

     

    bzoj2049 SDOI2008洞穴勘探

    #include<cstdio>
    #include<algorithm>
    #include<cstring>
    using namespace std;
    #define is_r(x) (x->fa?x->fa->son[1]==x:0)
    #define maxn 10005
    struct Splay{
    	Splay *fa,*son[2];
    	bool is_root,rev;
    	Splay(){
    		memset(this,0,sizeof(Splay));
    	}
    }*root[maxn],*null=new Splay();
    void reverse(Splay *x){
    	if(!x)return;
    	swap(x->son[1],x->son[0]);
    	x->rev^=1;
    }
    void pushdown(Splay *x){
    	if(x->rev){
    		x->rev=0;
    		reverse(x->son[0]);
    		reverse(x->son[1]);
    	}
    }
    void push(Splay *x){
    	if(!x->is_root)push(x->fa);
    	pushdown(x);
    }
    void update(Splay *x){
    	
    }
    void rotate(Splay *&x,int d){
    	Splay *p=x->son[!d];
    	x->son[!d]=p->son[d],p->son[d]=x;
    	p->fa=x->fa,x->fa=p;
    	if(x->son[!d])x->son[!d]->fa=x;
    	update(x),update(p);
    	if(x->is_root)x->is_root=0,p->is_root=1;
    	x=p;
    }
    void up(Splay *x){
    	Splay *&p=!x->fa->fa->is_root?(x->fa->fa->fa->son[is_r(x->fa->fa)]):null=x->fa->fa;
    	int d=is_r(x);
    	if(is_r(x->fa)==d)rotate(p,!d),rotate(p,!d);
    	else rotate(p->son[!d],!d),rotate(p,d);
    }
    void splay(Splay *x){
    	push(x);
    	while(!x->is_root&&!x->fa->is_root)up(x);
    	if(!x->is_root)rotate(null=x->fa,!is_r(x));
    }
    void access(Splay *x){
    	Splay *y=NULL;
    	while(x){
    		splay(x);
    		if(x->son[1])x->son[1]->is_root=1;
    		x->son[1]=y;
    		if(y)y->is_root=0;
    		update(x);
    		x=(y=x)->fa;
    	}
    }
    void mroot(Splay *x){
    	access(x);
    	splay(x);
    	reverse(x);
    }
    void link(Splay *u,Splay *v){
    	mroot(u);u->fa=v;
    }
    void cut(Splay *u,Splay *v){
    	mroot(u);
    	splay(v);
    	pushdown(v);
    	if(v->son[0])v->son[0]->fa=v->fa,v->son[0]->is_root=1;
    	v->son[0]=v->fa=0;
    }
    bool judge(Splay *u,Splay *v){
    	while(u->fa)u=u->fa;
    	while(v->fa)v=v->fa;
    	return u==v;
    }
    int main(){
    	int n,m,u,v;scanf("%d%d",&n,&m);
    	char op[10];
    	for(int i=1;i<=n;i++){
    		root[i]=new Splay();root[i]->is_root=1;
    	}
    	for(int i=0;i<m;i++){
    		scanf("%s%d%d",op,&u,&v);
    		if(op[0]=='C'){
    			link(root[u],root[v]);
    		}
    		else if(op[0]=='D'){
    			cut(root[u],root[v]);
    		}
    		else{
    			if(judge(root[u],root[v]))printf("Yes
    ");
    			else printf("No
    ");
    		}
    	}
    	return 0;
    } 

    模板题,只需要link和cut,然后询问连通性。题解:

    http://blog.csdn.net/saramanda/article/details/55210235

     

    bzoj2002 HNOI2010弹飞绵羊

    #include<cstdio>
    #include<cstring>
    #include<algorithm>
    using namespace std;
    #define maxn 200005
    #define size(x) (x?x->size:0)
    #define is_r(x) (x->fa?x->fa->son[1]==x:0)
    struct Splay{
    	Splay *fa,*son[2];
    	int size;
    	bool is_root;
    	Splay(){
    		memset(this,0,sizeof(Splay));
    		is_root=size=1;
    	}
    }*root[maxn],*null=new Splay();
    void update(Splay *x){
    	x->size=size(x->son[0])+size(x->son[1])+1;
    }
    void rotate(Splay *&x,int d){
    	Splay *p=x->son[!d];
    	x->son[!d]=p->son[d],p->son[d]=x;
    	p->fa=x->fa,x->fa=p;
    	if(x->son[!d])x->son[!d]->fa=x;
    	if(x->is_root)x->is_root=0,p->is_root=1;
    	update(x),update(p);
    	x=p;
    }
    void up(Splay *x){
    	Splay *&p=(!x->fa->fa->is_root)?x->fa->fa->fa->son[is_r(x->fa->fa)]:null=x->fa->fa;
    	int d=is_r(x);
    	if(is_r(x->fa)==d)rotate(p,!d),rotate(p,!d);
    	else rotate(p->son[!d],!d),rotate(p,d);
    }
    void splay(Splay *x){
    //	push(x);
    	while(!x->is_root&&!x->fa->is_root)up(x);
    	if(!x->is_root)rotate(null=x->fa,!is_r(x));
    }
    void access(Splay *x){
    	Splay *y=0;
    	while(x){
    		splay(x);
    		if(x->son[1])x->son[1]->is_root=1;
    		if(x->son[1]=y)y->is_root=0;
    		update(x);
    		x=(y=x)->fa;
    	}
    }
    void link(Splay *u,Splay *v){//这里把cut操作也合并到link里了 
    	access(u);splay(u);
    	if(u->son[0])u->son[0]->is_root=1,u->son[0]->fa=0;
    	u->son[0]=0,u->fa=v;
    	update(u);
    }
    int main(){
    	int n,m,op,u,v;
    	scanf("%d",&n);
    	for(int i=0;i<n+1;i++)root[i]=new Splay();
    	for(int i=0;i<n;i++){
    		scanf("%d",&u);
    		if(i+u>n)u=n-i;
    		link(root[i],root[i+u]);
    	}
    	scanf("%d",&m);
    	for(int i=0;i<m;i++){
    		scanf("%d",&op);
    		if(op==1){
    			scanf("%d",&u);
    			access(root[u]);splay(root[u]);
    			printf("%d
    ",root[u]->son[0]->size);
    		}
    		else{
    			scanf("%d%d",&u,&v);
    			if(u+v>n)v=n-u;
    			link(root[u],root[u+v]);
    		}
    	}
    	return 0;
    } 

    模板题,需要link和询问某点到根的路径长度。题解:

    http://blog.csdn.net/saramanda/article/details/55210418

     

    bzoj3669 NOI2014魔法森林

    #include<cstdio>
    #include<algorithm>
    #include<cstring> 
    using namespace std;
    #define maxn 50005
    #define is_r(x) (x->fa?x->fa->son[1]==x:0)
    struct Splay{
    	Splay *fa,*son[2],*ma1;
    	int ma,x;
    	bool is_root,rev;
    	Splay(){
    		memset(this,0,sizeof(Splay));is_root=1;
    	}
    }*null,*root[maxn*3];
    struct Edge{
    	int a,b,u,v;
    	bool operator < (const Edge &c)const{
    		return a<c.a;
    	}
    }edge[maxn<<1];
    void reverse(Splay *x){
    	if(!x)return;
    	swap(x->son[1],x->son[0]);
    	x->rev^=1;
    }
    void pushdown(Splay *x){
    	if(x->rev){
    		x->rev=0;
    		reverse(x->son[0]);
    		reverse(x->son[1]);
    	}
    }
    void push(Splay *x){
    	if(!x->is_root)push(x->fa);
    	pushdown(x);
    }
    void update(Splay *x){
    	x->ma1=x,x->ma=x->x;
    	if(x->son[0]&&x->son[0]->ma>x->ma)x->ma1=x->son[0]->ma1,x->ma=x->son[0]->ma;
    	if(x->son[1]&&x->son[1]->ma>x->ma)x->ma1=x->son[1]->ma1,x->ma=x->son[1]->ma;
    }
    void rotate(Splay *&x,int d){
    	Splay *p=x->son[!d];
    	x->son[!d]=p->son[d],p->son[d]=x;
    	p->fa=x->fa,x->fa=p;
    	if(x->son[!d])x->son[!d]->fa=x;
    	update(x),update(p);
    	if(x->is_root)p->is_root=1,x->is_root=0;
    	x=p;
    }
    void up(Splay *x){
    	Splay *&p=!x->fa->fa->is_root?x->fa->fa->fa->son[is_r(x->fa->fa)]:null=x->fa->fa;
    	int d=is_r(x);
    	if(is_r(x->fa)==d)rotate(p,!d),rotate(p,!d);
    	else rotate(p->son[!d],!d),rotate(p,d);
    }
    void splay(Splay *x){
    	push(x);
    	while(!x->is_root&&!x->fa->is_root)up(x);
    	if(!x->is_root)rotate(null=x->fa,!is_r(x));
    }
    void access(Splay *x){
    	Splay *y=0;
    	while(x){
    		splay(x);
    		if(x->son[1])x->son[1]->is_root=1;
    		if(x->son[1]=y)y->is_root=0;
    		update(x);
    		x=(y=x)->fa;
    	}
    }
    void mroot(Splay *x){
    	access(x);
    	splay(x);
    	reverse(x);
    }
    void link(Splay *u,Splay *v){
    	mroot(u);
    	u->fa=v;
    }
    void cut(Splay *u,Splay *v){
    	mroot(u),access(v),splay(v);
    	pushdown(v);
    	if(v->son[0])v->son[0]->fa=v->fa,v->son[0]->is_root=1;
    	v->son[0]=v->fa=0;
    	update(v);
    }
    int fa[maxn];
    int Find(int x){
    	return fa[x]==x?x:fa[x]=Find(fa[x]);
    }
    int main(){
    	int n,m,now;scanf("%d%d",&n,&m),now=n;
    	for(int i=1;i<=n;i++){
    		root[i]=new Splay();
    		fa[i]=i;
    	}
    	for(int i=0;i<m;i++){
    		scanf("%d%d%d%d",&edge[i].u,&edge[i].v,&edge[i].a,&edge[i].b);
    	}
    	sort(edge,edge+m);
    	int u,v,a,b,ans=0x3fffffff;Splay *x;
    	for(int i=0;i<m;i++){
    		u=edge[i].u,v=edge[i].v;
    		if((a=Find(u))==(b=Find(v))){
    			mroot(root[u]);access(root[v]);splay(root[v]);
    			x=root[v]->ma1;
    			if(x->ma>edge[i].b){
    				root[++now]=new Splay();
    				root[now]->ma=root[now]->x=edge[i].b;
    				cut(root[u],x),cut(root[v],x);
    				link(root[v],root[now]);link(root[u],root[now]);
    			}
    		}
    		else{
    			root[++now]=new Splay();
    			root[now]->ma=root[now]->x=edge[i].b;
    			link(root[now],root[u]);link(root[now],root[v]);
    			fa[a]=b;
    		}
    		if(Find(1)==Find(n)){
    			mroot(root[1]);
    			access(root[n]);splay(root[n]);
    			ans=min(ans,root[n]->ma+edge[i].a);
    		}
    	}
    	printf("%d",ans==0x3fffffff?-1:ans);
    	return 0;
    }

    LCT的综合应用。题解:

    http://blog.csdn.net/saramanda/article/details/55250852

  • 相关阅读:
    【前端开发】vue子项目打包一个组件供另一个项目使用教程
    【前端开发】基于flow-editor-vue库改造的流程设计器,审批流程引擎前端教程
    【前端开发】基于logicFlow可视化流程库改造的流程引擎教程
    知识蒸馏:Distillation
    浮点神经网络vs二值神经网络
    Representation Learning 表征学习
    mybatis plus 追加where 函数
    20211012 MapStruct
    20211012 Dubbo 的 SPI 和 Adaptive
    20210916 小马哥讲 Spring AOP
  • 原文地址:https://www.cnblogs.com/bennettz/p/8559008.html
Copyright © 2011-2022 走看看