【排列组合】基础概念和运算性质

---

前言

数学，人类精神虐待。

           \qquad ~~~~~~~~~~           打油数学
毕氏三角为勾股，弦三四而后定五。
忽闻两点不可度，径方一派始圆图。
笔割纸绝悲无路，元微仍可积从头。
今时不同马非马，危机至此有还无。

---

排列 Arrangement/Permutation

由来

求$n$个不同物品放入$m$个有序位置$(n\ge m;n,m\in N^{+})$，有多少种放法。

• 对第$1$个位置，我们有$n$个物品就有$n$种放法；

  对第$2$个位置，我们在第$1$个位置放好的情况下，还剩下$(n-1)$个物品，就有$(n-1)$种放法；

  以此类推，对第$i$个位置，我们还有$(n-i+1)$个物品就有$(n-i+1)$种放法。

  而每个位置之间的物品摆放互不干扰，也就是说在计算总方法数时，前一个位置的方法数总是对后面位置的摆放呈多种可能的状态叠加，

  ​ 即$\underline{A(n,m)=a_{m}A(n-1,m-1)}$，$A(x,y)$代表$x$个物品放入$y$个位置的总方法数，$a_m$代表第$m$个位置的方法数，并且$a_m=\frac{A(n,m)}{A(n-1,m-1)}=n$。由此我们可以特别地规定：
  $$ify=0，\forall x\in N,A(x,0)=1$$因为当位置消失时，我们不必再继续排列，此时为了保证运算结果不变，令其为$1$。
  因此我们可推：
  $$\begin{array}{rl}A(n,m)& =\prod _{i=0}^{m-1}{a}_{n-i}\\ & =\prod _{i=0}^{m-1}\frac{A(n-i,m-i)}{A(n-i-1,m-i-1)}\\ & =n\times (n-1)\times (n-2)\times \cdots \times (n-m+1)\end{array}$$

定义

​ 从$n$个不同元素中，任取$m(m\le n;m,n\in N^{+})$个不同的元素按照一定的顺序排成一列，叫做从$n$个不同元素中取出$m$个元素的一个排列；

​ 从$n$个不同元素中取出$m(m\le n)$个元素的所有排列的个数，叫做从$n$个不同元素中取出$m$个元素的排列数。符号记为$\underline{A_n^m}或A(n,m)$【中】;$\underline{{}_n{P}_m{或}^n{P}_m}或P(n,m)或P_m^n$【欧美】 (n permute m)。

​ 特别地，当$n=m$时，所有的排列情况叫全排列，符号记为：
$$A_n^n=n!=\prod _{i=1}^{n}i$$
​ 于是，$A_n^m=\frac{n!}{(n-m)!}$ 。由此规定，$0!=1$ 。

---

组合 Combination

由来

求$n$个不同物品放入$m$个无序位置$(n\ge m;n,m\in N^{+})$，有多少种放法。

思路1：位置无序，则该问题等价于" 从$n$个不同物品中选出$m$个物品，有多少种选法 “。这样想，排列的问题就相当于” 从$n$个不同物品中选出$m$个物品，对这$m$个物品进行全排列 "，我们可以就这个等价关系为突破口求解该问题。

• 由组合可推排列，得：
  $$\begin{gathered} C(n,m)\cdot A_m^m=A_n^m \\ C(n,m)=\frac{A_n^m}{A_m^m} \end{gathered}$$

  $C(x,y)$代表$x$个不同物品中选出$y$个物品的总方法数。

  因此我们可推：
  $$C(n,m)=\frac{n!}{(n-m)!\cdot m!}$$由此我们规定，
  $$ify=0，\forall x\in N,C(x,0)=1$$

定义

​ 从$n$个不同元素中，任取$m(m\le n)$个元素并成一组，叫做从$n$个不同元素中取出$m$个元素的一个组合；

​ 从$n$个不同元素中取出$m(m\le n)$个元素的所有组合的个数，叫做从$n$个不同元素中取出$m$个元素的组合数。符号记为$\underline{C_n^m}或C(n,m)$【中】;$\underline{{}_n{C}_m{或}^n{C}_m}或C(n,m)或C_m^n或\underline{\left(\begin{array}{c}n\\ m\end{array}\right)}$【欧美】 读作$nchoosem$。

​ 所以特别地，$C_n^0=1$ 。

---

运算性质

组合公式Ⅰ

$$C_n^m=C_n^{n-m}$$

• 当我们思考" 从$n$个物品中选出$m$个物品 “时，事实上，这个问题等价于” 从$n$个物品中挑出$n-m$个物品 "：
  $$C_n^m\equiv C_n^{n-m}$$

