树链剖分之HLD

树链剖分的原理

对于数组这样的线性结构,要在其上实现区间查询(和与最值)、区间修改甚至是区间增删都是有办法的。例如Sparse Table算法、树状数组、线段树以及伸展树等。而树是一种非线性结构,为了高效的实现在树上的路径查询、路径修改操作,基本做法是将树按照某种方式剖成若干条链,再将这些链按照顺序组成数组,最后在数组上采用线段树等手段实现操作。考虑如下一棵树:

在这里插入图片描述

可以把它剖成6条链,分别是 A C H L N ACHLN ACHLN G G G I M IM IM B F K BFK BFK E E E D J DJ DJ,因此对应的新数组是

在这里插入图片描述

轻重边剖分

轻重边剖分(Heavy-light Decomposition)是树链剖分常用的一种方法,上面的例子就是一个HLD的例子。HLD可以用来解决一大类问题:在树的结构形态不发生变化的前提下,实现路径操作和子树操作(修改、查询和及最值)

重儿子:某个节点的子节点,其子树节点数量最大,则该子节点为该节点的重儿子。其余为轻儿子。在上例中, C C C A A A的重儿子, H H H C C C的重儿子, F F F B B B的重儿子。

重边:父节点和重儿子之间的边称为重边。在上例中, A C AC AC C H CH CH B F BF BF都是重边。对应的,父节点和轻儿子的边就称为轻边

重链:全部由重边构成的路径称为重链,又称为重路径。在上例中, A C H L N ACHLN ACHLN G G G I M IM IM B F K BFK BFK E E E D J DJ DJ就是重链。

N N N个节点的树的任意一条路径上,最多只有 l o g N logN logN条重链。每一条重链就是对应数组的一个连续的部分,因此其上的操作最多为 l o g N logN logN。因此每次树上操作的时间为 l o g 2 N log^2N log2N

考虑每一次路径操作,我们需要知道路径到底是由哪些重链组成的以及这些重链在数组中对应的部分。路径上的重链信息显然是可以求出的,但是不必专门求出,在操作中不停更新重链即可。为了更新重链信息,对于每个节点还需记录深度信息 d e p t h depth depth以及每个节点所在重链的最顶层节点 t o p top top。深度信息比较容易理解。 t o p top top信息实际上就是每条链的第一个节点,例如在上例中 H H H t o p top top就是 A A A L L L t o p top top也是 A A A,而 K K K t o p top top则是 B B B

有了 d e p t h depth depth t o p top top信息,即可进行路径操作。考虑 K M KM KM之间的路径操作。因为 K K K M M M t o p top top不同,所以可以肯定 K M KM KM不是一条重链。又因为 M M M t o p top top深度更深,所以可以肯定 M M M及其 t o p top top之间的重链全部都在路径上,可以进行一次区间操作;该次操作完成以后就跳到节点 C C C,因为节点 C C C M M M t o p top top的父节点。再次考虑 K C KC KC,因为 K K K t o p top top深度更深,所以 B K BK BK全部在路径上,进行一次区间操作;然后跳到 A A A A A A C C C t o p top top相同,说明 A C AC AC是最后一段区间,对其进行操作即可。

因为轻重边的区别完全取决于子树的节点数量,每个节点设置一个 s i z e size size域,在一次深搜中就能确定 s i z e size size的值,同时可以确定每个节点的重儿子,以及每个节点的 d e p t h depth depth信息与父节点。确定重儿子以后,再一次深搜就可以确定重链的顺序以及每个节点的 t o p top top。此次深搜的顺序即转化后的数组的索引序号,然后对该数组建树状数组或者线段树并进行操作即可。因此,整个解法复杂度为 O ( N + Q l o g — — 2 N ) O(N+Qlog——2N) O(N+Qlog2N)。其中 Q Q Q为操作的总数量。

实现

hdu3966是一个典型的树链剖分题目,树的形态维持不变,路径更新、单点查询,剖分完以后使用带延迟的线段树即可。

//#pragma comment(linker, "/STACK:1024000000,1024000000") 
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;

#define SIZE 50010

struct edge_t{
	int node;//另一个节点的编号
	int next;//下一条边的地址,实际地址为Edge+next
}Edge[SIZE<<1];
int ECnt = 0;
int Vertex[SIZE];//邻接表表示所有的边

//a、b之间建立两条无向边
void mkEdge(int a,int b){
	Edge[ECnt].node = b;
	Edge[ECnt].next = Vertex[a];
	Vertex[a] = ECnt ++;

	Edge[ECnt].node = a;
	Edge[ECnt].next = Vertex[b];
	Vertex[b] = ECnt ++;
}

struct node_t{
    int parent;   //父节点
	int heavy_son;//重边的子节点
	int depth;     //深度
	int size;     //size域
	int top;      //本节点所在的重链的最顶层节点
	int nid;      //在dfs重链时重新对节点编号,确保同一条链上的节点相邻
    int weight;   //权值,本题中即所求的数量
}Node[SIZE];
int TIdx = 0;
int NewIdx[SIZE];//新编号到原树节点的映射
int N,M,P;

