数论分块（整除分块）学习笔记

参考的资料尽可能都列出来吧：

• 整除分块（数论分块） $\mathsf{b}\mathsf{y}0\mathsf{x}\mathsf{f}\mathsf{f}\mathsf{f}\mathsf{e}$
• 整除分块 $\mathsf{b}\mathsf{y}\mathsf{p}\mathsf{e}\mathsf{n}\mathsf{g}-\mathsf{y}\mathsf{m}$
• 数论分块 $\mathsf{b}\mathsf{y}\mathsf{h}\mathsf{e}\mathsf{n}\mathsf{r}\mathsf{y}\_\mathsf{y}$

无前置芝士，但至少你要能看懂本文中出现的所有记号

---

Lv.1

想不出标题只好这样写标题的屑作者

数论分块是用于处理形如 $\sum _{i=1}^n\lfloor \frac{n}{i}\rfloor$ 的式子的方法。
为了简洁和减轻 $\text{LATEX}$ 渲染的负担，下文中会用形如 $i/j$ 的式子表示 $\lfloor \frac{j}{i}\rfloor$ 。

显然这个式子可以 $\Theta (n)$ 暴力求出，但是实际上有优秀得多的 $\Theta (\sqrt{n})$ 解法。

首先我们证明：$n/i$ 的取值最多只有 $2\sqrt{n}$ 种。
当 $1\le i\le \sqrt{n}$ 时，$i$ 的取值有 $\sqrt{n}$ 种，则上式对应的取值也最多只有 $\sqrt{n}$ 种。
当 $\sqrt{n}<i\le n$ 时，$1\le n/i\le \sqrt{n}$ ，则式子的取值也最多只有 $\sqrt{n}$ 种。
综上，命题成立。

那么，如果我们能枚举 $n/i$ 的值求得答案，算法的时间复杂度就可以达到 $\Theta (\sqrt{n})$ 。
现在的问题就是，对于 $n/i$ 的一个取值（设为 $k$），满足 $n/i=k$ 的 $i$ 有多少个。

考虑用数学方法确定 $i$ 的范围。
实际上，$i$ 的上限为 $n/(n/i)$ 。可以感性理解，但下面还是给出证明：
设 $i$ 的某个取值满足 $n/i=k$