组合数学复习摘要

球与盒子模型

球(n) | 盒子(m)|空|方案数

球	盒子	是否能空	方案数
同	同	是	$\frac{1}{(1-x)(1-x^2)\dots （1-x^m)}$展开式中$x^n$的系数
同	同	否	$\frac{x^m}{(1-x)(1-x^2)\dots （1-x^m)}$展开式中$x^n$的系数
同	不同	是	$C_{n+m-1}^{m-1}$
同	不同	否	$C_{n-1}^{m-1}$
不同	同	是	$$\sum _{i=1}^{m}S(n,i)$$
不同	同	否	斯特林数 $S(n,m)=S(n-1,m-1)+mS(n-1,m)$
不同	不同	是	$n^m$
不同	不同	否	$m!S(n,m)$

排列生成算法

递增进位法

中介数：$a_n\dots \dots a_2$，其中$a_i$为$i$进制。
序数：$num={\sum }_{i=2}^n{a}_i(i-1)!$
中介数：$a_2=num$%2 , $a_3=[\frac{num}{2}]$%3,……
排列：$a_i$表示$i$右边比它小的数

递减进位法

中介数：$a_2\dots \dots a_n$，其中$a_i$为$i$进制。
序数：$num={\sum }_{i=2}^n{a}_i\frac{n!}{i!}$
中介数：$a_n=num$%$n$, $a_{n-1}=[\frac{num}{n}]$%$(n-1)$,……
排列：$a_i$表示$i$右边比它小的数

字典序

中介数：$a_n\dots \dots a_2$，其中$a_i$为$i$进制
所以序数求法同递增。
排列：$a_i$表示第$i$位上的数字右边比它小的数

换位法

中介数：$a_2\dots \dots a_n$，其中$a_i$为$i$进制
所以序数求法同递减

已知排列求中介数

eg: 875132469
则5的逆序对数定义为小于它的数排列的逆序对数，即1324的逆序对数：1,则5的箭头向右。

箭头方向：定义1，2的箭头向左，而它两的逆序对数可以看作0，所以逆序对数为偶数时箭头向左，否则向右。

可得结果$\overrightarrow{8}$$\overrightarrow{7}$$\overrightarrow{5}$$\overleftarrow{1}$$\overleftarrow{3}$$\overleftarrow{2}$$\overrightarrow{4}$$\overrightarrow{6}$$\overleftarrow{9}$

此时$a_i$表示$i$箭头背离一侧比它小的数的个数
则中介数：$a_2\dots \dots a_n$=01305000

已知中介数求排列

$a_2\dots \dots a_n$=01305000
$num=108360$
$(108360-0)/9=12040|2,\therefore 9\leftarrow$
$(12040-0)/8=1505\nmid 2,\therefore 8\to$
$(1505-0)/7=215\nmid 2,\therefore 7\to$
$(215-5)/6=35\nmid 2,\therefore 6\to$
$(35-0)/5=7\nmid 2,\therefore 5\to$
$(6-2)/4=1\nmid 2,\therefore 4\to$
$(1-1)/3=0|2,\therefore 3\leftarrow$
$(0-0)/2=0|2,\therefore 2\leftarrow$

允许重复组合（n个球，挑出r个）

$1\le x_1\le x_2\le \cdots \le x_r\le n$
令 $b_i=x_i+i-1$
则有 $1\le b_1<x_2<\cdots <x_r\le n+r-1$
所以方案数为$C_{n+r-1}^r$

不相邻组合（n个球，挑出r个）

$1\le x_1<x_2<\cdots <x_r\le n$
令 $b_i=x_i-i+1$
则有 $1\le b_1<x_2<\cdots <x_r\le n-r+1$
所以方案数为$C_{n-r+1}^r$

母函数

正常（用于组合）

eg
$G(x)=(1+x+x^2)(1+x^2+x^4)\cdots$

指数型（用于排列）

eg
$G(x)=(1+\frac{x}{1!}+\frac{x^2}{2!})(\frac{x^3}{3!}+\frac{x^5}{5!})\cdots$

容斥原理

（直接用韦恩图硬搞）
eg
$|\overline{A}\cap \overline{B}\cap C|=|\overline{A\cup B}\cap C|=|C|-|C\cap (A\cap B)|=|C|-|C\cap A|-|C\cap B|+|C\cap A\cap B|$

广义容斥

$\alpha (m)$表示至少有m种性质的个数（意味着如果一个有m+1种性质，那么它会被重复计数$C_{m+1}^m$次）
$\beta (m)$表示恰好有m种性质的个数
则显然$\alpha (m)={\sum }_{k=m}^N{C}_k^m\beta (k)$
从上式可推得广义容斥原理表达式：
$\beta (m)={\sum }_{k=m}^N(-1{)}^{k-m}{C}_k^m\alpha (k)$

Mobius反演

令$f(m)={\sum }_{d|n}g(d)$
则$g(m)={\sum }_{d|n}\mu (\frac{n}{d})f(d)$
其中
$\mu (n)=\{\begin{array}{ll}1& n=1\\ 0& n=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}\cdots p_k^{{\alpha }_k},\exists {\alpha }_i>1\\ (-1{)}^k& n=p_1\cdots p_k\end{array}$

可以看出，Mobius反演和上面的广义容斥好像有相同点，我查阅资料后发现，广义容斥对应二项式反演，所以它们俩才有着这种相似的形式。

例子：可重圆排列（共m个，选n位）

