6人集会问题

6人集会问题

“6人集会问题”是组合数学中一个经典的数学问题，也是拉姆塞理论（Ramsey Theory）的一个简单特例。问题描述如下：在任意6个人的聚会中，总是能找到3个人，他们要么彼此都认识，要么彼此都不认识。

这个问题可以用图论来表示：

• 将每个人看作图中的一个顶点。
• 如果两个人是朋友，用一条蓝色边连接他们。
• 如果两个人是陌生人，用一条红色边连接他们。

问题变成了：在一个包含 6 个顶点的完全图中（即每两个顶点之间都有一条边），如果每条边都被涂成蓝色或红色，那么一定存在一个全蓝或全红的三角形。

解答与证明

此外问题可以利用抽屉原理（鸽巢原理）和反证法解决。

假设：

假设在这 6 人中，没有任何三个人互相是朋友，也没有任何三个人互相是陌生人。

分析：

1. 任意选择其中的一位，记为 A。
   • A 和其他 5 个人之间有 5 条边，这些边要么是蓝色（表示朋友，即互相认识），要么是红色（表示陌生人，即互不认识）。
   • 根据抽屉原理（鸽巢原理），5人分2类，至少有一类是3人以上（抽屉原理）。或者说，这5条连线中至少有3条是同一种颜色。假设至少有 3 条蓝色边连接 A 和其他三个顶点 B、C、D。（如果至少有3条红色边，可以用类似方法证明。）

1. 考察这三个顶点 B、C、D：
   • 如果 B、C、D 中任意两个顶点之间有一条蓝色边，比如 BC，那么 A、B、C就形成了一个全蓝的三角形，即3个人彼此都认识。
   • 如果 B、C、D 中任意两个顶点之间没有蓝色边，那么它们之间的所有边都是红色，此时 B、C、D 就形成了一个全红的三角形，即3个人彼此都不认识。
2. 矛盾：
   无论如何分配这些关系，总会存在一个全蓝或全红的三角形，这与假设矛盾。

结论：

因此，无论如何安排这 6 人之间的关系，总能找到三个互为朋友的人，或者三个互为陌生人的人。

附、拉姆塞理论（Ramsey Theory）

“拉姆塞理论（Ramsey Theory）”是数学中的一个分支，研究的是在“足够大的系统”中，某种结构或模式的“不可避免性”。它的核心思想可以用一句话来概括：

无序中必然存在某种形式的秩序。

换句话说，无论如何安排或划分一个大到一定程度的系统，总能找到某种特定的子结构或模式。这是一种关于极端情况的数学理论，广泛应用于组合数学、图论、计算机科学和其他领域。也就是，在一定规模下，无论如何安排或划分，总能找到某种特定的结构。例如：

• 在一个足够大的社交网络中，无论如何定义“朋友”或“陌生人”的关系，总会出现某些群体，他们之间完全互相认识（朋友），或者完全互不认识（陌生人）。见上面的例子。
• 在一组数字中，无论如何对其进行分类，总会出现某些数字满足特定条件，比如等差数列【注】。

【注：假设我们有一组数字：

{1,2,3,...,9}

现在，我们将这些数字分成两类，比如涂成红色和蓝色。无论如何涂色，总能找到三个同颜色的数字，它们构成一个等差数列。

一种可能的涂色：

• 红色组：{1,4,7}
• 蓝色组：{2,3,5,6,8,9}

在红色组中，{1,4,7是一个长度为3的等差数列（公差为3）。

换一种涂色：

• 红色组：{2,5,8}
• 蓝色组：{1,3,4,6,7,9}

在红色组中，{2,5,8}是一个长度为3的等差数列（公差为3）。

总结，无论如何划分这9个数字，总能找到一组三个同颜色的数字，它们构成了一个等差数列。】

拉姆塞数（Ramsey Number） 是拉姆塞理论中的一个核心概念，用来描述在一个完全图中，无论如何给边涂色，总会出现某种特定结构的最小规模。它是离散数学和图论中的重要研究对象。

对于两个正整数 rr 和 ss，拉姆塞数 R(r,s) 是指满足以下条件的最小正整数 n：

• 对于任意包含 n 个顶点的完全图（每两个顶点之间都有一条边），如果将这些边涂成两种颜色（比如红色和蓝色），那么一定可以找到：
  1. 一个完全由红色边组成的子图，且这个子图有 r 个顶点，或者
  2. 一个完全由蓝色边组成的子图，且这个子图有 s 个顶点。

换句话说，R(r,s) 是这样一个最小值：当图的规模达到 R(r,s)，无论如何对边进行两种颜色的划分，总会出现一个全红的 r-顶点子图，或者一个全蓝的 s-顶点子图。

拉姆塞数 R(k,l) 是拉姆塞定理中提到的最小整数。计算拉姆塞数是组合数学中的一个难题，目前只有少数拉姆塞数被精确计算出来。例如：

• R(3,3)=6
• R(4,4)=18

说明：

☆ R(3,3)=6

这是最简单也是最经典的拉姆塞数问题。

问题描述：

• 在一个包含6个顶点的完全图中，将每条边涂成红色或蓝色。
• 无论如何涂色，总能找到：
  • 一个三角形，其三条边都是红色（全红三角形），或者
  • 一个三角形，其三条边都是蓝色（全蓝三角形）。

为什么是6？

• 如果只有5个顶点，则可以通过巧妙涂色避免出现全红或全蓝的三角形。
• 当有6个顶点时，无论如何涂色，都无法避免出现全红或全蓝的三角形。因此，R(3,3)=6。

☆ R(4,4)=18

问题描述：

在一个包含18个顶点的完全图中，将每条边涂成红色或蓝色。无论如何涂色，总能找到：

• 一个由4个顶点组成、所有边为红色的完全子图，或者
• 一个由4个顶点组成、所有边为蓝色的完全子图。

为什么是18？

• 如果只有17个顶点，则可以通过巧妙地涂色避免出现这样的4个同颜色顶点构成的子图。
• 当有18个顶点时，无论如何涂色，都无法避免这种情况。因此，R(4,4)=18。

☆ 更高阶情况

更复杂的问题涉及更大的参数，比如寻找 R(5,5),R(6,6),...R(5,5),R(6,6),...。这些拉姆塞数增长非常快，并且大多数具体值目前尚未确定。例如：

• 已知 R(5,5)=[43,49]，即它介于43和49之间，但具体值未知。
• 对于更高阶情况，如 R(6,6),R(7,7)，我们只能估计其上下界。

计算拉姆塞数为何困难？

拉姆塞数随着参数增大呈现指数级增长。尽管早期结果如 R(3,3),R(4,4) 看起来较小，但对于更大的参数，如 R(5,5),R(6,6)，其值迅速变得极其庞大。

计算拉姆塞数非常困难，因为它涉及到所有可能情况下对边进行着色情况的分析，而随着问题规模增大，这些情况以指数级增长。