线段树基础(详细)

简介

线段树是算法竞赛中常用的用来维护 区间信息 的数据结构。
线段树可以在 O(log N) 的时间复杂度内实现单点修改、区间修改、区间查询(区间求和,求区间最大值,求区间最小值)等操作。,本文就来分别讲一下这些基本操作

建树

读入后建树,则有以下操作:

  1. 从根节点往下走,每个结点的区间分为两段继续往下走

  2. 每个节点找他的两个儿子,继续向下分别到他的两个儿子节点上继续建树

  3. 走到叶子节点时先赋初值后回溯,往回累加

建树代码

inline void pushup(int x){
	sum[x]=sum[x<<1]+sum[x<<1+1];//向上回溯累加,一个节点加上他儿子节点的和 
}
void build(int l,int r,int x){//x为节点编号,l、r为区间开头和结尾 
	if(l==r){
		sum[x]=a[l];//赋初值 
		return; 
	} 
//	 #define lson l,mid,x<<1
//	 #define rson mid+1,r,(x<<1)+1
	int mid=(l+r)/2;//分成两端区间 
	build(lson);//lson,rson,分别为左儿子右儿子节点定义见上 
	build(rson);
	pushup(x); 
}
//build(1,n,1)

单点修改(单点查询涵盖在内)

若修改a[i],则有以下步骤:

  1. 从根节点开始寻找下标为i的节点(也为单点查询)

  2. 修改后向上传递(相当于回溯)

单点修改代码

void dxg(int pos,int va,int l,int r,int x){//将a[pos]改为va 
	if (l==r){//到了叶子节点,改变返回 
		sum[x]=va;
		return;
	}
	int mid=(l+r)>>1;//同上,分为两个区间 
	//左区间[l,mid]  右区间[mid+1,r] 
//	 #define lson l,mid,x<<1
//	 #define rson mid+1,r,(x<<1)+1
	if (pos<=mid){//要修改的点在左边 
		dxg(pos,va,lson);
	}
	else{
		dxg(pos,va,rson);//在右边 
	}
	pushup(x);//向上回溯,修改 
}

区间查询

若查询i~j的和,则有以下步骤:

  1. 从根节点开始寻找依次向左边的节点和右边的节点走,接下来要分情况:

    • 此节点的区间,被完全包含,则向上传递,把此段的和加回去

    • 若此节点的未被完全包含,则继续往下搜,搜左边或右边,直至被完全包含为止,向上传递加和

  2. 以此类推,传递回根节点后,即为此区间的和

区间查询代码

ll qs(int L,int R,int l,int r,int x){//求[L,R]区间和 
	if (L<=l&&r<=R){//被完全包含的情况,直接回溯加回去 
		return sum[x];
	}
	int mid=(l+r)>>1;//与建树同理,分为两个小区间 
	//左区间[l,mid]  右区间[mid+1,r] 
//	 #define lson l,mid,x<<1
//	 #define rson mid+1,r,(x<<1)+1
	ll res=0;
	if (L<=mid){//要求的区间在左节点上 
		res+=qs(L,R,lson);
	}
	if (R>mid){//要求的区间在右节点上 
		res+=qs(L,R,rson);
	} 
	return res;//回溯相加 
} 

区间修改

若要统一将a[L,R]加上x,通过线段树维护,则有以下两种方法完成此操作

一、最简单的方法(此处无代码):

  1. 从根节点往下寻找[L,R]所对应的区间

  2. 走到对应区间内每个节点进行修改

  3. 向上回溯,重新更新每个节点对应的数值,从而达到区间修改效果

tips:此方法类似于进行L-R+1次单点修改
二、优化(引入lazy标记,此方法思想与区间查询有稍微相似处)

lazy标记定义如下:
可临时存放此节点的子节点要修改的数,在要往下遍历修改时,再下放(即把子节点分别加上此前存放在父节点lazy标记里的数)
有了lazy标记后就可以进行区间修改操作的优化方法了,具体步骤如下

  1. 从根节点开始寻找依次向左边的节点和右边的节点走,接下来要分情况:

    • 此节点的区间,被完全包含,则在此下标处打上lazy标记,将此节点代表的区间的数加上(此区间数的个数*要加上的数x),向上回溯

    • 若此节点的未被完全包含,则继续往下搜,搜左边或右边,直至被完全包含为止,执行(一)操作

