组合数学

约定:如非特殊说明,本文所涉及的数均为非负整数.

基本概念

阶乘

对于任意非负整数 nn,称 n×(n1)×(n2)××3×2×1n\times(n-1)\times(n-2)\times\cdots\times3\times2\times1nn阶乘,记作 n!n!,即

n!=n×(n1)×(n2)××3×2×1.n!=n\times(n-1)\times(n-2)\times\cdots\times3\times2\times1.

特别地,0!=10!=1

分类加法计数原理

完成一件事有两类不同方案,在第 11 类方案中有 mm 种不同的方法,在第 22 类方案中有 nn 种不同的方法,那么完成这件事共有

N=m+nN=m+n

种不同的方法.

分步乘法计数原理

完成一件事需要两个步骤,做第 11 步有 mm 种不同的方法,做第 22 步有 nn 种不同的方法,那么完成这件事共有

N=m×nN=m\times n

种不同的方法.

排列

nn 个不同元素中取出 mmmnm\le n)个元素,并按照一定的顺序排成一列,叫做从 nn 个不同元素中取出 mm 个元素的一个排列

两个排列相同的充要条件是:两个排列的元素完全相同,且元素的排列顺序也相同.

nn 个不同元素中取出 mmmnm\le n)个元素的所有不同排列的个数,叫做从 nn 个不同元素中取出 mm 个元素的排列数,用符号 AnmA_{n}^{m} 表示(AA 是 arrangement 的第一个字母).

对于 AnmA_{n}^{m} 的计算,我们可以将其考虑为依次填 mm 个空位:

  • 11 位可以填 nn 种;
  • 22 位可以填 (n1)(n-1) 种;
  • 33 位可以填 (n2)(n-2) 种;
  • ……
  • mm 位可以填 (nm+1)(n-m+1) 种.

根据分步乘法计数原理,总的填法种数为 n(n1)(n2)(nm+1)n(n-1)(n-2)\cdots(n-m+1)

所以

Anm=n(n1)(n2)(nm+1)=n!(nm)!.A_{n}^{m}=n(n-1)(n-2)\cdots(n-m+1)=\frac{n!}{(n-m)!}.

特别地,nn 个不同的元素全部取出的一个排列,叫做 nn 个元素的一个全排列,即 n=mn=m,不难得到

Ann=n!.A_{n}^{n}=n!.

组合

nn 个不同元素中取出 mmmnm\le n)个元素为一组,叫做从 nn 个不同元素中取出 mm 个元素的一个组合

从排列与组合的定义可以知道,两者都是从 nn 个元素中取出 mmmnm\le n)个元素,但排列与元素的顺序有关,而组合与元素的顺序无关.所以可知两个组合相同的充要条件是两个组合的元素完全相同.

nn 个不同元素中取出 mmmnm\le n)个元素的所有不同组合的个数,叫做从 nn 个不同元素中取出 mm 个元素的组合数,用符号 CnmC_{n}^{m}(nm)\dbinom{n}{m} 表示(CC 是 combination 的第一个字母,下文中简洁直观起见,采用第 22 种写法).

对于 (nm)\dbinom{n}{m} 的计算,考虑求 AnmA_{n}^{m} 的过程,可以分为

  • nn 个元素中选出 mm 个元素作为一组,共 (nm)\dbinom{n}{m} 种;
  • 将取出的 mm 个元素作全排列,共 AmmA_{m}^{m} 种.

根据分步乘法计数原理,可得

Anm=(nm)AmmA_{n}^{m}=\binom{n}{m}\cdot A_{m}^{m}

(nm)=AnmAmm=n!m!(nm)!.\binom{n}{m}=\frac{A_{n}^{m}}{A_{m}^{m}}=\frac{n!}{m!(n-m)!}.

组合数的简单性质

组合数具有很多优美的性质,这些性质对于加深对计数原理的理解和解决更加复杂的问题有很大帮助.

组合等式的证明通常有组合意义和代数推导两种方式.

下面会给出若干等式,较为显然的代数推导将会略过,请读者自行验证.


(nm)=(nnm).(1)\binom{n}{m}=\binom{n}{n-m}.\tag{1}