//dfs找出所有重边,t为节点,parent为其父节点,depth为深度
//该dfs实际上确立了树的结构
void dfsHeavyEdge(int t,int parent,int depth){
	Node[t].depth = depth;
	Node[t].parent = parent;
	Node[t].size = 1;
	//对t的所有子节点
	for(int next=Vertex[t];next;next=Edge[next].next){
		int u = Edge[next].node;
		if ( u == parent ) continue;
		dfsHeavyEdge(u,t,depth+1);
		Node[t].size += Node[u].size;
		//判断重边
		if ( Node[u].size > Node[Node[t].heavy_son].size )
			Node[t].heavy_son = u;
	}
}

//dfs找出所有重链,t为节点,top为当前节点所在重链的最顶层节点
//重链实际上是以其顶层节点为标识保存的,任意节点都能够直接得出其所在重链的顶层节点
void dfsHeavyPath(int t,int top){
	Node[t].top = top;
	Node[t].nid = TIdx++;
	NewIdx[Node[t].nid] = t;

	//t没有重儿子,实际上就是叶节点
	if ( 0 == Node[t].heavy_son ) return;
	dfsHeavyPath(Node[t].heavy_son,top);

	//对t的所有节点
	for(int next=Vertex[t];next;next=Edge[next].next){
		int u = Edge[next].node;
		if ( u == Node[t].parent 
			|| u == Node[t].heavy_son ) continue;
		
		dfsHeavyPath(u,u);
	}
}

//带延迟的求区间和的线段树
struct stnode_t{
	int peak;
	int delay;
}ST[SIZE<<2];

inline int lson(int t){return t<<1;}
inline int rson(int t){return (t<<1)|1;}

void _pushUp(int t){ST[t].peak=ST[lson(t)].peak+ST[rson(t)].peak;}
void _pushDown(int t){
	if ( 0 == ST[t].delay ) return;
	
	ST[lson(t)].delay += ST[t].delay;
	ST[lson(t)].peak += ST[t].delay;
	ST[rson(t)].delay += ST[t].delay;
	ST[rson(t)].peak += ST[t].delay;
	ST[t].delay = 0;
}

//建树,递归建立节点
void build(int t,int s,int e){
	ST[t].delay = 0;

	if ( s == e ){
		ST[t].peak = Node[NewIdx[s]].weight;
		return;
	}
	int mid = ( s + e ) >> 1;
	build(lson(t),s,mid);
	build(rson(t),mid+1,e);
	_pushUp(t);
}
//[a,b]区间增加delta
void modify(int t,int s,int e,int a,int b,int delta){
	if ( a <= s && e <= b ){
		ST[t].delay += delta;
		ST[t].peak += delta;
		return;
	}

	_pushDown(t);
	int mid = ( s + e ) >> 1;
	if ( a <= mid ) modify(lson(t),s,mid,a,b,delta);
	if ( mid < b ) modify(rson(t),mid+1,e,a,b,delta);
	_pushUp(t);
}
//单点查询
int query(int t,int s,int e,int idx){
	if ( s == e ) return ST[t].peak;
	_pushDown(t);
	int mid = ( s + e ) >> 1;
	int ret = ( idx <= mid ) 
		? query(lson(t),s,mid,idx)
		: query(rson(t),mid+1,e,idx);
	_pushUp(t);
	return ret;
}

