[论文解读] Small minimal $(3, 3)$-Ramsey graphs

Aleksandar Bikov|arXiv (Cornell University)|Apr 13, 2016

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

一句话总结

本文通过计算枚举了所有顶点数不超过13的极小(3,3)-Ramsey图，识别出8,903个图，其团数小于5且独立数恰好为|V|−9。通过专用算法，作者建立了独立数的新上界和最小度的新下界，证明对于团数为3的(3,3)-Ramsey图，有δ(G) ≥ 8。

ABSTRACT

We say that $G$ is a $(3, 3)$-Ramsey graph if every $2$-coloring of the edges of $G$ forces a monochromatic triangle. The $(3, 3)$-Ramsey graph $G$ is minimal if $G$ does not contain a proper $(3, 3)$-Ramsey subgraph. In this work we find all minimal $(3, 3)$-Ramsey graphs with up to 13 vertices with the help of a computer, and we obtain some new results for these graphs. We also obtain new upper bounds on the independence number and new lower bounds on the minimum degree of arbitrary $(3, 3)$-Ramsey graphs.

研究动机与目标

• 通过计算机辅助算法系统地枚举所有顶点数不超过13的极小(3,3)-Ramsey图。
• 确定极小(3,3)-Ramsey图的结构性质，特别是独立数和最小度的界。
• 识别极值例子，例如29个顶点的图，其α(G) = |V|−9且ω(G) < 5。
• 通过刻画避免K₅和K₄但保持(3,3)-Ramsey性质的图，扩展已知的Ramsey图结果。

提出的方法

• 设计并实现算法3.1，生成并测试所有顶点数不超过12的图，以验证其极小性与(3,3)-Ramsey性质。
• 使用算法3.11将搜索扩展至13个顶点的图，利用对称性和剪枝技术。
• 应用算法3.8系统探索满足指定独立数和团数约束的图。
• 通过穷举双色染色检查，利用图补图和诱导子图分析来验证(3,3)-Ramsey性质。
• 利用已知构造（例如K₃ + C₅，K₁ + Γ）作为基础情况，并验证其极小性与极值性质。
• 实现无同构生成与规范标记，以避免冗余计算并确保完备性。

实验结果

研究问题

• RQ1 在团数小于5的条件下，顶点数不超过13的极小(3,3)-Ramsey图共有多少个？
• RQ2 在团数小于5的极小(3,3)-Ramsey图中，独立数的最大值是多少？
• RQ3 对于极小(3,3)-Ramsey图，若ω(G) = 3或ω(G) ≤ 4，其最小度δ(G)的最紧下界是什么？
• RQ4 能否构造出达到独立数和最小度理论界的新极值图？
• RQ5 是否存在非平凡的极小(3,3)-Ramsey图，满足ω(G) = 3且α(G) = |V|−9？若有，共有多少个？

主要发现

• 共有8,903个极小(3,3)-Ramsey图满足ω(G) < 5且α(G) = |V|−9，其中最大图为29个顶点的图。
• Nenov提出的15个顶点图K₁ + Γ是目前已知唯一满足α(G) = |V|−8且ω(G) < 5的极小(3,3)-Ramsey图。
• 对于任意满足ω(G) ≤ 4的极小(3,3)-Ramsey图，其最小度满足δ(G) ≥ 5，且该界是紧的。
• 对于满足ω(G) = 3的极小(3,3)-Ramsey图，其最小度满足δ(G) ≥ 8，且该界也是紧的。
• 13个顶点的图G₁₃.₁₉₃₆₈₄、G₁₃.₁₉₃₇₆₀等具有13,000多个自同构，表明其具有高度对称性。
• 所有满足α(G) = 2或α(G) = 6的13个顶点极小(3,3)-Ramsey图均已完全枚举，其中α(G) = 6的图共有6个。