李超树是具有线段树结构的一种数据结构,通常用来维护区间插入一次函数与单点查询最值。
(下文将问题看作:在平面内维护:插入一条线段、询问现有线段中与 x = a x=a x=a 交点纵坐标最大的线段编号)
结构
李超树的结构与线段树相同,只是每个节点存储的是平面上的一条线段。该线段是 下放到过该节点的线段当中,在 x = m i d x=mid x=mid 处纵坐标最大 的一条。我们称它为“优势线段”。
插入
首先将一条线段分成 O ( log ) O(\log) O(log) 个区间。
对于每段线段,分情况讨论:
- 当前节点没有优势线段,则它直接成为优势线段;
- 它完全覆盖了当前节点的优势线段,则它直接成为优势线段;
- 它被当前节点的优势线段完全覆盖,退出;
- 它与当前节点的优势线段在该区间内相交:
- 若它在 x = m i d x=mid x=mid 处高于当前节点的优势线段,则它成为当前节点的优势线段;
- 用两条线段中没有成为优势线段的一条来尝试更新交点一侧的子节点。
由于一条线段 会被分成 O ( log ) O(\log) O(log) 个区间,每个区间可能会往下递归 O ( log ) O(\log) O(log) 层,最坏复杂度是 O ( log 2 ) O(\log^2) O(log2) 的。
询问
从根到 [ p o s , p o s ] [pos,pos] [pos,pos] 的一条路径上所有线段都有可能成为在 p o s pos