拉姆齐定理：6人聚会必有3熟或3生

题目

在一个 6 人的聚会上，把“相识/陌生”看作每个人之间的两种关系。能否保证：一定存在 3 个人，他们两两相识；或者 3 个人，他们两两陌生？

答案与解析

能保证。 这就是拉姆齐数 $R(3,3)=6$。

证明（抽屉原理）：任取一人 A，其余 5 人与 A 的关系只有“相识/陌生”两种，必有一种至少涉及 3 人。不妨设 A 与 B、C、D 都相识。

• 若 B、C、D 中有两人彼此相识（如 B、C 相识），则 A、B、C 三人两两相识，得证；
• 若 B、C、D 两两都陌生，则这三人两两陌生，也得证。

所以 6 人必现“三熟或三生”。而 5 人时存在反例（五边形相识图），故 6 是最小保证数。

背后的数学

这是**拉姆齐理论（Ramsey Theory）**的招牌结论，核心思想：“完全无序不可能——只要规模够大，任何着色/关系中必出现某种有序子结构。” 推广到 $R(s,t)$、到多色、到无穷（ Ramsey 定理），它深刻影响了图论、逻辑与组合学，也是“从混沌中提取必然”的数学宣言。