一些比较特殊的数

主要来源于教材《组合数学及其应用》

鸽笼原理

定理5.1

如果把$n+1$个物体加入到 $n$ 个盒子中，则至少有一个盒子放有两个或者更多的物体。

定理5.2

设 $q_i$ 是正整数$(i=1,2,\cdot \cdot \cdot ,n)$，$q\ge q_1+q_2+\cdot \cdot \cdot +q_n-n+1$，如果把 $q$ 个物体放入 $n$ 个盒子中，则必存在一个 $i$ ，使得第 $i$ 个盒子至少有 $q_i$ 个物体。

• 推论1： 如果把$n(r-1)+1$个物体放入 $n$ 个盒子中，则至少存在一个盒子放有不少于 $r$ 个物体。

• 推论2：对于正整数$m_i(i=1,2,\cdot \cdot \cdot ,n)$，如果
  $$\frac{{\sum }_{i=1}^n{m}_i}{n}>r-1$$
  则至少存在一个 $i$，使得 $m_i\ge r$。

---

$Ramsey$数

定义5.1

设 $a$，$b$ 为正整数，令 $R(a,b)$ 是保证有 $a$ 个人彼此相识或者有 $b$ 个人彼此不相识所需要的最少人数，则称 $R(a,b)$为$Ramsey$数。

定理5.8

当 $a,b\ge 2$ 时，$R(a,b)$ 是一个有限数，并且有 $R(a,b)\le R(a-1,b)+R(a,b-1)$。

---

$Stirling$数

1. 第一类$stirling$数

   令 $[x{]}_n=x\ast (x-1)\ast \cdot \cdot \cdot \ast (x-n+1)$

   定义4.8

   若 $[x{]}_n={\sum }_{k=0}^n{S}_1(n,k)x^k$，则称$S_1(n,k)$为第一类$stirling$数。显然，$S_1(n,k)$就是多项式$[x{]}_n$的系数。

   定理4.7

   第一类$stirling$数满足如下递归关系式：

   $$\{\begin{array}{ll}{S}_1(n+1,k)=S_1(n,k-1)-n{S}_1(n,k)& n\ge 0,k>0\\ S_1(0,0)=1,S_1(n,0)=0& \end{array}$$

   证明：
   $$[x{]}_{n+1}=\sum _{k=0}^{n+1}{S}_1(n+1,k)x^k$$
   又
   $$[x{]}_{n+1}=x\ast (x-1)\ast \cdot \cdot \cdot \ast (x-n)=[x{]}_n\ast (x-n)=\sum _{k=0}^n{S}_1(n,k)x^{k+1}-n\sum _{k=0}^n$$