区间修改代码

inline void pushdown(ll x,ll ln,ll rn){//ln,rn分别为左、右儿子区间含的数的个数
	if (lazy[x]){//此处有lazy标记 
		lazy[x<<1]+=lazy[x];//他的左儿子继承lazy标记 
		lazy[(x<<1)+1]+=lazy[x];//他的右儿子继承lazy标记  
		sum[x<<1]+=lazy[x]*ln;//左儿子修改操作(+=此处lazy标记所存的数*左儿子区间含的数的个数) 
		sum[(x<<1)+1]+=lazy[x]*rn;//与左儿子同理 
		lazy[x]=0;//以下放完毕,清空 
	}
}
void qxg(ll L,ll R,ll va,ll l,ll r,ll x){//将[l~r]+=va 
	if (L<=l&&r<=R){//被完全包含的情况 
		lazy[x]+=va;//打lazy标记 
		sum[x]+=1ll*(r-l+1)*va;//修改操作,将此点对应区间加上区间内包含数的个数*加上的va 
		return;
	}
	ll mid=(l+r)>>1;//同上,分为两个区间 
	//左区间[l,mid]  右区间[mid+1,r] 
//	 #define lson l,mid,x<<1
//	 #define rson mid+1,r,(x<<1)+1
	pushdown(x,mid-l+1,r-mid);//要修改的区间未被完全包含,下放标记,开始向下寻找 
	if (L<=mid){//要修改的区间有在左侧的部分 
		qxg(L,R,va,lson);
	} 
	if (R>mid){//要修改的区间有在左侧的部分 
		qxg(L,R,va,rson);
	}
	pushup(x);//向上回溯,修改 
}

此外区间修改后的区间查询要有一点微调:在往下寻找对应区间前要先下放lazy标记

微调后区间查询代码如下:

ll qs(ll L,ll R,ll l,ll r,ll x){//求[L,R]区间和 
	if (L<=l&&r<=R){//被完全包含的情况,直接回溯加回去 
		return sum[x];
	}
	ll mid=(l+r)>>1;//与建树同理,分为两个小区间 
	//左区间[l,mid]  右区间[mid+1,r] 
	//	 #define lson l,mid,x<<1
	//	 #define rson mid+1,r,x<<1+1
	pushdown(x,mid-l+1,r-mid);
	ll res=0;
	if (L<=mid){//要求的区间在左节点上 
		res+=qs(L,R,lson);
	}
	if (R>mid){//要求的区间在右节点上 
		res+=qs(L,R,rson);
	} 
	pushup(x);
	return res;//回溯相加 
} 

综合以上操作,即可得到以下模版

1.单点修改,区间查询

