[线性结构]ST倍增表

ST倍增表

【倍增】

倍增，即成倍增长，指我们在递推过程中，如果状态空间很大，线性递推没法满足复杂度是要求，那么我们可以通过成倍增长的方式，只递推状态空间中在2的整数次幂位置上的值作为代表。依据：任何整数都可以表示为若干个2的次幂项之和。

【RMQ问题】

RMQ，Range Maximum/Minimum Query 的缩写，表示区间最大（最小）值。简单来说，RMQ问题就是求一个区间最值的一个问题，用题面的语言来说，就是给定一个长度为n的序列，求区间 [l, r] 的最大（最小）值。

【LCA】

LCA(Least Common Ancestors)，即最近公共祖先，这种描述是基于树结构的，也即我们通常只在树结构中考虑祖先问题。树实际上就是图论中的有向无环图，而要研究LCA问题，首先我们要指定树中的一个顶点为根节点，并以该节点遍历有向无环图，生成一颗DFS序下的树，假设我们要查询的两个节点为u,v，DFS序下根节点到两点的最短路径分别是(r,u),和(r,v)，LCA就是(r,u)与(r,v)公共路径的最后一个节点，如下图所示，w即为LCA。