积性函数&数论分块&迪利克雷卷积&杜教筛&莫比乌斯函数及其反演

积性函数&数论分块&迪利克雷卷积&杜教筛&莫比乌斯函数及其反演

1. 算法分析

1.1 积性函数

1.1.1 定义

1. 若数论函数$f$是积性函数，那么对于$ \forall gcd(a,b)=1,f(ab)=f(a)f(b)$

2. 若数论函数f是完全积性函数，那么对于$\forall a,b\in N,f(ab)=f(a)f(b)$

1.1.2 常见积性函数

1. 莫比乌斯函数$\mu (n)$
   $\mu(n)= \begin{cases} 1&n=1\ 0&n\text{ 含有平方因子}\ (-1)^k&k\text{ 为 }n\text{ 的本质不同质因子个数}\ \end{cases} $
   性质：
   性质1：若p是质数，$\mu (p)=-1$
   性质2：若p是质数, i $\in N$且$p\nmid i,\mu (p_i)=-\mu (i)$
   性质3：${\sum }_{d|n}\mu (d)=\epsilon (n)$
   性质4：$[gcd(i,j)=1]⟺{\sum }_{d|gcd(i,j)}\mu (d)$

2. 欧拉函数
   $\phi (n)={\sum }_{i=1}^n[gcd(i,n)=1]$表示1~n中与n互质的数的个数
   性质：
   性质1：若p是质数，$\phi (p)=p-1$
   性质2：$\forall n>1,[1,n]$中与n互质的数的和为$n\ast \phi (n)/2$
   性质3：若p是质数，当$p\mid i$时，$\phi (p\ast i)=\phi (i)\ast p$； 当$p\nmid i$时，$\phi (p\ast i)=\phi (i)\ast (p-1)$
   zhi

3. 约数个数函数$d(n)$
   若n的质因数分解式子为${\prod }_{i=1}^k{p}_i^{a_i}$，则$d(n)={\prod }_{i=1}^k(a_i+1)$

4. 约数和函数$\delta (n)$
   若n的质因数分解式子为${\prod }_{i=1}^k{p}_i^{a_i}$，则$\delta (n)={\prod }_{i=1}^k{\sum }_{j=0}^{a_i}{p}_i^j$

1.1.3 常见完全积性函数

1. 常函数$I(n)=1$
2. 恒等函数$id(n)=n$
3. 单位函数$\epsilon (n)=[n=1]$

1.2 迪利克雷卷积

如果$F,f,g$满足：
$F(n)={\sum }_{d|n}f(d)g(n/d)$
则F是f和g的迪利克雷卷积，记作$F=(f\ast g)$,或$F(n)=(f\ast g)(n)$。

性质
迪利克雷卷积满足以下性质：

• 交换律$(f\ast g=g\ast f)$
• 结合律$(f\ast g)\ast h=f\ast (g\ast h)$
• 分配律$f\ast (g+h)=f\ast g+f\ast h$
• $f\ast \epsilon =f$

结论：
性质1：$f\ast \epsilon =f$
性质2：$\mu \ast I=\epsilon$
性质3：$\phi \ast I=id$
性质4：$\mu \ast id=\phi$
性质5：$d=I\ast I$
性质6：$\delta =I\ast id$
其中，标黑的公式在莫比乌斯反演的推导里会被用到

1.3 数论分块

数论分块就是要找一个含有$\lfloor \frac{n}{i}\rfloor$的求和式子
对于任意一个i(i<=n),找到一个最大的j，使得$\lfloor \frac{n}{i}\rfloor =\lfloor \frac{n}{j}\rfloor$, 此时j = $j=\lfloor \frac{n}{\lfloor \frac{n}{i}\rfloor }\rfloor$,因此每次可以把[i, j]分为一块，分块求和即可。
可以证明[1, n]分块的个数小于等于$2\ast \sqrt{n}$
一维分块形式：${\sum }_{i=1}^n\lfloor \frac{n}{i}\rfloor$
二维分块形式：${\sum }_{i=1}^{min(n,m)}\lfloor \frac{n}{i}\rfloor \lfloor \frac{m}{i}\rfloor$

1.4 杜教筛

目的： 杜教筛被用来处理数论函数的前缀和问题。对于求解一个前缀和，杜教筛可以在低于线性时间的复杂度内求解
方法：
对于数论函数$f$，要求计算$S(n)={\sum }_{i=1}^{n}f(i)$，如果能够构造出$S(n)$关于$S\left(\lfloor \frac{n}{i}\rfloor \right)$的表达式，那么就可以递归求解出