#include<bits/stdc++.h>
#define ll long long
#define lson l,mid,x<<1
#define rson mid+1,r,(x<<1)+1
using namespace std;
const int N=1e6+9;
ll sum[N<<2];
int a[N],n,q;
inline void pushup(int x){
	sum[x]=sum[x<<1]+sum[(x<<1)+1];//向上回溯累加,一个节点加上他儿子节点的和 
}
void build(int l,int r,int x){//x为节点编号,l、r为区间开头和结尾 
	if(l==r){
		sum[x]=a[l];//赋初值 
		return; 
	} 
//	 #define lson l,mid,x<<1
//	 #define rson mid+1,r,x<<1+1
	int mid=(l+r)/2;//分成两端区间 
	build(lson);//lson,rson,分别为左儿子右儿子节点定义见上 
	build(rson);
	pushup(x); 
}
ll qs(int L,int R,int l,int r,int x){//求[L,R]区间和 
	if (L<=l&&r<=R){//被完全包含的情况,直接回溯加回去 
		return sum[x];
	}
	int mid=(l+r)>>1;//与建树同理,分为两个小区间 
	//左区间[l,mid]  右区间[mid+1,r] 
	//	 #define lson l,mid,x<<1
	//	 #define rson mid+1,r,x<<1+1
	ll res=0;
	if (L<=mid){//要求的区间在左节点上 
		res+=qs(L,R,lson);
	}
	if (R>mid){//要求的区间在右节点上 
		res+=qs(L,R,rson);
	} 
	return res;//回溯相加 
} 
void dxg(int pos,int va,int l,int r,int x){//将a[pos]改为va 
	if (l==r){//到了叶子节点,改变返回 
		sum[x]+=va;
		return;
	}
	int mid=(l+r)>>1;//同上,分为两个区间 
	//左区间[l,mid]  右区间[mid+1,r] 
	if (pos<=mid){//要修改的点在左边 
		dxg(pos,va,lson);
	}
	else{
		dxg(pos,va,rson);//在右边 
	}
	pushup(x);//向上回溯,修改 
}
int main(){
	scanf("%d %d",&n,&q);
	for (int i=1;i<=n;i++){
		scanf("%d",&a[i]);
	}
	build(1,n,1); 
	while(q--){
		int op;
		scanf("%d",&op);
		if (op==1){
			int pos,va;
			scanf("%d%d",&pos,&va);
			dxg(pos,va,1,n,1);
		}
		else{
			int l,r;
			scanf("%d%d",&l,&r);
			printf("%lld\n",qs(l,r,1,n,1));
		}
	}
	return 0;
}

2.区间利用差分、前缀和修改,单点查询

#include<bits/stdc++.h>
#define ll long long
#define lson l,mid,x<<1
#define rson mid+1,r,(x<<1)+1
using namespace std;
const int N=1e6+9;
ll sum[N<<2];
int a[N],b[N],n,q;
inline void pushup(int x){
	sum[x]=sum[x<<1]+sum[(x<<1)+1];//向上回溯累加,一个节点加上他儿子节点的和 
}
void build(int l,int r,int x){//x为节点编号,l、r为区间开头和结尾 
	if(l==r){
		sum[x]=a[l];//赋初值 
		return; 
	} 
//	 #define lson l,mid,x<<1
//	 #define rson mid+1,r,x<<1+1
	int mid=(l+r)/2;//分成两端区间 
	build(lson);//lson,rson,分别为左儿子右儿子节点定义见上 
	build(rson);
	pushup(x); 
}
ll qs(int L,int R,int l,int r,int x){//求[L,R]区间和 
	if (L<=l&&r<=R){//被完全包含的情况,直接回溯加回去 
		return sum[x];
	}
	int mid=(l+r)>>1;//与建树同理,分为两个小区间 
	//左区间[l,mid]  右区间[mid+1,r] 
	//	 #define lson l,mid,x<<1
	//	 #define rson mid+1,r,x<<1+1
	ll res=0;
	if (L<=mid){//要求的区间在左节点上 
		res+=qs(L,R,lson);
	}
	if (R>mid){//要求的区间在右节点上 
		res+=qs(L,R,rson);
	} 
	return res;//回溯相加 
} 
void dxg(int pos,int va,int l,int r,int x){//将a[pos]改为va 
	if (pos<0||pos>n) return;
	if (l==r){//到了叶子节点,改变返回 
		sum[x]+=va;
		return;
	}
	int mid=(l+r)>>1;//同上,分为两个区间 
	//左区间[l,mid]  右区间[mid+1,r] 
	if (pos<=mid){//要修改的点在左边 
		dxg(pos,va,lson);
	}
	else{
		dxg(pos,va,rson);//在右边 
	}
	pushup(x);//向上回溯,修改 
}
int main(){
	scanf("%d %d",&n,&q);
	for (int i=1;i<=n;i++){
		scanf("%d",&b[i]);
	}
	build(1,n,1); 
	while(q--){
		int op;
		scanf("%d",&op);
		if (op==1){
			int l,r,x;
			scanf("%d%d%d",&l,&r,&x);
			dxg(l,x,1,n,1);
			dxg(r+1,-x,1,n,1);
		}
		else{
			int pos;
			scanf("%d",&pos);
			printf("%lld\n",qs(1,pos,1,n,1)+b[pos]);
		}
	}
	return 0;
}

