我们如何研究构造与随机性之间的边界？数学中充满了这种征象，比如在非线性动力学和呈现过程的领域中。还有一些科学领域涉及混沌理论（Chaos Theory），比如景象系统。在我看来，这便是数学和科学变得最有趣的地方！
这个迷人的边界可能涌如今最意想不到的地方，比如被称为图论（graph theory）的高度构造化的数学领域。
如果你对图论有所理解，这可能会让你感到惊异。这个数学的子领域充满了严格的布局和高度有序的网络。通过轻微改变规则，我们可以得到一个丰富而俏丽的数学领域，它处理秩序与混沌的边界。这便是所谓的拉姆齐理论（Ramsey Theory），以英国精彩的数学家弗兰克·拉姆齐的名字命名。拉姆齐不幸在26岁时就去世了，但他的事情永久改变了数学。
弗兰克·拉姆齐，拉姆齐理论的创始人
维基百科对拉姆齐理论有一个有趣的定义。它被定义为一个数学领域
专注于秩序的涌现
全文有更长的描述，但我喜好这个摘录。它险些是诗意的。这个定义简洁地总结了它，但它并没有见告我们拉姆齐理论真正的含义。这便是这篇文章要做的。我首先要讲解图论的根本知识。然后我会讲述拉姆齐的变革（它涉及到着色！
）。图论
要理解拉姆齐理论，我们首先须要理解图论。这是一个处理网络的数学领域，在打算机科学中常用。实际上，它始于欧拉著名的“哥尼斯堡七桥问题”。
哥尼斯堡城（现在位于俄罗斯，当时属于普鲁士）被普雷格尔河分为四个部分，这四部分通过七座桥连接。问题是：是否有可能从城市的一个区域出发，穿越每一座桥恰好一次，然后回到出发点或者结束于另一个地点。换句话说，便是探求一条路径，它恰好经由每一座桥一次。
K_3示例图
上图有三个节点和三条边。节点标记为A、B和C，边将它们相互连接。事实上，这是一种分外类型的图，所有节点都相互连接，称为K_3。你可以想象一个修正过的版本的K₃图，个中至少有一对节点之间没有边相连。这样的图在图论中仍旧是一个有效的图形，但它就不再是一个完备图（即不是K_3图）了。
K_4示例图
实际上，可能有无限多的图。图中的每个节点不须要通过边与另一个节点相连。图论有许多有趣的运用！
我们说这个图不是完备图，由于不是每个节点都相互连接，图论的代价在于它作为剖析和理解各种网络和连接的强大工具。这个数学分支通过节点（代表点或顶点）和边（连接线）来仿照和简化现实天下中的繁芜系统。这种简化手段使得我们能够清晰地识别和理解系统的核心构造及其组成部分之间的相互浸染。
图论许可我们将繁芜的系统看作是由多个相互连接的工具组成的网络。在这个框架下，工具可以是网络中的任何实体（如个人、打算机或城市），而它们之间的关系则通过边来表示。这种方法有效地将现实生活中的繁芜关系转化为更随意马虎剖析和理解的数学模型。
此外，图论中的“有向边”观点为表示方向性供应了可能，使其成为描述具有明确方向流动（如单向道路或数据流）的空想工具。有向图（其边具有确定方向的图）可以更精确地描述出信息或工具在系统内的流动方向。
下面，我们将深入研究拉姆齐理论。
拉姆齐理论
为了阐述拉姆齐理论的构造，我们须要在上述图形中添加一些新元素。我们将创建多种不同类型的边，每种边用不同的颜色表示。现在，我仅利用赤色和蓝色的边。拉姆齐理论有多种颜色的版本，但为了本文的目的，我将保持大略。
带有彩色边的K_4
现在，图形有了更多元素。我们可以根据边的颜色来布局子图。详细来说，如果我们有一个由不同颜色的边组成的图，我们可以选择这些边中的一种颜色，并利用这些特定颜色的边及其连接的节点来创建一个新的、更小的图，即子图。
子图是从原始图中选取一部分节点和边构成的。例如，假设原图中有赤色和蓝色的边，我们可以选择所有赤色的边及其连接的节点来形成一个子图；同理，选择所有蓝色的边及其连接的节点也可以形成另一个子图。这样，我们就根据边的颜色，从原图等分离出了两个不同的子图。
在创建这些子图的过程中，我们保留并重用了原图中的节点。这意味着，只管子图只包含原图的一部分元素（即特定颜色的边和相连的节点），但这些节点在原图中仍旧存在，坚持了子图与原图之间的关联性。
将上面的图形分割成两个子图
这两个子图被称为“包含在”上面的原始彩色图中。它们保持相同的构造，只是个中的一部分。这两个图都不是完备图，由于一些节点没有连接。这与它们所包含的主图形成比拟。
我们现在准备好了用一个详细的例子来展示拉姆齐理论的运用。想象一下，有六个朋友被约请参加同一个派对。在这群朋友中，有的相互认识，有的则不认识。为了描述这种社交关系，我们可以利用图论的方法。在这个图中，每个人都由一个节点表示，而他们之间的相识或不相识的关系则通过连接这些节点的边来表示。
为了区分朋友之间的不同关系，我们可以利用两种颜色的边：蓝色边表示两个人相互认识，赤色边则表示他们彼此不认识。通过这种办法，这个图就变成了一个展示朋友间关系网络的视觉模型。在这个模型中，每个节点（代表一个朋友）都通过蓝色或赤色的边与其他节点（其他朋友）相连，形成了一个揭示了他们之间已知和未知联系的繁芜网络。这个网络为我们供应了一个实际的场景来运用拉姆齐理论，从而创造个中的一些数学性子和模式。
这便是拉姆齐理论的用武之地。弗兰克·拉姆齐证明了一个定理，无论如何，总会有三个人彼此认识或彼此不认识。这有点奇怪，边的排列办法有这么多种可能！
这怎么可能被证明呢？所有边都相连的子图被称为“团（clique）”。由于每个人要么相互认识，要么不认识，以是每对节点之间都有一条边。你能在那里找到一个由相同颜色边连接的三人小组吗？
这个图中实际上有多个三人小组。个中一个是在节点A、B和E之间。它们都通过赤色边连接，以是这是一个由三个陌生人组成的小组。在这个图中，实际上还有另一个三人小组：D、E和F。这个小组由蓝色边连接，以是他们都相互认识。无论我们如何设置颜色，总会有这样的子图存在。
这些子图总是存在彷佛非常奇怪。用不同颜色设置这个图形有2^15种不同的办法，这是一个超过3万的数字！
然而，拉姆齐理论证明，在每一个构型中，总有一个由三个全红或全蓝的组成的小组。当我第一次听说这个时，我真的不相信。我花了一段韶光试图找到一个反例。终极，我放弃了并接管了这个事实。
拉姆齐理论在更大的图中变得更加繁芜
提高繁芜度
我刚才展示的是一个相对较小的图。该图包含6个节点和两种颜色的边。在这种情形下，我们关注的是所谓的拉姆齐数（Ramsey Number），利用符号表示为R(3, 3)。这个表达式中的两个数字3表示我们在图中探求的是一个包含三个节点的子图，这些节点全部通过同色（赤色或蓝色）的边相连。因此，这个拉姆齐数R(3, 3)=6的含义是，在一个有6个节点的图中（完备图），无论如何着色边，总能找到一个全由同色边连接的三个节点的子图。实际运用到社交场景中，这意味着如果有六个人参加派对，总会存在一个三人小组，他们之间要么全部相识（赤色连接），要么完备不相识（蓝色连接）。
数学家已经打算出R(4, 4)=18。以是如果我们约请18人参加派对，那里会有一个大小为4的小组，他们要么都是朋友，要么都是陌生人。让人惊异的是，R(4, 4)是目前已知的最高值。R(5, 5)是未知的。我们只知道R(5, 5)在43到48位客人之间。
这为什么这么难以打算？假设有一个包含43个节点的图。这意味着有2^903种不同可能的赤色和蓝色边的排列！
这个数字是巨大的！
纵然利用最强大的超级打算机打算所有可能的排列也须要超过宇宙的年事。当然，数学家已经想出了各种奥妙的技巧来试图找到这个数字。这便是为什么我们有一系列的预测。这些论证背后的证明超出了本文的范围，但我在末了供应的一些链接可以帮助你开始。
纵然在纯粹的混沌中，总会涌现某种形式的秩序
拉姆齐理论表明，无论系统多么混乱，总会在个中存在有序的部分。这是一个非常强大的声明，可以扩展到各种运用中。
