生成函數
普通生成函數(OGF)
定義
對於一類對象構成的集合 \(A\) ,若滿足
- 對於每個元素 \(a\in A\) ,定義非負整數 \(|a|\) 為元素 \(a\) 的“大小”或“權值”
- 對於給定的 \(n\) ,大小為 \(n\) 的元素的個數是有限的(但 \(A\) 可以是無限集),其對應的元素個數記為 \(A_n\)
我們定義 \(A(x)=\sum\limits_{n\ge 0}A_nx^n\) 為 集合 \(A\) 的普通生成函數。
注意這里的 \(A(x)\) 認為是一個形式冪級數,在 \(\bmod x^n\) 以及系數 \(\bmod P\) 的意義下運算
基本運算
設有兩個集合 \(A,B\) 。
定義它們的不交並為 \(C\) ,則 \(C(x)=A(x)+B(x)\)
通俗點其實就是把它們的元素原來是什么樣還是什么樣塞到 \(C\) 里面
定義兩個集合的笛卡爾積為 \(D\) ,則 \(D=A*B\),這里指卷積。
意思是對於 \(a\in A,b\in B\),我們有 \(d=a+b,|d|=|a|+|b|\) (這里前面可以簡單的理解成定義了元素的並 \(b\) )
序列OGF
對於一類對象構成的集合 \(A\),定義 \(\mathbf {SEQ}(A)\) 是由 \(A\) 的元素排列而成的序列組成的集合,對於其中某一個長度為 \(n\) 的序列,可以看作是 \(n\) 個 \(A\) 進行笛卡爾積的結果。
例如 \(A=\{0,1\}\) 即字符 \(0,1\) 構成的二元集,則 \(\mathbf {SEQ(A)}\) 表示所有的 \(01\) 字符串。
例如 \(A=\mathbb Z^+\) 即正整數集,則 \(\mathbf {SEQ} (A)\) 表示正整數序列。
對於 \(\mathbf {SEQ}(A)\) 中的一個元素 \((a_1,a_2,\dots)\) ,定義其大小為\(|a_1|+|a_2|+\dots\) ,那么顯然有序列 \(\mathbf{SEQ} (A)\) 的 \(OGF\) 為 \(\mathbf {SEQ} (A)=1+A+A^2+\dots=\frac{1}{1-A}\)
下面給出用 序列OGF 進行數數的例子
若 \(A=\{0,1\}\) 即字符 \(0,1\) 構成的二元集
- 我們定義所有元素的大小為 \(1\) ,則 \(A\) 的生成函數為 \(A(x)=2x\)
則 \(\mathbf {SEQ} (A)\) 的生成函數為 \(1+2x+4x^2+8x^3+\dots\) ,其系數表示長度為 \(i\) 的序列的個數
我們也可以定義元素 \(i\) 的大小為 \(|i|\) ,則序列 \(A\) 的生成函數為 \(A(x)=1+x\)
則 \(\mathbf {SEQ} (A)\) 的生成函數為 \(1+(1+x)+(1+x)^2+(1+x)^3+\dots\) ,其系數表示有 \(i\) 個元素 \(1\)的序列 的個數
若 \(A=\mathbb Z^+\) 即正整數集
- 定義元素 \(i\) 的大小為 \(|i|\) ,則 \(A\) 的生成函數為 \(A(x)=\sum\limits_{i\ge 1}x^i=\frac{x}{1-x}\)
則 \(\mathbf {SEQ}(A)\) 的生成函數為 \(\frac{1}{1-A}=1+x+2x^2+4x^3+8x^4+\dots\),其系數實際上表示的是正整數的有序拆分數。
常見數列的 OGF
指數生成函數(EGF)
定義
對於一類帶標號對象構成的集合 \(A\) ,若滿足 \(OGF\) 的兩個要求
我們定義 \(A(x)=\sum\limits_{n\ge 0}\frac{A_n}{n!}x^n\) 為集合 \(A\) 的指數生成函數。
帶標號對象是為了合並兩個帶標號集合。當兩個大小分別為 \(n,m\) 的帶標號集合進行合並時,需要重新進行標號,並保留在原集合的相對標號,其方案數為 \(\binom{n+m}{m}\)
基本運算
同 \(OGF\) ,但笛卡爾積合並的是兩個帶標號集合。
序列EGF
對於一類帶標號對象構成的集合 \(A\),定義 \(\mathbf {SEQ}(A)\) 是由 \(A\) 的元素排成的序列組成的集合且進行保序重標號,其余與 \(OGF\) 類似。
集合EGF
對於一類帶標號對象構成的集合 \(A\),定義 \(\mathbf{SET}(A)\) 是由 \(A\) 的子集組成的集合且進行保序重標號。但由於 \(A\) 的子集互相間是無序的,所有有 \(\mathbf{SET}(A)=1+A+\frac{A^2}{2!}+\frac{A^3}{3!}+\dots=e^A\)
下面給出用 集合EGF 進行數數的例子
若 \(G\) 為所有帶標號簡單無向圖構成的集合
- 定義每個圖的大小為它的點數,則 \(G\) 的生成函數為 \(\sum\limits_{n\ge 0} \frac{2^{\binom{n}{2}}}{n!}x^i\)
若 \(G^+\) 為所有簡單無向連通圖構成的集合
- 定義每個圖的大小為它的點數,則有 \(G=\mathbf{SET} (G^+)=e^{G^+}\)
所以有 \(G^+=\ln G\)
若 \(T\) 為所有帶標號樹構成的集合
- 定義每個圖的大小為它的點數,則 \(T\) 的生成函數為 \(\sum\limits_{n\ge 0}\frac{n^{n-2}}{n!}x^i\)
設 \(F\) 為所以帶標號森林構成的集合
- 定義每個圖的大小為它的點數,則有 \(F=e^T\)
常見數列的 EGF
常見數列與生成函數
Fibonacci 數列
設 Fib 數列 \(<1,1,2,3,5,\dots>\) 的 OGF 為 \(F(x)\)
化簡后得
然后可以在 \(O(n\log n)\) 的復雜度求解 Fib 辣
這個沒什么用,如果有興趣可以把這個式子展開推一下通項。
Catalan 數列
設 Cat 數列 \(<1,2,5,14,42,\dots>\) 的 OGF 為 \(C(x)\)
我們知道 Cat 可以描述一個 \(n\) 個點構成的不同形態的二叉樹個數,因此存在遞推公式 \(c_n=\sum\limits_{0\le i< n}c_ic_{n-i-1}\)
因此有
化簡得
考慮代入 \(C(0)=1\) 得到正負號(這是通用方法)
這個其實也沒啥用,因為我們有 \(O(n)\) 求解卡特蘭數的方法,可以展開生成函數求得通項
Bell 數
Bell 數 \(w_n\) 表示將大小為 \(n\) 的集合分割成若干個非空不相交子集的方案數,定義 \(w_0=1\)
考慮枚舉第一個元素所在的子集大小進行遞推,有
設其的 EGF 為 \(B(x)\)
考慮到右邊分母的 \(n\) 不友好,那么進行求導
下面求解微分方程
代入 \(B(0)=1\) 可以得到常數 \(C=-1\)
因此 \(B(x)=e^{e^x-1}\)
當然,也可以直接簡單粗暴的用組合意義來說明 Bell 數的 EGF,設 \(A(x)\) 表示 \(n\) 個數組成一個非空集合的方案數
那么 \(A(x)=x+\frac{x^2}{2}+\frac{x^3}{3!}+\dots=e^x-1\)
然后我們可以發現 \(B(x)=\mathbf {SET}(A)=e^{e^x-1}\)
有向無環圖計數
給定正整數 \(n\) ,求恰好有 \(n\) 個點的帶標號有向無環圖的個數
有向無環圖 (DAG) 指的是一個無回路的有向圖
設 \(f_i\) 為 \(i\) 個點有向無環圖個數,一個簡單的想法是枚舉入度為 \(0\) 的點的大小
注意到這時候我們實際上枚舉的是至少有 \(i\) 個入度為 \(0\) 的點的大小,所以需要加上容斥系數
考慮到利用生成函數,我們需要湊出關於多項式方程,構造左邊有 \(n\) ,右邊有 \(n-i\) 的項放到 \(f(i)\) 上,具體的
令
可以得到 \(F=FG+1\) ,即 \(F=\frac{1}{G-1}\)
\(2\bmod p\) 的二次剩余可以一開始暴力 \(O(mod)\) 求得
邊雙連通圖計數
給定正整數 \(n\) ,求恰好有 \(n\) 個有標號點的邊雙連通圖的個數。
邊雙聯通圖是一個不存在橋的無向連通圖
設 \(n\) 個點的邊雙聯通圖的數量為 \(b_n\) ,生成函數為 \(B(x)\) ,\(n\) 個點的有根聯通圖的數量為 \(c_n\) ,生成函數為 \(C(x)\)
顯然有根聯通圖的生成函數 \(C\) 可以通過一般聯通圖求解
對於任意有根連通圖,進行邊雙連通分量縮點以后可以得到一棵樹,不妨設原圖的根節點所在的連通分量就是樹的根節點,且這個連通分量的大小為 \(n\) ,則此聯通分量對應的生成函數為 \(\frac{b_{n}x^n}{n!}\)
然后根所在聯通分量連接出去的其他邊,邊的另一端是一個聯通圖,將與這個邊直接相連的點視為聯通圖的根,則這個聯通圖是一個有根聯通圖,由於邊在原圖根節點所在雙連通分量的大小為 \(n\) ,且都可以作為邊的一個端點,因此連出去的有根聯通圖的生成函數為 \(nC(x)\)
與根相連的邊可以自由的存在,本質上是一個 \(\mathbf{SET}\) ,因此所有與邊相連的連通圖的生成函數為 \(e^{nC(x)}\)
然后我們就可以建立 \(B\) 與 \(C\) 的關系了,枚舉根雙連通塊的大小,有
因此
設 \(D(x)=xe^{c(x)}\) ,\(D^{-1}(x)\) 的為其的復合逆
關於復合逆,回顧一下拉格朗日反演
若 \(G(F(x))=F(G(x))=x\) ,則 \(G\) 與 \(F\) 互為復合逆,由拉格朗日反演,我們有
\[[x^n]G(x)=\frac{1}{n}[x^{n-1}](\frac{x}{F(x)})^n\\ [x^n]A(G(x))=\frac{1}{n}[x^{n-1}]A'(x)(\frac{x}{F(x)})^n \]
因此
求出 \(C\) 即可套用拉格朗日反演求出 \(B\) 某一項的值