L14 – Counting with Generating Functions: Combinations, Permutations, and Partitions

Discrete Mathematics2026年4月19日发布 芮和
82.7K 750
7,131字
30–45 分钟

Catalan Numbers

EXAMPLE: The nnth Catalan number is Cn=1n+1(2nn)C_n = \frac{1}{n+1}\binom{2n}{n}.

  • Catalan number: Cn+1=∑k=0nCkCn−kC_{n+1} = \sum_{k=0}^n C_k C_{n-k}, C0=1C_0 = 1
  • Let C(x)=∑n=0∞CnxnC(x) = \sum_{n=0}^\infty C_n x^n be the generating function of the sequence of Catalan numbers.
  • ∑n=0∞Cn+1xn=∑n=0∞(∑k=0nCkCn−k)xn=C(x)2\sum_{n=0}^\infty C_{n+1} x^n = \sum_{n=0}^\infty \left(\sum_{k=0}^n C_k C_{n-k}\right) x^n = C(x)^2
  • x∑n=0∞Cn+1xn=∑n=0∞Cn+1xn+1=C(x)−1x \sum_{n=0}^\infty C_{n+1} x^n = \sum_{n=0}^\infty C_{n+1} x^{n+1} = C(x) – 1
  • xC(x)2=C(x)−1x C(x)^2 = C(x) – 1
  • C(x)=1±1−4x2xC(x) = \frac{1 \pm \sqrt{1-4x}}{2x}
  • 1−4x=(1−4x)12=∑n=0∞(12n)(−4x)n=1−2x−2x2−…\sqrt{1-4x} = (1-4x)^{\frac{1}{2}} = \sum_{n=0}^\infty \binom{\frac{1}{2}}{n} (-4x)^n = 1 – 2x – 2x^2 – \dots
  • C(x)=1+1−4x2xC(x) = \frac{1 + \sqrt{1-4x}}{2x}? No, because it gives a negative sequence.
  • C(x)=1−1−4x2x=12x(1−∑n=0∞(12n)(−4x)n)=∑n=0∞1n+1(2nn)xnC(x) = \frac{1 – \sqrt{1-4x}}{2x} = \frac{1}{2x} \left(1 – \sum_{n=0}^\infty \binom{\frac{1}{2}}{n} (-4x)^n\right) = \sum_{n=0}^\infty \frac{1}{n+1}\binom{2n}{n} x^n

Counting Permutations with GFs

QUESTION: Let k>0,N1,…,Nk⊆ℕk > 0, N_1, \dots, N_k \subseteq \mathbb{N}. For every n≥0n \geq 0, let ana_n be the number of nn-combinations of [k][k] with repetition where every i∈[k]i \in [k] appears NiN_i times.

  • an=|{(n1,…,nk):n1∈N1,…,nk∈Nk,n1+⋯+nk=n}|a_n = \left|\{(n_1, \dots, n_k): n_1 \in N_1, \dots, n_k \in N_k, n_1 + \dots + n_k = n\}\right|
    • ana_n is the number of ways of distributing nn unlabeled objects into kk labeled boxes such that NiN_i objects are sent to box ii. (Type 2 distribution problem)

THEOREM: ∑n=0∞anxn=∏i=1k∑ni∈Nixni\sum_{n=0}^\infty a_n x^n = \prod_{i=1}^k \sum_{n_i \in N_i} x^{n_i}.

  • ∏i=1k∑ni∈Nixni=∑n1∈N1xn1⋅∑n2∈N2xn2⋯∑nk∈Nkxnk\prod_{i=1}^k \sum_{n_i \in N_i} x^{n_i} = \sum_{n_1 \in N_1} x^{n_1} \cdot \sum_{n_2 \in N_2} x^{n_2} \dots \sum_{n_k \in N_k} x^{n_k}
    =∑n=0∞(∑n1∈N1,…,nk∈Nk,n1+⋯+nk=n1)xn= \sum_{n=0}^\infty \left(\sum_{n_1 \in N_1, \dots, n_k \in N_k, n_1+\dots+n_k=n} 1\right) x^n
    =∑n=0∞anxn= \sum_{n=0}^\infty a_n x^n