• 根据组合计算法则 $C_n^m=\frac{A_n^m}{A_m^m}=\frac{n!}{(n-m)!m!}$：
  $$\begin{array}{rl}{C}_n^{n-m}& =\frac{A_n^{n-m}}{A_{n-m}^{n-m}}\\ & =\frac{n!}{[n-(n-m)]!(n-m)!}\\ & =\frac{n!}{m!(n-m)!}\end{array}$$所以，$C_n^m=C_n^{n-m}$

组合公式Ⅱ

$$C_n^m=C_{n-1}^{m-1}+C_{n-1}^m$$

• 当我们确定一个物品$($假定为第$1$个物品$)$的选取状态，可将组合$C(n,m)$分解成"第$1$个物品选中"和"第$1$个物品不选"两个部分：
  $$C_n^m=C_{n-1}^{m-1}+C_{n-1}^m$$
  即 当第$1$个物品被选中，就从$n-1$个物品中选 $m-1$个物品 和 当第$1$个物品不选，就从$n-1$个物品中选 $m$个物品 。

• 根据组合计算法则 $C_n^m=\frac{A_n^m}{A_m^m}=\frac{n!}{(n-m)!m!}$：
  $$\begin{array}{rl}{C}_{n-1}^{m-1}+C_{n-1}^m& =\frac{A_{n-1}^{m-1}}{A_{m-1}^{m-1}}+\frac{A_{n-1}^m}{A_m^m}\\ & =\frac{(n-1)!}{(n-m)!(m-1)!}+\frac{(n-1)!}{(n-1-m)!m!}\\ & =\frac{(n-1)!\cdot m}{(n-m)!m!}+\frac{(n-1)!\cdot (n-m)}{(n-m)!m!}\\ & =\frac{(n-1)!\cdot (m+n-m)}{(n-m)!m!}\\ & =\frac{n!}{(n-m)!m!}\end{array}$$所以$C_n^m=C_{n-1}^{m-1}+C_{n-1}^m$

组合公式Ⅲ

$$C_n^0+C_n^1+C_n^2+\cdots +C_n^n=2^n$$

• （方法一）
  根据组合公式Ⅱ $C_n^m=C_{n-1}^m+C_{n-1}^{m-1}(0<m<n,m\in N)$，$C_n^0=C_{n-1}^0$，$C_n^n=C_{n-1}^{n-1}$，可推出：
  $$\begin{array}{rl}\sum _{i=0}^n{C}_n^i& =C_n^0+\left(\sum _{i=0}^{n-2}{C}_{n-1}^i+C_{n-1}^{i+1}\right)+C_n^n\\ & =C_{n-1}^0+(C_{n-1}^0+C_{n-1}^1)+\cdots +(C_{n-1}^{n-2}+C_{n-1}^{n-1})+C_{n-1}^{n-1}\\ & =2\sum _{i=0}^{n-1}{C}_{n-1}^i\end{array}$$令$f(n)={\sum }_{i=0}^n{C}_n^i$，则有$f(n)=2f(n-1)\Rightarrow \frac{f(n)}{f(n-1)}=2$，则
  $$f(n)=f(0)\prod _{i=1}^n\frac{f(n+1-i)}{f(n-i)}=2^{n}f(0)$$因为 $f(0)=C_0^0=1$，于是等式得证。

• （方法二）
  我们找到多项式$p(x)=(x+1{)}^n$，并有：
  $$p^{\ast }(x)=\prod _{i=1}^n(x_i+1)$$假设$p(x)$展开式为：
  $$p(x)=\sum _{i=0}^n{a}_i{x}^i$$​根据组合原理，则 $p(x)$ 展开式中 $k$ 次项 $x^k$ 对应 $p^{\ast }(x)$ 中的项为 $x_{i_1}{x}_{i_2}\cdots x_{i_k}(i_m\le n,i_m\in N^{+})$，即等价于从 { x 1 , x 2 , ⋯   , x n } \{x_1,x_2,\cdots,x_n\} {x1​,x2​,⋯,xn​}中选出$k$个元素相乘。所以，$p^{\ast }(x)$中集合 { x i 1 x i 2 ⋯ x i k ∣ i ≤ n , i ∈ N + , } \{x_{i_1}x_{i_2}\cdots x_{i_k} | i\le n,i \in N^+,\} {xi1​​xi2​​⋯xik​​∣i≤n,i∈N+,}所包含的元素个数，就对应于$p(x)$展开式中的$k$次项系数，相当于从$n$个相异元素中选出$k$个元素的方法数：$C_n^k$。

  ​于是，我们可得：
  $$(x+1{)}^n=\sum _{i=0}^n{C}_n^i{x}^i$$令$x=1$，则可得系数和：
  $$\sum _{i=0}^n{C}_n^i=2^n$$等式得证。

