数论——整数分块

---

一、前言

在计算${\sum }_{i=1}^n\lfloor \frac{n}{i}\rfloor$的时候，枚举的时间复杂度是O(n)，当n很大的时候我们是无法接受的，由于$[\frac{n}{i}]$中有很多重复的区间，所以我们需要一种更高效的算法。

二、引理

⌊ ⌋为向下取整符号
引理1：任意整数a，b，c有 $\lfloor \frac{a}{bc}\rfloor =\lfloor \frac{\lfloor \frac{a}{b}\rfloor }{c}\rfloor$
证明：
$\frac{a}{b}=\lfloor \frac{a}{b}\rfloor +r$（0<=r<1)
$\lfloor \frac{a}{bc}\rfloor =\lfloor \frac{a}{b}\ast \frac{1}{c}\rfloor =\lfloor \frac{a}{b}\ast \frac{1}{c}\rfloor =\lfloor \frac{1}{c}\ast (\lfloor \frac{a}{b}\rfloor +r)\rfloor =\lfloor \frac{\lfloor \frac{a}{b}\rfloor }{c}\rfloor$

引理2：

三、证明

如果我们从左找到了一个任意的 i，那么只需找到最大的 j（i<=j<=n)，满足$\lfloor \frac{n}{i}\rfloor =\lfloor \frac{n}{j}\rfloor$，则 i - j 的区间就是我们要求的长度。
j = $\lfloor \frac{n}{\lfloor \frac{n}{j}\rfloor }\rfloor =\lfloor \frac{n}{\lfloor \frac{n}{i}\rfloor }\rfloor$

四、模板代码

for(ll l=1,r; l<=n; l=r+1)
{
	r = n/(n/l);
	ans += (r-l+1)*(n/l);
}

时间复杂度为$O(\sqrt{n})$