EXAMPLE: Let ana_n be the # of ways of distributing nn identical books to 5 persons such that person 1, 2, 3, and 4 receive ≥3\geq 3, ≥2\geq 2, ≥4\geq 4, ≥6\geq 6 books, respectively. a20=?a_{20} = ?

  • an=|{(n1,…,n5):n1≥3,n2≥2,n3≥4,n4≥6,n5≥0,n1+⋯+n5=n}|a_n = \left|\{(n_1, \dots, n_5): n_1 \geq 3, n_2 \geq 2, n_3 \geq 4, n_4 \geq 6, n_5 \geq 0, n_1 + \dots + n_5 = n\}\right|
  • N1={3,4,…}N_1 = \{3,4, \dots\};
    N2={2,3,…}N_2 = \{2,3, \dots\};
    N3={4,5,…}N_3 = \{4,5, \dots\};
    N4={6,7,…}N_4 = \{6,7, \dots\};
    N5={0,1,2…}N_5 = \{0,1,2 \dots\}
  • ∑n=0∞anxn=∏i=15∑ni∈Nixni\sum_{n=0}^\infty a_n x^n = \prod_{i=1}^5 \sum_{n_i \in N_i} x^{n_i}
    =(x3+…)(x2+…)(x4+…)(x6+…)(1+x+…)= (x^3 + \dots)(x^2 + \dots)(x^4 + \dots)(x^6 + \dots)(1 + x + \dots)
    =x31−xx21−xx41−xx61−x11−x=x15(1−x)5= \frac{x^3}{1-x} \frac{x^2}{1-x} \frac{x^4}{1-x} \frac{x^6}{1-x} \frac{1}{1-x} = \frac{x^{15}}{(1-x)^5}
    =x15∑n=0∞(−5n)(−1)nxn= x^{15} \sum_{n=0}^\infty \binom{-5}{n} (-1)^n x^n
    • a20=(−55)(−1)5=(5+5−15)=126a_{20} = \binom{-5}{5} (-1)^5 = \binom{5+5-1}{5} = 126

QUESTION: Let k>0,N1,…,Nk⊆ℕk > 0, N_1, \dots, N_k \subseteq \mathbb{N}. For every n≥0n \geq 0, let ana_n be the number of nn-permutations of [k][k] with repetition where every i∈[k]i \in [k] appears NiN_i times.

  • an=∑n1∈N1,n2∈N2,…,nk∈Nk,n1+n2+⋯+nk=nn!n1!n2!…nk!a_n = \sum_{n_1 \in N_1, n_2 \in N_2, \dots, n_k \in N_k, n_1+n_2+\dots+n_k=n} \frac{n!}{n_1!n_2!\dots n_k!}
    • ana_n is the number of ways of distributing nn labeled objects into kk labeled boxes such that NiN_i objects are sent to box ii for all i∈[k]i \in [k]. (Type 1 distribution problem)

THEOREM: ∑n=0∞ann!xn=∏i=1k∑ni∈Nixnini!\sum_{n=0}^\infty \frac{a_n}{n!} x^n = \prod_{i=1}^k \sum_{n_i \in N_i} \frac{x^{n_i}}{n_i!}.

  • ∏i=1k∑ni∈Nixnini!=∑n1∈N1xn1n1!⋅∑n2∈N2xn2n2!⋯∑nk∈Nkxnknk!\prod_{i=1}^k \sum_{n_i \in N_i} \frac{x^{n_i}}{n_i!} = \sum_{n_1 \in N_1} \frac{x^{n_1}}{n_1!} \cdot \sum_{n_2 \in N_2} \frac{x^{n_2}}{n_2!} \dots \sum_{n_k \in N_k} \frac{x^{n_k}}{n_k!}
    =∑n=0∞(∑n1∈N1,n2∈N2,…,nk∈Nk,n1+⋯+nk=nn!n1!n2!…nk!)xnn!= \sum_{n=0}^\infty \left(\sum_{n_1 \in N_1, n_2 \in N_2, \dots, n_k \in N_k, n_1+\dots+n_k=n} \frac{n!}{n_1!n_2!\dots n_k!}\right) \frac{x^n}{n!}
    =∑n=0∞ann!xn= \sum_{n=0}^\infty \frac{a_n}{n!} x^n

