[集训队互测2018]完美的队列

OneInDark

于 2021-01-18 22:10:06 发布

阅读量245

点赞数

分类专栏： C++ 分块扫描线

本文链接：https://blog.csdn.net/qq_42101694/article/details/112795576

版权

C++ 同时被 3 个专栏收录

547 篇文章 3 订阅

订阅专栏

分块

13 篇文章 0 订阅

订阅专栏

扫描线

12 篇文章 0 订阅

订阅专栏

题目

传送门 to LOJ

思路

区间操作？线段树？想多了……由于 两个队列之间的差别很大，线段树难以维护区间信息。

没法从操作入手，我们就 从问题出发。它只问不同的数字，并且针对全局；而且每次加入都是相同的数字；又看到 $a_i\le 10^5$ 的限制，不难想到，对于每种数字求出它出现的时间段。

然而对于某一种实在太宽泛。所以我们微调一下，求出 某次操作的所有数字都被弹出 的时间。

一个数字被弹出，就是在它之后又加入了 $a_i$ 个数字嘛。用 $t_{i}(x)$ 表示，从 $x$ 时刻算起（不包含），到哪个时间，第 $i$ 个队列中又加入了 $a_i$ 个数字。那么对于第 $x$ 个修改 $[l, r]$ 的总耗时 $T_x=\max_{i=l}^{\;r}t_i(x)$ 。这里是区间操作了。但是线段树仍然无能为力。~~线段树在这种叶子元素相去甚远的题目中就是垃圾。~~

区间操作除了树，就只能想到差分分块了。我们可以对于每个块，求出所有数字都被弹掉的时间。对于每个块的每个 $x$ 我们都求出来！一共也才 $\mathcal O(\frac{n}{B}\cdot m)$ 个嘛！（这里 $B$ 是块的长度。）

具体怎么求呢？就是利用 $t_i(x)\le t_{i}(x+1)$ 这一重要等式。我们可以 双指针，对于一个当前 $l$ ，移动出 $r$ 使得 $r=\max_{i\in Block} t_i(l)$ ，然后增大 $l$ ，继续移动 $r$ 。

移动 $r$ 的过程就是：覆盖整个 $B l o c k$ 的操作，直接计数；对于部分覆盖的，暴力修改。因为部分覆盖的情况较少，一共只有 $\mathcal O(m)$ 对，所以复杂度 $\mathcal O(Bm)$ 可以接受。（这里计数怎么判断不用讲吧？就是暴力 “重构” $B l o c k$ 时，求一下当前状态下至少需要多少次覆盖。）移动 $l$ 就是撤销 $r$ 的操作，复杂度相同。

现在还剩一个问题，零散的怎么处理？如果像整块一样，直接计算贡献，好像是 $\mathcal O(nm)$ 的？回顾一下普通的分块——哦！零散的贡献次数应当为 $\mathcal O(mB)$ 的！那么我们只需要避免无效贡献。所以，对每个 $B l o c k$ 都记录与它有交（但不是完全包含）的操作，设其为 $\lang d_i\rang$ 。此时 $\sum |d_i|=\mathcal O(mB)$ 没有大问题。覆盖整块的操作可以先做出前缀和，否则复杂度会假。