组合数学幻灯片2.3.ppt

下面证明式(2.6)。  由式(2.2)知N(4，2)=4。又由式(2.5)知N(3，3)=6。4，6都是偶数，故由式(2.4)知N(3，4)=N(4，3)≤N(3,3)+N(4,2)- 1=6+4-1=9  但当人数只有8时，有图2.6。这个图表明既不存在纯实线三角形，又不存在纯虚线四角形，因此有N(3，4)=N(4，3)8。故由上两式可得 N(3，4)=N(4，3)=9  故式(2.6)成立。 式(2.7)的证明如下： 由式(2.1)，(2.3)和(2.6)有 N(3，5)=N(5，3)≤N(4，3)+N(5，2)=9+5=14  但当人数只有13时，有图2.7。这个图表明既没有纯实线三角形，也没有纯虚线五角形，故有N(3，5)=N(5，3)13。因此有  N(3，5)=N(5，3)=14 故式(2.7)成立。 注意，由于图2-7的线条很多，为清楚起见，把图2-7分解为仅有实线边的图2-8和仅有虚线边的图2-9。 一般说来，求N(a,b)是一个很困难的问题，到目前为止，我们已知的Ramsey数如表2.1所示(表中，x-y表示对应的Ramsey数N(a,b)具有下界x,上界y)。 在前面的讨论a中，如果我们用红色代替实线，蓝色代替虚线，则前面的定理可以改叙如下。例如 定理2.3可以叙述成：对6个点构成的完全六角形的边用红、蓝二色任意着色，则在这个完全六角形中一定存在一个红色的三角形或者一个蓝色的三角形。 定理2.4可以改叙为：对10个点构成的完全十角形中的边用红、蓝二色任意着色，则在这个完全十角形中一定存在一个蓝色的三角形或者一个红色的完全四角形。 其他的定理可以类似地改叙等等。 如果把一个完全n角形不是用两种颜色对其边着色，而是用r种颜色 对其边任意着色。设 是保证出现下列情形之一的最小正整数：  用 颜色着色的一个完全 角形 或用 颜色着色的一个完全 角形 或用 颜色着色的一个完全 角形 则有 称数 为Ramsey数。 定理2.11 对所有大于1的整数 和 ，数 是存在的。 证明：假设用颜色 着色的所有边用蓝色表示，而用颜色 着色的所有边用红色表示。 令 ，则在完全p角形中或者有一个 纯 角形或者有一个 纯 角形。  设 ，只需证明  即可。这是因为 是有限数(存在)，于是 也是有限数(存在)。  在完全Q角形中或者有一个蓝色的纯 角形，或者有一个红色的纯p角形。如果后者出现，则在这个完全的p角形中必然有一个 纯 角形，或者有一个 纯 角形。 即是说在 个顶点的完全Q角形中，或者有一个 纯 角形，或者有一个 纯 角形，或者有一个 纯 角形，而 是具有以上性质的最小整数，故有 本定理证毕。 用类似的方法，我们可以从用三 种颜色到四种颜色，从四种颜色到五 种颜色，……，归纳得出下面的结果。  定理2.12 对任意的正整数m和 Ramsey数 是存在的。 下面，将定理再加以推广。  我们从n个人的一个集合入手，并考虑关系“相识”和“不相识”，“相识”或“不相识”是两个人之间的关系。这种关系同时定义在两个人之间的。在实际中，还有同时要求3个物体之间的关系的。例如，在平面上的三个点，我们可以说这三个点所构成的三角形或者是锐角三角形，或者是钝角三角形，或者是直角三角形，或者是平角三角形(三点共线)。  在通常情况下，我们可以从n个元素的集合着手，并且把具有r个元素的所有子集分成m个类，即 类，于是我们问，是否可以将n选择得足够大，使得我们一定能够找到：  存在 个元素，它的所有r元子集属 于 类 或者 存在 个元素，它的所有r元子集属 于 类 或者 ……………… 或者 存在 个元素，它的所有r元子 集属于 类 我们把保证上述情形之一成立的最小 正整数称作Ramsey数，记作  注意，在这之前，我们曾假设r=2， 并且没有使用符号“；r”作为Ramsey数符号的一部分。  正如所希望的一样，所有这些推广的 Ramsey数都是存在的。即有  定理2.13 对于任何正整数r