1705580490
1705580491
有许多方法可以解决这个问题。最简单的方法可能是首先把它转变成与一个图有关的问题，与欧拉在解决哥尼斯堡七桥问题时的做法类似。在这种情况下，用顶点或点代表派对参与者。若两个人彼此相识，就用实心的边或线把他们连接起来；否则用虚线连接。每一个顶点与其他各顶点都有一条实线或虚线相连。如果一个图里每一个顶点都与其他的顶点相连，这种图叫作完全图。
1705580492
1705580493
如果3个人都互相认识，图中就会包含一个实线三角形；如果3人皆相互陌生，则图中将包含一个虚线三角形。派对问题于是被简化为：图中的边能否用这样的方法画出来，使得其中既无实线三角形也无虚线三角形。
1705580494
1705580495
1705580496
1705580497
1705580498
图4-9 派对问题里的关系用一个图来代表。朋友之间由实线相连，生人之间由虚线相连。能否画出一个图形既无实线三角形也无虚线三角形？
1705580499
1705580500
回答这个问题的一个方法就是仔细地检查每一个可能的派对图，看看是否存在既无实线三角形也无虚线三角形的图。这么做有多困难？图形中包含15条边。（你能够用两种方法确定这些边的数目，要么从图上直接数出它们，要么注意6个顶点中的每一个顶点与另外的5个顶点相连，这样共给出30条边。但是这个方法把每一个顶点都数了2次——AB和BA都包括进去了，因此你必须除以2，这样就给出了正确答案——15条边。）15条边中的每一条都要么是实线要么是虚线，因而图的总数就第一条边来说是2，就第二条边来说则要乘以2，就第三条边来说要再乘以2倍，如此直到第十五条边。即为2的15次幂或215，这样产生了32 768个图形！计算机可以迅速地检查所有的这些图，但是许多人在远远没有完成这种检查之前可能头发就掉光了。
1705580501
1705580502
稍微借助一点逻辑就能避免这样的自动脱发。首先把你的注意力集中于一个顶点。具体地，将这个顶点记为A。
1705580503
1705580504
像其他所有顶点一样，顶点A由实线或虚线与其他每一个顶点相连。显然这5个边中至少有3个必是实的或必是虚的——如果实边数少于3，则虚边数就会大于3。在图4-10中，我们从A引出3条实边（如果我们假定这些边是虚的，则论证相同）。剩余的边无关紧要。
1705580505
1705580506
1705580507
1705580508
1705580509
图4-10 如果从A引出的3条边是实（或虚）线，避免实（或虚）线三角形的结果却产生了虚（或实）线三角形。
1705580510
1705580511
牢记我们在努力避免画出实线三角形或虚线三角形。如果EC，ED或DC这3条边中有一条是实线，结果就会产生一个实线三角形。因此这3条边中必须是没有一条实线：所有3条边必须是虚线。但是这些边本身却构成了一个三角形ECD！在极力避免画出实线三角形的同时却画出了一个虚线三角形。如果我们以与A相连的3条虚线开始我们就会被迫画出一个实线三角形。这恰恰是我们所要着手证明的：在包含6个点（人）的完全图（派对）中，必定有一个实线三角形（3个人互相认识）或一个虚线三角形（3个人互相陌生）。
1705580512
1705580513
拉姆齐的定理是派对问题的推广。这个定理说，随着派对越来越大，相互认识或相互陌生的人群也会越来越大，这是不可避免的。这些不断增加的、巨大的、必然的朋友或生人群具有与克莱因问题中的凸多边形或天空中的星座相应的结构。
1705580514
1705580515
爱多士喜欢在演讲中指出，能确保一群人中有3个朋友或3个生人的拉姆齐数（派对的大小）的计算是相当简单的，但随着朋友或生人数目的增加，这个问题就会迅速变得极其困难。数学家们用符号R（3，3）来表示一个其中必有3人互为朋友或3人互相陌生的派对的大小。即使没有敏锐的洞察力，一部计算机也能通过机械地检查不同大小的派对直到获得所求答案：一个6人的派对。即使在很慢的计算机上这也无须很长时间，因为6个人的不同派对的数目仅为32 768。
1705580516
1705580517
现在我们问，为了保证总是有4个相互认识的朋友的人群或4个相互陌生的人的人群，这个派对应该有多大呢？换言之，R（4，4）是多少？已经证明了答案是18，尽管如爱多士所说，这个证明“不再那么简单”。现在确实需要依靠聪明与机智了，因为一张具有18个点的图可以有大约1.14×1046种表示方式。要想对这个令人目眩的数字有一个印象，需要不切实际的比喻。有一个这样的比喻是，即使你身体里的每一个原子都是一部高速计算机，让这些计算机一齐开动起来，在相当于宇宙年龄的时间内都无法算出这个解来。这就是数学推理的力量，用推理代替蛮力。
1705580518
1705580519
但数学推理的力量很快又被这个派对问题超越。没有人确切地知道需要多大的派对才能保证由5个相互认识的朋友或不认识的生人组成的小集团必然存在。世上最聪明的数学家们半个多世纪的工作已经把答数限制在42与50之间。在其关于拉姆齐理论的讲座中，爱多士乐于用他杜撰的离奇故事使听众对问题难度的惊人增长留下印象：“设想有一个恶魔威吓人类：要么告诉我5人问题的答案，否则我就毁灭整个人类……我们最好是乖乖地用数学和计算机尽力计算出答案。但如果他拿6人问题相威胁，那么我们能做的最好的事情就是在他毁灭人类之前把他毁灭，因为对6人问题我们束手无策。如果我们已经聪明到足以获得其数学证明，我们就可以将恶魔打入地狱了。”
1705580520
1705580521
当爱多士努力研读隐藏在SF之书中的拉姆齐数时，其他人则在绞尽脑汁试图揭开另一本书字里行间的秘密。拉姆齐定理和机会逻辑能够确保他们取胜。迈克尔·德罗斯宁（Michael Drosnin）在其畅销书《圣经密码》（The Bible Code）中发展了耶路撒冷希伯来大学里普斯（Eliyahu Rips）的工作，挖掘了埋藏在《圣经》中的信息。通过使用一部计算机扫读希伯来《圣经》中的304 805个字母，德罗斯宁宣称发现了足够的预言和征兆来挑起约书亚、诺斯特拉达莫斯及神奇卡纳克的共同嫉妒(6)。德罗斯宁通过检查《圣经》中固定间距的字母来找出他的信息。下面是一个并非取自德罗斯宁大作的例子，研究一下英王钦定版（KJV）《圣经·出埃及记》中的一段话（31：28）：“And hast not suffered me to kiss my sons and my daughters? thou hast now done foolishly in so doing.”从“daughters”（女儿）中的R开始跳过4个字母（忽略空格和标点）到“thou”（你）中的O，再跳过4个字母到“hast”（已经）中的S，如此等等。结果得到单词“ROSWELL”（罗斯韦尔）(7)，以“thou”中的U开始，跳过7个字母得到F，接着再跳过另外7个字母得到O。于是，单词UFO隐藏在包含ROSWELL的同一段文字之中，有人认为这证明《圣经》预言了新墨西哥沙漠外星人的到来。
1705580522
1705580523
德罗斯宁通过使用计算机使自己摆脱冗长乏味的搜索，发现了许多似乎很重要的单词和词组并列贯穿在《圣经》之中。例如他发现，隐藏单词“达拉斯”（Dallas）(8)挨着“肯尼迪”（Kennedy）。使用这种技术，德罗斯宁声明已经发现了与人类历史上几乎每一个事件和人物有关的预言：拉宾遇刺，海湾战争，阿道夫·希特勒，比尔·克林顿，等等等等。
1705580524
1705580525
隐藏在《圣经》字里行间的“预言”与古代人在沙漠的天空中见到的星座是一样的。尽管不可能去证明这些星座是被上帝或诸神之手撒在天空中的，拉姆齐的理论告诉我们，如果给定足够的字母或星星，这一切都是必然的。物理学家、怀疑论者托马斯（David Thomas）研究了英王钦定版《圣经》《战争与和平》以及其他著作，既有圣典亦有凡作，从其中的文句搜索预言。与德罗斯宁研究希伯来《圣经》的情形一样，他在这些著作中也发现了大量的信息。一些支持《圣经密码》的人问道：“这样惊人的巧合怎么会是随机机会的产物呢？”对这些支持者的问题托马斯用一个他认为是真正的问题来回答：“这样惊人的巧合为什么不能是对大量随机数据进行大量试验的必然结果呢？”
1705580526
1705580527
20世纪70年代，由太空望远镜发射回来的照片提供了另一个思考拉姆齐理论重要性的机会。1976年7月，海盗1号轨道器在搜寻合适的登陆地点时，拍摄了一张火星上塞东尼亚平原的照片。由轨道器拍摄的山脉照片中有一张极似人或猿的面孔。
1705580528
1705580529
1705580530
1705580531
1705580532
图4-11 弗兰克·拉姆齐在火星上？
1705580533
1705580534
美国航空和航天局（NASA）发表了这张塞东尼亚面孔的照片，因为它认为这张照片比海盗号为多沟的火星表面拍摄的其他许多照片都更引人注目和令人惊叹。NASA的科学家对随之而来的公众怒潮并无思想准备。许多人坚持认为这张面孔是人工制造的，当作一个信息放在火星上等着地球人来发现。于是掀起了一场小小的运动，试图解释这张面孔及由目光敏锐并富有想象力的探索者们发现的其他形貌。如果这些人有更好的理解力的话，他们想必会知道，海盗号探测器拍摄的就是拉姆齐的面孔，或至少是他的理论的面孔。
1705580535
1705580536
拉姆齐定理所能做的不仅仅是解释欺骗与错觉。按塞凯赖什的想象，从研究散布在欧几里得平面上的点到探索诸如生命起源这样的宇宙问题只是一步之遥。“遗传密码给你一些指令，这相当于说‘点在平面上’，树上突然出现一片树叶”，这与凸多边形出现在平面上是一样的必然。塞凯赖什喜欢告诉他的学生，无须太多的逻辑步骤，“你就能从这样幼稚的问题转移到与我们的存在有关的最大的谜。从某种程度上说，整个生命就是一种方式，拉姆齐定理多少触及了这个问题。确实，我努力说服他们，永远不要听信别人说这类问题的研究只不过是一种无用之举”。
1705580537
1705580538
爱多士从来不需要说服，他立即被塞凯赖什的证明所吸引和鼓舞，并迅速地发现了他自己的一个巧妙证明，一个不需要使用拉姆齐定理的证明。爱多士的证明有一个优点，就是提供了一个对为了确保给定边数的凸多边形的存在所需点数的更加精确的估计。埃丝特已经发现为保证一个凸四边形需要有5个点。他们的朋友之一毛考伊（E. Makai）证明，当任意9个点散布在平面上时，其中有5个点将必然地构成一个凸五边形。有人注意到埃丝特·克莱因问题的解5等于2×2+1，即22+1，而且毛考伊的解9等于2×2×2+1，或23+1。数学直觉令爱多士、塞凯赖什和克莱因（无人知道是谁首先想到）猜想，为确保一个凸六边形（6个边）的存在，所需的点数为2×2×2×2+1=24+1=17。还没有人能证明17个点是足够的。然而，就在这两个点数的基础上，年轻的数学家们又大胆地陈述了对这个问题的推广：n条边的凸多边形必然出现，如果有2（n-2）+1或更多个点散布在平面上。尽管塞凯赖什说他们“坚信这是正确的值”，但至今仍没有人能够证明这个猜想。
1705580539