莫比乌斯反演学习笔记

莫比乌斯反演学习笔记

引子

很久以前就听说过了莫比乌斯反演这个名词，每次都看的稀里糊涂，但一直没能学下去。也碰到不少莫比乌斯反演的题目，无奈只能跳过。最近各种爆炸，心态极端不好，几度想放弃，想来想去还是应该坚持下去，学点新东西。于是再次百度一些以前遗留下来没学完的知识点。
主要学习了
@litble 初涉莫比乌斯反演（附带例题）
@outer_form 莫比乌斯反演定理证明（两种形式）

基本知识

莫比乌斯反演初始是两个相互关联的函数$F(x)$和$f(x)$，

形式1

一种形式是已知

$$F(n)=\sum_{d|n}f(d)$$
即 $F(n)$是所有 $f(d)$的和，其中d是n的因数
莫比乌斯反演的结果是：
$$f(n)=\sum_{d|n}\mu(d)F(\frac{n}{d})$$

形式2

另一种形式是已知

$$F(n)=\sum_{n|d}f(d)$$
即 $F(n)$是所有 $f(d)$的和，其中d是n的倍数
莫比乌斯反演的结果是：
$$f(n)=\sum_{n|d}\mu(\frac{d}{n})F(d)$$ ;
其中 $\mu(x)$是莫比乌斯函数，网上都可以看到这么一个公式：
$$\begin{equation} \mu(x)= \begin{cases} 1& \text{x=1}\\ (-1)^k& {x=p_1p_2p_3...p_k,p_i \text{为素数}\\ \text{且}p_i \neq p_j \, (\forall i\forall j \;,i \neq j)} \\ 0 & \text{其他情况} \end{cases} \end{equation}$$

莫比乌斯函数$\mu(x)$性质

1.

$$\begin{equation} \sum_{d|n}\mu(d)= \begin{cases} 1 & n=1 \\ 0 & n>1 \end{cases} \end{equation}$$
证明
$$\begin{align*} &若 \; n = 1,\sum_{d|n}\mu(d)=1 \\ &若 \; n > 1,\\ &n的标准分解式：n=p_1^{k_1}p_2^{k_2}p_3^{k_3}...p_m^{k_m}\\ &d|n \Longleftrightarrow d=p_1^{v_1}p_2^{v_2}p_3^{v_3}...p_m^{v_m} \quad (\forall i(1 \leq i \leq m),0 \leq v_i \leq k_i) \\ & ① \exists v_i \geq 2,\mu(d)=0,可直接忽略 \\ & ② 故d=p_1^{v_1}p_2^{v_2}p_3^{v_3}...p_m^{v_m} 中的m个指数仅可取0与1,\mu(d)才不为0\\ & \quad 故问题转化为有m个空位，每个位置可填上0或者1 \\ & \quad 显然每一种填法对应一个对答案有贡献的d \\ & \quad 假使恰好填了r个1,则相应的\mu(d)=(-1)^r,而恰好填r个1的方法数是C_{m}^{r} \\ & 因此，\sum_{d|n}\mu(d)=\sum_{0}^{m}C_{m}^{r}(-1)^r \times 1^{m-r}=(-1+1)^m=0 \end{align*}$$

2.

$$\sum_{d|n}\frac{\mu(d)}{d}=\frac{\phi(n)}{n}$$
这个涉及到了欧拉函数，目测我肯定证明不出来，所以就直接记下来好了。而且貌似莫比乌斯反演并未用到这个性质。

开始反演

形式1