3.区间修改,区间查询

#include<bits/stdc++.h>
#define ll long long
#define lson l,mid,x<<1
#define rson mid+1,r,(x<<1)+1
using namespace std;
const ll N=1e6+9;
ll sum[N<<2],lazy[N<<2];     
ll a[N],n,q;
inline void pushup(ll x){
	sum[x]=sum[x<<1]+sum[(x<<1)+1];//向上回溯累加,一个节点加上他儿子节点的和 
}
inline void pushdown(ll x,ll ln,ll rn){//ln,rn分别为左、右儿子区间含的数的个数
	if (lazy[x]){//此处有lazy标记 
		lazy[x<<1]+=lazy[x];//他的左儿子继承lazy标记 
		lazy[(x<<1)+1]+=lazy[x];//他的右儿子继承lazy标记  
		sum[x<<1]+=lazy[x]*ln;//左儿子修改操作(+=此处lazy标记所存的数*左儿子区间含的数的个数) 
		sum[(x<<1)+1]+=lazy[x]*rn;//与左儿子同理 
		lazy[x]=0;//以下放完毕,清空 
	}
}
void build(ll l,ll r,ll x){//x为节点编号,l、r为区间开头和结尾 
	if(l==r){
		sum[x]=a[l];//赋初值 
		return; 
	} 
//	 #define lson l,mid,x<<1
//	 #define rson mid+1,r,x<<1+1
	ll mid=(l+r)/2;//分成两端区间 
	build(lson);//lson,rson,分别为左儿子右儿子节点定义见上 
	build(rson);
	pushup(x); 
}
ll qs(ll L,ll R,ll l,ll r,ll x){//求[L,R]区间和 
	if (L<=l&&r<=R){//被完全包含的情况,直接回溯加回去 
		return sum[x];
	}
	ll mid=(l+r)>>1;//与建树同理,分为两个小区间 
	//左区间[l,mid]  右区间[mid+1,r] 
	//	 #define lson l,mid,x<<1
	//	 #define rson mid+1,r,x<<1+1
	pushdown(x,mid-l+1,r-mid);
	ll res=0;
	if (L<=mid){//要求的区间在左节点上 
		res+=qs(L,R,lson);
	}
	if (R>mid){//要求的区间在右节点上 
		res+=qs(L,R,rson);
	} 
	pushup(x);
	return res;//回溯相加 
} 

void qxg(ll L,ll R,ll va,ll l,ll r,ll x){//将[l~r]+=va 
	if (L<=l&&r<=R){//被完全包含的情况 
		lazy[x]+=va;//打lazy标记 
		sum[x]+=1ll*(r-l+1)*va;//修改操作,将此点对应区间加上区间内包含数的个数*加上的va 
		return;
	}
	ll mid=(l+r)>>1;//同上,分为两个区间 
	//左区间[l,mid]  右区间[mid+1,r] 
//	 #define lson l,mid,x<<1
//	 #define rson mid+1,r,(x<<1)+1
	pushdown(x,mid-l+1,r-mid);//要修改的区间未被完全包含,下放标记,开始向下寻找 
	if (L<=mid){//要修改的区间有在左侧的部分 
		qxg(L,R,va,lson);
	} 
	if (R>mid){//要修改的区间有在左侧的部分 
		qxg(L,R,va,rson);
	}
	pushup(x);//向上回溯,修改 
}
int main(){
	scanf("%lld %lld",&n,&q);
	for (ll i=1;i<=n;i++){
		scanf("%lld",&a[i]);
	}
	build(1,n,1); 
	while(q--){
		ll op;
		scanf("%lld",&op);
		if (op==1){
			ll l,r,x;
			scanf("%lld%lld%lld",&l,&r,&x);
			qxg(l,r,x,1,n,1);
		}
		else{
			ll l,r;
			scanf("%lld%lld",&l,&r);
			printf("%lld\n",qs(l,r,1,n,1));
		}
	}
	return 0;
}


例题:洛谷 P3372,P3373

此文完

  • 10
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值