nn 个不同元素中取出 mm 个元素后,必然剩下 (nm)(n-m) 个元素,因此 nn 个不同元素的取出 mm 个元素的组合总是能与剩余的 (nm)(n-m) 个元素的组合一一对应.


(n+1m)=(nm)+(nm1).(2)\binom{n+1}{m}=\binom{n}{m}+\binom{n}{m-1}.\tag{2}

n+1n+1 个不同元素中取出 mm 个元素,相当于直接从前 nn 个元素中取出 mm 个元素,或者先从前 nn 个元素中取出 m1m-1 个元素,再把第 n+1n+1 个元素加入,由分类加法计数原理可得.


m(nm)=n(n1m1).(3)m\binom{n}{m}=n\binom{n-1}{m-1}.\tag{3}

这个式子叫做吸收恒等式.

nn 个不同元素中取出 mm 个元素,并从这 mm 个元素中选出 11 个代表,共 m(nm)m\cdot\dbinom{n}{m} 种方案.

也可以先从 nn 个不同元素中选出 11 个代表,再从剩余 n1n-1 个不同元素中选出剩余 m1m-1 个元素,共 n(n1m1)n\cdot\dbinom{n-1}{m-1} 种方案.二者写成等式后移项即可得到 (3)(3) 式.


i=0n(ni)=2n.(4)\sum_{i=0}^n\binom{n}{i}=2^n.\tag{4}

含有 nn 个元素的集合的子集数.


(nm)(mk)=(nk)(nkmk).(5)\binom{n}{m}\binom{m}{k}=\binom{n}{k}\binom{n-k}{m-k}.\tag{5}

nn 个不同元素中先取出 mm 个元素,再从这 mm 个元素中取出 kk 个元素.也可以先从 nn 个人中取出 kk 个元素,再从剩余 nkn-k 个元素中取出 mkm-k 个元素以补齐 mm 个元素.


i=mn(im)=(n+1m+1).(6)\sum_{i=m}^n\binom{i}{m}=\binom{n+1}{m+1}.\tag{6}

这个式子叫做上指标求和公式.

证明考虑将求和式的第一项 (mm)\dbinom{m}{m} 改为与之相等的 (m+1m+1)\dbinom{m+1}{m+1},然后不断将前两项用 (2)(2) 式合并,最终可以得到 (n+1m+1)\dbinom{n+1}{m+1}


i=0ni(ni)=n2n1.(7)\sum_{i=0}^ni\binom{n}{i}=n2^{n-1}.\tag{7}

(3)(3) 式:

i(ni)=n(n1i1).i\binom{n}{i}=n\binom{n-1}{i-1}.

j=i1j=i-1,有:

i=0ni(ni)=nj=0n1(n1j)=n2n1.\sum_{i=0}^ni\binom{n}{i}=n\sum_{j=0}^{n-1}\binom{n-1}{j}=n2^{n-1}.


这些等式对于复杂的组合式化简也有着重要作用,一些应用将会在后文展开描述.

隔板法

问题一:

现有 nn 个相同的球和 mm 个不同的盒子(nmn\ge m),将这 nn 个球放入 mm 个盒子中,每个盒子至少放 11 个球,有多少种方法?

考虑将 m1m-1 块隔板放在 nn 个元素形成的 n1n-1 个空隙内,每个空隙最多放一块隔板,这样我们就实现了一个合法的分配.这种方式显然可以实现任意一种合法分配.所以原问题的答案即为

(n1m1).\binom{n-1}{m-1}.

问题二:

在问题一的基础上,每个盒子允许为空.如果沿用刚才的方法,每个空隙中就可能要放多个隔板,计算困难.考虑转化为问题一,先借 mm 个球,在 n+m1n+m-1 个空隙里放隔板.则答案为

(n+m1m1)=(n+m1n).\binom{n+m-1}{m-1}=\binom{n+m-1}{n}.

在放完板后,我们从每一个盒子里再拿走 11 个球,即可得到一个合法的问题二的方案.因为所有球都相同,所以这和转化前的情况可以一一对应.

问题三:

