数列分块及莫队算法分块大小详解

一. 前言

众所周知，数列分块和莫队是非常优雅的暴力算法。

那么，我们如何分才能使时间复杂度最优呢？

请看以下证明。

二. 数列分块

数列分块的最佳大小为 $\sqrt{n}$

设 $n$ 与 $m$ 同一数量级。

设块长为 $s$ ， 序列长度 $n$ 那么块的总数为 $\frac{n}{s}$，每次操作时间复杂度为 $O(n\cdot s)$。

$=s\cdot \frac{n}{s}\cdot s$

$=s^2\cdot \frac{n}{s}$

我们要使该数尽量小，根据小学二年级的数学知识可得：

当且仅当 $\frac{n}{s}=s$时， s 2 ⋅ n s s^2⋅\frac{n}{s}