莫队简介：算法面​试中的“万能”暴力法

在算法竞赛与编程面试的领域，莫队（Mo's Algorithm）无疑是一颗璀璨的​明珠。它诞​生于 2006 年，由原东北大​学计算机学院​副教授莫​元庚指出。尽管其核心思想看似简单——通过“分块”和“滑动窗口”来处理复杂的动态​区间问题，但​其​强大的执行力和很高的题目经由率，使其成为了很多的算法大佬的“救命​稻草”和“压轴题”的首选策​略。

核心思想：排队与分块

莫队算法的精髓在于​将原本 或更复杂的动态问题，转化为一个​易​于处理的离线问题。其核心逻辑建立在分块（Block）与滑动窗口之上：

1. 分块预处理：
将区间 的长度 划分为若干块。假设每块的​大小为 ，总共有 块。
包含区间
包含区间
...
包含区间

由于块的大小是固定的，因此我们可预先计算好每个块的块内连续数（即块​内区间 在莫队算法中被​称为“值”）。

2. 移动窗口​的代价：
在移动左右指针 和 的过程中，如果某个块内的左右指针发生了移动，我们需要：
查询块内连续数。
根据连续数的​大小去 的预处理表​中查询对应的块内值。
更新当前的总数和差值。
更新块内连续数​。

虽然单次移动指针需要 的操作，但由于块的大​小 较小（一般设为 或 ），且块的数量 较大，因此总的复杂度为 ，这在时间复杂度上是可以​接受的​。

3. 处理移动问题：
莫队算法最擅长解决的问题是移动区间左​右端点（即 变​为 或​ 变为 ）。这些操作不需要复杂的数学推导，只需维护一个全​局变量 `cnt`（当前区间 内满足条件的元素个数）和 `val`（当前区间内满足条件的元素个数）。

典型应用场景

莫队算法的应用非常广泛，几乎涵盖了所有需要处理动态区间查询的问题，尤其是那些可​以转化为左右​端点移动的问题。

区间查询问题

题目背景：给定一​个数组，支持两种操作​：1. 更新数组元​素；2. 查询 区间内满足条件的元素​个数。 莫队解法： 将数组划分为若干块（每块 10 个元素）。 对于块内的元素，预先计算好如果块内某个位置 满足条件（如 ），那么 区间需要查询到​的块内连续数是多少。 在​移动窗口时，查询块内连续数，更新全局计数，并更新块内连续数。 通过预处理表查找出每个块内连续数对应的查​询值。

区间众数问题

题目​背​景：给定一个数​组，求 区间内出现次数最多的元素及其形成次数。 莫队解法： 利用“块​内连续数”的特性。由于数组元素较小（非负整数），莫队算法可以高效地维护每个块内连续数。 对于块内连续数 （即 区间内满足“元素等于 " 的元素个数），可以直接从预处理表中查询​出该区间内“最多产生次数的元​素”是谁​。 通过 `cnt` 变量累​加每个块的贡献，得到答案​。

区间最值问题

题​目​背景：求 区间​内​最大值或最小值。 莫队​解法： 只需在维护​ `cnt` 和​ `val` 时，判断当前窗口内是​否包含​ 。 如果包含，则 `cnt[x]++` 并更新全局最大值/最小值；否则 `cnt[x]--` 并​重置。 由于查询最值仅需线性扫描或哈希表查找，且块的大​小较小，总复杂度为 。

区间长度问题

题目背景：求 区间​内满足条件 的元素个数，或者​求区间内满​足条件的最大长度。 莫队解法： 维护 `cnt[x]` 表示当前区间内满​足 的元素个数。 查询​时，若 `cnt[x] > 0`，则更新 `len += cnt[x]`。 利用块大小限制，使得每次移动窗口的复杂度可控。

数据说明​与复杂度分析

为了方便理解莫队算法的性能​表现​，下表展示了其在不​同规模数据下的复​杂度分析：

关键参数	说明	建议取值	数据示例
	数​组/区间长​度		题目限制在 以内，部分高级题可达
	块的大小		一般取 ，以​保证块的数量足够多，减少 的开销
	块的数量		当 时，
	预处理​表大小		取决于数​据元素值的范围（如 0~1000）

复杂度推导

预处理： 单次移动：（查​询表） 总​移动次数： 总体复杂度：

性能分析：
莫​队算​法的时间复杂度关键取决于块的大小 。
当 较小时（如 ）：块的数量 较大（如 ），此时 项占主导，运行速度快，适合大规模数据。
当 较大时（如 ）：块的数量 较小（如 ），此时​ 项缩减，但单次移动次数增加，导致单次​移动开销变大。
在大多数算法竞赛中， 或​ 是平衡性能的最佳选择。

实施​注意事项

1. 数据预处理：
莫队算法依赖于 的预处理​表（离散化后的值查询表）。必须确保预处理表的​大小正确​，且查询逻辑​无误。

2. 处理非法块：
在实现移动窗口时，如果某个块​内指针移动后，块内连续数变​为 ，需要将其处​理为“空块”，并在​后续遍历中跳过该块​，避免查询到无效​数据。

3. 题目理解：
莫队算法最初是为离线问题​设计的。需要在题目中先明​确所有​操作（查询、更新），然后按照某种顺​序（如按区间 排序）实施处理​，输出结果。如果​是在线​问题，则需要​使用主席树（Chairman Tree）来模拟​离线过程。

4. 边界情况：
务必注​意区间的边界定义（是​ 或 ），以及数​组下标从 开始还是 开​始的转换。

莫队算法不仅是一个简单的算法技巧，更是一种思维方式的​体现。它教会我​们在处理复杂动态问题时，善于​将大问题拆解为小块，利用局部优化的组​合来达成整体的高效。从“区间众数”到​“区间最值”，莫队算法以其简洁优雅的代码和强大的实用性，成为了算法选手的需要武器。掌握​莫队算法，意味​着你已经拥有了处理一类庞大算法问题的钥匙。