在问题一的基础上,第 ii 个盒子至少放 aia_i 个球(ain\sum a_i\le n).

类比问题二的解法,先借 ai\sum a_i 个球,问题就转化为了问题二,答案为

(nai+m1nai).\binom{n-\sum a_i+m-1}{n-\sum a_i}.

二项式定理

(x+y)n=i=0n(ni)xniyi.(8)(x+y)^n=\sum_{i=0}^n\binom{n}{i}x^{n-i}y^i.\tag{8}

(8)(8) 式即为二项式定理.其中 x,yx,y 可以是复数,甚至可以是多项式.各项的系数 (ni)\dbinom{n}{i} 叫做二项式系数

证明一:

原式即为 nn(x+y)(x+y) 相乘,二项式展开事实上是从每个 (x+y)(x+y) 中选择一个 xxyy

接下来考虑 xniyix^{n-i}y^i 这一项,即在 nn(x+y)(x+y) 中选出 ii 个组成 yiy^i,剩余 nin-i 个组成 xnix^{n-i},不难得出这一项的系数应为 (ni)\dbinom{n}{i}

证明二:

考虑数学归纳法.

n=1n=1 时,等式左边为 x+yx+y.等式右边为 (10)x1y0+(11)x0y1=x+y\dbinom{1}{0}x^1y^0+\dbinom{1}{1}x^0y^1=x+y.等式成立.

假设 n=kn=k 时等式成立,即:

(x+y)k=i=0k(ki)xkiyi.(x+y)^k=\sum_{i=0}^k\binom{k}{i}x^{k-i}y^i.

n=k+1n=k+1 时:

(x+y)k+1=(x+y)(x+y)k=(x+y)i=0k(ki)xkiyi=i=0k(ki)xkiyi+1+i=0k(ki)xki+1yi=i=0k+1(k+1i)xk+1iyi.\begin{aligned} (x+y)^{k+1}&=(x+y)\cdot(x+y)^k\\ &=(x+y)\sum_{i=0}^k\binom{k}{i}x^{k-i}y^i\\ &=\sum_{i=0}^k\binom{k}{i}x^{k-i}y^{i+1}+\sum_{i=0}^k\binom{k}{i}x^{k-i+1}y^i\\ &=\sum_{i=0}^{k+1}\binom{k+1}{i}x^{k+1-i}y^i. \end{aligned}

其中,最后一步推导利用了上文提到的 (2)(2) 式用于对其下标和合并.

故得证.

x=1,y=1x=1,y=-1 可得

i=0n(1)i(ni)=[n=0].(9)\sum_{i=0}^n(-1)^i\binom{n}{i}=[n=0].\tag{9}

[][] 是艾弗森括号,即 n=0n=0 是原式等于 11,否则等于 00

由此可得,n>0n>0 时二项式系数的奇数项之和等于偶数项之和.

杨辉三角

将二项式系数排成三角形,这样的图形就是杨辉三角.

由杨辉三角,我们可以重新理解一下上文提到的若干式子.

杨辉三角是轴对称图形,所以 (1)(1) 式成立.

杨辉三角每个元素等于其上方两个元素之和,所以 (2)(2) 式成立.这也是计算杨辉三角的基本方法.

杨辉三角第 ii 行之和即为 (4)(4) 式.第 ii 列前缀和即为 (6)(6) 式.

杨辉三角还有一个有趣的性质:将三角形左端对齐后,沿右斜 4545 度对角线方向取得数之和为斐波那契数.但这个性质对于计数问题意义不大,这里不做进一步探讨.

多重集的排列数

多重集是包含重复元素的广义集合.S={n1a1,n2a2,,nkak}S=\{n_1\cdot a_1,n_2\cdot a_2,\cdots,n_k\cdot a_k\} 表示由 n1n_1a1a_1n2n_2a2a_2,…,nkn_kaka_k 组成的多重集.若令 n=n1+n2++nkn=n_1+n_2+\cdots+n_k,即 nn 为集合中元素总数,SS 的全排列个数为:

n!n1!n2!nk!=n!i=1kni!.\frac{n!}{n_1!n_2!\cdots n_k!}=\frac{n!}{\prod_{i=1}^kn_i!}.

