码迷,mamicode.com
首页 > 其他好文 > 详细

莫比乌斯反演

时间:2019-10-27 12:58:32      阅读:99      评论:0      收藏:0      [点我收藏+]

标签:计算   its   case   有用   gcd   简单   科技   other   分解   

真tmd是个大坑呢……( 数论真好玩毒瘤
首先莫比乌斯反演是一个可以帮助我们加快计算或使计算变得简便的一种黑科技。至于如何简便,将在以后的题目中体现(完了又挖了个坑


莫比乌斯反演公式\(f(x)\)是数论函数,\(F(x)\)是其因子和函数,即对\(\forall n \in \mathbb{N*}\)满足\(F(n)=\sum\limits_{d|n} f(d)\)。则有\[f(n)=\sum_{d|n}\mu(n)F(\frac{n}{d})\]
其中\(\mu(x)\)为莫比乌斯函数,其定义为\[\mu(n)=\begin{cases} 1 & \mbox{if }n=1 \\ (-1)^r & \text{if }n=\prod_{i=1}^r p_i \\ 0 & \text{otherwise} \end{cases}\]
至于为何这么定义,如果熟悉反演的话稍微举几个例子就明白了,这里略去。

在证明这个公式之前,先介绍几个有用的引理。


引理1. \(\mu(n)\)为积性函数。
证明:等价于证明对于\(\forall \gcd(m,n)=1\),都有\(\mu(mn)=\mu(m)\mu(n)\)
考虑\(m=1\)\(n=1\)的情景,显然成立;考虑\(m,n\)至少一个含有平方素因子的情况,亦显然成立。再考虑其他情况,则必有\(m,n\)的唯一素幂因子分解\(m=\prod_{i=1}^s p_i\)\(n=\prod_{i=1}^t p_i\),此时有\(\mu(mn)=(-1)^{s+t}=(-1)^s(-1)^t=\mu(m)\mu(n)\)。QED。

引理2. 莫比乌斯函数的因子和函数\(F(n)\)为简单函数,具体地,有\[F(n)=\begin{cases} 1 & \text{if }n=1 \\ 0 & \text{if } n>1 \end{cases}\]
证略。

引理3. 积性函数的因子和函数仍为积性函数。
证明:等价于证明\(\forall \gcd(m,n)=1\)\(F(n)=\sum\limits_{d|n}f(d)\),都有\(F(mn)=F(m)F(n)\)成立。
首先根据定义,有\(F(mn)=\sum\limits_{d|mn}f(d)\)。又\(\gcd(m,n)=1\),则\(mn\)的每个因子必可唯一表示为\(m\)的因子\(d_1\)\(n\)的因子\(d_2\)的乘积。于是有
\[F(mn)=\sum_{d|mn}f(d)=\sum_{d_1|m \\ d_2|n}f(d_1d_2)=\sum_{d_1|m}f(d_1)\sum_{d_2|n}f(d_2)=F(m)F(n)\]QED。


现在证明莫比乌斯反演公式。

莫比乌斯反演

标签:计算   its   case   有用   gcd   简单   科技   other   分解   

原文地址:https://www.cnblogs.com/wzzyr24/p/11746976.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!