//关键操作,将原树上(x,y)路径的所有节点权值增加val
void change(int x,int y,int val){
	//当x,y不处于同一条重链
	while( Node[x].top != Node[y].top ){
		//令x所处的重链总是更深
		if ( Node[Node[x].top].depth < Node[Node[y].top].depth )
			swap(x,y);
		//将x所在的链的链顶到x的区间进行修改
		modify(1,1,N,Node[Node[x].top].nid,Node[x].nid,val);
		//将x修改为原链顶的父亲,实质上就是跳到了另外一条链
		x = Node[Node[x].top].parent;
	}
	//到此处时,x、y处于同一条链,令x总是更浅,此举是为了确定左右区间
	if ( Node[x].depth > Node[y].depth ) swap(x,y);
	//将x、y之间的路径更新
	modify(1,1,N,Node[x].nid,Node[y].nid,val);
}
inline void init(){
	ECnt = TIdx = 1;
	fill(Vertex,Vertex+N+1,0);
	for(int i=0;i<=N;++i)Node[i].heavy_son = 0;
}
bool read(){
	if ( EOF == scanf("%d%d%d",&N,&M,&P) )
		return false;

	init();
	for(int i=1;i<=N;++i)scanf("%d",&Node[i].weight);
	for(int i=0;i<M;++i){
		int a,b;
		scanf("%d%d",&a,&b);
		mkEdge(a,b);
	}
	//以第1个节点为根建树
	dfsHeavyEdge(1,0,0);
	//从根节点开始递归建重链
	dfsHeavyPath(1,1);
	//以ST[1]为根节点区间[1,N]建线段树
	build(1,1,N);
	return true;
}
char Cmd[5];
int main(){
	while( read() ){
		while(P--){
			scanf("%s",Cmd);
			if ( 'Q' == *Cmd ){
				int x;
				scanf("%d",&x);
				printf("%d\n",query(1,1,N,Node[x].nid));
			}else{
				int x,y,v;
				scanf("%d%d%d",&x,&y,&v);
				if ( 'D' == *Cmd ) v = -v;
				change(x,y,v);
			}
		}
	}
	return 0;
}

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
#include <cstdio> #include <iostream> #include <vector> #define N 30003 #define INF 2147483647 using namespace std; int n,f[N][20],dep[N],siz[N],son[N],top[N],tot,pos[N],w[N]; int Max[N*4],Sum[N*4]; vector <int> to[N]; void dfs1(int x){ siz[x]=1; int sz=to[x].size(); for(int i=0;i<sz;++i){ int y=to[x][i]; if(y==f[x][0])continue; f[y][0]=x; dep[y]=dep[x]+1; dfs1(y); siz[x]+=siz[y]; if(siz[y]>siz[son[x]])son[x]=y; } } void dfs2(int x,int root){ top[x]=root; pos[x]=++tot; if(son[x])dfs2(son[x],root); int sz=to[x].size(); for(int i=0;i<sz;++i){ int y=to[x][i]; if(y==f[x][0] || y==son[x])continue; dfs2(y,y); } } void update(int k,int l,int r,int P,int V){ if(l==r){ Max[k]=Sum[k]=V; return; } int mid=(l+r)>>1; if(P<=mid)update(k*2,l,mid,P,V); else update(k*2+1,mid+1,r,P,V); Max[k]=max(Max[k*2],Max[k*2+1]); Sum[k]=Sum[k*2]+Sum[k*2+1]; } void up(int &x,int goal){ for(int i=15;i>=0;--i) if(dep[f[x][i]]>=goal)x=f[x][i]; } int lca(int x,int y){ if(dep[x]>dep[y])up(x,dep[y]); if(dep[x]<dep[y])up(y,dep[x]); if(x==y)return x; for(int i=15;i>=0;--i) if(f[x][i]!=f[y][i])x=f[x][i],y=f[y][i]; return f[x][0]; } int getm(int k,int l,int r,int L,int R){ if(L<=l && r<=R)return Max[k]; int res=-INF,mid=(l+r)>>1; if(L<=mid)res=max(res,getm(k*2,l,mid,L,R)); if(R>mid)res=max(res,getm(k*2+1,mid+1,r,L,R)); return res; } int gets(int k,int l,int r,int L,int R){ if(L<=l && r<=R)return Sum[k]; int res=0,mid=(l+r)>>1; if(L<=mid)res+=gets(k*2,l,mid,L,R); if(R>mid)res+=gets(k*2+1,mid+1,r,L,R); return res; } int main(){ scanf("%d",&n); for(int i=1,a,b;i<n;++i){ scanf("%d%d",&a,&b); to[a].push_back(b); to[b].push_back(a); } dep[1]=1; dfs1(1); dfs2(1,1); for(int i=1;i<=15;++i) for(int j=1;j<=n;++j)f[j][i]=f[f[j][i-1]][i-1]; for(int i=1;i<=n;++i){ scanf("%d",&w[i]); update(1,1,n,pos[i],w[i]); } int q; scanf("%d",&q); while(q--){ char s[10]; int u,v,t; scanf("%s",s); if(s[1]=='H'){ scanf("%d%d",&u,&t); w[u]=t; update(1,1,n,pos[u],t); } if(s[1]=='M'){ scanf("%d%d",&u,&v); int ans=-INF,t=lca(u,v); for(int i=u;i;i=f[top[i]][0]) if(dep[t]<dep[top[i]]) ans=max(ans,getm(1,1,n,pos[top[i]],pos[i])); else{ ans=max(ans,getm(1,1,n,pos[t],pos[i])); break; } for(int i=v;i;i=f[top[i]][0]) if(dep[t]<dep[top[i]]) ans=max(ans,getm(1,1,n,pos[top[i]],pos[i])); else{ ans=max(ans,getm(1,1,n,pos[t],pos[i])); break; } printf("%d\n",ans); } if(s[1]=='S'){ scanf("%d%d",&u,&v); int ans=0,t=lca(u,v); for(int i=u;i;i=f[top[i]][0]) if(dep[t]<dep[top[i]]) ans+=gets(1,1,n,pos[top[i]],pos[i]); else{ ans+=gets(1,1,n,pos[t],pos[i]); break; } for(int i=v;i;i=f[top[i]][0]) if(dep[t]<dep[top[i]]) ans+=gets(1,1,n,pos[top[i]],pos[i]); else{ ans+=gets(1,1,n,pos[t],pos[i]); break; } printf("%d\n",ans-w[t]); } } }

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值