相当于首先将 nn 个元素做全排列,然后通过除 ni!n_i! 消除第 ii 种元素之间的顺序性.这就是多重集的排列数,也叫多重组合数,记作 (nn1,n2,,nk)\dbinom{n}{n_1,n_2,\cdots,n_k}.即

(nn1,n2,,nk)=n!i=1kni!.\binom{n}{n_1,n_2,\cdots,n_k}=\frac{n!}{\prod_{i=1}^kn_i!}.

以下是多重集排列数的性质:

组合数可以与之对应:

(nm)=(nm,nm).\binom{n}{m}=\binom{n}{m,n-m}.

没什么特殊含义,只是换个写法而已.

多项式定理:

(x1+x2++xm)n=k1+k2++km=n(nk1,k2,,km)x1k1x2k2xmkm.(x_1+x_2+\cdots+x_m)^n=\sum_{k_1+k_2+\cdots+k_m=n}\binom{n}{k_1,k_2,\cdots,k_m}x_1^{k_1}x_2^{k_2}\cdots x_m^{k_m}.

与二项式定理类似,多项式定理的 xix_i 可以是复数.事实上,二项式定理就是多项式定理在 m=2m=2 的特例.可以类比二项式定理的组合意义证法或对 mm 归纳证明,这里不展开介绍.

范德蒙德卷积

i=0k(ni)(mki)=(n+mk).(10)\sum_{i=0}^k\binom{n}{i}\binom{m}{k-i}=\binom{n+m}{k}.\tag{10}

这个式子叫做范德蒙德卷积.

证法一:

注意到

(x+1)n(x+1)m=(x+1)n+m.(x+1)^n(x+1)^m=(x+1)^{n+m}.

等号左边可变为:

(x+1)n(x+1)m=(i=0n(ni)xi)(j=0m(mj)xj)=k=0n+m(i=0k(ni)(mki))xk.\begin{aligned} (x+1)^n(x+1)^m&=\left(\sum_{i=0}^n\binom{n}{i}x^i\right)\left(\sum_{j=0}^m\binom{m}{j}x^j\right)\\ &=\sum_{k=0}^{n+m}\left(\sum_{i=0}^k\binom{n}{i}\binom{m}{k-i}\right)x^k. \end{aligned}

等号右边可变为:

(x+1)n+m=k=0n+m(n+mk)xk.(x+1)^{n+m}=\sum_{k=0}^{n+m}\binom{n+m}{k}x^k.

比较 xkx^k 的系数即证.

证法二:

从大小为 n+mn+m 的集合中选出 kk 个元素,等式两边分别表示:

  • 将集合分为大小分别为 n,mn,m 且互补的两子集,从大小为 nn 的子集中选 ii 个,再从大小为 mm 的子集中选 kik-i 个,考虑 i=0,1,2,,ki=0,1,2,\cdots,k 的情况.

  • 直接选.

容斥原理

对于任意个有限集合 S1,S2,,SnS_1,S_2,\cdots,S_n,它们的并集的大小满足:

i=1nSi=m=1n(1)m1ai<ai+1i=1mSai\left|\bigcup_{i=1}^nS_i\right|=\sum_{m=1}^n(-1)^{m-1}\sum_{a_i<a_{i+1} }\left|\bigcap_{i=1}^mS_{a_i}\right|

更加容易理解的一个形式是这样的:

i=1nSi=i=1nSi1i<jnSiSj+1i<j<knSiSjSk\left|\bigcup_{i=1}^nS_i\right|=\sum_{i=1}^n|S_i|-\sum_{1\le i<j\le n}|S_i\cap S_j|+\sum_{1\le i<j<k\le n}|S_i\cap S_j\cap S_k|-\cdots

其中第 ii 项的符号为 (1)i+1(-1)^{i+1}

证明一:

若元素 xx 属于 S1,S2,,SnS_1,S_2,\cdots,S_n 中的 mm 个集合(0<mn0<m\le n),其在等式左边被计数 11 次,在等式右边被计数

(m1)(m2)++(1)m+1(mm)\binom{m}{1}-\binom{m}{2}+\cdots+(-1)^{m+1}\binom{m}{m}

