Ramsey定理在计算机领域中的应用.docxVIP

Ramsey 定理在计算机领域中的应用 熊菡 （武汉科技大学计算机科学与技术学院，湖北武汉） 摘要：本文主要介绍了经典 Ramsey定理的内容，以及 Ramsey理论在网络规划和信息检索中的应用，将数学问题引入计算机领域进行研究 和探讨。 关键词： Ramsey定理，网络规划，信息检索 引言 Ramsey理论作为图论的一个重要研究分支，它产生于 1930 年，起源文章为 英国数学家 Frank Ramsey 的《 On a Problem of Formal Logic 》。在这篇文章 里 Frank Ramsey 讨论了在某种条件下无论对集合如何划分都能够产生人们预期 想要得到的子集的现象。后来人们在他工作的基础上不断扩充，确定了 Ramsey 理论的研究内容为：在某种条件下，无论对一个大系统（结构）如何进行分割，总是能够得到人们预期想要得到的子系统（结构）。这里的系统即由相互关联的事物所组成，要研究这种系统可以通过很多种方式进行探讨，但是“图”是表达这种系统的最佳工具，因为图论正是讨论“事物”及其“关系”的一个数学工 具。所以图论理所当然地成为研究 Ramsey 理论的一个最重要的表达工具。在计算机领域， Ramsey 理论同样也能帮助我们解决一些问题，本文主要研究的是Ramsey理论在网络规划和信息检索中的应用。 Ramsey 理论及其基础知识 [问题 ]试证明任意 6 个人当中一定至少有 3 个人相互认识或者相互不认识。 解：首先我们先不失一般性地假设 “认识 ”是一种什么关系：认识是相互的，即如果 A 认识 B，则 B 也认识 A ；认识是非传递的，即如果 A 认识 B，B 认识 C，但 A 未必认识 C。 下面对这 6 个人编号： A，B，C，D， E，F。任意取一个人，比如说 A，那么根据 “鸽笼原理 ”A要么至少认识剩下 5 个人当中的 3 人，或者至少不认识剩下 5 个人当中的 3 人。那么我们先任意取一种情况， 比如取 A 至少认识剩下 5 个人当中的 3 人（任意）： B，C，D。那么如果 B，C， D 三个人当中有任意两个人相互认识，比如说是 B 和 C，则 A、 B、C 三人构成相互认识的三个，题目的证；如果三人当中都相互不认识，则 B、C、D 三人构成相互不认识个人，题目也的三得证。 对于另外一种情况， 即 A 至少不认识剩下 5 个人当中的 3 人其证明与前面的证明相同。所以题目的结论是正确的。 下面我们用数学的语言来描述上面的文字，可以这样说： 1 对于有 6 个顶点完全图的边用 2 种颜色（比如是红色和蓝色）进行任意染色，则结果一定是：要么存在一个红色的三角形，要么存在一个蓝色的三角形。 定义 1. 给定正整数 n，r 和图 H1，H2， ， Hr ，用 r 种颜色对完全图 Kn 的所有边进行着色， 由第 i 色边构成的子图记为 Gi. 如果存在一种着色方法， 使得对所有 的 i(1≤i ≤r)都有 Hi Gi ，则称 Kn 对于 (H1 ， ， ， 可 －着色 . 如果 Hl H2 H2 Hr) r Hr H，则简称 Kn 对于 H 可 r－着色 . 定义 2. 使得 Kn 对于 ( K p1 , K p2 ,, K p r )不能r－着色的最小正整数 n 称为 (经 典)Ramsey 数 R( p1 , p2 ,..., pr ).如果 p1 = p2 == pr = p ，则把 R( p1 , p2 ,..., pr )简写为 Rr(p). 定义 3. 使得 Kn 对于 (H1，H2， ， Hr)不能 r－着色的最小正整数 n 称为广义 Ramsey 数 R(H1，H2， ， Hr). 如果 Hl H2 Hr H，则把 R(Hl ， H2， ， Hr) 简写为 Rr(H). 定理 1. R(C4,C4)=6 定理 2. R(C4,C4,C4)=11 1 n3/ 2 1 n 定理 3.若一个 n 个顶点的图至少有 2 4 条边，则它总包含 C4。 Ramsey 定理在计算机中的应用 3.1 Ramsey 定理在网络规划中的应用 分组交换网是采用分组交换技术的网络，它从终端或计算机接收报文，把报文分割成分组，并按某种策略选择最佳路径在网中传输，到达目的地后再将分组合并成报文交给目的终端或计算机。分组交换技术在网络设计中被广泛采用。 用顶点表示通信设备，用边表示通信链路，这样得到一个图。假定该图是完全图，即任意两点间都有一条边相连。在某些应用场合，顶点两两配对作为一个整体。我们希望保证在某些链路出故障不能使用时，任两对配对顶点间都至少有一条链路畅通无阻。 1 x 1 z 1 x 2 z 2 2 图 3.1 2 设顶点 x1,x2 组成一对， y1,y2 为一对， z1