莫比乌斯反演【OI Pharos 6.1.5】

莫比乌斯反演【OI Pharos 6.1.5】


前置知识: 整数分块,积性函数

1 概念

1.1 莫比乌斯函数

在这里插入图片描述

1.2 莫比乌斯反演定理

F ( i ) = ∑ d ∣ i f ( d ) ⇔ f ( i ) = ∑ d ∣ i μ ( i d ) F ( d ) F(i) = \sum_{d|i} f(d) \Leftrightarrow f(i) = \sum_{d|i}\mu(\frac{i}{d})F(d) F(i)=dif(d)f(i)=diμ(di)F(d)
F ( i ) = ∑ i ∣ n f ( n ) ⇔ f ( i ) = ∑ i ∣ n μ ( n i ) F ( n ) F(i) = \sum_{i|n} f(n) \Leftrightarrow f(i) = \sum_{i|n}\mu(\frac{n}{i})F(n) F(i)=inf(n)f(i)=inμ(in)F(n)

2 证明

引理1

∑ d ∣ i μ ( d ) = [ i = = 1 ] \sum_{d|i}\mu(d) = [i == 1] diμ(d)=[i==1]

证明

∑ d ∣ i μ ( i d ) F ( d ) \sum_{d|i}\mu(\frac{i}{d})F(d)\\ diμ(di)F(d)
带入定义式,
= ∑ d ∣ i μ ( i d ) ∑ k ∣ i d f ( k )       (1) = \sum_{d|i}\mu(\frac{i}{d}) \sum_{k|\frac{i}{d}} f(k) \tag1 \ \ \ \ \ =diμ(di)kdif(k)     (1)
调整求和顺序,
= ∑ d ∣ i f ( d ) ∑ k ∣ i d μ ( k )        (2) = \sum_{d|i}f(d) \sum_{k|\frac{i}{d}}\mu(k) \tag2 \ \ \ \ \ \ =dif(d)kdiμ(k)      (2)
由于引理1,
= ∑ d ∣ i f ( d ) × [ i d = = 1 ]   = ∑ d ∣ i f ( d ) × [ i = = d ]     = f ( i )                                 = \sum_{d|i}f(d) \times [\frac{i}{d} == 1]\ \\ = \sum_{d|i}f(d) \times [i == d]\ \ \ \\ = f(i) \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ =dif(d)×[di==1] =dif(d)×[i==d]   =f(i)                               
证毕。

重点是要理解调整求和顺序这一步

( 1 ) (1) (1) 式可以理解为枚举三个数 d , k , i d k d,k,\frac{\frac{i}{d}}{k} d,k,kdi满足 i d × k × d k = i {\frac{i}{d} \times k \times \frac{d}{k}} = i di×k×kd=i

对于每一项 μ ( i d ) f ( k ) \mu(\frac{i}{d})f(k) μ(di)f(k)求和

( 2 ) (2) (2) 式也可以理解为枚举三个数 d , k , i d k d,k,\frac{\frac{i}{d}}{k} d,k,kdi满足 i d × k × d k = i {\frac{i}{d} \times k \times \frac{d}{k}} = i di×k×kd=i

对于每一项 μ ( k ) f ( d ) \mu(k)f(d) μ(k)f(d)求和

每一个(1)式中的项都会在(2)式中被枚举到,所以可以调整求和顺序

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值