[論文レビュー] 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

ひとこと要約

この論文は、4本のスポークを持つホイールグラフ W5（K1 + C4）を用いて、ラマヌジャン数 R(W5, K5) が 27 に等しいことを決定した。これは1989年のヘンドリーの表における最後の未解決事例の一つを解消するものである。コンピュータアルゴリズムを用いて、このペアに対して一意な臨界ラマヌジャングラフが存在することを示し、正確な値と構造的一意性を確認した。

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.

研究の動機と目的

• W5 が位数5の4本スポークホイールグラフ（K1 + C4）であるラマヌジャン数 R(W5, K5) の正確な値を特定すること。
• 5頂点グラフに関するヘンドリーの1989年ラマヌジャン数表における残りの4つの未解決事例のうちの1つを解消すること。
• ペア (W5, K5) の臨界ラマヌジャングラフが、同型を除いて一意に存在することを確立すること。
• 理論的境界の検証とラマヌジャン理論における極値グラフの構築に、計算アルゴリズムを適用すること。

提案手法

• W5 と K5 の両方のグラフを含む (W5, K5)-ラマヌジャングラフの存在を体系的に探索・検証するために、コンピュータアルゴリズムを用いた。
• 全通りの列挙とグラフ理論的制約を用いて、すべての可能な (W5, K5)-臨界グラフを同定した。
• 同型性テストを適用し、同型を除いて唯一のグラフが存在することを確認した。
• 既知のラマヌジャン数の境界と、W5 および K5 の構造的性質を活用して、探索空間を縮小した。
• 極値グラフのアルゴリズム的構築と検証を通じて、結果を検証した。
• 26頂点の (W5, K5)-ラマヌジャングラフが存在しないことを利用し、27 がラマヌジャン数として最小であることを根拠とした。

実験結果

リサーチクエスチョン

• RQ1 W5 が位数5の4本スポークホイールである場合、ラマヌジャン数 R(W5, K5) の正確な値は何か？
• RQ2 ペア (W5, K5) に対して、同型を除いて一意な臨界ラマヌジャングラフが存在するか？
• RQ3 計算的手法により、5頂点グラフに関するヘンドリーの1989年ラマヌジャン数表における残りの未解決事例を解けるか？

主な発見

• ラマヌジャン数 R(W5, K5) は正確に 27 に等しく、ラマヌジャン理論における長年の未解決問題が解けた。
• ペア (W5, K5) に対して、同型を除いて一意な臨界ラマヌジャングラフが存在し、構造的一致性が確認された。
• 26頂点の (W5, K5)-ラマヌジャングラフは存在しない。これは27がラマヌジャン数として最小であることを裏付けている。
• 計算的手法により、アルゴリズム的列挙と同型性チェックを通じて、正確な値と一意性が成功裏に検証された。
• この結果により、5頂点グラフに関するヘンドリーの1989年表における残りの未解決項目の1つが完全に埋まった。