洛谷 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

对于70%的数据：N<=1000，M<=1000

对于100%的数据：N<=100000，M<=100000

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

样例说明：

树的结构如下：

各个操作如下：

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

蒟蒻第一次学习树链剖分，害怕。

似乎就是把一棵树当成一个大线段，用线段树维护。

只维护重链，轻链随缘就好。

#include<algorithm>
#include<iostream>
#include<cstdio>
using namespace std;
const int N=100005;
int n,m,rt,cnt,dcnt,hd[N],mp[N];
long long p,w[N];
struct edge
{
	int to,nxt;
}v[2*N];
struct node
{
	int fa,son,sz,dep,tp,s,e;
}tr[N];
struct segtree
{
	int l,r;
	long long sum,tag;
}st[4*N];
void addedge(int x,int y)
{
	v[++cnt].to=y;
	v[cnt].nxt=hd[x];
	hd[x]=cnt;
}
void dfs1(int u)
{
	tr[u].sz=1;
	for(int i=hd[u];i;i=v[i].nxt)
		if(v[i].to!=tr[u].fa)
		{
			tr[v[i].to].fa=u;
			tr[v[i].to].dep=tr[u].dep+1;
			dfs1(v[i].to);
			tr[u].sz+=tr[v[i].to].sz;
			if(tr[v[i].to].sz>tr[tr[u].son].sz)
				tr[u].son=v[i].to;
		}
}
void dfs2(int u,int top)
{
	tr[u].tp=top;
	tr[u].s=++dcnt;
	mp[dcnt]=u;
	if(tr[u].son)
	{
		dfs2(tr[u].son,top);
		for(int i=hd[u];i;i=v[i].nxt)
			if(v[i].to!=tr[u].fa&&v[i].to!=tr[u].son)
				dfs2(v[i].to,v[i].to);
	}
	tr[u].e=dcnt;
}
void update(int num)
{
	st[num].sum=(st[2*num].sum+st[2*num+1].sum)%p;
}
void pushdown(int num)
{
	if(st[num].tag)
	{
		if(st[num].l!=st[num].r)
		{
			st[2*num].sum=(st[2*num].sum+st[num].tag*(st[2*num].r-st[2*num].l+1))%p;
			st[2*num+1].sum=(st[2*num+1].sum+st[num].tag*(st[2*num+1].r-st[2*num+1].l+1))%p;
			st[2*num].tag+=st[num].tag;
			st[2*num+1].tag+=st[num].tag;
		}
		st[num].tag=0;
	}
}
void build(int num,int l,int r)
{
	st[num].l=l,st[num].r=r;
	if(l==r)
	{
		st[num].sum=w[mp[l]];
		return ;
	}
	int mid=(l+r)/2;
	build(2*num,l,mid),build(2*num+1,mid+1,r);
	update(num);
}
void change(int num,int x,int y,long long z)
{
	if(y<st[num].l||x>st[num].r)
		return;
	if(st[num].l>=x&&st[num].r<=y)
	{
		st[num].tag+=z;
		st[num].sum=(st[num].sum+(st[num].r-st[num].l+1)*z)%p;
		return ;
	}
	pushdown(num);
	change(2*num,x,y,z),change(2*num+1,x,y,z);
	update(num);
}
long long query(int num,int x,int y)
{
	if(y<st[num].l||x>st[num].r)
		return 0;
	if(st[num].l>=x&&st[num].r<=y)
		return st[num].sum;
	pushdown(num);
	return (query(2*num,x,y)+query(2*num+1,x,y))%p;
}
long long fnd(int x,int y)
{
	int f1=tr[x].tp,f2=tr[y].tp;
	long long ans=0;
	while(f1!=f2)
	{
		if(tr[f1].dep<tr[f2].dep)
			swap(f1,f2),swap(x,y);
		ans=(ans+query(1,tr[f1].s,tr[x].s))%p;
		x=tr[f1].fa;
		f1=tr[x].tp;
	}
	if(tr[x].dep<tr[y].dep)
		ans+=query(1,tr[x].s,tr[y].s);
	else
		ans+=query(1,tr[y].s,tr[x].s);
	return ans%p;
}
void add(int x,int y,long long z)
{
	int f1=tr[x].tp,f2=tr[y].tp;
	while(f1!=f2)
	{
		if(tr[f1].dep<tr[f2].dep)
			swap(f1,f2),swap(x,y);
		change(1,tr[f1].s,tr[x].s,z);
		x=tr[f1].fa;
		f1=tr[x].tp;
	}
	if(tr[x].dep<tr[y].dep)
		change(1,tr[x].s,tr[y].s,z);
	else
		change(1,tr[y].s,tr[x].s,z);
}
int main()
{
	scanf("%d%d%d%lld",&n,&m,&rt,&p);
	for(int i=1;i<=n;i++)
		scanf("%lld",&w[i]);
	for(int i=1;i<=n-1;i++)
	{
		int x,y;
		scanf("%d%d",&x,&y);
		addedge(x,y),addedge(y,x);
	}
	dfs1(rt);
	dfs2(rt,rt);
	build(1,1,n);
	int opt,x,y;
	long long z;
	while(m--)
	{
		scanf("%d",&opt);
		switch(opt)
		{
			case 1:
				scanf("%d%d%lld",&x,&y,&z);
				add(x,y,z);
				break;
			case 2:
				scanf("%d%d",&x,&y);
				printf("%lld\n",fnd(x,y));
				break;
			case 3:
				scanf("%d%lld",&x,&z);
				change(1,tr[x].s,tr[x].e,z);
				break;
			case 4:
				scanf("%d",&x);
				printf("%lld\n",query(1,tr[x].s,tr[x].e));
				break;
		}
	}
	return 0;
}