EXAMPLE: Find an={s∈{1,2,3,4}n:s has an even number of 1s}a_n = \left\{s \in \{1,2,3,4\}^n: s \text{ has an even number of 1s}\right\}

  • an=a_n = # of nn-permutations of {1,2,3,4}\{1,2,3,4\} with repetition where 1 appears an even number of times
  • N1={0,2,4,…}N_1 = \{0,2,4, \dots\}, N2=N3=N4={0,1,2,…}N_2 = N_3 = N_4 = \{0,1,2, \dots\}
  • ∑n=0∞ann!xn=(1+x22!+x44!+…)(1+x1!+x22!+…)3\sum_{n=0}^\infty \frac{a_n}{n!} x^n = \left(1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \dots\right) \left(1 + \frac{x}{1!} + \frac{x^2}{2!} + \dots\right)^3
    =ex+e−x2⋅e3x= \frac{e^x + e^{-x}}{2} \cdot e^{3x}
    =e4x+e2x2= \frac{e^{4x} + e^{2x}}{2}
    =12∑n=0∞((4x)nn!+(2x)nn!)= \frac{1}{2} \sum_{n=0}^\infty \left(\frac{(4x)^n}{n!} + \frac{(2x)^n}{n!}\right)
  • ann!=12⋅(4nn!+2nn!)\frac{a_n}{n!} = \frac{1}{2} \cdot \left(\frac{4^n}{n!} + \frac{2^n}{n!}\right)
    • an=4n+2n2a_n = \frac{4^n + 2^n}{2}

Stirling Number S2(n,j)S_2(n,j)

EXAMPLE: Show that S2(n,j)=1j!∑i=0j(−1)i(ji)(j−i)nS_2(n,j) = \frac{1}{j!} \sum_{i=0}^j (-1)^i \binom{j}{i} (j-i)^n // (Type 3 distribution problem)

  • S2(n,j)=S_2(n,j) = the # of ways of distributing nn labeled objects into jj unlabeled boxes s.t. no box is empty
  • an=T(n,j)a_n = T(n,j) be the # of ways of distributing nn labeled objects into jj labeled boxes s.t. no box is empty.
  • an=S2(n,j)⋅j!a_n = S_2(n,j) \cdot j!
  • N1=N2=⋯=Nj={1,2,…}N_1 = N_2 = \dots = N_j = \{1,2, \dots\}
  • ∑n=0∞ann!xn=∏i=1j∑ni∈Nixnini!\sum_{n=0}^\infty \frac{a_n}{n!} x^n = \prod_{i=1}^j \sum_{n_i \in N_i} \frac{x^{n_i}}{n_i!}
    =∏i=1j(x1!+x22!+…)= \prod_{i=1}^j \left(\frac{x}{1!} + \frac{x^2}{2!} + \dots\right)
    =∏i=1j(ex−1)= \prod_{i=1}^j (e^x – 1)
    =(ex−1)j= (e^x – 1)^j
    =∑i=0j(−1)i(ji)e(j−i)x= \sum_{i=0}^j (-1)^i \binom{j}{i} e^{(j-i)x}
    =∑i=0j(−1)i(ji)∑n=0∞(j−i)nn!xn= \sum_{i=0}^j (-1)^i \binom{j}{i} \sum_{n=0}^\infty \frac{(j-i)^n}{n!} x^n
    =∑n=0∞1n!∑i=0j(−1)i(ji)(j−i)nxn= \sum_{n=0}^\infty \frac{1}{n!} \sum_{i=0}^j (-1)^i \binom{j}{i} (j-i)^n x^n
ann!=1n!∑i=0j(−1)i(ji)(j−i)n\frac{a_n}{n!} = \frac{1}{n!} \sum_{i=0}^j (-1)^i \binom{j}{i} (j-i)^n
an=∑i=0j(−1)i(ji)(j−i)na_n = \sum_{i=0}^j (-1)^i \binom{j}{i} (j-i)^n
S2(n,j)=1j!∑i=0j(−1)i(ji)(j−i)nS_2(n,j) = \frac{1}{j!} \sum_{i=0}^j (-1)^i \binom{j}{i} (j-i)^n

