不知道为什么以前会学自闭……
# 引入
线性筛可以 $O(n)$ 筛出积性函数的值,从而得到前 $n$ 项积性函数的前缀和。
但是在一些数论题目中(比如莫比乌斯反演)要求解 $n$ 更大的积性函数前缀和。我们仍然采用筛法,但需要复杂度低于线性的、专门筛积性函数前缀和的筛法——杜教筛。
# 前置
- 莫比乌斯函数 & 欧拉函数
- 狄利克雷卷积
# 杜教筛
实际上,对于任意数论函数 $f(x)$,设其前缀和为 $S(x)$,有
证明
直接推式子:
$$ \begin{aligned} \sum_{i=1}^n(f\ast g)(i)&=\sum_{i=1}^n\sum_{d\mid i}g(d)f\left(\frac id\right)\\ &=\sum_{d=1}^ng(d)\sum_{d\mid i}f\left(\frac id\right)\\ &=\sum_{d=1}^ng(d)\sum_{k=1}^{\left\lfloor\frac nd\right\rfloor}f(k)\\ &=\sum_{d=1}^ng(d)S\left(\left\lfloor\frac nd\right\rfloor\right)\\&&\square \end{aligned} $$
对上述结论变形,提取出等式右侧的 $i=1$:
这就是杜教筛的主要式子,第一个求和式可以数论分块,而第二个求和式结合该函数性质求解。
这就要求对所求的 $f(x)$ 找到合适的函数 $g(x)$。
# $\mu(x)$ 前缀和
选取 $g=\mathbf1$(常函数),则有 $\mu\ast\mathbf1=\varepsilon$。
复杂度不会证……直接算的复杂度是 $O(n^{\frac34})$,但是下标极大,记忆化要map
/unordered_map
,常数极大;一般会预处理 $n$ 较小($\le n^{\frac23}$,但是实际上我的做法是“能够线性筛筛出来的就筛”)的前缀和,直接线性筛,然后复杂度就会降到 $O(n^{\frac23})$,常数一般。
# $\varphi(x)$ 前缀和
用到 $\varphi$ 的性质:$\varphi\ast\mathbf1=\text{id}$($\text{id}(x)=x$)。
仍然取 $g=\mathbf1$,则有
跟筛 $\mu(x)$ 的前缀和差不多,也要预处理前面较小的 $n$ 的前缀和。
但是一般不用杜教筛筛 $\varphi(x)$,因为可以直接莫比乌斯反演。
点击展开/折叠 莫比乌斯反演$\varphi(x)$前缀和
$$\sum_{i=1}^n\varphi(i)=\sum_{i=1}^n\sum_{j=1}^i[\gcd(i,j)=1]$$
即求 $i,j\in[1,n]$ 且 $i,j$ 互质的无序数对 $(i,j)$ 数量。转化一下,改为求有序数对 $(i,j)$ 的数量,即求:
$$ \begin{aligned} &\sum_{i=1}^n\sum_{j=1}^n[\gcd(i,j)=1]\\ =&\sum_{d=1}^n\mu(d)\left\lfloor\frac nd\right\rfloor^2 \end{aligned} $$
需要杜教筛算 $\mu$ 的前缀和,以及数论分块。
# 源代码
> Linked 例题 洛谷 P4213
1 | /*Lucky_Glass*/ |
THE END
Thanks for reading!
> Linked 404 Not Found-Bilibili