莫队二次离线学习笔记

莫队二次离线

一般套路

还是正常的莫队，但是如果在移动$l,r$的同时计算答案复杂度会炸掉，那么考虑莫队二次离线，当然要用的话还要满足答案能够差分。

下面是算法的流程。

以$r$向右移动为例，当$r$移向$r+1$时，其实就是把$r+1$在$[l,r]$上的贡献加入，不妨把这个记作$([l,r],r+1)$，更一般的$([l,r],x)$表示$x$在区间$[l,r]$上的贡献，根据莫队的复杂度证明可知这样的二元组有$O(n\sqrt{n})$个，假如还是这样去算时间复杂度并，没有本质变化，而且对于一个区间计算答案并不容易，而这个的一般套路就是拆成两个前缀。记$(p,x)=([1,p],x)$，即$x$在前缀$p$上的贡献，那么根据上面说的可拆分性，$([l,r],x)=(r,x)-(l-1,x)$，当然这样查询还是$O(n\sqrt{n})$的，但是由于时前缀，所以可以再次离线，然后从前往后扫，由于会插入$O(n)$次，查询$O(n\sqrt{n})$次，故需要设计一个计数方案使得插入在$O(\log n)$到$O(\sqrt{n})$之间，尽量让查询是$O(1)$的，这样复杂度就对了。

但是仔细考虑一下，这样存储查询要用的空间是$O(n\sqrt{n})$的，并不能承受所以要优化。观察一下最后要查询的标记都是什么样的，还是以$r$向右移动为例，分成两种，一种是$(r,r+1)$，另一种是$(l,r+1)$；不断的向右移那么第一种就是$(x,x+1)$，第二种就是$(l,r+x)$，发现第一种本质不同的只有$O(n)$种，可以简单处理，对于第二种二元组中的第一元并没有变，而第二元是连续的一段区间，不妨记为$(p,[l,r])$，那么记录的查询数就是$O(n)$的，时间复杂度不变，这样做完了。

对于上面的插入、查询的复杂度视题目而定，只要能过就行。

例题

P4887 【模板】莫队二次离线（第十四分块(前体)）

就是上面的那个套路，处理出$c$数组记录所有$popcount(i)=k$的$i$，插入的时候让$a_x\oplus c_i$的贡献$+1$即可。