APIO2018新家

Posted 2023-01-03 shxnb666

题面：

给定$n$个店铺的种类$t_i$、地点$x_i$和时间区间$[a_i..b_i]$。

询问某时某地的“便利度”，“便利度”定义为所有种类的距离最大值，种类的距离是该时间下，所有此类商店到该地点的距离最小值。

题解：

说实话，这个二分答案其实挺不好想的。（一开始看了题解，再回过头来看，才意识到这一点）。

我们可以从“最小的最大”窥伺出二分答案。

显然，我们可以想到离线，枚举时间的变化，用$set$维护$pre$数组，二分一个答案$mid$，就是查询$[x-mid..x+mid]$中有没有$k$个$pre<x-mid$。

这个显然可以用主席树二维数点搞。

但是这样有个问题，虽然我们可以维护反的二元组$(pre_i,i)$，在值域上二分，把查询优化至一个$log$，但这样本身是要修改的，带修主席树就两个$log$了。

所以我们可以想想优化到一个$log$。

我们的询问不是数颜色，而是判断颜色个数是不是$k$，这应该可以一定程度上启发我们。（至此，我想到的就是这些）

直接查$[x+mid+1,INF]$的最小值是不是小于$[x-mid]$，如果小于，说明一种颜色跳过了区间，即此区间不合法。

这可是一个神奇的转换。

不用主席树了，直接上动态开点线段树维护区间最小值即可，查询的时候在值域上二分即可。