$$\begin{align*} &\sum_{d|n}\mu(d)F(\frac{n}{d}) \\ &=\sum_{d|n}\mu(d)\sum_{d'|\frac{n}{d}}f(d') \\ &=\sum_{d'|n}f(d')\sum_{d|\frac{n}{d'}}\mu(d) \end{align*}$$
第一行到第二行运用的是 $F(x)$与 $f(x)$的关系换掉 $F(\frac{n}{d})$.
第二行到第三行的我的理解：
对第二行：
$d|n \Longrightarrow dd'|n$
$d'|\frac{n}{d} \Longleftrightarrow dd'|n$
显然当且仅当 $dd'|n$成立时才会对答案有 $\mu(d) \times f(d')$的贡献
对第三行：
$d|\frac{n}{d’} \; \Longleftrightarrow dd'|n$
$dd'|n \; \Longrightarrow d'|n$
所以当且仅当 $dd'|n$成立时才会对答案有 $\mu(d) \times f(d')$的贡献
现在我们只差最后一点点了
$$\sum_{d|\frac{n}{d'}}\mu(d)= \begin{cases} 0 & \frac{n}{d'}>1,即n>d' \\ 1 & \frac{n}{d'}=1,即n=d' \end{cases}$$
因此：
$$\begin{align*} \sum_{d'|n}f(d')\sum_{d|\frac{n}{d'}}\mu(d) &= \\ &\sum_{d'|n \text{&}d'<n}f(d')\sum_{d|\frac{n}{d'}}\mu(d)+\sum_{d'|n \text{&}d'=n}f(d')\sum_{d|\frac{n}{d'}}\mu(d)\\ &=0+f(n) \times 1\\ &=f(n) \end{align*}$$
因此我们证明到了莫比乌斯反演的结果：
$$\sum_{d|n}\mu(d)F(\frac{n}{d})=f(n)$$

形式2

$$F(n)=\sum_{n|d}f(d) \Longrightarrow \\ f(n)=\sum_{n|d}\mu(\frac{d}{n})F(d)$$
证明 $$\begin{align*} 右边&=\sum_{n|d}\mu(\frac{d}{n})F(d) \\ &=\sum_{n|d}\mu(\frac{d}{n})\sum_{d|d'}f(d') &\text{记d=kn}\\ &=\sum_{k=1}^{+\infty}\mu(k)\sum_{kn|d'}f(d') &\text{③}\\ &=\sum_{n|d'}f(d')\sum_{k|\frac{d'}{n}}\mu(k) &\text{④}\\ &=f(n) &\text{⑤}\\ \end{align*}$$

---

关于③到④的自我理解和解释
对于③，当且仅当$kn|d'$时对答案有$\mu(k)*f(d')$的贡献。
且$n$对于要证明的式子为常数，$k取遍[1,+\infty)的每一个整数,d'取遍(kn)的所有倍数$ flag A
对与④，
$k|\frac{d'}{n} \; \Longleftrightarrow kn|d'$
$kn|d' \Longrightarrow n|d'$
所以当且仅当$kn|d'$成立时才会对答案有$f(d') \times \mu(k)$的贡献。
$d'取遍n的所有倍数,k取遍\frac{d'}{n}的所有因数$ flag B
现在只需要证明
满足 flag A 的所有序偶(数对) <k,d′> < k , d ′ > <script type="math/tex" id="MathJax-Element-16924"> </script>构成的集合A
和
满足 flag B的所有序偶(数对) <k,d′> < k , d ′ > <script type="math/tex" id="MathJax-Element-16925"> </script>构成的集合B
是相等的即可。
以下字母若无特殊说明，取值范围皆是正整数
$A=\{<k,d'>|kn|d'\}$
$B=\{<k,d'>|n|d'且k|\frac{d'}{n}\}$
又 $k|\frac{d'}{n} \; \Longleftrightarrow kn|d' \Longrightarrow n|d'$
所以 $B=\{<k,d'>|kn|d'\}$
显然 $A=B$
因此③可以到④

---

④到⑤和前面的类似，当且仅当$\frac{d'}{n}=1$,$\sum_{k|\frac{d'}{n}}\mu(k) \neq 0$
因此$d'=n$才有意义，代入很快化为$f(n)$

---

莫比乌斯函数的求法

注意到莫比乌斯函数的条件积性，对欧拉筛熟悉的不难时空复杂度皆为$O(n)$预求出$\mu(1)$~$\mu(n)$

---

先提交以下，后面再补代码和题目
逃
2018-09-13 11:44:55