##莫比乌斯反演相关
###莫比乌斯函数
$$
\mu(n)=\left{\begin{array}{ll}
1 & \text { 若 } n=1 \
(-1)^{k} & \text { 若 } n \text { 无平方数因数,且 } n=p_{1} p_{2} \ldots \ldots p_{k} \
0 & \text { 若 } n \text { 有大于 } 1 \text { 的平方数因数。 }
\end{array}\right.
$$
设f(n)、g(n)是两个数论函数,它们的狄利克雷乘积也是一个数论函数,其定义为:
$$
\begin{aligned}
h(n)=& \sum_{d \mid n} f(d) g\left(\frac{n}{d}\right) \
& d>0
\end{aligned}
$$
若函数
满足:
$$
f(n)=\sum_{d \mid n} g(d)=\sum_{d \mid n} g\left(\frac{n}{d}\right)
$$
则有
$$
g(n)=\sum_{d \mid n} \mu(d) f\left(\frac{n}{d}\right)=\sum_{d \mid n} \mu\left(\frac{n}{d}\right) f(d)
$$
###例题
求1<=i<=n,1<=j<=m,gcd(i,j)==d的对数。
先让n/=d,m/=d,变成求gcd(i,j)==1的对数。
$$
\begin{array}{l}
\sum_{i=1}^{n} \sum_{j=1}^{m}[\operatorname{gcd}(i, j)=1] \
=\sum_{i=1}^{n} \sum_{j=1}^{m} \sum_{d \mid \operatorname{gcd}(i, j)}^{\min } \mu(d) \
=\sum_{i=1}^{n} \sum_{j=1}^{m} \sum_{d|i, d| j}^{\min } \mu(d) \
=\sum_{d=1}^{\min } \mu(d) \sum_{d \mid i}^{n} \sum_{d \mid j}^{m} 1 \
=\sum_{d=1}^{\min } \mu(d) \frac{n}{d} \frac{m}{d}
\end{array}
$$
然后预处理出(d)的前缀和,O(sqrt(n))枚举d即可。
代码
1 |
|




