#include<cstdio>
#include<iostream>
#define lc k<<1
#define rc k<<1|1
using namespace std;
const int N=1e5+10;
const int M=N<<2;
struct node{
int v,next;
}e[N<<1];int tot,cnt;
int n,m,rt,mod,head[N],dep[N],top[N],siz[N],dfn[N],son[N],fa[N],id[N],val[N];
int a[M],tag[M];
void add(int x,int y){
e[++tot]=(node){y,head[x]};
head[x]=tot;
}
void dfs(int x,int f,int de){
fa[x]=f;dep[x]=de;siz[x]=1;
for(int i=head[x];i;i=e[i].next){
int v=e[i].v;
if(v!=f){
dfs(v,x,de+1);
siz[x]+=siz[v];
if(!son[x]||siz[son[x]]<siz[v]) son[x]=v;
}
}
}
void getpos(int x,bool hson){
if(hson) top[x]=top[fa[x]];
else top[x]=x;
id[x]=++cnt;
dfn[cnt]=x;
if(son[x]) getpos(son[x],1);
for(int i=head[x];i;i=e[i].next){
int v=e[i].v;
if(v!=fa[x]&&v!=son[x]){
getpos(v,0);
}
}
}
void build(int k,int l,int r){
if(l==r){
a[k]=val[dfn[l]];
return ;
}
int mid=l+r>>1;
build(lc,l,mid);
build(rc,mid+1,r);
a[k]=a[lc]+a[rc];
}
void pushdown(int k,int l,int r){
if(!tag[k]) return ;
int mid=l+r>>1;
a[lc]=(a[lc]+(mid-l+1)*tag[k])%mod;
a[rc]=(a[rc]+(r-mid)*tag[k])%mod;
tag[lc]+=tag[k];
tag[rc]+=tag[k];
tag[k]=0;
}
void change(int k,int l,int r,int x,int y,int w){
if(l==x&&y==r){
a[k]=(a[k]+(r-l+1)*w)%mod;
tag[k]+=w;
return ;
}
pushdown(k,l,r);
int mid=l+r>>1;
if(y<=mid) change(lc,l,mid,x,y,w);
else if(x>mid) change(rc,mid+1,r,x,y,w);
else change(lc,l,mid,x,mid,w),change(rc,mid+1,r,mid+1,y,w);
a[k]=a[lc]+a[rc];
}
int query(int k,int l,int r,int x,int y){
if(l==x&&r==y) return a[k]%mod;
pushdown(k,l,r);
int mid=l+r>>1;
if(y<=mid) return query(lc,l,mid,x,y);
else if(x>mid) return query(rc,mid+1,r,x,y);
else return (query(lc,l,mid,x,mid)+query(rc,mid+1,r,mid+1,y))%mod;
}
void varylist(int x,int y,int w){
for(;top[x]!=top[y];x=fa[top[x]]){
if(dep[top[x]]<dep[top[y]]) swap(x,y);
change(1,1,n,id[top[x]],id[x],w);
}
if(dep[x]<dep[y]) swap(x,y);
change(1,1,n,id[y],id[x],w);
}
int findlist(int x,int y){
int ans=0;
for(;top[x]!=top[y];x=fa[top[x]]){
if(dep[top[x]]<dep[top[y]]) swap(x,y);
ans=(ans+query(1,1,n,id[top[x]],id[x]))%mod;
}
if(dep[x]<dep[y]) swap(x,y);
ans=(ans+query(1,1,n,id[y],id[x]))%mod;
return ans;
}
int main(){
scanf("%d%d%d%d",&n,&m,&rt,&mod);
for(int i=1;i<=n;i++) scanf("%d",&val[i]);
for(int i=1,x,y;i<n;i++) scanf("%d%d",&x,&y),add(x,y),add(y,x);
dfs(rt,rt,1);
getpos(rt,0);
build(1,1,n);
for(int i=1,opt,x,y,z;i<=m;i++){
scanf("%d",&opt);
if(opt==1){
scanf("%d%d%d",&x,&y,&z);
varylist(x,y,z);
}
else if(opt==2){
scanf("%d%d",&x,&y);
printf("%d\n",findlist(x,y));
}
else if(opt==3){
scanf("%d%d",&x,&z);
change(1,1,n,id[x],id[x]+siz[x]-1,z);
}
else if(opt==4){
scanf("%d",&x);
printf("%d\n",query(1,1,n,id[x],id[x]+siz[x]-1));
}
}
return 0;
}
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 如何编写易于单元测试的代码
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 10年+ .NET Coder 心语 ── 封装的思维:从隐藏、稳定开始理解其本质意义
· 地球OL攻略 —— 某应届生求职总结
· 周边上新:园子的第一款马克杯温暖上架
· Open-Sora 2.0 重磅开源!
· 提示词工程——AI应用必不可少的技术