[论文解读] Computation of the Ramsey Number R(B_3, K_5)

Joshua Stinehour, Stanisław Radziszowski+1 more|arXiv (Cornell University)|Jan 1, 2004

Limits and Structures in Graph Theory参考文献 4被引用 3

一句话总结

本文确定了Ramsey数 R(W5, K5) 为 27，其中 W5 是一个4辐轮图（K1 + C4），解决了Hendry于1989年列出的表格中最后几个未解问题之一。通过计算机算法，作者证明了该组合存在唯一的临界Ramsey图，从而确认了该值的精确性与结构上的唯一性。

ABSTRACT

We determine the value of the Ramsey number R(W5, K5) to be 27, where W5 = K1 + C4 is the 4-spoked wheel of order 5. This solves one of the four remaining open cases in the tables given in 1989 by George R. T. Hendry, which included the Ramsey numbers R(G, H) for all pairs of graphs G and H having five vertices, except seven entries. In addition, we show that there exists a unique up to isomorphism critical Ramsey graph for W5 versus K5. Our results are based on computer algorithms.

研究动机与目标

• 确定Ramsey数 R(W5, K5) 的精确值，其中 W5 是阶为5的4辐轮图。
• 通过解决Hendry在1989年Ramsey数表中针对5个顶点图的四个剩余未解问题之一，完成该表的残余部分。
• 确立对于配对 (W5, K5) 存在唯一（在同构意义下）的临界Ramsey图。
• 应用计算算法以验证理论界限并构造Ramsey理论中的极值图。

提出的方法

• 采用计算机算法系统性地搜索并验证 (W5, K5)-Ramsey 图的存在性。
• 使用穷举枚举与图论约束条件，识别所有可能的 (W5, K5)-临界图。
• 应用图同构测试，确认在同构意义下仅存在一个此类图。
• 利用已知的Ramsey数界限以及 W5 和 K5 的结构特性，缩小搜索空间。
• 通过算法构造与极值图的验证，确认结果的正确性。
• 利用在26个顶点上不存在 (W5, K5)-Ramsey 图作为关键证据，确认 R(W5, K5) = 27 为精确值。

实验结果

研究问题

• RQ1 Ramsey数 R(W5, K5) 的精确值是多少，其中 W5 是阶为5的4辐轮图？
• RQ2 对于配对 (W5, K5)，是否存在唯一（在同构意义下）的临界Ramsey图？
• RQ3 计算方法能否解决Hendry在1989年Ramsey数表中针对5个顶点图的剩余未解问题？

主要发现

• Ramsey数 R(W5, K5) 精确为27，解决了Ramsey理论中一个长期悬而未决的问题。
• 对于配对 (W5, K5)，存在唯一（在同构意义下）的临界Ramsey图，确认了其结构上的唯一性。
• 在26个顶点上不存在 (W5, K5)-Ramsey 图，这证实了27是Ramsey数的最小可能值。
• 计算方法通过算法枚举与同构性检查，成功验证了精确值与唯一性。
• 该结果完成了Hendry于1989年列出的5个顶点图Ramsey数表中最后几个未解决条目之一。