P3384 树链剖分

题目描述

如题，已知一棵包含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≤10,M≤10 N \leq 10, M \leq 10 N≤10,M≤10

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

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

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

样例说明：

树的结构如下：

各个操作如下：

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

参考  https://www.luogu.org/problemnew/solution/P3384

上面题解已经很详细，发个代码仅仅为了纪念一下学会了树剖这么简单粗暴巨长代码的东西，并且敲出来基本无bug

预处理内容

dfs1

son[i]     非叶子节点i的重儿子

father[i]  i节点的父亲

size[i]  包含i节点的子树的大小

deep[i] i节点深度

dfs2

id[i] 按照 重链DFS序后为节点重新编号 后,i节点的编号

wt[i]  重新编号后的东西

top[i] i 节点所在的重链 最上面的 节点

对于树上路径权值加

一直在重链上跳跳跳

线段树上区间更新

对于树上路径权值求和

同上，跳跳跳

线段树上区间求和

对于子树权值更新

重新编号后 子树节点编号肯定是连续的

直接区间更新

对于子树权值查询

同上

#include<bits/stdc++.h>

using namespace std;
typedef long long ll;
const int maxn=5e5+10;
struct EDGE
{
    int x,y,nxt;
};
int tot,cnt;
ll p;
int head[maxn];
EDGE edge[maxn*2];
ll a[maxn];
int deep[maxn];
int father[maxn];
int size[maxn];
int son[maxn];
int top[maxn];
int id[maxn];
ll wt[maxn];
ll tree[maxn*4];
ll lazy[maxn*4];
void init()
{
    tot=0;
    cnt=0;
    memset(head,-1,sizeof(head));
    memset(edge,0,sizeof(edge));
}
void add(int x,int y)
{
    edge[tot].x=x;
    edge[tot].y=y;
    edge[tot].nxt=head[x];
    head[x]=tot;
    tot++;
}
void dfs1(int x,int f,int dp)
{
    deep[x]=dp;
    father[x]=f;
    size[x]=1;
    int maxson=-1;
    for(int i=head[x];i!=-1;i=edge[i].nxt)
    {
        int y=edge[i].y;
        if(y==f)
            continue;
        dfs1(y,x,dp+1);
        size[x]+=size[y];
        if(size[y]>maxson)
        {
            son[x]=y;
            maxson=size[y];
        }
    }
}
void dfs2(int x,int topf)
{
    cnt++;
    id[x]=cnt;
    wt[cnt]=a[x];
    top[x]=topf;
    if(!son[x])
        return ;
    dfs2(son[x],topf);
    for(int i=head[x];i!=-1;i=edge[i].nxt)
    {
        int y=edge[i].y;
        if(y==father[x]||y==son[x])
            continue;
        dfs2(y,y);
    }
}
void pushup(int pos)
{
    tree[pos]=tree[pos<<1]+tree[pos<<1|1];
}
void pushdown(int l,int r,int pos)
{
    if(lazy[pos]!=0)
    {
        int mid=(l+r)>>1;
        tree[pos]+=(ll)(r-l+1)*lazy[pos];
        lazy[pos<<1]+=lazy[pos];
        lazy[pos<<1|1]+=lazy[pos];
        lazy[pos]=0;
    }
}
void build(int l,int r,int pos)
{
    if(l==r)
    {
        tree[pos]=wt[l];
        return ;
    }
    int mid=(l+r)>>1;
    build(l,mid,pos<<1);
    build(mid+1,r,pos<<1|1);
    pushup(pos);
}
ll query(int L,int R,int pos,int l,int r)
{
    pushdown(L,R,pos);
    if(l==L&&R==r)
    {
        return tree[pos];
    }
    ll ans=0;
    int mid=(L+R)>>1;
    if(r<=mid)
        ans=query(L,mid,pos<<1,l,r);
    else if(l>=mid+1)
        ans=query(mid+1,R,pos<<1|1,l,r);
    else
    {
        ans=query(mid+1,R,pos<<1|1,mid+1,r)+query(L,mid,pos<<1,l,mid);
    }
    return ans;
}
void update(int L,int R,int pos,int l,int r,int ad)
{
    if(L==l&&R==r)
    {
        lazy[pos]+=ad;
        return ;
    }
    if(L<=l&&r<=R)
    {
        tree[pos]+=(ll)(r-l+1)*(ad);
    }
    int mid=(L+R)>>1;
    if(r<=mid)
        update(L,mid,pos<<1,l,r,ad);
    else if(l>=mid+1)
        update(mid+1,R,pos<<1|1,l,r,ad);
    else
    {
        update(L,mid,pos<<1,l,mid,ad);
        update(mid+1,R,pos<<1|1,mid+1,r,ad);
    }
}
void op1(int x,int y,int ad)
{
    while(top[x]!=top[y])
    {
        if(deep[top[x]]<deep[top[y]])
            swap(x,y);
        update(1,cnt,1,id[top[x]],id[x],ad);
        x=father[top[x]];
    }
    if(deep[x]>deep[y])
        swap(x,y);
    update(1,cnt,1,id[x],id[y],ad);
}
ll op2(int x,int y)
{
    ll ans=0;
    while(top[x]!=top[y])
    {
        if(deep[top[x]]<deep[top[y]])
            swap(x,y);
        ans+=query(1,cnt,1,id[top[x]],id[x]);
        ans%=p;
        x=father[top[x]];
    }
    if(deep[x]>deep[y])
        swap(x,y);
    ans+=query(1,cnt,1,id[x],id[y])%p;
    ans%=p;
    return ans;
}
void op3(int x,int ad)
{
    update(1,cnt,1,id[x],id[x]+size[x]-1,ad);
}
ll op4(int x)
{
    int ans=0;
    ans=query(1,cnt,1,id[x],id[x]+size[x]-1)%p;
    return ans;
}

int main()
{
    int x,y,z,op;
    int n,m,r;
    init();
    scanf("%d%d%d%lld",&n,&m,&r,&p);
    for(int i=1;i<=n;i++)
        scanf("%lld",&a[i]);
    for(int i=0;i<n-1;i++)
    {
        scanf("%d%d",&x,&y);
        add(x,y);
        add(y,x);
    }
    dfs1(r,0,1);
    dfs2(r,r);
    build(1,n,1);
    while(m--)
    {
        scanf("%d",&op);
        if(op==1)
        {
            scanf("%d%d%d",&x,&y,&z);
            op1(x,y,z);
        }
        else if(op==2)
        {
            scanf("%d%d",&x,&y);
            printf("%lld\n",op2(x,y));
        }
        else if(op==3)
        {
            scanf("%d%d",&x,&y);
            op3(x,y);
        }
        else if(op==4)
        {
            scanf("%d",&x);
            printf("%lld\n",op4(x));
        }
    }

    return 0;
}