[BZOJ十连测]线段树

题目

题目概要
对于一个长度为 $n$ 的序列，对其进行 $m$ 次操作，每次操作将一个区间内的所有值赋值为区间内的最大值。

将 $m$ 次操作全部告知，对于每组询问 $⟨l,r,k⟩$ ，输出进行了 $[l,r]$ 中的所有操作后， $a_k$ 的值。

数据范围与约定
$n,m,q\le 10^5$ 。

思路

注意到一个长臂政策：

• 如果先后执行了两次操作 $[l_1,r_1],[l_2,r_2]$ ，满足 $l_2\le r_1\le r_2$，那么 $$\forall i\in [l_2,r_2],a_i^{\prime }=\underset{j=l_1}{\overset{r_2}{\max }}{a}_j$$

用一张图片来感受它。

如果先执行 $[l_1,r_1]$ 的操作，显然的，公共部分 $[l_2,r_1]$ 就变成了 $[l_1,r_1]$ 的最大值。

此时再执行 $[l_2,r_2]$ ，自然就使用了 ${\max }_{i=l_1}^{r_1}{a}_i$ 更新整个区间的最大值。

所以说，$[l_2,r_2]$ 中的元素都会被替换为 $[l_1,r_2]$ 中的最大值。

有了这一点之后，我们可以放心地说，对于一些固定的操作，最终存在某对 $l,r$ ，满足 1 ≤ l ≤ k ≤ r ≤ n , ∀ { a } , a k ′ = max ⁡ i = l r a i 1\le l\le k\le r\le n,\forall \{a\},a'_k=\max_{i=l}^{r}a_i 1≤l≤k≤r≤n,∀{a},ak′​=maxi=lr​ai​ 。

找到它的方法也很简单，只需要找，最远的可以传递到 $a_k$ 的区间是谁。

在代码实现上，我们用树来表示这个关系，一个操作 $[l_1,r_1]$ 的父节点是另一个操作 $[l_2,r_2]$ ，且该操作满足 $l_2\le l_1\le r_2$ ，在此基础上，还要求 $[l_2,r_2]$ 的操作时间尽可能靠后，但是保持先于 $[l_1,r_1]$ 的操作时间。

如何实现这棵树的维护呢？我们将询问离线下来，按照 $r$ 排序，从左到右扫描，每加入一个新的操作区间，就在线段树上将区间内的每个点的 $f$ 赋值为当前点。这样一来，一个区间的父节点，就是 $f(l)$。

这是左端点，右端点同理。

光是“维护”还不够，我们需要倍增地找到最上面的一个，满足操作时间不小于 $l$ 。

复杂度是啥捏？我也不知道诶 😂 大概是 $\mathcal{O}(n\log n)$ 的，可能有点常数。

代码

我自闭了……

等我有空了，可能会补上的吧。