组合数

由于博主数学水平有限，以下的一些证明可能不是很准确，还望读者指出。

定义

从 $n$ 个不同元素中取出 $m$ 个组成一个集合（不考虑顺序），产生的不同集合数量就是组合数，记作 $C_n^m$。

一些性质

---

1. 通式：$C_n^m=\frac{n!}{m!(n-m)!}$

我们从 $n$ 个元素中取 $m$ 个，那么第 $1$ 个有 $n$ 种选法，第 $2$ 个有 $(n-1)$ 种选法，以此类推，第 $k(k\in [1,m])$ 个有 $(n-k+1)$ 种选法，故应是 $\prod _{i=1}^m(n-i+1)=\frac{n!}{(n-m)!}$。

但是由于不考虑顺序，而最后选出的每一种方案都对应着 $m!$ 种顺序（因为有 $m$ 个），所以还要除以 $m!$，即最后的表达式为 $\frac{n!}{m!(n-m)!}$。

---

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

我们每次从 $n$ 个元素中取出 $m$ 个，那么剩下的 $(n-m)$ 个元素也组成一个集合，这两个集合一一对应，所以从 $n$ 个中取 $m$ 个和取 $(n-m)$ 个的方案数是一样的。

其实也可以用通式来说明啦。

---

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

考虑是否取第 $n$ 个元素。若取第 $n$ 个元素，那我们就要从剩下的 $(n-1)$ 个元素中选出 $(m-1)$ 个来，即 $C_{n-1}^{m-1}$。同理，若不取第 $n$ 个元素，那我们就要从剩下的 $(n-1)$ 个元素中选出 $m$ 个来，即 $C_{n-1}^m$。加起来就是 $C_n^m$。

这个公式可以让我们在 $n^2$ 的时间内预处理出组合数（就是杨辉三角）。

---

4. $\sum _{i=0}^n{C}_n^i=2^n$（即 $C_n^0+C_n^1+C_n^2+\cdots +C_n^n=2^n$）

每个元素都有 $2$ 种取法（要么取，要么不取），所以总方案数是 $2^n$。

而 $\sum _{i=0}^n{C}_n^i$ 代表的就是总方案数，那就是 $2^n$，故原式得证。

---

5. $\sum _{i=m}^n{C}_i^m=C_{n+1}^{m+1}$（即 $C_m^m+C_{m+1}^m+\cdots +C_n^m=C_{n+1}^{m+1}$）

由于 $C_m^m=C_{m+1}^{m+1}=1$，那前两项就可以化为 $C_{m+1}^{m+1}+C_{m+1}^m$。

然后通过性质 $3$ 可知 $C_{m+1}^{m+1}+C_{m+1}^m=C_{m+2}^{m+1}$，然后与第 $3$ 项 $C_{m+2}^m$ 合并可得 $C_{m+3}^{m+1}$，依此类推。

那最后一一合并下来就是 $C_{n+1}^{m+1}$。

这个公式的推论：$\sum _{i=l}^r{C}_i^m=C_{r+1}^{m+1}-C_l^{m+1}$

运用前缀和的思想，$\sum _{i=m}^{l-1}{C}_i^m=C_l^{m+1}$，$\sum _{i=m}^r{C}_i^m=C_{r+1}^{m+1}$。

所以 $\sum _{i=l}^r{C}_i^m=\sum _{i=m}^r{C}_i^m-\sum _{i=m}^{l-1}{C}_i^m=C_{r+1}^{m+1}-C_l^{m+1}$。

那么运用这个公式可以求出$“$一段$”$组合数之和。

---

6. 二项式定理：$(a+b{)}^n=\sum _{i=0}^n{C}_n^i{a}^i{b}^{n-i}$

用数学归纳法证明。当 $n=1$ 时，$(a+b{)}^1=C_1^0{a}^0{b}^1+C_1^1{a}^1{b}^0=a+b$ 成立。

现在假设当 $n=m$ 时该定理成立，那么当 $n=m+1$ 时：

$(a+b{)}^{m+1}=(a+b)(a+b{)}^m$

$=(a+b)\sum _{i=0}^m{C}_m^i{a}^i{b}^{m-i}$

$=\sum _{i=0}^m{C}_m^i{a}^{i+1}{b}^{m-i}+\sum _{i=0}^m{C}_m^i{a}^i{b}^{m-i+1}$

$=\sum _{i=1}^{m+1}{C}_m^{i-1}{a}^i{b}^{m-i+1}+\sum _{i=0}^m{C}_m^i{a}^i{b}^{m-i+1}$

$=\sum _{i=0}^{m+1}(C_m^{i-1}+C_m^i)a^i{b}^{m-i+1}$

$=\sum _{i=0}^{m+1}{C}_{m+1}^i{a}^i{b}^{m+1-i}$

证毕。

---

7. Lucas 定理

若 $p$ 是质数，则对于任意整数 $1\le m\le n$ 有（为了方便，用 $\%$ 代表取模，用 $/$ 代表整除）

$$C_n^m\equiv C_{n\%p}^{m\%p}\times C_{n/p}^{m/p}(\mathrm{mod}p)$$

这个定理我还不会证，有时间去学一下。

这个公式可以让我们在 $\log$ 的时间内求出 $n,m$ 较大但 $p$ 较小时的组合数。

---

8. $\sum _{i=0}^n(C_n^i{)}^2=C_{2n}^n$

$$\begin{array}{rl}(1+x{)}^{2n}& =(1+x{)}^n\cdot (1+x{)}^n\\ & =(C_n^0+C_n^{1}x+\cdots +C_n^n{x}^n)\cdot (C_n^0+C_n^{1}x+\cdots +C_n^n{x}^n)\\ & =\cdots +(C_n^0{C}_n^n+C_n^1{C}_n^{n-1}+\cdots +C_n^k{C}_n^{n-k}+\cdots +C_n^n{C}_n^0)x^n\\ & =\cdots +(C_n^0{C}_n^0+C_n^1{C}_n^1+\cdots +C_n^k{C}_n^k+\cdots +C_n^n{C}_n^n)x^n\end{array}$$

即 $x^n$ 的系数就是我们要求的。又

$$(1+x{)}^{2n}=\sum _{i=0}^{2n}{C}_{2n}^i{x}^i$$

则可知 $x^n$ 的系数是 $C_{2n}^n$，故成立。

变式：若$n<m$，则$\sum _{i=0}^n{C}_n^i{C}_m^i=C_{n+m}^n$，推导过程同理。

---