2022年11月20日 开学第十一周 再谈莫队

经过重新学习莫队，先从大的方向，莫队能够解决什么问题出发，莫队可以解决大多数的离线+无修改+区间查询问题。

莫队算法其实就是暴力。只是预先知道了所有的询问。可以合理的组织计算每个询问的顺序以此来降低复杂度。

假设已经得到[L,R]区间的答案，接下来需要求[L′,R′]的答案。由于可以在O(1)的时间复杂度下得到[L,R−1],[L,R+1],[L−1,R],[L+1,R]的答案，所以计算[L′,R′]的答案耗时|L−L′|+|R−R′|。如果把询问[L,R][L,R]看做平面上的点a(L,R)a(L,R)；询问[L′,R′][L′,R′]看做点b(L′,R′)b(L′,R′)的话。那么时间开销就为两点的曼哈顿距离。所以对于每个询问看做一个点。我们要按一定顺序计算每个值。那开销就为曼哈顿距离的和。要计算到每个点。那么路径至少是一棵树。所以问题就变成了求二维平面的最小曼哈顿距离生成树。

具体实现是先对序列进行分块操作，每块的长度为sqrt(n),然后以询问左端点所在的块为第一关键字，右端点大小为第二关键字进行排序，每个区间是由上一区间递推得到，所以单次询问时间复杂度是O(n),但是在块中每次询问l的移动最大为sqrt(n)，r的移动总和最大为n，块与块之间的移动最大为n,所以总复杂度为O((n+m)sqrt(n))。

总之，这是一个非常神奇的算法，仅仅改变了求解的顺序，算法的时间复杂度便大幅下降了！