模板:树链剖分

前言:

“如果你会了树上dp,还会线段树……”

“没错!我都会啊!”

“……那你为什么写不出树链剖分?”

“???”

——by勇者和路由器的对话,今天二位仍然过得十分愉快


问题引入

BZOJ1036:[ZJOI2008]树的统计

题目描述

一棵树上有n个节点,编号分别为1到n,每个节点都有一个权值w。

我们将以下面的形式来要求你对这棵树完成一些操作:

I. CHANGE u t : 把结点u的权值改为t

II. QMAX u v: 询问从点u到点v的路径上的节点的最大权值

III. QSUM u v: 询问从点u到点v的路径上的节点的权值和

注意:从点u到点v的路径上的节点包括u和v本身

输入格式:

输入文件的第一行为一个整数n,表示节点的个数。

接下来n – 1行,每行2个整数a和b,表示节点a和节点b之间有一条边相连。

接下来一行n个整数,第i个整数wi表示节点i的权值。

接下来1行,为一个整数q,表示操作的总数。

接下来q行,每行一个操作,以“CHANGE u t”或者“QMAX u v”或者“QSUM u v”的形式给出。

输出格式:

对于每个“QMAX”或者“QSUM”的操作,每行输出一个整数表示要求输出的结果。

输入样例:

4
1 2
2 3
4 1
4 2 1 3
12
QMAX 3 4
QMAX 3 3
QMAX 3 2
QMAX 2 3
QSUM 3 4
QSUM 2 1
CHANGE 1 5
QMAX 3 4
CHANGE 3 6
QMAX 3 4
QMAX 2 4
QSUM 3 4

输出样例:

4
1
2
2
10
6
5
6
5
16

说明
对于100%的数据,保证1<=n<=30000,0<=q<=200000;中途操作中保证每个节点的权值w在-30000到30000之间。


思考:

我们发现题中要求的内容类似于线段树:单点修改,区间询问。

但是,这是一棵树啊!我们怎么才能在树上建一个只适用于一维的数据结构呢?

我们要抛弃线段树吗?

……

那么我们要试图把树拍扁成一维的吗?

……只能这样了。

其实拍扁成一维并不难想,考虑当树为一条链的时候吗,我们就直接上线段树即可。

那么类比一棵完整的树时,我们就把它分解成一条一条链然后拼在一起线段树维护即可。

关键问题在于要如何分解成链才能使得我们查询既快捷又方便呢?

这里当然就是树链剖分的活啦!


树链剖分:

概念:

定义size(X)为以X为根的子树的节点个数。 ž令V为U的儿子节点中size值最大的节点,那么边(U,V)被称为重边,树中重边之外的边被称为轻边。

我们称某条路径为重路径,当且仅当它全部由重边组成。


性质:

性质 1:轻边(U,V),size(V)<=size(U)/2。

ž性质 2:从根到某一点的路径上,不超过O(logN)条轻边,不超过O(logN)条重路径。

对于性质1,我们肉眼观察法和反证法都能解决。

对于性质2就不是那么明显了,我们来证明一下:

由性质1可知,每经过一条轻边,子树的节点个数至少减少一半,所以至多经过 O (log n ) 条轻边。

而进入(或从……出去)一条重路径,一定需要经过一条轻边,所以至多经过 O (log n ) 条重路径。

有了以上两个性质之后,我们就可以发现这种分法的优越性了,我们仅仅只需要搜大概logn级别即可。


细节:

预处理:

我们具体需要求出7个值,分别为:

对于节点u:

父亲fa;

深度dep;

子树节点数size(又叫重量);

重儿子son;

所在重路径的顶部节点top;

在序列的位置pos(下标)。

对于序列的一个下标:

对应树的位置idx。


前四个朴素dfs即可解决,后三个根据节点的重儿子再dfs即可解决。

注意:我们的目的是为了将树分解成重路径,所以第二次dfs建序列的时候要先加重儿子再管其他节点。


求值:

我们将u到v的路径分解成:

当u与v不在同一个重路径时:

u所在的部分重路径+top[u]到top[v]+v所在的部分重路径。

当u与v在同一个重路径时(显然不需要分解)

按照上面的方法递归并且不断求出这些段的值完后汇总即可。

那么我们就想先跳u为top[u]还是跳v为top[v]——方法就是,为了防止跳大了,跳得越少越好(比较top[u]和top[v]的dep即可)。


代码:

例题代码如下:

