本文章连载AC军团周报
-> 线段树 : 从入门到入土【2】
前言:
第二期了,我们要把上一期留下的锅补一下。
这一期的内容主要是懒标记,处理区间修改的问题。
我们最后再分析一下线段树时间复杂度
一、线段树入门(续)
我们上一期学习了线段树的入门操作,主要是进行建树,区间查询,单点修改。我们来仔细回想一下吧。
……………………回想时间……………………
如果你回想完了,就再思考一下上一节留下的问题:
如何做到区间修改
我们考虑时间复杂度的话一个一个进行单点修改是肯定不行的(之后我们会分析时间复杂度),你也不能一个一个加。
我们考虑我们线段树维护的是什么
是不是线段上的区间和?
假如我们给一个区间中的每个值加上一个数,我们这个区间的区间和是不是加上了这个区间的长度乘上这个数?
我们要是给定了一个区间,那么我们把这个区间都加上一个值,要问这个区间的区间和,不就是原来的区间和+(长度*这个值)?
这样做是不是有点漏洞?如果我们把这个区间进行一次区间加操作,我们只加了这个区间的区间和,那要问在这之中的子区间呢?
我们一开始下面的区间和是不是并没有加上?(你没有把数列上的数加上诶),那么询问小区间是不是就错了呢?
管他那么多?我就是懒,不干。查到我下边的节点,我再更新下面的节点,查不到我干了又有什么用?
(你哪次作业不是那么干的)
就像这样,我们没有对这个区间进行下次的修改和查询,我们就不去继续修改这个节点的子节点了,我们给他上个标记就好了,这就是懒标记。很多人对这个东西叫法不一样,总之就是为了可以偷懒的标记,我习惯把维护这个数的数组叫做col(color),就是染色。
我们打完标记了就不管了?
不是的 你敢不写完作业试试
我们当要查询到这个区间的时候,就把这个节点加上长度×这个标记的值(因为你要用了,不能再拖了),我们这个节点的子节点并没有更新,我们就给子节点打上标记,表示询问到这个区间的时候(查作业的时候)记得再加上这个值(按时抄写完作业)。这样就可以省不少时间(来玩NOI这款游戏)。
如何实现?
首先是区间修改。我们也可以像区间查询一样把要修改的区间变成线段树上有的节点,然后进行修改。
就是就修改每个节点的时候,先把自己的值加上,再把子节点打上标记
我们就先从染色(打标记)开刀入手
inline void color(int l,int r,int rt,int v){
z[rt]=z[rt]+(r-l+1)*v;//区间长×要加的值(你这是区间和,一定记得要把区间长乘上)
col[rt]+=v;//标记(这个地方用了加法,为什么?)
}
上面我们下传标记时是用的加,为什么?
我们如果十分恰好有两个标记都被记到了这个节点(物理作业和化学作业),你总不能只加一个吧(你只写物理作业化学老师能饶得过你?)。所以你要一起加起来。
下面是下传标记:
inline void push_col(int l,int r,int rt){
if(col[rt]!=0){
ll m=(l+r)>>1;//中点
color(lson,col[rt]);//更新加下放标记
color(rson,col[rt]);//
col[rt]=0;//作业做完了就没了,别再做一遍了,记的清楚标记
}
}
那么我们在修改的时候就和区间查询就十分相似:
inline void modify(int l,int r,int rt,int nowl,int nowr,int v){
if(nowl<=l && r<=nowr){color(l,r,rt,v);return ;}//如果完全在这个区间内,就把这个区间染色
ll m=(l+r)>>1;
push_col(l,r,rt);//下传标记
if(nowl<=m) modify(lson,nowl,nowr,v);//这里就是
if(m
这里还要注意一点,我们之前的查询也要加上一句:
inline ll query(int l,int r,int rt,int nowl,int nowr){
if(nowl<=l && r<=nowr){return z[rt];}
push_col(l,r,rt);//也要标记下传的,因为和这个节点有关系了,不能让它还是错的
ll m=(l+r)>>1;
if(nowl<=m){
if(m
具体用法:(代码)
#include
#include
#include
#include
#include
#include
#include
#include
#include
using namespace std;
#define go(i,j,n,k) for(register int i=j;i<=n;i+=k)
#define fo(i,j,n,k) for(register int i=j;i>=n;i-=k)
#define rep(i,x) for(register int i=h[x];i;i=e[i].next)
#define inf 1<<30
#define mn 100010
#define ll long long
#define root 1,n,1
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
inline ll read(){
ll x=0,f=1;char ch=getchar();
while(ch>'9'||ch<'0'){if(ch=='-')f=-f;ch=getchar();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
ll z[mn*4],col[mn*4];
inline void update(int rt){
z[rt]=z[rt<<1]+z[rt<<1|1];
}
inline void color(int l,int r,int rt,ll v){
z[rt]=z[rt]+(r-l+1)*v;
col[rt]+=v;
}
inline void push_col(int l,int r,int rt){
if(col[rt]!=0){
int m=(l+r)>>1;
color(lson,col[rt]);
color(rson,col[rt]);
col[rt]=0;
}
}
inline void build(int l,int r,int rt){
if(l==r){z[rt]=read(),col[rt]=0;return ;}
int m=(l+r)>>1;
build(lson);
build(rson);
update(rt);
}
inline void modify(int l,int r,int rt,int nowl,int nowr,ll v){
if(nowl<=l && r<=nowr){color(l,r,rt,v);return ;}
int m=(l+r)>>1;
push_col(l,r,rt);
if(nowl<=m) modify(lson,nowl,nowr,v);
if(m>1;
push_col(l,r,rt);
if(nowl<=m){
if(m
实际上学到这里,线段树就基本讲完了。
我们如果想用线段树完美切题,要首先把线段树的代码(推荐是P3372)打熟,一遍一遍的打。因为如果你要用的话打错了很难debug,还是要多打板子。
二、线段树的时空使用
首先,我们建树是用了O(nlogn)的时间,要更新O(nlogn)个节点嘛
我们查询和修改实际上都是每次用了O(logn)级别的时间,如果有m个操作,就会有O(mlogn)时间复杂度。
比较重要的是线段树的空间。
我们写线段树的时候是按照二叉树的性质建树的,所以rt<<1就是左儿子,rt<<1|1就是右儿子。我们本来数列上是有n个节点,我们要用很多节点来维护,我们一个一个讨论其实就是n + n/2 + n/4 + n/8 + ··· + n/n个节点,所以我们至少要开2×n的数组。
而我的代码是开了mn<<2,也就是mn×4,这是为什么?
上个图好啦QwQ(丑图++)
我的节点编号是按照我们建树时的编号。
我们突然发现真的炸掉2×n了,有两个神一般的节点(30和31号)。
所以我们还是要开四倍的数组的。
对于线段树的应用我们下期继续讲解。
推荐习题:
P3372 【模板】线段树 1
P3373 【模板】线段树 2
P1276 校门外的树(加强版) //为什么不用线段树试试
P1886 滑动窗口 //明明标了线段树为什么不用
P4779 【模板】单源最短路径(标准版)//什么鬼?
//线段树是可以优化Dijkstra的