次.由 (9)(9) 式,原式可化为

(m0)i=0m(1)i(mi)=1(11)m=1.\binom{m}{0}-\sum_{i=0}^m(-1)^i\binom{m}{i}=1-(1-1)^m=1.

证毕.

证明二:

使用数学归纳法,大致思路是构造归纳时利用 n=2n=2 时的结论进行拆分.具体证明过程较为冗长,这里略过.

二项式反演

fnf_n 表示恰好使用 nn 个不同元素形成的特定结构的方案数,gng_n 表示从 nn 个不同元素中选出 ii 个元素形成的特定结构的总方案数.

已知 fif_igng_n 可以直接枚举选出了多少个元素

gn=i=0n(ni)fi.g_n=\sum_{i=0}^n\binom{n}{i}f_i.

而已知 gig_ifnf_n 的过程就叫做二项式反演,其式子是:

fn=i=0n(ni)(1)nigi.f_n=\sum_{i=0}^n\binom{n}{i}(-1)^{n-i}g_i.

以下是证明过程:

展开 gig_i,交换求和顺序:

fn=i=0n(ni)(1)ni[j=0i(ij)fj]=i=0nj=0i(ni)(ij)(1)nifj.=j=0ni=jn(ni)(ij)(1)nifj=j=0nfji=jn(ni)(ij)(1)ni.\begin{aligned} f_n&=\sum_{i=0}^n\binom{n}{i}(-1)^{n-i}\left[\sum_{j=0}^i\binom{i}{j}f_j\right]\\ &=\sum_{i=0}^n\sum_{j=0}^i\binom{n}{i}\binom{i}{j}(-1)^{n-i}f_j.\\ &=\sum_{j=0}^n\sum_{i=j}^n\binom{n}{i}\binom{i}{j}(-1)^{n-i}f_j\\ &=\sum_{j=0}^nf_j\sum_{i=j}^n\binom{n}{i}\binom{i}{j}(-1)^{n-i}.\\ \end{aligned}

(5)(5) 式:

fn=j=0nfji=jn(nj)(ninj)(1)ni=j=0n(nj)fji=jn(ninj)(1)ni\begin{aligned} f_n&=\sum_{j=0}^nf_j\sum_{i=j}^n\binom{n}{j}\binom{n-i}{n-j}(-1)^{n-i}\\ &=\sum_{j=0}^n\binom{n}{j}f_j\sum_{i=j}^n\binom{n-i}{n-j}(-1)^{n-i} \end{aligned}

k=ijk=i-j,则 i=k+ji=k+j,代入:

fn=j=0n(nj)fjk=0nj(njk)(1)njk.f_n=\sum_{j=0}^n\binom{n}{j}f_j\sum_{k=0}^{n-j}\binom{n-j}{k}(-1)^{n-j-k}.

(9)(9) 式:

fn=j=0n(nj)fj[n=j]=fn.f_n=\sum_{j=0}^n\binom{n}{j}f_j[n=j]=f_n.

证毕.

这个式子的组合意义还是不够好.事实上,更常用的式子是:

gi=j=in(ji)fj,g_i=\sum_{j=i}^n\binom{j}{i}f_j,

则有

fi=j=in(ji)(1)jigj.f_i=\sum_{j=i}^n\binom{j}{i}(-1)^{j-i}g_j.

这个式子的组合意义非常重要:现有 nn 个不同的元素,fif_i 表示从 nn 个元素中恰好选 ii 个元素的方案数,gig_i 表示从 nn 个元素中选出 ii 个,规定必须选择这 ii 个元素,而其他 nin-i 个元素不做限制(一种说法称之为“钦定”).简单地说,就是恰好至少之间的转换.即容斥原理的推广.

对于前一个式子,即从“恰好”到“至少”,对于一个“恰好”有 jj 个元素的方案,我们可以任选其中 ii 个作为我们钦定的元素,这就是系数 (ji)\dbinom{j}{i} 的由来.

