P 3384 树链剖分 模板题（取模！！！！！！！）

 P3384 【模板】树链剖分

• • 4.7K通过
  • 14.6K提交
• 题目提供者HansBug 站长团
• 评测方式云端评测
• 标签高性能
• 难度省选/NOI-
• 时空限制1000ms / 128MB

 提交  题解   

• 提示：收藏到任务计划后，可在首页查看。

最新讨论显示

推荐的相关题目显示

题目描述

如题，已知一棵包含N个结点的树（连通且无环），每个节点上包含一个数值，需要支持以下操作：

操作1： 格式： 1 x y z 表示将树从x到y结点最短路径上所有节点的值都加上z

操作2： 格式： 2 x y 表示求树从x到y结点最短路径上所有节点的值之和

操作3： 格式： 3 x z 表示将以x为根节点的子树内所有节点值都加上z

操作4： 格式： 4 x 表示求以x为根节点的子树内所有节点值之和

输入输出格式

输入格式：

 

第一行包含4个正整数N、M、R、P，分别表示树的结点个数、操作个数、根节点序号和取模数（即所有的输出结果均对此取模）。

接下来一行包含N个非负整数，分别依次表示各个节点上初始的数值。

接下来N-1行每行包含两个整数x、y，表示点x和点y之间连有一条边（保证无环且连通）

接下来M行每行包含若干个正整数，每行表示一个操作，格式如下：

操作1： 1 x y z

操作2： 2 x y

操作3： 3 x z

操作4： 4 x

 

输出格式：

 

输出包含若干行，分别依次表示每个操作2或操作4所得的结果（对P取模）

 

输入输出样例

输入样例#1： 复制

5 5 2 24
7 3 7 8 0 
1 2
1 5
3 1
4 1
3 4 2
3 2 2
4 5
1 5 1 3
2 1 3

输出样例#1： 复制

2
21

说明

时空限制：1s，128M

数据规模：

对于30%的数据： N \leq 10, M \leq 10N≤10,M≤10

对于70%的数据： N \leq {10}^3, M \leq {10}^3N≤103,M≤103

对于100%的数据： N \leq {10}^5, M \leq {10}^5N≤105,M≤105

（ 其实，纯随机生成的树LCA+暴力是能过的，可是，你觉得可能是纯随机的么233 ）

样例说明：

树的结构如下：

各个操作如下：

故输出应依次为2、21(重要的事情说三遍：记得取模)

思路： 树链剖分：推荐博客

就是一个很简单的树链剖分，取模坑死人。。。

代码：

#include<bits/stdc++.h>
#define lson (i<<1)
#define rson (i<<1|1)

using namespace std;
typedef long long ll;
const int N =1e5+5;

struct eee
{
    int v;
    int next;
}edge[N*2];

int tot,head[N];

struct node
{
    int l,r;
    ll sum;
    ll lz;
}tr[N<<2];

int fat[N]; /// 当前节点的直接父亲
int dep[N]; /// 当前节点的在树上深度
int siz[N]; /// 当前节点的孩子个数
int son[N]; /// 当前节点的重孩子
int rak[N]; /// 线段树的第i个节点是？
int top[N]; /// 当前节点的链开始节点 top
int idd[N]; /// x在线段树中第几个节点
int cnt;

int n,m,r;
ll mod;
ll val[N];

void init()
{
    tot=0;
    memset(head,-1,sizeof(head));
    memset(son,0,sizeof(son));
    memset(siz,0,sizeof(siz));
}

void add(int u,int v)
{
    edge[++tot].v=v; edge[tot].next=head[u]; head[u]=tot;
}

void dfs1(int u,int fa,int deep)
{
    fat[u]=fa;
    dep[u]=deep;
    siz[u]=1;
    for(int i=head[u];i!=-1;i=edge[i].next){
        int v=edge[i].v;
        if(v==fa) continue;
        dfs1(v,u,deep+1);
        siz[u]+=siz[v];
        if(son[u]==0||siz[v]>siz[son[u]]){
            son[u]=v;
        }
    }
}

void dfs2(int u,int t)
{
    top[u]=t;
    idd[u]=++cnt;
    rak[cnt]=u;
    if(!son[u]) return ;
    dfs2(son[u],t);

    for(int i=head[u];i!=-1;i=edge[i].next){
        int v=edge[i].v;
        //if(v==fat[u]) continue;
        if(v!=son[u]&&v!=fat[u]){
            dfs2(v,v);
        }
    }
}