//luogu2590
//ZJOI2008树的统计
#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<vector>
using namespace std;
const int N=30001;
const int INF=2147483647;
inline int read(){
    int X=0,w=0;char ch=0;
    while(ch<'0'||ch>'9'){w|=ch=='-';ch=getchar();}
    while(ch>='0'&&ch<='9')X=(X<<3)+(X<<1)+(ch^48),ch=getchar();
    return w?-X:X;
}
struct node{
    int to;
    int nxt;
}edge[2*N];
int head[N],cnt=0,n;
inline void add(int u,int v){
    cnt++;
    edge[cnt].to=v;
    edge[cnt].nxt=head[u];
    head[u]=cnt;
    return;
}
int fa[N],dep[N],size[N],son[N],top[N],pos[N],idx[N];
//依次为u的父亲,深度,重量,重儿子,重路径顶端,映射,反映射
int val[N],sum[N*4],maxn[N*4];
//依次为u的点权,区间和,区间最大值
void dfs1(int u){//处理fa,dep,size,son
    size[u]=1;
    for(int i=head[u];i;i=edge[i].nxt){
    int v=edge[i].to;
    if(v==fa[u])continue;
    fa[v]=u;dep[v]=dep[u]+1;
    dfs1(v);
    size[u]+=size[v];
    if(!son[u]||size[v]>size[son[u]])son[u]=v;//计算重儿子
    }
    return;
}
int tot;
void dfs2(int u,int anc){//处理top,pos,idx
    tot++;
    pos[u]=tot;
    idx[tot]=u;
    top[u]=anc;
    if(!son[u])return;//到叶子了
    dfs2(son[u],anc);//重路径上的点要在一段连续区间内所以先走重儿子
    for(int i=head[u];i;i=edge[i].nxt){
        int v=edge[i].to;
        if(v==fa[u]||v==son[u])continue;
        dfs2(v,v);//轻链top(anc)为自己
    }
    return;
}
void build(int a,int l,int r){//线段树建树
    if(l==r){
        sum[a]=maxn[a]=val[idx[l]];
        return;
    }
    int mid=(l+r)>>1;
    build(a*2,l,mid);
    build(a*2+1,mid+1,r);
    sum[a]=sum[a*2]+sum[a*2+1];
    maxn[a]=max(maxn[a*2],maxn[a*2+1]);
    return;
}
int querysum(int a,int l,int r,int l1,int r1){//线段树区间和
    if(r1<l||l1>r)return 0;
    if(l1<=l&&r<=r1)return sum[a];
    int mid=(l+r)>>1;
    return querysum(a*2,l,mid,l1,r1)+querysum(a*2+1,mid+1,r,l1,r1);
}
int querymax(int a,int l,int r,int l1,int r1){//线段树区间最大值
    if(r1<l||l1>r)return -INF;
    if(l1<=l&&r<=r1)return maxn[a];
    int mid=(l+r)>>1;
    return max(querymax(a*2,l,mid,l1,r1),querymax(a*2+1,mid+1,r,l1,r1));
}
void modify(int a,int l,int r,int p,int v){//线段树改值
    if(p<l||r<p)return;
    if(l==r){
        sum[a]=maxn[a]=v;
        return;
    }
    int mid=(l+r)>>1;
    modify(a*2,l,mid,p,v);
    modify(a*2+1,mid+1,r,p,v);
    sum[a]=sum[a*2]+sum[a*2+1];
    maxn[a]=max(maxn[a*2],maxn[a*2+1]);
    return;
}
int pathsum(int u,int v){//询问(u,v)这条路径的和
    if(top[u]!=top[v]){//不在同一条重链
        if(dep[top[u]]<dep[top[v]]){int t=u;u=v;v=t;}//一次爬少些,防止爬太大从而搜点搜多了
        return pathsum(fa[top[u]],v)+querysum(1,1,n,pos[top[u]],pos[u]);//爬掉一整个重路径
    }
    if(dep[u]>dep[v]){int t=u;u=v;v=t;}
    return querysum(1,1,n,pos[u],pos[v]);//一条重路径上一段
    //此时u是深度较小的那个点,也就是原路径的LCA
}
int pathmax(int u,int v){//询问(u,v)这条路径的最大值,代码含义基本同上
    if(top[u]!=top[v]){
        if(dep[top[u]]<dep[top[v]]){int t=u;u=v;v=t;}
        return max(pathmax(fa[top[u]],v),querymax(1,1,n,pos[top[u]],pos[u]));
    }
    if(dep[u]>dep[v]){int t=u;u=v;v=t;}
    return querymax(1,1,n,pos[u],pos[v]);
}
void init(){//初始化
    dep[1]=fa[1]=1;
    dfs1(1);
    top[1]=idx[1]=pos[1]=1;
    tot=0;
    dfs2(1,1);
    return;
}
int main(){
    n=read();
    for(int i=2;i<=n;i++){
        int u=read();
        int v=read();
        add(u,v);
        add(v,u);
    }
    for(int i=1;i<=n;i++)val[i]=read();
    init();
    build(1,1,n);
    int q=read();
    while(q--){
        char op[6];
        scanf("%s",op);
        int u=read();
        int v=read();
        if(op[0]=='C')modify(1,1,n,pos[u],v);
        else if(op[1]=='S')printf("%d\n",pathsum(u,v));
        else printf("%d\n",pathmax(u,v));
    }
    return 0;
}
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值