莫比乌斯反演
莫比乌斯反演是OI中应对数论问题的一大杀器,可以把很多以前需要脑子想的问题无脑化,把很多脑子想不通的问题机械化,非常方便。
狄利克雷卷积
对于函数,定义它们的狄利克雷卷积为:
性质
积性
若为积性函数,那么继承它们的积性。
证明:令为互素正整数,则易证的全体约数可以不重不漏地表示为。
因此:
由互素可知互素以及互素,结合的积性: 证毕。交换律
证明:由于约数是成对出现的,显然。
结合律
证明:我们需要稍微改变一下下标的写法,然后就非常清楚了:
得证。
单位元
定义
易证为狄利克雷卷积的单位元,也是一个积性函数,在之后的反演当中,我们也经常会把作为艾弗森括号的替代品,因为它具有更优良的性质,简单来说:推论
关于狄利克雷卷积我们有两条非常重要的推论:
当中为值恒为的常值函数,为恒等函数,易证这两个都是完全积性函数。证明:我们先证明第一条,假设有个素因子,从当中挑去若干个相乘组成的不含平方素因子的约数(如果约数含平方素因子则约数的为,可以直接忽略)则我们有:
结合二项式定理,得到,而如果,手动展开得到。两种情况结合起来得到,第一条推论得证。对于第二条推论,我们将其展开:
我们先考察为素数(或其幂次)的情况,设,则原式左边变为: 因此在为素数或其幂次时推论得证,而我们知道继承了积性,因此我们可以利用积性把推论推广到不为素数的情况(通过分解素因数即可),证毕。莫比乌斯反演
定理:当且仅当。
证明:本质上是狄利克雷卷积的推论的推论,先正着来一轮,两边同时乘以:
我们再反着来一轮,两边同时乘上: (所以说不要迷行网上那种大力出奇迹几个展开来回套的证明,看这个多简单)虽然存在这个莫比乌斯反演定理,但是我们更多的时候还是习惯逆用狄利克雷卷积的那两个推论。
示例:
此时我们使用推论:
接下来我们把的求和拖到前面去,本质上是从对约数求和变为对倍数算贡献: 因此我们证明了,虽然这个结论是可以直接从莫比乌斯反演定理推得的,但是呢,这个例子确实展示了莫比乌斯反演的很多常用套路:- 把式子写下来
- 用或者修饰
- 逆用狄利克雷卷积的推论,把求和式后面反演成卷积形式
- 通过算贡献的方式设法把的求和项连带着只和有关的函数值一起拖到最前面
- 化简后半部分
这一路下来其实是非常套路的,但往往效果拔群。
示例:
以下为了方便起见,如果出现,皆假设!
我们试试看刚刚学到的套路,来反演欧拉函数的前缀和:
嗯,很好,很强大,但是这个有什么用呢?示例:
这个式子对应POJ3090,即有一个个格点,问从最左下角能够看到几个格点,我们发现如果格点不互素的话,它一定不会被看到,因此题目就被转化成了我们要求的式子,常规做法是通过把格点劈成三角形,进行转化得到答案为,但是这毕竟还需要一点智商,而如果你莫比乌斯反演熟练的话,这个东西推起来是非常机械化的:
那么又是什么呢?我们借着套路反着反演: 原来这个是啊,那么带回去我们就得到了: 以上推导中我们完全没有用到的数学意义,而是顺着我们推导出的狄利克雷卷积的规则和推论进行着机械化的推导,最后也殊途同归,也许有些人会觉得这样没有卵用,那么试解: 借助图形和数学意义的人看到这个式子大概就去世了,但是如果我们利用反演的话,类似以上的过程可以推得: 结合整除分块和预处理莫比乌斯函数的前缀和我们就可以在的时间里回答每一个询问,这就是莫比乌斯反演的强大之处。示例:
观察这个式子,我们发现和上面实例中式子的唯一不同就是我们把换成了,对应下来就是换成了,因此我们可以得到:
依然是预处理查询!