对于后一个式子,即从“至少”到“恰好”,对于 gig_i,它本身包含了所有恰好 ii 个元素的方案,但是同时也包含了恰好 i+1,i+2,i+1,i+2,\cdots 个元素的方案,所以我们利用容斥的思想将多算的方案去除.这就是系数 (1)ji(-1)^{j-i} 的由来.

错位排列

错位排列是没有任何元素出现在其有序位置的排列.对于 1n1\sim n 的排列 pp,如果满足 piip_i\ne i,则称 pp 是错位排列.

nn 个元素的错排数记作 DnD_n,对于 DnD_n 的计算,常见的有两种方法:

方法一:

考虑从 n1n-1 个元素的情况递推到 nn 个元素的情况,我们暂时把第 nn 个元素放在第 nn 个位置:

  • 如果前 n1n-1 个元素已经构成错排,那么将第 nn 个元素与前 n1n-1 个元素的任意一个交换位置即可生成长度为 nn 的错排,共 (n1)Dn1(n-1)D_{n-1} 种方案.

  • 如果前 n1n-1 个元素中一个元素满足 pi=ip_i=i 而其他元素不满足,则令第 nn 个元素与 ii 交换位置即可,共 (n1)Dn2(n-1)D_{n-2} 种方案.

其他情况不可能通过一次操作将原排列变为错排.

所以有

Dn=(n1)(Dn1+Dn2).D_n=(n-1)(D_{n-1}+D_{n-2}).

方法二:

考虑容斥.存在至少 kk 个位置满足 pi=ip_i=i 的方案数为 (nk)(nk)!\dbinom{n}{k}(n-k)!,由二项式反演:

Dn=i=0n(1)i(ni)(ni)!=n!i=0n(1)ii!.\begin{aligned} D_n&=\sum_{i=0}^n(-1)^i\binom{n}{i}(n-i)!\\ &=n!\sum_{i=0}^n\frac{(-1)^i}{i!}. \end{aligned}

nn\to\infty 时,对于一个随机的排列,形成错位排列的概率为:

P=limnDnn!=1e36.8%.P=\lim_{n\to\infty}\frac{D_n}{n!}=\frac{1}{\mathrm{e}}\approx 36.8\%.

圆排列

nn 个不同元素中选出 rr 个元素排列成一个圆的形状就叫做圆排列.圆排列的排列数记作 QnrQ_{n}^{r}

对于任意一个圆排列,其从任意位置断开都可以唯一对应一个线性排列,所以有

Qnr=Anrr=n!r(nr)!.Q_{n}^{r}=\frac{A_{n}^{r}}{r}=\frac{n!}{r\cdot(n-r)!}.

卡特兰数

卡特兰数是计数问题中常用的一个数列,记作 CnC_nCnC_n 的值可以用以下这些问题描述:

  • nn 对括号组成的合法括号序列数.

  • nn11nn1-1 组成的数列中,满足任意位置前缀和大于等于 00 的数列数目.

  • 一个栈的入栈序列为 1,2,3,,n1,2,3,\cdot,n,合法出栈序列数.

可以证明以上这些问题等价.

由组合意义不难得到

