前言
一年前随便写的,求精。
引入
线段树分治,本质上是离线问题与线段树的结合,在算法竞赛中也常有出现,用于快速维护某些时间段的信息。这种思想的出现替代了很多动态数据结构,比如说 LCT(动态树的一种,是用 Splay 树维护树的轻重链剖分的算法,可以高效支持连边和断边操作,并快速维护路径信息,缺点是不能有效维护子树信息)。
经典选讲
这一部分介绍了线段树分治的经典例题,以及常用的可撤销数据结构。
连通性问题
我们先以例题 P2147 展开。
题目大意:
给你一个 nnn 个点的无向图,初始图内没有边。你需要支持加一条边,断一条边,查询两点连通性这三个操作。
维护动态图连通性在算法竞赛一直都是一个非常困难的问题,当然也有能够在线维护的算法(HLT,这是一种通过对图分层并配合动态树维护无向图连通性问题的一种算法,能够在删边加边的情况下高效维护整张图的连通性)。但是题目没有要求我们在线,所以我们可以离线处理问题。
我们把操作序列看做一个时间轴,第 iii 个操作在第 iii 刻发生,将加边和删边操作转化一下,转化为维护每条边出现的时间段。现在我们的问题在于如何维护某个时刻整张图的联通性。
回想一下线段树的原理:一个询问或修改会被拆成 logn\log nlogn 个区间,维护这些区间从而降低时间复杂度。
同理,我们可以用线段树维护这些边的出现时间段,线段树上每个节点用一个 vector 存边,把一个区间按线段树的拆分方法拆分为 logn\log nlogn 个区间,这样总空间复杂度就被限制到了 O(nlogn)O(n \log n)O(nlogn) 级别。
然后考虑怎么处理询问答案,我们发现对于时刻 iii,出现的边是线段树上所对应的叶节点到根节点的路径上的所有边。很好理解,和线段树单点查询的原理一样,只不过是把信息换成了边。
所以我们可以直接递归搜索这颗线段树,进入节点 uuu 时我们加入这个节点所存的所有边,退出节点 uuu 时我们删除这个节点的边。只要能维护连通性,问题就得以解决。
维护连通性我们不难想到并查集,但是普通并查集不支持删边。我们回想刚刚的算法过程:对这棵树做深度优先搜索。如果把目前的边集看做栈 SSS,本质上退出节点 uuu 时,uuu 所存的边实际上都在 SSS 的栈顶。实际上,我们发现需要执行的是若干次类似退栈操作而不是删除操作,换句话说我们需要撤销最后一次操作带来的影响。
而并查集撤销是好做的,我们只用按秩合并,然后用一个栈来维护合并操作信息所带来的影响 (x,y)(x,y)(x,y),其中 (x,y)(x,y)(x,y) 表示把 xxx 的父亲改成了 yyy。撤销时只需要把 xxx 的父亲改成 xxx 即可,并且退栈。
综上,我们已经能够在离线的情况下维护无向图连通性。算法流程如下:
1. 预处理所有边出现的时间段,并将其插入线段树中。
2. 遍历整棵线段树,进入节点 uuu 时并查集合并对应边集合
3. 在递归到叶节点时回答询问,注意不要直接退出,因为我们还没有撤销该节点的边信息。
4. 在递归回溯后撤销节点 uuu 的边信息,具体实现可以在加边前记录操作栈的大小 lastlastlast,然后退栈直到栈的大小等于 lastlastlast。
5. 输出所有询问对应答案。
我们来分析一下算法的时空复杂度:空间复杂度是 O(mlogm)O(m \log m)O(mlogm) 的,因为一共有 mmm 条边,把其中一条拆分成了 logm\log mlogm 级别,总量就是 O(mlogm)O(m \log m)O(mlogm)。时间复杂度是 O(mlogm2)O(m \log m^2)O(mlogm2) 的,因为加入和删除边的量级是 O(mlogm)O(m \log m)O(mlogm) 且每条边只会把加入或删除一次,加入一次需要 O(logm)O(\log m)O(logm) 的时间复杂度,所以总量是 O(mlogm2)O(m \log
m^2)O(mlogm2)。
可以发现,实际上线段树分治可以配合任何可以支持回溯操作的数据结构,可撤销数据结构的范围广泛于可持久化数据结构,因此线段树分治算法可以解决很多可持久化数据结构解决不了的问题。
而对于不同的数据结构,其应用在线段树分治上的空间复杂度为 O(nlogn×t)O(n \log n \times t)O(nlogn×t),其中 ttt 的撤销时所带来的空间消耗,一般 t=1t=1t=1。而时间复杂度为 O(nlogn×r)O(n \log n \times r)O(nlogn×r),其中 rrr 是撤销时所带来的时间消耗,一般是 $\log $ 级别的。
其他问题
线段树分治其实一般都是辅助可撤销数据结构处理离线问题的,比如我们可以用可持久化 01-Tire 来维护某个时间段内的信息,又或者说可以用 LCT(动态树) 来维护最小生成树。本质上这类问题的难点只在于分析时间轴的实际意义以及维护数据结构。
例题
这里给出一个题单,里面有 luogu 上几乎所有的线段树分治例题。
相关链接
浅谈分治系列算法
浅谈 CDQ 分治