1. 程式人生 > >莫比烏斯函式、二項式、斯特林數以及它們的反演

莫比烏斯函式、二項式、斯特林數以及它們的反演

莫比烏斯反演

引入

莫比烏斯反演一般都是先定義一個函式F(n),再由F(n)定義函式G(n)G(n)=ΣF(d),其中d被包含於n。我們只知道G(n)的值,由G(n)反推F(n),這個過程就叫做“反演”。
例:SX是兩個集合,先定義F(S),再定義G(S)=ΣF(X),其中XS的一個子集。如果已知G的值,便可以通過關於集合包含的公式:F(S)=Σ((1)|S||X|G(X))
而反演的實質就是容斥!

定理

定義F(n)和f(n)是定義在非負整數集合上的兩個函式,且滿足

F(n)=d|nf(d),那麼f(n)=d|nμ(d)F(nd)
其中μ(d)的定義如下:

  • d=1,那麼μ(d)=1
  • d=p1×p2×pkpi為互異素數,那麼μ(d)=(1)k
  • 其他情況下μ(d)=0

另一種莫比烏斯反演

F(n)=n|df(d)f(n)=n|dμ(dn)F(d)

證明