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

Discrete Mathematics2026年4月19日发布 芮和
748 10
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=0nCkCnkC_{n+1} = \sum_{k=0}^n C_k C_{n-k}, C0=1C_0 = 1
  • Let C(x)=n=0CnxnC(x) = \sum_{n=0}^\infty C_n x^n be the generating function of the sequence of Catalan numbers.
  • n=0Cn+1xn=n=0(k=0nCkCnk)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
  • xn=0Cn+1xn=n=0Cn+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±14x2xC(x) = \frac{1 \pm \sqrt{1-4x}}{2x}
  • 14x=(14x)12=n=0(12n)(4x)n=12x2x2\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+14x2xC(x) = \frac{1 + \sqrt{1-4x}}{2x}? No, because it gives a negative sequence.
  • C(x)=114x2x=12x(1n=0(12n)(4x)n)=n=01n+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,,Nkk > 0, N_1, \dots, N_k \subseteq \mathbb{N}. For every n0n \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):n1N1,,nkNk,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=0anxn=i=1kniNixni\sum_{n=0}^\infty a_n x^n = \prod_{i=1}^k \sum_{n_i \in N_i} x^{n_i}.

  • i=1kniNixni=n1N1xn1n2N2xn2nkNkxnk\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(n1N1,,nkNk,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=0anxn= \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):n13,n22,n34,n46,n50,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=0anxn=i=15niNixni\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)
    =x31xx21xx41xx61x11x=x15(1x)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}
    =x15n=0(5n)(1)nxn= x^{15} \sum_{n=0}^\infty \binom{-5}{n} (-1)^n x^n
    • a20=(55)(1)5=(5+515)=126a_{20} = \binom{-5}{5} (-1)^5 = \binom{5+5-1}{5} = 126

QUESTION: Let k>0,N1,,Nkk > 0, N_1, \dots, N_k \subseteq \mathbb{N}. For every n0n \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=n1N1,n2N2,,nkNk,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=0ann!xn=i=1kniNixnini!\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=1kniNixnini!=n1N1xn1n1!n2N2xn2n2!nkNkxnknk!\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(n1N1,n2N2,,nkNk,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=0ann!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=0ann!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+ex2e3x= \frac{e^x + e^{-x}}{2} \cdot e^{3x}
    =e4x+e2x2= \frac{e^{4x} + e^{2x}}{2}
    =12n=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)(ji)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=0ann!xn=i=1jniNixnini!\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(ex1)= \prod_{i=1}^j (e^x – 1)
    =(ex1)j= (e^x – 1)^j
    =i=0j(1)i(ji)e(ji)x= \sum_{i=0}^j (-1)^i \binom{j}{i} e^{(j-i)x}
    =i=0j(1)i(ji)n=0(ji)nn!xn= \sum_{i=0}^j (-1)^i \binom{j}{i} \sum_{n=0}^\infty \frac{(j-i)^n}{n!} x^n
    =n=01n!i=0j(1)i(ji)(ji)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)(ji)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)(ji)na_n = \sum_{i=0}^j (-1)^i \binom{j}{i} (j-i)^n
S2(n,j)=1j!i=0j(1)i(ji)(ji)nS_2(n,j) = \frac{1}{j!} \sum_{i=0}^j (-1)^i \binom{j}{i} (j-i)^n

THEOREM: n=0pj(n)xn=xji=1j11xi\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)=pj1(n1)+pj(nj)(nj)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=0pj(n)xnQ_j(x) = \sum_{n=0}^\infty p_j(n) x^n
    =n=0(pj1(n1)+pj(nj))xn= \sum_{n=0}^\infty \left(p_{j-1}(n-1) + p_j(n-j)\right) x^n
    =n=j(pj1(n1)+pj(nj))xn= \sum_{n=j}^\infty \left(p_{j-1}(n-1) + p_j(n-j)\right) x^n
    =n=jpj1(n1)xn+n=jpj(nj)xn= \sum_{n=j}^\infty p_{j-1}(n-1) x^n + \sum_{n=j}^\infty p_j(n-j) x^n
    =xQj1(x)+xjQj(x)= x Q_{j-1}(x) + x^j Q_j(x)
  • Qj(x)=x1xjQj1(x)=Q_j(x) = \frac{x}{1-x^j} Q_{j-1}(x)= \dots
    =xj1(1xj)(1x2)Q1(x)= \frac{x^{j-1}}{(1-x^j)\dots(1-x^2)} Q_1(x)
    =xj1(1xj)(1x2)x1x= \frac{x^{j-1}}{(1-x^j)\dots(1-x^2)} \frac{x}{1-x}
    =xji=1j11xi= 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=0p5(n)xn=x5i=1511xi\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
© 版权声明

相关文章

1 条评论

  • 无敌战狂
    无敌战狂 游客

    这公式一看就头大,竟然还能这么简洁 😂

    中国上海
    回复