除法分块小结

例题：

求 ${\sum }_{i=1}^n\lfloor \frac{n}{i}\rfloor$

$O(n)$ 的做法很显然，但是一般n会很大，于是有了除法分块。

对于一段连续的 $i$，$\lfloor \frac{n}{i}\rfloor$ 可能是相同的，比如说当 $i$ 的值在区间 $[6,10]$ 时，$\lfloor \frac{n}{i}\rfloor =1$，都是相同的，于是问题转变成了要找到这些区间。

于是有了这样的递归过程（证明在下面）：

int l=1,r;
while(l<=n)
{
	r=n/(n/l);
	当前的区间就是l~r，这个区间的值为n/l
	l=r+1;
}

看起来是很简单，证明事实上也很简单。

$l$ 的初值为 $1$ 是毫无疑问的，递归时 $l=r+1$ 也是毫无疑问的，重点时 $r$ 的值是如何确定的。

证明1（反证法）：

显然 $r$ 满足 $\lfloor \frac{n}{r}\rfloor =\lfloor \frac{n}{l}\rfloor$，需要证明的是 $r$ 是这个区间的边界。

设 $r$ 不是这个区间的边界，那么至少有 $r+1$ 满足 $\lfloor \frac{n}{r+1}\rfloor =\lfloor \frac{n}{l}\rfloor$。

设 $\lfloor \frac{n}{r}\rfloor =\lfloor \frac{n}{l}\rfloor =x$。

因为 $\lfloor \frac{n}{r+1}\rfloor$ 是向下取整，所以有

$\lfloor \frac{n}{r+1}\rfloor \times (r+1)\le n$
$x\times (r+1)\le n$
$\frac{x\times (r+1)}{x}\le \lfloor \frac{n}{x}\rfloor$

因为 $r=\lfloor \frac{n}{x}\rfloor$，那么有

$\frac{x\times (r+1)}{x}\le r$

$r+1\le r$

柿子不成立，则得证。

---

证明2：

依然设 $\lfloor \frac{n}{l}\rfloor =x$。

现在要找到一个最大的 $r$，满足 $x\times r\le n$。

移项得 $r\le \lfloor \frac{n}{x}\rfloor$

所以 $r$ 的最大值为 $\lfloor \frac{n}{x}\rfloor$。

---

时间复杂度为 $O(2\sqrt{n})$，这个也很好证明，当 $x\le \sqrt{n}$ 时，$x$ 只有 $\sqrt{n}$ 种取值，也就是说这样的块数不会超过 $\sqrt{n}$ 块；当 $x\ge \sqrt{n}$ 时，有 $\lfloor \frac{n}{x}\rfloor \le \sqrt{n}$，也就是说此时 $l$ 和 $r$ 的取值都 $\le \sqrt{n}$，所以这样的块数也不会超过 $\sqrt{n}$ 块。

如果将问题的形式转变一下，比如说：
$$\sum _{i=1}^n(\lfloor \frac{n}{i}\rfloor {)}^k$$

又比如说
$$\sum _{i=1}^n\lfloor \frac{n}{i}\rfloor \lfloor \frac{m}{i}\rfloor$$

更比如说
$$\sum _{i=1}^n(\lfloor \frac{n}{i}\rfloor -\lfloor \frac{m}{i}\rfloor {)}^k$$

不管如何变，这些其实都是可以用除法分块来做的，不要被形式迷惑了。