设$M(d)$为周期为d，排n位的可重圆排列
（此处考虑周期是因为如n为9，那么如果周期为9，则线排列为9M(9),但如果周期为3，那线排列为3M(3)，前面乘数不同，所以要考虑）
则我们最后的结果可表示为：$Ans={\sum }_{d|n}M(d)$
而对应的线排列方案数为$dM(d)$
所有线排列组合起来，是跟$m^n={\sum }_{d|n}dM(d)$
$dM(d)={\sum }_{d|n}\mu (\frac{n}{d})m^d$

欧拉函数

$\phi (n)$表示$1\sim n$中与n互素的数的个数
如$(n,m)=0$，则$\phi (mn)=\phi (n)\phi (m)$
（即欧拉函数为积性函数）
$\phi (1)=1$
当p为素数时，$\phi (p)=p-1$，且$\phi (p^k)=p^k-p^{k-1}$
则，令$n=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}\cdots p_k^{{\alpha }_k}$
由上面四点性质，我们就很方便的知道它如何算了：
$\phi (n)=n(1-\frac{1}{p_1})(1-\frac{1}{p_2})\cdots (1-\frac{1}{p_k})$

鸽巢原理

生死有命，富贵在天
名利看淡，一切随缘

Polya定理

置换群$\overline{G}$，将$1\sim n$用m种颜色涂色，方案数为
$l=\frac{1}{|\overline{G}|}|m^{c(P_1)}+m^{c(P_2)}+\cdots +m^{c(P_l)}|$

eg

正方形分成4个格子，旋转后相同的图案视作一种图案。

1	2
4	3

(大致图案如上，我不知道咋在csdn上画正方形)
2着色，则
$P_0=(1)(2)(3)(4)$
$P_1=(1234)$
$P_2=(4321)$
$P_3=(13)(24)$

格式	置换	循环节
$(1{)}^4$	1	4
$(4{)}^1$	2	1
$(2{)}^2$	1	2

则方案数为
$l=\frac{1}{1+2+1}|1\cdot 2^4+2\cdot 2^1+1\cdot 2^2|=6$

等边三角形

$P_0=(1)(2)(3)$
$P_1=(123)$
$P_2=(321)$
$P_3=(1)(23)$
$P_4=(2)(13)$
$P_5=(3)(12)$

格式	置换	循环节
$(1{)}^3$	1	3
$(1{)}^1(2{)}^2$	3	2
$(3{)}^1$	2	1

正四面体顶点

不动：$P_0=(1)(2)(3)(4)$
固定一个顶点+顺逆时针旋转：$2\ast 4\ast P_1=(1)(234)$
绕两对边的中点连成的轴(6条边)：$3\ast P=(13)(24)$

格式	置换	循环节
$(1{)}^4$	1	4
$(1{)}^1(3{)}^1$	8	2
$(2{)}^2$	3	2

正方体面

不动：$P_0=(1)(2)(3)(4)(5)(6)$
面心-面心：$90^{\circ }:$$2\ast 3\ast P=(1)(6)(2345)$
$180^{\circ }:$$3\ast P=(1)(6)(24)(35)$
棱心-棱心(12条棱)：$6\ast P=(14)(26)(35)$
顶点-顶点：$2\ast 4\ast P=(145)(236)$

格式	置换	循环节
$(1{)}^6$	1	6
$(1{)}^2(4{)}^1$	6	3
$(1{)}^1(2{)}^2$	3	4
$(2{)}^3$	6	3
$(3{)}^2$	8	2

正方体顶点

不动：$P_0=(1)(2)(3)(4)(5)(6)(7)(8)$
面心-面心：$90^{\circ }:$$2\ast 3\ast P=(1234)(5678)$
$180^{\circ }:$$3\ast P=(13)(24)(57)(68)$
棱心-棱心(12条棱)：$6\ast P=(12)(46)(35)(78)$
顶点-顶点：$2\ast 4\ast P=(1)(7)(245)(368)$

格式	置换	循环节
$(1{)}^8$	1	8
$(4{)}^2$	6	2
$(2{)}^4$	3	4
$(2{)}^4$	6	4
$(1{)}^2(3{)}^2$	8	4

母函数形式的Polya定理

$P(G)=\frac{1}{|G|}{\sum }_{i=1}^l{\prod }_{k=1}^n(b_1^k+b{2}^k+\cdots +b_m^k{)}^{c_k(P_i)}$
原定理：
$l=\frac{1}{|\overline{G}|}|m^{c(P_1)}+m^{c(P_2)}+\cdots +m^{c(P_l)}|$

Ramsey问题

$r(a,b)=r(b,a)$
$r(a,2)=a$
$a,b\ge 2时,r(a,b)\le r(a-1,b)+r(a,b-1)$

拉丁方

令$n=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}\cdots p_k^{{\alpha }_k}$
则n阶拉丁方存在r个正交拉丁方
r = m i n { p 1 α 1 , p 2 α 2 , ⋯   , p k α k } − 1 r=min\{p_1^{\alpha _1},p_2^{\alpha _2},\cdots ,p_k^{\alpha _k}\}-1 r=min{p1α1​​,p2α2​​,⋯,pkαk​​}−1

BIBD

(b,v,r,k,$\lambda )$-设计
v个元素，分入b个子集中，使每个元素恰出现在r个子集中，每对元素恰出现在$\lambda$个子集中，其中每个子集有k个元素
$vr=bk$
$\lambda (v-1)=r(k-1)$
$b\ge v$