8.11 拉姆齐定理(1929)

拉姆齐简介

  拉姆齐是英国哲学家、经济学家、数学家，剑桥大学毕业，26岁时(1930年)死于慢性肝炎。

  我不仅接触了他在数学上的成就，而且在我学习宏观经济学准备投顾考试时，又学到了他提出来的拉姆齐模型。

拉姆齐定理内容

  拉姆齐定理是说，对于任意正整数$r$，存在一个整数$N$，使得$N$个点组成的完全图$K_N$，其边着$r$种色后，一定存在一个单色三角形。

证明

  如果$r=1$，那么N只需要大于等于3就行了，因为只有一种颜色嘛，那么肯定就存在单色三角形，$r=2$的时候也有好几种选择。在$rp1$时$N$的选择很多，我们就定$N=3$。拉姆齐定理从r到N有多种方案可以选择，既然是证明存在，那我们找到其中的一种方案就完成了证明，我们定义一个符号，我们选择的这个方案，从r到N的函数关系为$N=f(r),f(1)=3$。
  再定义递归关系：$f(r)=r\cdot (f(r-1)-1)+2$。所以我们选择的函数就是以下形式：
$$f(r)=\{\begin{array}{r}r\cdot (f(r-1)-1)+2,r\ge 2\\ 3,r=1\end{array}$$
  由这个递推公式，我已经算出来了通项公式：
$$f(r)=\left[\sum _{i=1}^r\prod _{j=1}^i\left(r-j+1\right)\right]+2$$
  比如$r=4$时，$f(4)=(4+4\times 3+4\times 3\times 2+4\times 3\times 2\times 1)+2=67$。
  再使用数学归纳法证明。定义两个个符号$r^{\prime }=r-1,N^{\prime }=f(r^{\prime }-1)$，来进行数学归纳法证明。假设上面的函数在$r^{\prime }$与$N’$时是成立的。那我们只需要证明$r$与$N$的场景下也成立就可以了。
  在$K_N$任意取一个点v。因为$N=r\cdot (N^{\prime }-1)+2$，所以$v$有$r\cdot (N^{\prime }-1)+1$个邻居。我们又要用到鸽笼原理了。图是完全图，因为有$r\cdot (N^{\prime }-1)+1$个邻居，所以$v$有$r\cdot (N^{\prime }-1)+1$条边。颜色呢，最多只有$r$种，对于$v$的所有边，把所有颜色用完，每种颜色都均衡，那么每种颜色都有$N^{\prime }-1$条边，那就耗去了$r\cdot (N^{\prime }-1)$条边，还有一条边呢？只能在$r$种颜色里任选一个了。所以至少有$N^{\prime }$条边是同一种颜色。
  上述占用边数最多的颜色，就叫它红色吧。因为至少有$N^{\prime }$个邻居是红色的。这$N^{\prime }$个邻居组成完全图。现在有两种场景：
  一、这$N^{\prime }$个邻居恰好是适配$r^{\prime }$种边色的场景，也就是恰好用了除红色外的另外$r-1$种颜色（数学归纳法的假设）。这个时候我们用这$N^{\prime }$个邻居里面的同色三角形就可以了，放弃$v$和红色吧。
  二、这$N^{\prime }$个邻居没有那么巧用到了红色外的其他颜色，那么就一定有红色边，因为这$N^{\prime }$个邻居和$v$都是红色相连，那么我们就得到了一个红色三角形。
  上述两种场景，我们的证明都成立，证明完毕。
  当然，肯定还有其他的$N$和$r$映射函数，读者们可以发在评论里交流交流。