组合公式Ⅳ

$$C_m^m+C_{m+1}^m+\cdots +C_n^m=C_{n+1}^{m+1}$$

• 根据组合公式Ⅱ，$C_n^i=C_{n-1}^{i-1}+C_{n-1}^i$，

  令$C_n^m=f(n,m)$，则
  $$\{\begin{array}{rl}f(n,m)& =f(n-1,m)+f(n-1,m-1)\\ f(n-1,m)& =f(n-2,m)+f(n-2,m-1)\\ & \cdots \\ f(m+1,m)& =f(m,m)+f(m,m-1)=f(m-1,m-1)+f(m,m-1)\end{array}$$辗转代换可得：
  $$\begin{array}{rl}f(n,m)& =\sum _{i=0}^{n-m}f(m-1+i,m-1)\\ & =\sum _{i=0}^{n-m}{C}_{m-1+i}^{m-1}\end{array}$$即
  $$C_n^m=C_{n-1}^{m-1}+C_{n-2}^{m-1}+\cdots +C_{m-1}^{m-1}$$等价于所证等式。

组合公式Ⅴ

$$\sum _{i=0}^k{C}_n^i{C}_m^{k-i}=C_{n+m}^k$$

• 有两堆不同物品，一堆数量为$n$，另一堆数量为$m$。$\forall s\le k,s\in N$，当从这两堆物品中的一堆选取$s$个物品，就从另一堆选取$k-s$个物品的总方法数，等价于从一堆数量为$n+m$的相异物品中选出$k$个物品的方法数。

• （归纳法）

  ①当$k=0或1$时，显然结论成立；

  ②假设结论在$k=p-1$时成立，则当$k=p$时
  $$\begin{array}{rl}\sum _{i=0}^p{C}_n^i{C}_m^{p-i}& =C_n^p{C}_m^0+\sum _{i=0}^{p-1}{C}_n^i(C_{m-1}^{p-1-i}+C_{m-1}^{p-i})\\ & =C_n^p{C}_m^0+\sum _{i=0}^{p-1}{C}_n^i{C}_{m-1}^{p-i}+\underline{\sum _{i=0}^{p-1}{C}_n^i{C}_{m-1}^{p-1-i}}(根据假设，可化简)\\ & =C_n^p{C}_{m-1}^0+\sum _{i=0}^{p-1}{C}_n^i{C}_{m-1}^{p-i}+\underline{C_{n+m-1}^{p-1}}\\ & =\sum _{i=0}^p{C}_n^i{C}_{m-1}^{p-i}+C_{n+m-1}^{p-1}\end{array}$$由此可推得，
  $$\begin{array}{r}\sum _{i=0}^p{C}_n^i{C}_m^{p-i}=\sum _{i=0}^p{C}_n^i{C}_p^{p-i}+\sum _{i=n+p}^{n+m-1}{C}_i^{p-1}\end{array}\text{\hspace{1em}(1)}$$同理，
  $$\begin{array}{rl}\sum _{i=0}^p{C}_n^i{C}_p^{p-i}& =C_n^0{C}_p^p+\sum _{i=1}^p(C_{n-1}^i+C_{n-1}^{i-1})C_p^{p-i}\\ & =C_n^0{C}_p^p+\sum _{i=1}^p{C}_{n-1}^i{C}_p^{p-i}+\sum _{i=1}^p{C}_{n-1}^{i-1}{C}_p^{p-i}\\ & =C_{n-1}^0{C}_p^p+\sum _{i=1}^p{C}_{n-1}^i{C}_p^{p-i}+\underline{\sum _{i=0}^{p-1}{C}_{n-1}^i{C}_p^{p-1-i}}(根据假设，可化简)\\ & =\sum _{i=0}^p{C}_{n-1}^i{C}_p^{p-i}+\underline{C_{n+p-1}^{p-1}}\end{array}$$由此可推得，
  $$\begin{array}{r}\sum _{i=0}^p{C}_n^i{C}_p^{p-i}=\sum _{i=0}^p{C}_p^i{C}_p^{p-i}+\sum _{i=2p}^{n+p-1}{C}_i^{p-1}\end{array}\text{\hspace{1em}(2)}$$根据假设，可得
  $$\sum _{i=0}^{p-1}{C}_p^i{C}_{p-1}^{p-1-i}=C_{2p-1}^{p-1}$$则有
  $$\begin{array}{rl}\sum _{i=0}^p{C}_p^i{C}_p^{p-i}& =2C_p^0{C}_p^p+\sum _{i=1}^{p-1}{C}_p^i(C_{p-1}^{p-i}+C_{p-1}^{p-1-i})\\ & =2C_p^0{C}_p^p+\sum _{i=1}^{p-1}{C}_p^i{C}_{p-1}^{p-i}+\sum _{i=1}^{p-1}{C}_p^i{C}_{p-1}^{p-1-i}\\ & =C_p^0{C}_p^p+\underline{\sum _{i=1}^{p-1}{C}_{p-1}^i{C}_p^{p-i}}(变形以合并)+\underline{C_p^0{C}_{p-1}^{p-1}+\sum _{i=1}^{p-1}{C}_p^i{C}_{p-1}^{p-1-i}}(合并)\\ & =\underline{C_{p-1}^0{C}_p^p+\sum _{i=1}^{p-1}{C}_{p-1}^i{C}_p^{p-i}}(合并)+\underline{\sum _{i=0}^{p-1}{C}_p^i{C}_{p-1}^{p-1-i}}\\ & =\sum _{i=0}^{p-1}{C}_{p-1}^i{C}_p^{p-i}+C_{2p-1}^{p-1}\end{array}$$同理，可推得
  $$\begin{array}{rl}\sum _{i=0}^p{C}_p^i{C}_p^{p-i}& =C_0^0{C}_p^p+\sum _{i=p}^{2p-1}{C}_i^{p-1}\\ & =C_{p-1}^{p-1}+\sum _{i=p}^{2p-1}{C}_i^{p-1}\\ & =\sum _{i=p-1}^{2p-1}{C}_i^{p-1}\end{array}\text{\hspace{1em}(3)}$$结合$(1)(2)(3)$式，即
  $$\begin{array}{rl}\sum _{i=0}^p{C}_n^i{C}_m^{p-i}& =\sum _{i=p-1}^{n+m-1}{C}_i^{p-1}\\ & =C_{p-1}^{p-1}+C_p^{p-1}+\cdots +C_{n+m-1}^{p-1}\end{array}$$根据组合公式Ⅳ，得
  $$\sum _{i=0}^p{C}_n^i{C}_m^{p-i}=C_{n+m}^p$$于是，结论得证。

组合公式Ⅴ的推广(1)

$$\sum _{i=0}^m{C}_m^i{C}_m^{m-i}=C_{m-1}^{m-1}+C_m^{m-1}+\cdots +C_{2m-1}^{m-1}=C_{2m}^m$$

• 由组合公式Ⅴ，我们显然可得
  $$\sum _{i=m}^n{C}_i^m{C}_i^{m-i}=C_{2m}^m$$由组合公式Ⅳ，可得
  $$C_{2m}^m=C_{m-1}^{m-1}+C_m^{m-1}+\cdots +C_{2m-1}^{m-1}$$等式得证。

组合公式Ⅴ的推广(2)

$$\sum _{a_1+a_2+\cdots +a_k=k,a_i\in N}{C}_{n_1}^{a_1}{C}_{n_2}^{a_2}\cdots C_{n_k}^{a_k}=C_{n_1+n_2+\cdots +n_k}^k$$

仅仅是根据组合公式Ⅴ的一个猜想，具体证明有待后续。

---

组合数的奇偶

---

物品分堆

$n$个相异物件分成$k$堆，各堆物件数分别为$r_1,r_2,\cdots ,r_k$，有多少种方法。

• 由已知得$r_1+r_2+\cdots +r_k=n$，先取
  $$\begin{gathered} C_n^{r_1}{C}_{n-r_1}^{r_2}{C}_{n-r_1-r_2}^{r_3}\cdots C_{n-r_1-r_2-\cdots -r_{k-1}}^{r_k} \\ =\frac{n(n-1)\cdots (n-r_1+1)}{r_1!}\cdot \frac{(n-r_1)(n-r_1-1)\cdots (n-r_1-r_2+1)}{r_2!}\cdots \frac{(n-r_1-\cdots -r_{k-1})(n-r_1-\cdots -r_{k-1}-1)\cdots 1}{r_k!} \\ =\frac{n!}{r_1!r_2!\cdots r_k!}=\frac{n!}{{\prod }_{i=1}^k{r}_i!} \end{gathered}$$

---

循环排列

​ 从$n$个元素中取出$m$个元素的循环排列数$=\frac{A(n,m)}{m}=\frac{n!}{m\cdot (n-m)!}$。$n$个元素被分成$k$类，每类的个数分别是$n_1,n_2,\cdots ,n_k$这$n$个元素的全排列数为$\frac{n!}{n_1!\times n_2!\times \cdots \times n_k!}$。$k$类元素，每类的个数无限，从中取出$m$个元素的组合数为$C(m+k-1,m)$。

---

错位排列

未完待续