整理的算法模板合集: ACM模板
一、莫比乌斯反演
学习笔记,我是看这个博客入门的,讲的非常好,传送门,关键是给出了非常多的定理,好多是数论书上的权威概念。
我自己证明的照片在文末,有点乱
首先,莫比乌斯反演是什么?
第一种形式:
F ( n ) = ∑ d ∣ n f ( d ) = > f ( n ) = ∑ d ∣ n μ ( d ) F ( n d ) F(n)=\sum_{d|n}f(d)=>f(n)=\sum_{d|n}\mu(d)F(\frac{n}{d}) F(n)=d∣n∑f(d)=>f(n)=d∣n∑μ(d)F(dn)
第二种形式:
F ( n ) = ∑ n ∣ d f ( d ) = > f ( n ) = ∑ n ∣ d μ ( d n ) F ( d ) F(n)=\sum_{n|d}f(d)=>f(n)=\sum_{n|d}\mu(\frac{d}{n})F(d) F(n)=n∣d∑f(d)=>f(n)=n∣d∑μ(nd)F(d)
二、几个概念和定理
-
可乘函数(亦称积性函数):算术函数 f f f,满足 只要 g c d ( m , n ) = 1 gcd(m,n) =1 gcd(m,n)=1,就有 f ( m n ) = f ( m ) f ( n ) f(mn)=f(m)f(n) f(mn)=f(m)f(n)。
-
∑ d ∣ n \sum _{d|n} ∑d∣n: 代表对n的所有正因子求和
-
莫比乌斯函数
易证:莫比乌斯函数是可乘函数
三、两种形式的莫比乌斯反演证明
第一种形式的证明
F ( n ) = ∑ d ∣ n f ( d ) = > f ( n ) = ∑ d ∣ n μ ( d ) F ( n d ) F(n)=\sum_{d|n}f(d)=>f(n)=\sum_{d|n}\mu(d)F(\frac{n}{d}) F(n)=d∣n∑f(d)=>f(n)=d∣n∑μ(d)F(dn)
我们由恒等变形得: