莫比乌斯反演是数论中的重要内容,对于一些函数
开始学习莫比乌斯反演前我们需要一些前置知识:积性函数、Dirichlet卷积、莫比乌斯函数
数论分块与整除相
引理 1
略证
引理 2
略证
对于
对于
数论分块
数论分块的过程大概如下:考虑含有
对于任意一个
而
略证
即
利用上述结论,我们每次以
积性函数
定义
若
性质
若
例子
单位函数:
恒等函数:
通常记做常数函数:
除数函数:
通常简记做 或 , 通常简记做欧拉函数:
莫比乌斯函数:
其中 表示 的本质不同质因子个数,是一个加性函数
Dirichlet卷积
定义
定义两个数论函数
性质
Dirichlet卷积满足交换律和结合律
其中
莫比乌斯函数
定义
性质
莫比乌斯函数不但是积性函数,还有如下性质:
证明
其中
设
那么
根据二项式定理,易知该式子的值在
补充结论
反演推论:
- 直接推导:如果看懂了上一个结论,这个结论稍加思考便可以推出:如果
- 利用
线性筛
由于
void getMu() {
mu[1] = 1;
for (int i = 2; i <= n; ++i) {
if (!flg[i]) p[++tot] = i, mu[i] = -1;
for (int j = 1; j <= tot && i * p[j] <= n; ++j) {
flg[i * p[j]] = 1;
if (i % p[j] == 0) {
mu[i * p[j]] = 0;
break;
}
mu[i * p[j]] = -mu[i];
}
}
}拓展
将
首先,因为
因为
易知如下过程
该式子两侧同时卷
莫比乌斯反演
公式
设
如果有
那么有
证明
暴力计算:
用
因此在
运用卷积:
原问题为:已知
易知如下转化:
莫比乌斯反演拓展
对于数论函数
我们来证明一下:
解法二:
转化一下,可以将式子写成
容易知道
设
这时我们只要对每个
设
实际上
其中
总时间复杂度