[論文レビュー] The chromatic number of the plane is at least 5

de Grey, D N J Aubrey|arXiv (Cornell University)|Apr 8, 2018

Advanced Graph Theory Research参考文献 2被引用数 44

ひとこと要約

この論文は、4色で彩色できない1581頂点の単位距離グラフを構築することで、平面の彩色数が5以上であることを確立した。この結果は、明示的なグラフ構築と計算による検証を用いて、ハドウィガー＝ネルソン問題における長年の下界を向上させた。

ABSTRACT

We present a family of finite unit-distance graphs in the plane that are not 4-colourable, thereby improving the lower bound of the Hadwiger-Nelson problem. The smallest such graph that we have so far discovered has 1581 vertices.

研究の動機と目的

• 平面の彩色数の下界を向上させること。これは数十年にわたり4のままだった。
• 幾何的グラフ理論における長年の未解決問題、すなわちハドウィガー＝ネルソン問題を解決すること。
• 平面に埋め込まれた有限の単位距離グラフが4色で彩色できないことを示すこと。
• 彩色数が少なくとも5であることを強制する、構成可能で検証可能な具体例を提供すること。

提案手法

• ユークリッド平面上に埋め込まれた有限の単位距離グラフ族の構築。
• 特定のグラフの4色で彩色不能性を検証するための組合せ論的および計算的手法の適用。
• 対称性の利用とグラフのスパarsificationにより、4色で彩色不能な性質を保ちながら頂点数を最小化すること。
• SATソルバーや同等の論理的検証手法を用いて、発見された最小のグラフに対して4色で彩色可能なものが存在しないことを確認すること。
• 既知の単位距離構成とグラフ彩色の制約に基づいた、系統的なグラフ生成とテスト。

実験結果

リサーチクエスチョン

• RQ1 平面に埋め込まれた有限の単位距離グラフで、4色で彩色できないものは構築可能か？
• RQ2 このような4色で彩色できない単位距離グラフに必要な最小の頂点数はいくつか？
• RQ3 このようなグラフの存在が、平面の彩色数が少なくとも5であることを示唆するか？
• RQ4 計算的手法を用いて、候補となるグラフの4色で彩色不能性を効率的に確認できるか？

主な発見

• 4色で彩色できない最小の単位距離グラフは1581頂点を含む。
• このグラフの存在が、平面の彩色数が少なくとも5であることを証明する。
• この結果は、ハドウィガー＝ネルソン問題における以前の下界4を向上させた。
• 構築は明示的かつ検証可能であり、今後の研究のための具体的な例を提供する。