Exoo 关于拉姆齐数 $R(5,5)$ 下界的研究

我们回顾 Exoo 1989 年的论文，该文证明拉姆齐数 $R(5,5)$ 的一个下界为 $43$。我们提供了一种高效验证文中论断的方法，并补充了详细证明。特别地，我们以简明论证替代了其中对计算机验证的引用。利用我们对这些证明背后洞见的理解，我们也能够分析图构造的变体，从而获得例如具有极少单色 $K_5$ 的 $K_{43}$ 着色。