【模板】树链剖分【洛谷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(重要的事情说三遍：记得取模)

#include<cstdio>
#include<cmath>
#include<algorithm>
#include<cstring>
#include<iostream>
#define ll long long 
using namespace std;
const int N=500005;
struct node{
    ll to,next;
}e[500001];
ll rt,mod;
ll head[500001],dep[500001],sum[500001],a[500001];
ll tot,num,n,m,lazy[500001],fa[500001],l[500001];
ll ch[500001],top[500001],size[500001],son[500001];
void build(int root,int l,int r)
{
    if(l==r){sum[root]=a[l];return ;}
    int mid=(l+r)>>1;
    build(root<<1,l,mid);
    build(root<<1|1,mid+1,r);
    sum[root]=sum[root<<1]+sum[root<<1|1];sum[root]%=mod;
    return ;
}

void push(int root,int l,int r)
{
    int mid=(l+r)>>1;
    lazy[root<<1]+=lazy[root];lazy[root<<1]%=mod;
    lazy[root<<1|1]+=lazy[root];lazy[root<<1|1]%=mod;
    sum[root<<1]+=lazy[root]*(mid-l+1);sum[root<<1]%=mod;
    sum[root<<1|1]+=lazy[root]*(r-mid);sum[root<<1|1]%=mod;
    lazy[root]=0;
    return ;
}

void update(int root,int left,int right,int l,int r,ll k)
{
    if(l<=left&&r>=right)
    {
    sum[root]+=k*(right-left+1);sum[root]%=mod;
    lazy[root]+=k;lazy[root]%=mod;
    return;
    }
    if(left>r||right<l)return ;
    int mid=(left+right)>>1;
    if(lazy[root])push(root,left,right);
    if(mid>=l)update(root<<1,left,mid,l,r,k);
    if(mid<r) update(root<<1|1,mid+1,right,l,r,k);
    sum[root]=(sum[root<<1|1]+sum[root<<1])%mod;
    return;
}

ll query(int root,int left,int right,int l,int r)
{
    if(l<=left&&r>=right)return sum[root]%mod;
    if(left>r||right<l)return 0;
    int mid=(left+right)>>1;
    if(lazy[root])push(root,left,right);
    ll a=0,b=0;
    if(mid>=l) a=query(root<<1,left,mid,l,r);
    if(mid<r)  b=query(root<<1|1,mid+1,right,l,r);
    return (a%mod+b%mod)%mod;
}

void dfs1(int x)
{
    size[x]=1;
    for(int i=head[x];i;i=e[i].next)
    {
        int v=e[i].to;
        if(!dep[v])
        {
            dep[v]=dep[x]+1;
            fa[v]=x;
            dfs1(v);
            size[x]+=size[v];
            if(size[v]>size[son[x]])son[x]=v;
        }
    }
}

void dfs2(int x,int t)
{
    l[x]=++tot;a[tot]=ch[x];top[x]=t;
    if(son[x])dfs2(son[x],t);
    for(int i=head[x];i;i=e[i].next)
    {
        int v=e[i].to;
        if(v!=fa[x]&&v!=son[x])
        dfs2(v,v);
    }
    return ;
}
ll cal1(int x,int y)
{
    ll maxx=0;
    int fx=top[x],fy=top[y];
    while(fx!=fy)
    {
        if(dep[fx]<dep[fy])swap(x,y),swap(fx,fy);
        maxx+=query(1,1,tot,l[fx],l[x]);
        x=fa[fx];fx=top[x];
    }
    if(l[x]>l[y])swap(x,y);
    maxx+=query(1,1,tot,l[x],l[y]);
    return maxx;
}

void cal2(int x,int y,int v)
{
    int fx=top[x],fy=top[y];
    while(fx!=fy)
    {
        if(dep[fx]<dep[fy])swap(x,y),swap(fx,fy);
        update(1,1,tot,l[fx],l[x],v);
        x=fa[fx],fx=top[x];
    }
    if(l[x]>l[y])swap(x,y);
    update(1,1,tot,l[x],l[y],v);
}

ll read()
{
    ll x=0,w=1;char ch=getchar();
    while(ch>'9'||ch<'0'){if(ch=='-')w=-1;ch=getchar();}
    while(ch>='0'&&ch<='9')x=x*10+ch-'0',ch=getchar();
    return x*w;
}

void add(int u,int v)
{
    num++;
    e[num].to=v;
    e[num].next=head[u];
    head[u]=num;
}
int main()
{
    scanf("%d%d%d%d",&n,&m,&rt,&mod);
    for(int i=1;i<=n;i++)
	{
		scanf("%d",&ch[i]);
		ch[i]%=mod;
	}
    for(int i=1;i<n;i++)
    {
        int x=read(),y=read();
        add(x,y);add(y,x);
    }
    dep[rt]=1;fa[rt]=1;
    dfs1(rt);dfs2(rt,rt);build(1,1,n);
    while(m--)
    {
        int op=read();
        if(op==1)
		{
			int x=read(),y=read(),z=read();
			cal2(x,y,z%mod);
		}
        if(op==2){int x=read(),y=read();printf("%lld\n",cal1(x,y)%mod);}
        if(op==3){int x=read(),y=read();update(1,1,n,l[x],l[x]+size[x]-1,y%mod);}
        if(op==4){int x=read();printf("%lld\n",query(1,1,n,l[x],l[x]+size[x]-1)%mod);}

    }
    return 0;
}