啃了好久,终于把树链剖分给啃下来了
前置知识:dfs序,lca,线段树等
算法思想:把树拆成一条一条的链,然后用数据结构维护。
首先定义几个概念:
- 子树大小:以某一节点为根节点的子树中节点的总数,包括该点。
- 重节点:在某一节点的所有子节点中,子树大小最大的节点。
- 轻节点:不是重儿子的节点。特殊的,根节点是轻节点。
- 重链:重节点依次相连形成的链。
具体实现:以luogu3384 【模板】树链剖分 为例
1.dfs1
这个dfs要处理这些事情:
- 每个节点的深度 d e p dep dep
- 每个节点的父亲 f a fa fa
- 每个节点的子树大小 s i z e size size
- 每个节点的重儿子节点 s o n son son
void dfs1(int u, int f, int d){
dep[u] = d, fa[u] = f, size[u] = 1, son[u] = 0;
for(int i = fir[u]; i != -1; i = nxt[i]){
int v = to[i];
if(v == f) continue;
dfs1(v, u, d + 1);
size[u] += size[v];
if(size[v] > size[son[u]]) son[u] = v;
}
}
2.dfs2
这个dfs要做这些事情:
- dfs序。因为要用数据结构维护每条链,需要让重链上的每一个节点的编号 d f n dfn dfn连续。相应的,还要处理出每个编号所对应的节点 i d id id。
- 该节点所在重链链头top。
void dfs2(int u, int topf){
dfn[u] = ++num, id[num] = u, top[u] = topf;
if(!son[u]) return; dfs2(son[u], topf);
for(int i = fir[u]; i != -1; i = nxt[i]){
int v = to[i];
if(v != son[u] && v != fa[u]) dfs2(v, v);
}
}
轻重链划分后,就可以证明复杂度了(以下省略1w字)
也可以看这里
3.线段树
维护的数据结构我们用线段树来解决。
你可以想象,轻链和重链都按照dfs一条一条地躺在了一条线上
事实上dfs序有许多优秀的性质。比如,一颗子树里的dfs序总是连续的,这意味着维护子树就可以转化为维护区间;同理,维护重链也可以转换成维护区间了。
#define mid ((l + r) >> 1)
int val[MAXN << 2], tag[MAXN << 2];
inline void pushup(int u){
val[u] = (val[u << 1] + val[u << 1 | 1]) % p;
}
inline void pushdown(int u, int l, int r){
if(tag[u]){
val[u << 1] = (val[u << 1] + (mid - l + 1) * tag[u]) % p;
val[u << 1 | 1] = (val[u << 1 | 1] + (r - mid) * tag[u]) % p;
tag[u << 1] = (tag[u << 1] + tag[u]) % p;
tag[u << 1 | 1] = (tag[u << 1 | 1] + tag[u]) % p;
tag[u] = 0;
}
}
void build(int u, int l, int r){
if(l == r){
val[u] = w[id[l]] % p; return;
}
build(u << 1, l, mid); build(u << 1 | 1, mid + 1, r);
pushup(u);
}
void modify(int u, int l, int r, int L, int R, int k){
if(L <= l && r <= R){
val[u] = (val[u] + (r - l + 1) * k) % p;
tag[u] = (tag[u] + k) % p;
return;
}
pushdown(u, l, r);
if(L <= mid) modify(u << 1, l, mid, L, R, k);
if(R > mid) modify(u << 1 | 1, mid + 1, r, L, R, k);
pushup(u);
}
int query(int u, int l, int r, int L, int R){
if(L <= l && r <= R) return val[u];
pushdown(u, l, r); int ret = 0;
if(L <= mid) ret = (ret + query(u << 1, l, mid, L, R)) % p;
if(R > mid) ret = (ret + query(u << 1 | 1, mid + 1, r, L, R)) % p;
return ret;
}
#undef mid
要注意的一点是建树时取的初值是 w [ i d [ u ] ] w[id[u]] w[id[u]]。
四个操作
1.修改路径
类似于求lca的思想,两个点向上跳,每跳一条链就对这条链进行修改,最后跳到同一条链的时候修改两点之间的部分。
void addpath(int x, int y, int k){
while(top[x] != top[y]){
if(dep[top[x]] < dep[top[y]]) swap(x, y);
modify(1, 1, n, dfn[top[x]], dfn[x], k);
x = fa[top[x]];
}
if(dep[x] < dep[y]) swap(x, y);
modify(1, 1, n, dfn[y], dfn[x], k);
}
2.查询路径
与修改路径差不多,不同的是把修改换成了统计答案。
int querypath(int x, int y){
int ret = 0;
while(top[x] != top[y]){
if(dep[top[x]] < dep[top[y]]) swap(x, y);
ret = (ret + query(1, 1, n, dfn[top[x]], dfn[x])) % p;
x = fa[top[x]];
}
if(dep[x] < dep[y]) swap(x, y);
ret = (ret + query(1, 1, n, dfn[y], dfn[x])) % p;
return ret;
}
3.修改子树
前面我们说过一颗子树里的dfs序总是连续的,具体就是从 d f n [ i ] dfn[i] dfn[i]到 d f n [ i ] + s i z e [ i ] − 1 dfn[i]+size[i]-1 dfn[i]+size[i]−1的区间。
void addsubtree(int x, int k){
modify(1, 1, n, dfn[x], dfn[x] + siz[x] - 1, k);
}
4.查询子树
同修改子树。
int querysubtree(int x){
return query(1, 1, n, dfn[x], dfn[x] + siz[x] - 1);
}
全部代码:
#include<bits/stdc++.h>
using namespace std;
#define int long long
const int MAXN = 100005;
const int MAXM = 100005;
int n, m, root, p, w[MAXN];
int fir[MAXN], nxt[MAXM << 1], to[MAXM << 1], len[MAXM << 1], cnt;
int dep[MAXN], fa[MAXN], siz[MAXN], son[MAXN];
int dfn[MAXN], id[MAXN], top[MAXN], num;
inline int read(){
int k = 0, f = 1; char ch = getchar();
while(ch < '0' || ch > '9'){if(ch == '-') f = -1; ch = getchar();}
while(ch >= '0' && ch <= '9'){k = k * 10 + ch - '0'; ch = getchar();}
return k * f;
}
inline void add_edge(int a, int b, int l){
len[cnt] = l; to[cnt] = b;
nxt[cnt] = fir[a]; fir[a] = cnt++;
}
void dfs1(int u, int f, int d){
dep[u] = d, fa[u] = f, siz[u] = 1, son[u] = 0;
for(int i = fir[u]; i != -1; i = nxt[i]){
int v = to[i];
if(v == f) continue;
dfs1(v, u, d + 1);
siz[u] += siz[v];
if(siz[v] > siz[son[u]]) son[u] = v;
}
}
void dfs2(int u, int topf){
dfn[u] = ++num, id[num] = u, top[u] = topf;
if(!son[u]) return; dfs2(son[u], topf);
for(int i = fir[u]; i != -1; i = nxt[i]){
int v = to[i];
if(v == fa[u] || v == son[u]) continue;
dfs2(v, v);
}
}
#define mid ((l + r) >> 1)
int val[MAXN << 2], tag[MAXN << 2];
inline void pushup(int u){
val[u] = (val[u << 1] + val[u << 1 | 1]) % p;
}
inline void pushdown(int u, int l, int r){
if(tag[u]){
val[u << 1] = (val[u << 1] + (mid - l + 1) * tag[u]) % p;
val[u << 1 | 1] = (val[u << 1 | 1] + (r - mid) * tag[u]) % p;
tag[u << 1] = (tag[u << 1] + tag[u]) % p;
tag[u << 1 | 1] = (tag[u << 1 | 1] + tag[u]) % p;
tag[u] = 0;
}
}
void build(int u, int l, int r){
if(l == r){
val[u] = w[id[l]] % p; return;
}
build(u << 1, l, mid); build(u << 1 | 1, mid + 1, r);
pushup(u);
}
void modify(int u, int l, int r, int L, int R, int k){
if(L <= l && r <= R){
val[u] = (val[u] + (r - l + 1) * k) % p;
tag[u] = (tag[u] + k) % p;
return;
}
pushdown(u, l, r);
if(L <= mid) modify(u << 1, l, mid, L, R, k);
if(R > mid) modify(u << 1 | 1, mid + 1, r, L, R, k);
pushup(u);
}
int query(int u, int l, int r, int L, int R){
if(L <= l && r <= R) return val[u];
pushdown(u, l, r); int ret = 0;
if(L <= mid) ret = (ret + query(u << 1, l, mid, L, R)) % p;
if(R > mid) ret = (ret + query(u << 1 | 1, mid + 1, r, L, R)) % p;
return ret;
}
#undef mid
void addpath(int x, int y, int k){
while(top[x] != top[y]){
if(dep[top[x]] < dep[top[y]]) swap(x, y);
modify(1, 1, n, dfn[top[x]], dfn[x], k);
x = fa[top[x]];
}
if(dep[x] < dep[y]) swap(x, y);
modify(1, 1, n, dfn[y], dfn[x], k);
}
int querypath(int x, int y){
int ret = 0;
while(top[x] != top[y]){
if(dep[top[x]] < dep[top[y]]) swap(x, y);
ret = (ret + query(1, 1, n, dfn[top[x]], dfn[x])) % p;
x = fa[top[x]];
}
if(dep[x] < dep[y]) swap(x, y);
ret = (ret + query(1, 1, n, dfn[y], dfn[x])) % p;
return ret;
}
void addsubtree(int x, int k){
modify(1, 1, n, dfn[x], dfn[x] + siz[x] - 1, k);
}
int querysubtree(int x){
return query(1, 1, n, dfn[x], dfn[x] + siz[x] - 1);
}
signed main(){
memset(fir, -1, sizeof(fir)); cnt = 0;
n = read(), m = read(), root = read(), p = read();
for(int i = 1; i <= n; i++){
w[i] = read();
}
for(int i = 1; i < n; i++){
int x = read(), y = read();
add_edge(x, y, 1);
add_edge(y, x, 1);
}
dfs1(root, 0, 0);
dfs2(root, root);
build(1, 1, n);
for(int i = 1; i <= m; i++){
int opt = read();
if(opt == 1){
int x = read(), y = read(), z = read();
addpath(x, y, z % p);
}
if(opt == 2){
int x = read(), y = read();
int ans = querypath(x, y);
printf("%lld\n", ans);
}
if(opt == 3){
int x = read(), z = read();
addsubtree(x, z % p);
}
if(opt == 4){
int x = read();
int ans = querysubtree(x);
printf("%lld\n", ans);
}
}
return 0;
}
tips:写完之后发现还多简单的