CF1523G 题解

Description

传送门

Solution

Lemma

令 $cn{t}_i$ 表示，当 $x=i$ 时能够租借到房子的人的个数。

那么必定有
$$\sum _{i=1}^{n}cn{t}_i=O(n\ln n)$$

Prove

不难发现，当 $x=i$ 时，满足 $r_i-l_i+1\ge x$ 的 $i$ 个数只有 $O(\frac{n}{x})$ 个。

若这些人都能租借到房子，那么，总共租借到房子的人的个数是
$$\sum _{i=1}^n\lfloor \frac{n}{i}\rfloor =O(n\ln n)$$

证毕。

---

我们从大到小 $x$，并考虑在值域上进行分治。

令当前分治的区间为 $[l,r]$。我们先找到被完全包含在 $[l,r]$ 中的下标最小的区间 $[l_i,r_i]$。显然，$i$ 一定能租借到公寓，于是将 $an{s}_x$ 加上 $r_i-l_i+1$。接着，我们向 $[l,l_i-1]$ 与 $[r_i+1,r]$ 分别进行分治，递归地处理贡献。

现在关键在于，对于当前的 $[l,r]$ 快速找到对应的 $[l_i,r_i]$。我们可以在脑海里构造一个二维矩阵，其第 $x$ 行第 $y$ 列上的数为目前所有满足 $[l_i,r_i]=[x,y]$ 的最小 $i$。这样，每次 $x$ 减小 $1$，矩阵就被执行了多次单点修改；同时，每次查询的都是子矩阵最小值。从而，这是一个形如单点修改，查询子矩阵最小值的问题，且强制在线，可以使用树套树（动态开点线段树套动态开点线段树）解决。

这样的复杂度是否是正确的呢？不难发现，对于某个 $x$，其对复杂度的贡献为租借到公寓的人的个数乘 $O({\log }^{2}n)$；而根据引理，这些值的和只有 $O(n\ln n)$。另外，修改总共只有 $m$ 个，而每次都是 $O({\log }^{2}n)$ 的。

总复杂度 $O(n{\log }^{2}n\ln n+m{\log }^{2}n)\approx O(n{\log }^{3}n+m{\log }^{2}n)$，本题被解决。

Summary

不要纠结于给定的区间之间的顺序，要敢于在值域上下功夫。