什么是莫比乌斯反演
莫比乌斯反演,又称懵逼钨丝繁衍,是一种看了就一脸懵逼的东西。
好吧好吧,严肃点。(不过因为本蒟蒻真的很懵逼,所以错误之处请大神指出)
莫比乌斯反演就是下面这个式子:
如果存在函数
F(x)
F
(
x
)
和
f(x)
f
(
x
)
,满足
那么就有:
或者如果
F(x)
F
(
x
)
和
f(x)
f
(
x
)
满足:
那么:
其中
μ()
μ
(
)
函数是莫比乌斯函数,定义是:
如果
d=1
d
=
1
,
μ(d)=1
μ
(
d
)
=
1
如果
d
d
为互异质数 的乘积,则
μ(d)=(−1)k
μ
(
d
)
=
(
−
1
)
k
否则,
μ(d)=0
μ
(
d
)
=
0
所以线性筛莫比乌斯函数往后看,几乎每段代码里都有。
两条性质
好了,现在补充两条性质:
1.如果
n>1
n
>
1
且
n
n
为正整数,则有:
如果 n=1 n = 1 则上式为1.
2.对于任意正整数
n
n
均有:
证明莫比乌斯反演
有了上面两条我不会证的性质之后,我们就可以证一下莫比乌斯反演了。
由F(x)函数的定义可以得到:
接下来我们让
nd=kd'
n
d
=
k
d
′
,那么
d=nkd'
d
=
n
k
d
′
,所以就有
d|nd'
d
|
n
d
′
,而每个
f(d')
f
(
d
′
)
一定会和一个
μ(d)
μ
(
d
)
乘一次,所以:
再看上面的两条性质里的性质1,明白了吧QWQ!
得证!