Cn={1,n=0,i=0n1CiCni1,n1.C_n= \begin{cases} 1,& n=0,\\ \sum_{i=0}^{n-1}C_iC_{n-i-1},&n\ge 1. \end{cases}

但是这个式子较为复杂.接下来将给出更为简洁的计算方法.

事实上,有

Cn=(2nn)(2nn1).C_n=\binom{2n}{n}-\binom{2n}{n-1}.

以下是证明过程:

引理:方格图中,每次只能向右或向上走.从 (0,0)(0,0)(左下角)走到 (n,m)(n,m)(右上角)的方案数为

(n+mn)=(n+mm).\binom{n+m}{n}=\binom{n+m}{m}.

证明考虑总步数一定为 n+mn+m,其中选出 nn 步向右,剩余 mm 步向上.

CnC_n 可以表述为:方格图中,每次只能向右或向上走.从 (0,0)(0,0) 走到 (n,n)(n,n) 且路径不经过直线 y=xy=x 上方(但可以触碰).

(0,0)(0,0) 走到 (n,n)(n,n) 的总方案数为 (2nn)\dbinom{2n}{n}.那么只需计算出不合法的方案数即可.

显然所有不合法的方案都至少触碰过一次直线 y=x+1y=x+1

对于所有不合法的路径,我们在其第一次触碰到直线 y=x+1y=x+1 后的每一步都沿直线 y=x+1y=x+1 对称,即向右变为向上,向上变为向右,那么原本的终点 (n,n)(n,n) 就变为了 (n1,n+1)(n-1,n+1),这样,每一条能到达 (n1,n+1)(n-1,n+1) 的路径都可以与一条能到达 (n,n)(n,n) 且不合法的路径一一对应,那么不合法的方案数就是 (2nn1)\dbinom{2n}{n-1}

这个方法叫做反射容斥.

下图展示了 n=6n=6 时的一个情况,其中橘色直线是 y=xy=x,黄色直线是 y=x+1y=x+1,红色路径是一条合法路径,绿色路径是一条不合法路径,蓝色路径是绿色路径的“反射”.

第二类斯特林数

第二类斯特林数(斯特林子集数){nm}\begin{Bmatrix}n\\ m\end{Bmatrix}(也记作 S(n,m)S(n,m)),表示将 nn 个不同的元素划分为 mm 个互不区分的非空子集的方案数.

由组合意义可得递推式:

{nm}={n1m1}+m{n1m}\begin{Bmatrix}n\\ m\end{Bmatrix} =\begin{Bmatrix}n-1\\ m-1\end{Bmatrix} +m\begin{Bmatrix}n-1\\ m\end{Bmatrix}

边界为 {n0}=[n=0]\begin{Bmatrix}n\\ 0\end{Bmatrix}=[n=0]

当我们加入一个新元素时:

  • 将新元素单独放入一个子集,共 {n1m1}\begin{Bmatrix}n-1\\ m-1\end{Bmatrix} 种方案;

  • 将新元素放入一个现有的非空子集,共 m{n1m}m\begin{Bmatrix}n-1\\ m\end{Bmatrix} 种方案.

第二类斯特林数通项公式:

{nm}=i=0m(1)miini!(mi)!.\begin{Bmatrix}n\\ m\end{Bmatrix}=\sum_{i=0}^m\frac{(-1)^{m-i}i^n}{i!(m-i)!}.

证明:

考虑容斥.设将 nn 个不同元素划分到 ii 个集合(允许存在空集)的方案数为 gig_i,将 nn 个不同元素划分到 ii 个不同的集合(不允许存在空集)的方案数为 fif_i

则有

gi=in=j=0i(ij)fj.g_i=i^n=\sum_{j=0}^i\binom{i}{j}f_j.

由二项式反演

fi=j=0i(1)ij(ij)gj=j=0i(1)ij(ij)jn=j=0ii!(1)ijjnj!(ij)!.\begin{aligned} f_i&=\sum_{j=0}^i(-1)^{i-j}\binom{i}{j}g_j\\ &=\sum_{j=0}^i(-1)^{i-j}\binom{i}{j}j^n\\ &=\sum_{j=0}^i\frac{i!(-1)^{i-j}j^n}{j!(i-j)!}. \end{aligned}

由于第二类斯特林数要求集合间互不区分,所以

{nm}=fmm!=i=0m(1)miini!(mi)!.\begin{Bmatrix}n\\ m\end{Bmatrix}=\frac{f_m}{m!}=\sum_{i=0}^m\frac{(-1)^{m-i}i^n}{i!(m-i)!}.

第一类斯特林数

第一类斯特林数(斯特林轮换数)[nm]\begin{bmatrix}n\\ m\end{bmatrix}(也记作 s(n,m)s(n,m)),表示将 nn 个不同的元素划分为 mm 个互不区分的非空轮换(即圆排列)的方案数.

由组合意义可得递推式:

[nm]=[n1m1]+(n1)[n1m].\begin{bmatrix}n\\ m\end{bmatrix}=\begin{bmatrix}n-1\\ m-1\end{bmatrix}+(n-1)\begin{bmatrix}n-1\\ m\end{bmatrix}.

边界为 [n0]=[n=0].\begin{bmatrix}n\\ 0\end{bmatrix}=[n=0].

当我们加入一个新元素时:

  • 将新元素单独放入一个轮换,共 [n1m1]\begin{bmatrix}n-1\\ m-1\end{bmatrix} 种方案;

  • 将新元素放入一个现有的轮换,共 (n1)[n1m](n-1)\begin{bmatrix}n-1\\ m\end{bmatrix}

第一类斯特林数没有实用的通项公式.

分拆数

nn 拆分成 mm 个可重复且不考虑顺序的正整数之和,其方案数即为分拆数,记作 p(n,m)p(n,m).如果不限制拆分份数,其方案数记作 p(n)p(n)

简单的做法是使用动态规划递推:

法一:

fi,jf_{i,j} 为将 ii 拆分,且使用的最大数不大于 jj 的方案数,转移:

fi,jfi,j1+fij,j.f_{i,j}\gets f_{i,j-1}+f_{i-j,j}.

边界条件 f0,0=1f_{0,0}=1

事实上是一个完全背包的形式.只能计算 p(i)p(i),但是空间复杂度可以优化至一维.

法二:

fi,jf_{i,j} 表示将整数 ii 拆分为 jj 个正整数之和的方案数.转移:

fi,jfij,j+fi1,j1.f_{i,j}\gets f_{i-j,j}+f_{i-1,j-1}.

边界条件是 f0,0=1f_{0,0}=1

可以这样理解:

对于一种合法方案,其拆分出的数降序排序后可以一一对应一个序列,则我们只需求出这样的序列数.

生成这样的序列 fi,jf_{i,j} 可以通过:

  • 将原序列中的所有数加 11,共 fij,jf_{i-j,j} 种方案;

  • 在原序列末尾插入一个 11,共 fi1,j1f_{i-1,j-1} 种方案.

这样就可以计算 p(n,m)p(n,m) 了.

球盒模型

nn 个球放入 mm 个盒子的方案数问题的各种版本:

球是否相同 盒子是否相同 允许空盒 计算公式
不同 不同 允许 mnm^n
不同 不同 不允许 m!{nm}m!\cdot\begin{Bmatrix}n\\ m\end{Bmatrix}
相同 不同 不允许 (n1m1)\dbinom{n-1}{m-1}
相同 不同 允许 (n+m1m1)\dbinom{n+m-1}{m-1}
不同 相同 不允许 {nm}\begin{Bmatrix}n\\ m\end{Bmatrix}
不同 相同 允许 i=1m{ni}\displaystyle\sum_{i=1}^m\begin{Bmatrix}n\\ i\end{Bmatrix}
相同 相同 不允许 p(n,m)p(n,m)
相同 相同 允许 p(n+m,m)p(n+m,m)

证明在上文中大都有所涉及,这里不做赘述.

常用模板

O(n2)O(n^2) 计算组合数:

1
2
3
4
5
6
7
8
int n,C[N][N];
void init(){
for(int i=0;i<=n;i++){
C[i][0]=1;
for(int j=1;j<=i;j++)
C[i][j]=C[i-1][j]+C[i-1][j-1];
}
}

O(nlogV)O(n\log V) 预处理阶乘和逆元,O(1)O(1) 计算组合数:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
typedef long long ll;
constexpr int mod=998'244'353;
int n,fact[N],inv[N];
ll qpow(ll a,int b=mod-2){
ll res=1;
while(b){
if(b&1) res=res*a%mod;
a=a*a%mod;
b>>=1;
}
return res;
}
void init(){
fact[0]=1;
for(int i=1;i<=n;i++) fact[i]=ll(fact[i-1])*i%mod;
inv[n]=qpow(fact[n]);
for(int i=n-1;i>=0;i--) inv[i]=ll(inv[i+1])*(i+1)%mod;
}
ll C(int n,int m){
return ll(fact[n])*inv[m]%mod*inv[n-m]%mod;
}

习题

参考资料

普通高中教科书 数学(A 版) 选择性必修 第三册;

OI Wiki


组合数学
https://headless-piston.github.io/2026/03/15/组合数学/
作者
headless-piston
发布于
2026年3月15日
许可协议