#include <bits/stdc++.h>
using namespace std;
typedef long long ll; int n, m, rt, mod, cnt, tot;
int val[100005];
int dep[100005];
int id[100005], ed[100005];
int rk[100005];
int sz[100005];
int fa[100005];
int son[100005];
int top[100005];
ll sum[400005];
ll lz[400005]; struct node {
int to, nex;
}E[200005];
int head[100005]; void dfs1(int x, int pre, int d) {
sz[x] = 1;
dep[x] = d;
fa[x] = pre;
for(int i = head[x]; i; i = E[i].nex) {
int v = E[i].to;
if(v == pre) continue; dfs1(v, x, d + 1);
sz[x] += sz[v];
if(sz[son[x]] < sz[v]) son[x] = v;
}
} void dfs2(int x, int t) {
top[x] = t;
id[x] = ++tot;
rk[tot] = x;
if(!son[x]) {
ed[x] = tot;
return;
} dfs2(son[x], t);
for(int i = head[x]; i; i = E[i].nex) {
int v = E[i].to;
if(v == son[x] || v == fa[x]) continue;
dfs2(v, v);
}
ed[x] = tot;
} void pushup(int rt) {
sum[rt] = (sum[rt << 1] + sum[rt << 1 | 1]) % mod;
} void pushdown(int l, int r, int rt) {
if(lz[rt]) {
int m = l + r >> 1;
sum[rt << 1] = (sum[rt << 1] + 1LL * (m - l + 1) * lz[rt] % mod) % mod;
sum[rt << 1 | 1] = (sum[rt << 1 | 1] + 1LL * (r - m) * lz[rt] % mod) % mod;
lz[rt << 1] = (lz[rt << 1] + lz[rt]) % mod;
lz[rt << 1 | 1] = (lz[rt << 1 | 1] + lz[rt]) % mod;
lz[rt] = 0;
}
} void build(int l, int r, int rt) {
if(l == r) {
sum[rt] = 1LL * val[rk[l]] % mod;
return;
} int m = l + r >> 1;
build(l, m, rt << 1);
build(m + 1, r, rt << 1 | 1);
pushup(rt);
} void update(int ql, int qr, ll val, int l, int r, int rt) {
if(ql <= l && qr >= r) {
sum[rt] += 1LL * (r - l + 1) * val % mod;
sum[rt] %= mod;
lz[rt] += val;
lz[rt] %= mod;
return;
} pushdown(l, r, rt);
int m = l + r >> 1;
if(ql <= m) update(ql, qr, val, l, m, rt << 1);
if(qr > m) update(ql, qr, val, m + 1, r, rt << 1 | 1);
pushup(rt);
} ll query(int ql, int qr, int l, int r, int rt) {
if(ql <= l && qr >= r) return sum[rt]; pushdown(l, r, rt);
ll res = 0; int m = l + r >> 1;
if(ql <= m) res += query(ql, qr, l, m, rt << 1);
if(qr > m) res += query(ql, qr, m + 1, r, rt << 1 | 1);
res %= mod;
return res;
} ll cal_sum(int x, int y) {
ll res = 0;
int fx = top[x];
int fy = top[y];
while(fx != fy) {
if(dep[fx] >= dep[fy]) {
res += query(id[fx], id[x], 1, n, 1);
res %= mod;
x = fa[fx]; fx = top[x];
} else {
res += query(id[fy], id[y], 1, n, 1);
res %= mod;
y = fa[fy]; fy = top[y];
}
}
if(id[x] <= id[y]) res += query(id[x], id[y], 1, n, 1);
else res += query(id[y], id[x], 1, n, 1);
res %= mod; return res;
} void update_lian(int x, int y, ll val) {
int fx = top[x];
int fy = top[y];
while(fx != fy) {
if(dep[fx] >= dep[fy]) {
update(id[fx], id[x], val, 1, n, 1);
x = fa[fx]; fx = top[x];
} else {
update(id[fy], id[y], val, 1, n, 1);
y = fa[fy]; fy = top[y];
}
}
if(id[x] <= id[y]) update(id[x], id[y], val, 1, n, 1);
else update(id[y], id[x], val, 1, n, 1);
} int main() {
scanf("%d%d%d%d", &n, &m, &rt, &mod);
cnt = 0;
tot = 0;
for(int i = 1; i <= n; i++) scanf("%d", &val[i]);
for(int i = 1; i < n; i++) {
int x, y;
scanf("%d%d", &x, &y);
E[++cnt].to = y; E[cnt].nex = head[x]; head[x] = cnt;
E[++cnt].to = x; E[cnt].nex = head[y]; head[y] = cnt;
}
dfs1(rt, 0, 1);
dfs2(rt, rt);
build(1, n, 1);
while(m--) {
int opt;
scanf("%d", &opt); int a, b, c;
if(opt == 1) {
scanf("%d%d%d", &a, &b, &c);
c %= mod;
update_lian(a, b, 1LL * c);
} else if(opt == 2) {
scanf("%d%d", &a, &b);
printf("%lld\n", cal_sum(a, b));
} else if(opt == 3) {
scanf("%d%d", &a, &b);
b %= mod;
update(id[a], ed[a], 1LL * b, 1, n, 1);
} else {
scanf("%d", &a);
printf("%lld\n", query(id[a], ed[a], 1, n, 1));
}
}
return 0;
}

