树链剖分模板

啃了好久,终于把树链剖分给啃下来了

前置知识: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:写完之后发现还多简单的

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值