void push_up(int i)
{
    tr[i].sum=(tr[lson].sum+tr[rson].sum)%mod;
}

void push_down(int i)
{
    if(tr[i].lz){
        ll &lz=tr[i].lz;
        tr[lson].lz+=lz; tr[lson].lz%=mod;
        tr[rson].lz+=lz; tr[rson].lz%=mod;
        int l,r,mid;
        l=tr[i].l; r=tr[i].r; mid=(l+r)>>1;
        tr[lson].sum+=1ll*(mid-l+1)*lz;
        tr[lson].sum%=mod;
        tr[rson].sum+=1ll*(r-mid)*lz;
        tr[rson].sum%=mod;
        lz=0;
    }
}

void build(int i,int l,int r)
{
    tr[i].l=l; tr[i].r=r; tr[i].lz=0; tr[i].sum=0;
    if(l==r){
        tr[i].sum=val[rak[l]]%mod;
        return ;
    }

    int mid=(l+r)>>1;
    build(lson,l,mid);
    build(rson,mid+1,r);
    push_up(i);
}

void update(int i,int l,int r,ll w)
{
    if(tr[i].l==l&&tr[i].r==r){
        tr[i].lz+=w;
        tr[i].lz%=mod;
        tr[i].sum+=1ll*(r-l+1)*w;
        tr[i].sum%=mod;
        return ;
    }
    push_down(i);
    int mid=(tr[i].l+tr[i].r)>>1;
    if(r<=mid) update(lson,l,r,w);
    else if(l>mid) update(rson,l,r,w);
    else{
        update(lson,l,mid,w);
        update(rson,mid+1,r,w);
    }
    push_up(i);
}

ll query(int i,int l,int r)
{
    if(tr[i].l==l&&tr[i].r==r){
        return (tr[i].sum+mod)%mod;
    }
    push_down(i);
    int mid=(tr[i].l+tr[i].r)>>1;
    if(r<=mid) return query(lson,l,r);
    else if(l>mid) return query(rson,l,r);
    else{
        return (query(lson,l,mid)+query(rson,mid+1,r))%mod;
    }
}

ll getsums(int x,int y)
{
    ll ans=0;
    int fx=top[x],fy=top[y];
    while(fx!=fy)
    {
        if(dep[fx]>=dep[fy]){
            ans+=query(1,idd[fx],idd[x]);
            ans%=mod;
            x=fat[fx]; fx=top[x];
        }
        else{
            ans+=query(1,idd[fy],idd[y]);
            ans%=mod;
            y=fat[fy]; fy=top[y];
        }
    }

    if(idd[x]<=idd[y]){
        ans+=query(1,idd[x],idd[y]);
        ans%=mod;
    }
    else{
        ans+=query(1,idd[y],idd[x]);
        ans%=mod;
    }
    return ans%mod;
}

void updates(int x,int y,int c)
{
    int fx=top[x]; int fy=top[y];
    while(fx!=fy)
    {
        if(dep[fx]>=dep[fy]){
            update(1,idd[fx],idd[x],c);
            x=fat[fx];
        }
        else{
            update(1,idd[fy],idd[y],c);
            y=fat[fy];
        }
        fx=top[x];
        fy=top[y];
    }
    if(idd[x]<=idd[y]) update(1,idd[x],idd[y],c);
    else update(1,idd[y],idd[x],c);
}

int main()
{
    int u,v;
    scanf("%d %d %d %lld",&n,&m,&r,&mod);
    init();
    for(int i=1;i<=n;i++) scanf("%lld",&val[i]);
    for(int i=1;i<n;i++){
        scanf("%d %d",&u,&v);
        add(u,v);
        add(v,u);
    }


    cnt=0;
    dfs1(r,r,0);
    dfs2(r,r);

    build(1,1,n);

    int op;
    ll w;
    while(m--)
    {
        scanf("%d",&op);
        if(op==1){
            scanf("%d %d %d",&u,&v,&w);
            updates(u,v,w);
        }
        else if(op==2){
            scanf("%d %d",&u,&v);
            ll ans=getsums(u,v);
            printf("%lld\n",ans);
        }
        else if(op==3){
            scanf("%d %lld",&u,&w);
            update(1,idd[u],idd[u]+siz[u]-1,w);
        }
        else if(op==4){
            scanf("%d",&u);
            ll ans=query(1,idd[u],idd[u]+siz[u]-1);
            printf("%lld\n",ans);
        }
    }

    return 0;
}

/*

5 5 2 24
7 3 7 8 0
1 2
1 5
3 1
4 1


*/