概述
将区间不断二分划分所构成的树就是线段树。他的每个节点保存的是整个区间的某一段,如图所示:
线段树主要用于区间的动态查询和动态修改。
什么地方用得到线段树
父区间与子区间直接依赖
如果区间的信息可以由这个区间任意划分的两个不相交的子区间来构成,那么这就叫做父区间与子区间的直接依赖。
比如一段区间的和,可以随便将这个区间划分成两个不相交的子区间,然后由这两个区间的和来得到原区间的和:
如上图的$S$可以由$A$和$B$两个子区间构成。
不相交的区间信息独立
要使用线段树,还得保证不相交的两个区间的信息没有任何关系,如上图中,区间$A$的和与区间$B$的和没有任何关系。
分治的思想得到线段树
如果一个问题满足上述的性质,那么我们就可分治地来处理整个问题。对于我们要操作的每个区间,我们将其分成两半,由于左边和右边的信息是独立的,所以我们递归处理左右两边,然后将得到的信息合并回去。
那么假如我们早已保存了某个区间的信息,那么我们就不用一直分下去了。而保存这种信息的数据结构便是线段树。
时间和空间复杂度
由于我们的操作是分治的处理,所以无论是询问还是修改,时间复杂度都是$O(logn)$的,由于这是一棵完全二叉树,所以为了安全起见,我们应该会需要$O(4n)$的空间。
基本操作
首先讲解一下怎么单点更新某个值,然后询问区间和。
我们首先将线段树改造成满二叉树的形式,然后从上到下,从左向右给线段树的节点编号,则如果一个节点的编号是v
,那么它的子节点就是v<<1
和v<<1|1
两个编号。
基本结构
|
|
向上传递信息
|
|
构建线段树
要构建整个线段树,我们应该不断递归分治构建,在叶子节点的时候复制序列的信息
更新序列中某个位置的值
如果我们走到了叶子节点就直接修改,然后不断pushUp
上去就好。
查询一段区间的和
假设我们要查询[a,b]的和,如果当前查询区间已经覆盖了整个节点,我们就将这个节点的信息直接上传,否则就去查他的子节点。如下图:
在上图中,我们要查询[3,6]的区间和,我们就需要将区间分开去求解(红色),直到当前区间[L,R]被[3,6]完全覆盖(蓝色)
完整的单点更新,区间查询和的代码:
|
|