让我们先知道莫比乌斯函数是什么
莫比乌斯函数主要用于容斥的系数。是这样的一个函数
![](https://img2018.cnblogs.com/blog/1602314/201907/1602314-20190730095137179-1402855367.gif)
p为质因子,而且我们可以知道,如果n中含有平方因子,mu[n]=0
然后是莫比乌斯反演。
我们定义这样两个函数:F[],f[],满足
![](https://img2018.cnblogs.com/blog/1602314/201907/1602314-20190730100234787-1662358404.png)
![](https://img2018.cnblogs.com/blog/1602314/201907/1602314-20190730100401800-401112737.png)
![](https://img2018.cnblogs.com/blog/1602314/201907/1602314-20190730100527966-796431944.png)
然后我们推导一下
![](https://img2018.cnblogs.com/blog/1602314/201907/1602314-20190730095904588-1473907394.png)
![](https://img2018.cnblogs.com/blog/1602314/201907/1602314-20190730100639400-1288286975.png)
![](https://img2018.cnblogs.com/blog/1602314/201907/1602314-20190730101027468-1404504230.png)
可以发现g[N]=∑i|N F[i]*mu[N/i]
或g[N]=∑i|N mu[i]*F[N/i]
然后如果是
![](https://img2018.cnblogs.com/blog/1602314/201908/1602314-20190830191817929-1869623525.png)
使用的公式则是
(摘自)
性质1
![](https://img2018.cnblogs.com/blog/1602314/201907/1602314-20190730101347034-232007685.png)
这是做题中很重要的性质。
其实也就是
![](https://img2018.cnblogs.com/blog/1602314/201908/1602314-20190830192453798-721431946.png)
考虑证明:
![](https://img2018.cnblogs.com/blog/1602314/201908/1602314-20190830193406973-1332808094.png)
具体运用的经典题目见
性质2
是积性函数,所以可以用线性筛预处理。
见到更多后再整理。