线段树主要用于区间记录信息(如区间和、最大最小值等),首先是建树:
这里以求和为例:
const int MAXM=50000; //定义 MAXM 为线段最大长度
int a[MAXM+5],st[(MAXM<<2)+5]; // a 数组为 main 函数中读入的内容,st 数组为需要查询的数的信息(如和、最值等),树的空间大小为线段最大长度的四倍
void build(int o,int l,int r){ //传入的参数为 o:当前需要建立的结点;l:当前需要建立的左端点;r:当前需要建立的右端点
if(l==r)st[o]=a[l]; //当左端点等于右端点即建立叶子结点时,直接给数组信息赋值
else{
int m=l+((r-l)>>1); // m 为中间点,左儿子结点为 [l,m] ,右儿子结点为 [m+1,r];
build(o<<1,l,m); //构建左儿子结点
build((o<<1)|1,m+1,r); //构建右儿子结点
st[o]=st[o<<1]+st[(o<<1)|1]; //递归返回时用儿子结点更新父节点,此处可进行更新最大值、最小值、区间和等操作
}
}
{ //在 main 函数中的语句
build(1,1,n);
}
然后是比较简单的单点修改以及区间查询操作:
单点修改:
void update(int o,int l,int r,int ind,int ans){ //o、l、r为当前更新到的结点、左右端点,ind为需要修改的叶子结点左端点,ans为需要修改成的值;
if(l==r){ //若当前更新点的左右端点相等即到叶子结点时,直接更新信息并返回
st[o]=ans;
return;
}
int m=l+((r-l)>>1);
if(ind<=m){ //若需要更新的叶子结点在当前结点的左儿子结点的范围内,则递归更新左儿子结点,否则更新右儿子结点
update(o<<1,l,m,ind,ans);
}
else{
update((o<<1)|1,m+1,r,ind,ans);
}
st[o]=max(st[o<<1],st[(o<<1)|1]);//递归回之后用儿子结点更新父节点(此处是区间最大值)
}
{ //在main函数中的语句
update(1,1,n,ind,ans);
}
对应单点修改的区间查询:
int query(int o,int l,int r,int ql,int qr){ //ql、qr为需要查询的区间左右端点
if(ql>r||qr<l) return -1; //若当前结点和需要查找的区间不相交,则返回一个对于区间查询无关的值(如求和时返回0,求最大值时返回-1等)
if(ql<=l&&qr>=r) return st[o]; //若当前结点的区间被需要查询的区间覆盖,则返回当前结点的信息
int m=l+((r-l)>>1);
int p1=query(o<<1,l,m,ql,qr),p2=query((o<<1)|1,m+1,r,ql,qr); //p1为查询左儿子结点得到的信息,p2为查询右儿子结点得到的信息
return max(p1,p2); //综合两个儿子结点的信息并返回
}
{ //main函数中的语句
printf("%d
",query(1,1,n,a,b));
}
然后是线段数的区间修改以及相应的查询:
区间修改用到了lazy的思想,即当一个区间需要更新时,只递归更新到那一层结点,并将其下层结点所需要更新的信息保存在数组中,然后返回,只有当下次遍历到那个结点(更新过程中或查询过程中),才将那个结点的修改信息传递下去,这样就避免了区间修改的每个值的修改
区间修改(包括区间加值和区间赋值)及相应查询:
区间加值:
void pushup(int o){ //pushup函数,该函数本身是将当前结点用左右子节点的信息更新,此处求区间和,用于update中将结点信息传递完返回后更新父节点
st[o]=st[o<<1]+st[o<<1|1];
}
void pushdown(int o,int l,int r){ //pushdown函数,将o结点的信息传递到左右子节点上
if(add[o]){ //当父节点有更新信息时才向下传递信息
add[o<<1]+=add[o]; //左右儿子结点均加上父节点的更新值
add[o<<1|1]+=add[o];
int m=l+((r-l)>>1);
st[o<<1]+=add[o]*(m-l+1); //左右儿子结点均按照需要加的值总和更新结点信息
st[o<<1|1]+=add[o]*(r-m);
add[o]=0; //信息传递完之后就可以将父节点的更新信息删除
}
}
void update(int o,int l,int r,int ql,int qr,int addv){ //ql、qr为需要更新的区间左右端点,addv为需要增加的值
if(ql<=l&&qr>=r){ //与单点更新一样,当当前结点被需要更新的区间覆盖时
add[o]+=addv; //更新该结点的所需更新信息
st[o]+=addv*(r-l+1); //更新该结点信息
return; //根据lazy思想,由于不需要遍历到下层结点,因此不需要继续向下更新,直接返回
}
pushdown(o,l,r); //将当前结点的所需更新信息传递到下一层(其左右儿子结点)
int m=l+((r-l)>>1);
if(ql<=m)update(o<<1,l,m,ql,qr,addv); //当需更新区间在当前结点的左儿子结点内,则更新左儿子结点
if(qr>=m+1)update(o<<1|1,m+1,r,ql,qr,addv); //当需更新区间在当前结点的右儿子结点内,则更新右儿子结点
pushup(o); //递归回上层时一步一步更新回父节点
}
ll query(int o,int l,int r,int ql,int qr){ //ql、qr为需要查询的区间
if(ql<=l&&qr>=r) return st[o]; //若当前结点覆盖区间即为需要查询的区间,则直接返回当前结点的信息
pushdown(o,l,r); //将当前结点的更新信息传递给其左右子节点
int m=l+((r-l)>>1);
ll ans=0; //所需查询的结果
if(ql<=m)ans+=query(o<<1,l,m,ql,qr); //若所需查询的区间与当前结点的左子节点有交集,则结果加上查询其左子节点的结果
if(qr>=m+1)ans+=query(o<<1|1,m+1,r,ql,qr); //若所需查询的区间与当前结点的右子节点有交集,则结果加上查询其右子节点的结果
return ans;
}
区间改值(其实只有pushdow函数和update中修改部分与区间加值不同):
void pushup(int o){
st[o]=st[o<<1]+st[o<<1|1];
}
void pushdown(int o,int l,int r){ //pushdown和区间加值不同,改值时修改结点信息只需要对修改后的信息求和即可,不用加上原信息
if(change[o]){
int c=change[o];
change[o<<1]=c;
change[o<<1|1]=c;
int m=l+((r-l)>>1);
st[o<<1]=(m-l+1)*c;
st[o<<1|1]=(r-m)*c;
change[o]=0;
}
}
void update(int o,int l,int r,int ql,int qr,int c){
if(ql<=l&&qr>=r){ //同样更新结点信息和区间加值不同
change[o]=c;
st[o]=(r-l+1)*c;
return;
}
pushdown(o,l,r);
int m=l+((r-l)>>1);
if(ql<=m)update(o<<1,l,m,ql,qr,c);
if(qr>=m+1)update(o<<1|1,m+1,r,ql,qr,c);
pushup(o);
}
int query(int o,int l,int r,int ql,int qr){
if(ql<=l&&qr>=r) return st[o];
pushdown(o,l,r);
int m=l+((r-l)>>1);
int ans=0;
if(ql<=m)ans+=query(o<<1,l,m,ql,qr);
if(qr>=m+1)ans+=query(o<<1|1,m+1,r,ql,qr);
return ans;
}