THEOREM: ∑n=0∞pj(n)xn=xj∏i=1j11−xi\sum_{n=0}^\infty p_j(n) x^n = x^j \prod_{i=1}^j \frac{1}{1-x^i} // (Type 4 distribution problem)

  • pj(n)=pj−1(n−1)+pj(n−j)(n≥j)p_j(n) = p_{j-1}(n-1) + p_j(n-j) \quad (n \geq j) // the last entry is 1; otherwise
  • Qj(x)=∑n=0∞pj(n)xnQ_j(x) = \sum_{n=0}^\infty p_j(n) x^n
    =∑n=0∞(pj−1(n−1)+pj(n−j))xn= \sum_{n=0}^\infty \left(p_{j-1}(n-1) + p_j(n-j)\right) x^n
    =∑n=j∞(pj−1(n−1)+pj(n−j))xn= \sum_{n=j}^\infty \left(p_{j-1}(n-1) + p_j(n-j)\right) x^n
    =∑n=j∞pj−1(n−1)xn+∑n=j∞pj(n−j)xn= \sum_{n=j}^\infty p_{j-1}(n-1) x^n + \sum_{n=j}^\infty p_j(n-j) x^n
    =xQj−1(x)+xjQj(x)= x Q_{j-1}(x) + x^j Q_j(x)
  • Qj(x)=x1−xjQj−1(x)=…Q_j(x) = \frac{x}{1-x^j} Q_{j-1}(x)= \dots
    =xj−1(1−xj)…(1−x2)Q1(x)= \frac{x^{j-1}}{(1-x^j)\dots(1-x^2)} Q_1(x)
    =xj−1(1−xj)…(1−x2)x1−x= \frac{x^{j-1}}{(1-x^j)\dots(1-x^2)} \frac{x}{1-x}
    =xj∏i=1j11−xi= x^j \prod_{i=1}^j \frac{1}{1-x^i}

EXAMPLE: What is the number of ways of distributing 20 unlabeled objects into 5 unlabeled boxes such that no box is empty? That is, p5(20)=?p_5(20) = ?

  • ∑n=0∞p5(n)xn=x5∏i=1511−xi\sum_{n=0}^\infty p_5(n) x^n = x^5 \prod_{i=1}^5 \frac{1}{1-x^i}
    =x5(1+x+⋯+x20+…)i=1= x^5 \underset{i=1}{{(1 + x + \dots + x^{20} + \dots)}}
    (1+x2+⋯+x20+…)i=2\underset{i=2}{{(1 + x^2 + \dots + x^{20} + \dots)}}
    (1+x3+⋯+x18+…)i=3\underset{i=3}{{(1 + x^3 + \dots + x^{18} + \dots)}}
    (1+x4+⋯+x20+…)i=4\underset{i=4}{{(1 + x^4 + \dots + x^{20} + \dots)}}
    (1+x5+⋯+x20+…)i=5\underset{i=5}{{(1 + x^5 + \dots + x^{20} + \dots)}}
    =x5+x6+⋯+70x19+84𝒙20+…= x^5 + x^6 + \dots + 70x^{19} + \boldsymbol{84x^{20}} + \dots
  • p5(20)=84p_5(20) = 84
© 版权声明

相关文章

75 条评论

  • 逐风客
    逐风客 读者

    手推一遍发现全是细节坑,一个符号不对全盘皆输😂

    中国安徽
    回复
  • 炽天使使
    炽天使使 游客

    p₅(20)=84这个数我用递推试了下,还真是,不过算得手酸

    韩国
    回复
  • CaptainPancake
    CaptainPancake 读者

    改成6个人的话,最小分配量加起来不是15了,得重新算下各项下限

    中国福建
    回复
  • 茶里的时光
    茶里的时光 游客

    这符号也太多了吧,看着脑壳疼

    中国湖北
    回复
  • EternalTraveler
    EternalTraveler 游客

    $e^x$ 那块推导还行。

    巴基斯坦
    回复
  • 董明珠
    董明珠 读者

    只有我一个人觉得这推导像在画符吗?

    中国湖北
    回复
    • 梅影暗香
      梅影暗香 游客

      我也是,看到那堆根号和平方直接脑袋转不动

      中国福建@ 董明珠
      回复
  • OpenRoader
    OpenRoader 游客

    要是把 5 个人改成 6 个,那个 $x^{15}$ 怎么变?

    中国四川
    回复
    • 清茶浅酌
      清茶浅酌 游客

      之前搞过生成函数推二叉树个数,思路确实一脉相承,但第一次看绝对懵

      中国广东@ OpenRoader
      回复