记录总结一下最近学线段树的理解和模板。
一些简单概念
root 为节点编号
当前节点的两倍 root << 1 为左孩子
当前节点的两倍+1 root << 1| 1 为右孩子
sum为区间和
sum的大小要开数据的4倍
pushup操作为由孩子节点更新父节点值(下面会说)
建树
递归建树,每次将区间分为两部分,分别递归左右子树建树。每次到一个孩子节点之后要将值上推给父节点。
pushup操作
每个父节点都分为左右孩子,所以更新父节点的值只需将左右孩子的值加起来即可。
void pushup(int root) {
sum[root] = sum[root << 1] + sum[root << 1 | 1];
}
完整的建树模板
void build(int l, int r, int root) {
if (l == r) {
sum[root] = a[l];
return;
}
int mid = l + r >> 1;
build(l, mid, root << 1);
build(mid + 1, r, root << 1 | 1);
pushup(root);
}
修改某一节点的值
每次对区间进行判断如果左端点==右端点那么代表当前就是需要更新的点,否则如果需要更新的点在 mid 左边就递归左子树,反之递归右子树。更新完成之后将父节点的值更新。
void modify(int p, ll v, int l, int r, int root) { //p 为待更新节点编号
if (l == r) {
sum[root] += v;
return;
}
int mid = (l + r) / 2;
if (p <= mid) modify(p, v, l, mid, root << 1);
else modify(p, v, mid + 1, r, root << 1 | 1);
pushup(root);
}
查询区间值
假设待查询区间为 [l, r] 当前区间为 [L, R]。两者之间应该有如下关系:
1. 当前区间在待查询区间之内 即 L >= l && R<=r 此时返回区间值sum[root]
2. 当前区间与待查询区间有交集
2.1 当前区间左儿子与带查询区间有交集 即 mid>=l 答案+左儿子查询值
2.2 当前区间右儿子与带查询区间有交集 即 mid<=r 答案+右儿子查询值
int query(int L, int R, int l, int r, int root) {
if (L >= l && R <= r) {
return sum[root];
}
int mid = l + r >> 1;
int ans = 0;
if (mid >= l) ans += query(L, mid, l, r, root << 1);
if (mid < r) ans += query(mid + 1, R, l, r, root << 1 | 1);
return ans;
}
对区间进行修改
懒标记
假如我们再更新区间值时先改变叶子节点的值,然后不断将父节点值进行更新直到根节点。时间复杂度会很高。所以我们引入懒标记,记录每次每个节点需要更新的值,对于一个区间需要更新就在祖先节点上记录,只修改一部分的话就在这部分的祖先节点上记录,单点的话就改变自己。
问题:如果需要查询,怎么获取更新后的值?
懒标记的作用是对于要修改的区间进行一个标记,那么我们可以利用这个标记将父节点的标记向下推给子节点即pushdown操作。
pushdown
对左儿子进行修改,首先将标记累加,再将左儿子区间和更新,右儿子同理。最后将标记清空。
累加就是将祖宗节点的懒标记值不断下传,更新就是将区间和加上这块区间更新的值
void ad(int l, int r, int root, int v) { //add为懒标记 v为区间更新值
add[root] += v;
sum[root] += v * (r - l + 1);
}
void pushdown(int l, int r, int root) {
if (!add[root]) return;
int mid = l + r >> 1;
ad(l, mid, root << 1, add[root]);
ad(mid + 1, r, root << 1 | 1, add[root]);
add[root] = 0;
}
整个修改
void modify(ll k, int l, int r, int x, int y, int root) {
if (l >= x && r <= y) {
ad(l, r, root, k);
return;
}
int mid = l + r >> 1;
pushdown(l, r, root);
if (x <= mid) {
modify(k, l, mid, x, y, root << 1);
}
if (mid < y) {
modify(k, mid + 1, r, x, y, root << 1 | 1);
}
pushup(root);
}
对区间进行查询
和单点修改时查询过程一样,只不过在查询左右孩子时要先进行pushdown操作
int query(int L, int R, int l, int r, int root) {
if (L >= l && R <= r) return sum[root];
int mid = L + R >> 1;
int ans = 0;
pushdown(L, R, root);
if (mid >= l) ans += query(L, mid, l, r, root << 1);
if (mid < r) ans += query(mid + 1, R, l, r, root << 1 | 1);
return ans;
}
我们可以发现无论单点修改还是区间修改整体思路是一样的,而pushdown跟pushup是类似过程,一个是由子及父,另一个是由父及子。
其他区间操作
区间乘
区间乘与区间加不同的是,区间乘会对当前区间加的懒标记产生影响,在给区间记录乘的懒标记时,要将加的懒标记更新。所以对区间乘一个数要先将区间加的懒标记更新,再更新乘的懒标记和区间和。
//修改
void multiply(int root, int v) {
add[root] *= v;
mul[root] *= v;
sum[root] *= v;
}
//完整pushdown操作
void pushdown(int l, int r, int root) {
multiply(root << 1, mul[root]);
multiply(root << 1 | 1, mul[root]);
mul[root] = 1;
int mid = l + r >> 1;
ad(l, mid, root << 1, add[root]);
ad(mid + 1, r, root << 1 | 1, add[root]);
add[root] = 0;
}