##首先
我们来了解一下什么是莫比乌斯反演…
假设有两个函数,并且
也就是
.
.
.
求与的关系??
列一下
.
.
.
???
继续列下去(本人过于懒惰)
似乎
而且,这个和没有关系,而是和有关系
我们暂且将这个函数设为
并且这个函数的取值只有
光这么看很难发现这个函数的规律,然而我们的大数学家莫比乌斯发现了(不然怎么叫莫比乌斯反演)
式子是这样的
\begin{equation}
\mu(N)=
\begin{cases}
1 & N=1\
(-1)^m & N=P_1P_2P_3\cdots P_m\
0 & N=P_1{k_1}P_2{k_2}P_3^{k_3}\cdots P_m^{k_m},k_1+k_2+k_3+\cdots +k_m>m\
\end{cases}
\end{equation}
是互不相等的质数,
第二条就是至少有一个
所以我们就有
这条式子也可以这么写
这个函数就是莫比乌斯函数
##证明?
首先,莫比乌斯函数有几个性质。
- 性质一
- 性质二 莫比乌斯函数是积性函数
先证性质一。
时显然。
设,有其中一部分。
显然的每个质因子指数为1才有贡献,否则
那么设中有个质因子。
,这样的有个
所以
我们有二项式定理
得证!
性质二似乎比较显然,此处不准备证明。
然后我们来证明反演。
然后我们运用一种叫交换主体的等价变换,就是将后面的移到前面来,这个似乎只能靠感觉,多练练就熟了。
下面直接是交换后的,想想为什么?
不急,因为我们有性质一
当
当
综上
得证!
##应用
然而莫比乌斯函数怎么求?
可以用线性筛法!
事实上,莫比乌斯反演还有个变形
若
则
证明类似上面的证法,此处不再赘述。若有兴趣着可以参考度娘。
它可以非常好的应用在一些问题,比如说
不好求,但是好求,可以设为再用莫比乌斯反演解决。
##例题([HAOI2011][BZOJ2301]Problem b)
对于给出的n个询问,每次求有多少个数对(x,y),满足a≤x≤b,c≤y≤d,且gcd(x,y) = k,gcd(x,y)函数为x和y的最大公约数。
我们有这个
设表示的对数
设表示的对数
那么显然有(此处我们假设)
非常好求,设,那么只需要
故
这里可能会超时,所以对于,可能有很多一部分是相等的,可以用分块解决,单次询问的复杂度就变成了
附代码