引言
线段树?顾名思义,就是一个节点维护某个区间的信息的数据结构
线段树有许多迷人的性质,我认为它是最美妙的数据结构了
它可以有很多的扩展变形:动态开点,可持久化线段树,树套树,线段树分治等…
实现方式的不一样也会带来不一样的效果
黑科技技巧更是有很多呢
那就来研究一下吧qwq
前置技能:静态线段树维护
静态线段树维护是一切线段树的基础了
首先,线段树肯定是需要维护区间信息的
最核心的思想就是由小区间信息合并成大区间信息
而通常表示至少长度为2的区间的节点一般有两个子区间,并且长度均匀分配
前置技能0:数据表示方法
在静态线段树中,数据需要怎么储存呢?
首先我们需要一些静态的空间
1 | const int N = 2e5 + 10; |
这里的$N <<2$是因为实际线段树节点是$2*N-1$个的,为了防止叶子节点爆炸,还需要再多一倍
那么接下来,看看节点的表示方法
首先假设线段树的范围是$[1,n]$,我们默认1号节点维护了$[1,n]$区间信息
剩下对于每个节点t(包含1)
都可以构造一种表示方法使得空间被完美利用
1 |
枚举一下情境就会发现这样表示是一定可以把空间利用完全的
前置技能1:维护信息
前置技能1-1:向上维护标记
怎么从左右儿子获得当前区间的全部信息呢?
用一个函数来实现
1 | void pushup(int t) { |
只需要找到对应的信息合并方式就可以了
如果需要维护的信息比较复杂,有一个办法:分解成很多个可以维护简单信息
前置技能1-2:向下传递标记
这个思想是因为每次我们不能把左右标记传到叶子节点
因为这样的话复杂度就炸裂了
所以考虑怎么优化?
我们需要用到一个叫做lazy标记
的东西
这个东西可以储存我们还没有下放的标记
可以让我们在用到这个区间信息的时候再来慢慢下传
有一个结论,任意一个区间在线段树上最多被分成log个区间
所以复杂度就有保证了
本人习惯实现两个函数分别表示维护当前层的更新信息和将标记下传到子节点
1 | int lazy[N << 2]; |
前置技能2:建树
建树,顾名思义,就是把这个线段树给建出来
具体实现方法是递归建树,因为线段树的左右儿子节点维护的区间的并就是当前节点维护的区间
那么我们就可以递归分配左右儿子区间了
因为要保证树高,所以每次分配的时候以当前区间$[l,r]$的中间节点$mid = (l + r) >> 1$作为分界线
如果建树的时候需要初始化一些信息就随机应变咯
1 | void build(int t, int l, int r) { |
前置技能3:单点修改
唔,现在需要改一个点的信息?怎么办?
可以直接按照区间的范围递归找到那个你需要找的点,因为线段树最多只有log层,所以复杂度是有保证的
1 | void modify_point(int t, int l, int r, int pos, int tag) { |
前置技能4:单点查询
现在要查询一个点的信息?
有些毒瘤手段先不说……
就暴力递归就可以了,和单点查询一样的思路
1 | void query_point(int t, int l, int r, int pos) { |
前置技能5:区间修改
比单点修改稍微复杂一点,现在我们需要修改一整个区间的信息?怎么办?
假设我们在考虑一个节点t,并且需要修改的区间$[ql,qr]$并没有包含t的区间$[l,r]$怎么办?
如果$qr\le mid$,则这个修改只对t的左边儿子区间有影响,向左递归问题
如果$mid<ql$,则这个修改只对t的右边儿子区间有影响,向右递归问题
还剩一种情况,就是t的左右区间各包含了一部分的$[ql,qr]$怎么办?,那么就同时暴力递归到左右两个子区间就可以了,因为有一个刚才提到的结论:任意一个区间在线段树上最多被分成log个区间
所以复杂度还是有保证的
注意一定要在递归成子区间之前下传标记并更新子区间信息哦!!,不然的话可能会出现神奇的错误(比如说当下传的时候有一些特殊的限制…..过会再讲)
1 | void modify_segment(int t, int l, int r, int ql, int qr, int tag) { |
前置技能6:区间查询
只要理解了区间修改查询就不是问题啦
还需要注意一下,因为区间查询的时候下传的标记都是完整的(覆盖了整个区间),所以区间信息不需要重新向上维护,因为$pushnow$函数已经把这个区间的信息维护了
1 | int query_segment(int t, int l, int r, int ql, int qr) { |
前置技能拓展:动态开点线段树
动态开点是什么?就是不给每个节点分配固定的内存
因为如果分配内存可能会对内存空间造成极大的浪费
所以我们每次只给需要用到的区间分配内存并建立节点
应用于线段树合并和主席树和一些神奇的东西
因为主席树和一般的动态开点线段树有不小的区别,所以在这里不包含主席树的维护方式,后面单独讲解
前置技能拓展0:数据表示方法
因为线段树不再是静态的了,显然是不能给每个节点分配静态的儿子
所以考虑用数组记录下来
因为需要动态分配内存,所以我们还需要一个指针记录分配到哪里了,并且需要一个指针记录根节点是什么
1 | int rt, tot = 0;//rt 根节点 tot 当前指针 |
前置技能拓展1:插入节点信息
和静态线段树略有不同的是
动态开点线段树需要判断当前节点存不存在并分配内存
而且单次只会插入一个位置的信息
1 | void insert(int &t, int l, int r, int pos) { |
前置技能拓展2:动态开点线段树的合并
有的时候我们在维护一些联通块的信息的时候需要用到动态开点线段树的合并
这样就可以快速合并两个联通块的信息了
这个算法的核心代码如下:
1 | bool isleaf(int t) { |
具体来说就是如果当前两个节点都存在,就需要暴力合并两个节点的左儿子和右儿子
如果只有一个节点存在就可以直接返回了
需要特别注意一下如果两个节点都存在但是都没有左右儿子直接合并儿子会丢失信息,这个时候就需要直接合并了
暴力合并那一步看起来复杂度是错的
但是仔细想一想这个算法每一次运行用$O(1)$的代价删除1个节点
因为是动态开点,所以最开始最多有$nlog(n)$个节点,合并完后节点数是$[1,n]$的级别
所以复杂度是$O(nlog(n))$
接下来进入正题
各种各样的线段树类别
1.普通线段树
很简单的线段树,维护的区间就是在原序列中的区间
可以支持一些简单的操作:
- 区间修改(加,减,乘)
- 区间查询(和,最大值,最小值,gcd,lcm)
注意一下维护的顺序就行了,其实并不难
其实对于不同的操作,需要修改的只有维护信息的三个函数:$pushup,pushdown,pushnow$
也可以支持一些不那么简单的操作:
- 区间修改(区间开根号,区间位运算,
区间取max,区间取min) - 区间查询(中位数,带权中位数,
历史最大值)
需要用到一些比较黑科技的东西,我也不太会
2.值域线段树
研究明白了值域线段树就可以初步感受到线段树的奥妙了
首先这里的值域不要过于死板地理解
值域可以是数的大小,时间,权值,甚至是相对大小关系?
存在无限的可能
值域线段树小探究:全序集维护
来科普一些简单的全序集维护知识吧
维护全序集,大概是需要支持:
- 插入一个数
- 删除一个数
- 查询一个数的排名
- 查询排名是k的数
- 查询一个数的前驱
- 查询一个数的后继
首先轻轻松松地离线离散化一下
然后我们发现实际上需要支持地操作只有前四个,因为后两个都是可以通过前面转化得到的
来看看怎么实现,因为线段树维护的是值域,所以我们只需要记录每个数的出现次数就可以了
1 | int siz[N]; |
接下来:
简单的pushup
1 | void pushup(int t) { |
插入
1 | void insert(int t, int l, int r, int vl) { |
删除
和插入差不多,就是$siz_t$减少1就可以了
查询一个数的排名
每次如果当前节点大小大于mid就需要加上左边的数的个数
1 | int rank(int t, int l, int r, int vl) { |
查询第k小
每次走到一个节点根据左儿子的大小判断一下该向哪边递归就可以了
注意返回的是离散后的下标,需要还原成本身的值
1 | int kth(int t, int l, int r, int k) { |
前驱&后继
1 | int pre(int x) {//传入离散后的下标 |
比平衡树好写到不知道哪里去有没有qwq?
值域线段树虽然没有办法维护在原序列中的大小关系
但是却可以优化许多根值域有关的计算过程,常见于线段树优化DP或线段树分治
值域线段树还有许多奇妙的性质,后面慢慢探究
基于线段树实现的数据结构
1.主席树
也叫做可持久化线段树
最大的特点是必须离线且不支持修改,只支持查询
本身为什么叫可持久化线段树呢?
因为每棵树代表的节点维护了一个前缀的信息
这样就很方便进行区间查询(差分的思想)
但是如果暴力开线段树会发生什么?
空间复杂度$O(n^2)$不可承受
观察一下我们要维护的东西
因为是一个前缀,所以有很大一部分信息都是可以从前面一棵树继承过来的
那么我们考虑优化这个过程
事实证明,每次我们插入一个信息实际上需要修改的只有一条长度是$log(n)$的链
那么就把所有不需要新建的节点直接继承过来
因此需要动态开点
实现起来是这样的:
1 | void insert(int &t, int last, int l, int r, int pos) { |
通常主席树维护的信息都是前缀可减的,不然是没有办法查询的
在这里举两个简单的例子,把刚才维护全序集的rank和kth照搬到区间上
其实很简单,只需要每次查询的时候做差就可以了
1 | int rank(int t, int last, int l, int r, int vl) { |
可以发现主席树维护和权值线段树的维护区别就只有一个范围的限制
但是主席树还有一些奇妙的用途?
先说几个常见的主席树套路:
可持久化原数组顺序,内层使用权值线段树
这样的主席树应该是最常见的
可以解决一些和至于有关的区间查询问题 ,就是权值线段树的简单扩展
可持久化值域,内层使用原数组顺序
这个思路很神奇
是从这道题中学习到的
有的时候我们不能直接维护有关值域的信息但是如果知道了当前的值是可以很方便地维护出原数组信息的时候
我们就可以考虑用可持久化值域的方法,并在内层树中消除掉值域的影响进行解题
主席树还有一些神奇的奇技淫巧……技巧篇给予讲解吧
2.树套树
感觉很套路但是绝对不想写的东西
其实理解起来并不难
有很多线段树套线段树,线段树套平衡树,主席树套线段树,线段树套主席树之类的东西
一般是一眼就告诉你要树套树,然后就不想写了
在这里给一个沙雕题的example
给你一个矩阵,让你每次把一个矩形的中心节点权值改变乘成矩形中最大最小权值的平均数
首先肯定是树套树维护的
先把变量定义好
1 |
|
然后把内层的pushup函数写一写
1 | void pushup(int t, int id) { |
对于每个内层树,如果属于外层树的叶子节点,那么可以直接暴力更新,复杂度$O(log(n))$
1 | void modify_y(int t, int l, int r, int pos, int vl, int id) { |
然后如果要更新不是叶子节点外层树对应的内层树怎么办?
考虑从外层树的儿子节点合并对应的信息,只需要修改有影响的一条链,复杂度$O(nlog(n))$
1 | void update_y(int t, int l, int r, int pos, int id) { |
内层树的查询就简单而套路了
1 | pi query_y(int t, int l, int r,int ql, int qr, int id) { |
外层树修改的时候需要判断一下当前节点是不是叶子,如果是叶子直接更新y
否则先递归问题再调用$update_y$函数
1 | void modify_x(int t, int l, int r, int x, int y, int vl) { |
外层树的查询就是如果被查询区间包含调用内层查询,否则递归问题,简单而套路
1 | pi query_x(int t, int l, int r, int xl, int xr, int yl, int yr) { |
树套树也有很多变形
但无非就是外层处理到内层递归的简单套路,多写几道题体会一下就可以了
只要代码实现练习到位是很简单的
所以千万不要怕这个东西
3.李超树
李超树是一种用来维护线段/函数的神奇数据结构
简单李超树支持查询一个x对应的所有y值的相关信息
用线段树来存储每个区间的相对最优解
这里用到了一个永久化标记的思想,这个在技巧篇讲……
这个东西很好啊,每个节点记录区间的相对最优解之后
直接dfs到叶子节点把路径上经过的所有节点的权值全部取max就可以了
正确性非常显然,但是怎么维护呢?
我们假设当前要更新的是一个节点$p_t$,那么如果$p_t$的k大于拿来更新的$val$的k
如果在$mid$处$p_t$大于$val$,那么显然在$[mid+1,r]$这个区间里val不可能比$p_t$更优
所以就把$val$递归到左区间更新
如果在$mid$处$p_t$小于$val$,那么在$[l,mid]$这个区间$p_t$不可能比$val$更优
所以就把$p_t$递归到右区间,再把$p_t$替换成val就可以了
只需要按照k的大小关系分类讨论一下就可以了
1 | struct Line { |
4.ZKW线段树
我觉得严格意义来说这个算是奇技淫巧