P3384 [模板] 树链剖分的更多相关文章

  1. [luogu P3384] [模板]树链剖分

    [luogu P3384] [模板]树链剖分 题目描述 如题,已知一棵包含N个结点的树(连通且无环),每个节点上包含一个数值,需要支持以下操作: 操作1: 格式: 1 x y z 表示将树从x到y结点 ...

  2. [洛谷P3384] [模板] 树链剖分

    题目传送门 显然是一道模板题. 然而索引出现了错误,狂wa不止. 感谢神犇Dr_J指正.%%%orz. 建线段树的时候,第44行. 把sum[p]=bv[pos[l]]%mod;打成了sum[p]=b ...

  3. luoguP3384 [模板]树链剖分

    luogu P3384 [模板]树链剖分 题目 #include<iostream> #include<cstdlib> #include<cstdio> #inc ...

  4. 【Luogu P3384】树链剖分模板

    树链剖分的基本思想是把一棵树剖分成若干条链,再利用线段树等数据结构维护相关数据,可以非常暴力优雅地解决很多问题. 树链剖分中的几个基本概念: 重儿子:对于当前节点的所有儿子中,子树大小最大的一个儿子就 ...

  5. 模板 树链剖分BFS版本

    //点和线段树都从1开始 //边使用vector vector<int> G[maxn]; ],num[maxn],iii[maxn],b[maxn],a[maxn],top[maxn], ...

  6. 树链剖分详解(洛谷模板 P3384)

    洛谷·[模板]树链剖分 写在前面 首先,在学树链剖分之前最好先把 LCA.树形DP.DFS序 这三个知识点学了 emm还有必备的 链式前向星.线段树 也要先学了. 如果这三个知识点没掌握好的话,树链剖 ...

  7. 『题解』洛谷P3384 【模板】树链剖分

    Problem Portal Portal1: Luogu Description 如题,已知一棵包含\(N\)个结点的树(连通且无环),每个节点上包含一个数值,需要支持以下操作: 操作\(1\): ...

  8. [note]树链剖分

    树链剖分https://www.luogu.org/problemnew/show/P3384 概念 树链剖分,是一种将树剖分成多条不相交的链的算法,并通过其他的数据结构来维护这些链上的信息. 最简单 ...

  9. P3384 【模板】树链剖分

    P3384 [模板]树链剖分 题目描述 如题,已知一棵包含N个结点的树(连通且无环),每个节点上包含一个数值,需要支持以下操作: 操作1: 格式: 1 x y z 表示将树从x到y结点最短路径上所有节 ...

随机推荐

  1. CSS卡片旋转

    html{ perspective: 800px; } body{ display:flex; flex-wrap: wrap; } .card{ transform-style: preserve- ...

  2. 【剑指 Offer】06.从尾到头打印链表

    题目描述 输入一个链表的头节点,从尾到头反过来返回每个节点的值(用数组返回). 示例 1: 输入:head = [1,3,2] 输出:[2,3,1] 限制: 0 <= 链表长度 <= 10 ...

  3. Azure Terraform(四)状态文件存储

    一,引言 我们都知道在执行部署计划之后,当前目录中就产生了名叫 "" 的 Terraform 的状态文件,该文件中记录了已部署资源的状态.默认情况下,在执行部署计划后,Terraf ...

  4. CentOS | python3.7安装指南

    前言: centos系统本身默认安装有python2.x,版本x根据不同版本系统有所不同 可通过 python --V 或 python --version 查看系统自带的python版本 有一些系统 ...

  5. CTFHub - Web(五)

    eval执行: 1.进入网页,显示源码, <?php if (isset($_REQUEST['cmd'])) { eval($_REQUEST["cmd"]); } els ...

  6. migo的BAPI示例BAPI_GOODSMVT_CREATE

    1 *&---------------------------------------------------------------------* 2 *& Report Z_BAP ...

  7. python--or 和 and 表达式

    or表达式: 两边为一真一假,返回真: 两边都为假,返回右边: 两边都为真,返回左边: and表达式: 两边为一真一假,返回假: 两边都为假,返回左边: 两边都为真,返回右边:

  8. 记录一下 ThreadLocal 与 WeakReference

    ThreadLocal & WeakReference Thread整体的模块图 Thread -> ThreadLocalMap 对于继承了 WeakReference Entry本身 ...

  9. Linux下利用ifconfig命令查看和操纵网络接口

    为了说明这个问题,首先我们需要解释一下在Linux系统下"网络接口"的含义.通俗来讲,Linux中的所谓网络接口就是指本机的网卡,它相当于计算机的一台负责对网络进行收发数据的外设. ...

  10. Vue 标签Style 动态三元判断绑定

    <div  :style=" 1==1 ? 'display:block' : 'display:none' "></div> v-bind:style 的 ...