从基础数论函数说起3:莫比乌斯反演

前置条件

从基础数论函数说起1:整除分块、数论函数、狄利克雷卷积

分析

从基础数论函数说起1:整除分块、数论函数、狄利克雷卷积的最后,提到了 \(e=\mu * 1\)

也就是说,在狄利克雷卷积意义下, \(\mu\)\(1\) 互为逆元。

那么如果要求 \(f(n)\) ,而 \(g(n)=\sum\limits_{d|n}f(d)\) 其中的 \(g(n)\) 能够非常方便地求出。可以看做 \(g=f*1\) 。两边同乘 \(\mu\) ,得到 \(f=\mu * g\) 。即

\[g(n)=\sum\limits_{d|n}f(d)\,\,\Rightarrow\,\, f(n)=\sum\limits_{d|n}\mu(\frac{n}{d}) g(d) \]

这被称为 因数反演

同样的,还有 倍数反演

\[g(n)=\sum\limits_{n|d} f(d) \,\,\Rightarrow\,\, f(n)=\sum\limits_{n|d} \mu(\frac{d}{n})g(d) \]

感觉不是很会正向推导。那就只能暴力证明一波了:

\[\sum\limits_{n|d}\mu\left(\frac{n}{d}\right)g(d)=\sum\limits_{k}\mu(k)g(nk)=\sum\limits_{k}\mu(k)\left(\sum\limits_{nk|t}f(t)\right)=\sum\limits_{t}f(t)\left(\sum\limits_{nk|t}\mu(k)\right)=\sum\limits_{t}f(t)e\left(\frac{t}{n}\right)=f(n) \]

推荐题目

YY的GCD

ZAP-Queries

简单的数学题 + 杜教筛

[CQOI2015]选数 + 杜教筛

[SDOI2015]约数个数和

「SDOI2017」数字表格

更多

既然提到了反演,那么还有另外两种反演值得一看。具体地以后再分析。

二项式反演

\[f(n)=\sum\limits_{i=0}^n {n\choose i}g(i)\,\,\Rightarrow\,\, g(n)=\sum\limits_{i=0}^n(-1)^{n-i}{n\choose i} f(i) \]

也可以写成

\[f(n)=\sum\limits_{i=0}^n (-1)^i {n\choose i}g(i) \,\,\Rightarrow\,\, g(n)=\sum\limits_{i=0}^n(-1)^i{n\choose i}f(i) \]

斯特林反演

\[f(n)=\sum\limits_{i=0}^n\left\{\begin{matrix}n\\i\end{matrix}\right\}g(i) \,\,\Rightarrow\,\, g(n)=\sum\limits_{i=0}^n(-1)^{n-i}\left[\begin{matrix}n\\i\end{matrix}\right]f(i) \]

posted @ 2019-11-11 21:02  chy_2003  阅读(160)  评论(0编辑  收藏  举报