前言
- 最近在学习莫比乌斯反演,发现了一个基本上所有的有关莫比乌斯反演的题目,都涉及到一个小的知识点: 整除分块。
- 所以,在学习莫比乌斯反演之前学会整除分块是很有必要的。
- 那么,我就来介绍一下整除分块这一内容
整除分块
- 可以用到整除分块的形式,大致是这样的:
\\[\\sum_{i=1}^{n}\\lfloor\\frac{n}{i}\\rfloor
\\]
- 这个式子,\\(O(n)\\)计算是非常显然的。但,有的时候因为多组数据的要求,可能\\(O(n)\\)并不是正确的时间复杂度。那么这个时候,我们就有一种\\(O(\\sqrt{n})\\)的做法。这就是:整除分块!
- 对于每一个\\(\\lfloor\\frac{n}{i}\\rfloor\\)我们可以通过打表
(或理性的证明)可以发现:有许多\\(\\lfloor\\frac{n}{i}\\rfloor\\)的值是一样的,而且它们呈一个块状分布;再通过打表之类的各种方法,我们惊喜的发现对于每一个值相同的块,它的最后一个数就是\\(n/(n/i)\\)。得出这个结论后,我们就可以做的\\(O(\\sqrt{n})\\)处理了。
附一个整除分块的代码吧:
for(int l=1,r;l<=n;l=r+1)
{
r=n/(n/l);
ans+=(r-l+1)*(n/l);
}
与其他函数的联系
- 有时候,可能推出来的式子不一定就是一个很裸的整除分块,可能会与某些积性函数相乘,如:\\(\\mu,\\varphi\\)...... 这时候,我们就需要对这些函数统计一个前缀和。因为,每当我们使用整除分块跳过一个区间的时候,其所对应的函数值也跳过了一个区间。所以此时,就需要乘上那一个区间的函数值。
- (当然,如果当出题人想要考考你的数论能力的话,这时就不是统计前缀和这么简单了。可能\\(O(n)\\)线筛都会TLE,那么我们就需要杜教筛了)
- (PS:关于杜教筛的内容,我没过多久就会写,那时候再填坑吧!)