[論文レビュー] Spiral Chains: A New Proof of the Four Color Theorem

I. Cahit|arXiv (Cornell University)|Aug 18, 2004

Computational Geometry and Mesh Generation参考文献 14被引用数 7

ひとこと要約

この論文は、最大平面グラフにおける『スパイラルチェーン』と呼ばれる新しいグラフ理論的概念を用いて、コンピュータを用いない四色定理の新しい証明を提示している。頂点をスパイラル順に体系的に走査し、ケンプチェーンや可約構成要素に依存せずに、四色で十分であることを示すことにより、従来のコンピュータ支援証明とは対照的に、より直感的で読みやすい代替証明を提供する。

ABSTRACT

Acceptable but due to extensive usage of a computer rather unpleasant proof of the famous four color map problem of Francis Guthrie were settled eventually by W. Appel and K. Haken in 1976. Using the same method but shortening the proof twenty years later by another team, namely N. Robertson, D.P. Sanders, P.D. Seymour and R. Thomas would not improve considerably the readability of the proof either. Thus it has been widely accepted the need of more elegant and readable proof. There are considerable number of equivalent formulations of the problem but none of them promising for a possible non-computer proofs. On the other hand known proofs are used the concept of Kempe chain and reducibility of the configurations which were a century old ideas. With these in mind we have introduced a new concept which we call "spiral chains" in the maximal planar graphs. We have shown that for any maximal graph as long as spiral chains are being used we do not need the fifth color. Henceforth this paper offers another proof to the four color theorem which is not based on deep and abstract theories from the other branches of mathematics or using computing power of computers, but rather completely on a new idea in graph theory.

研究の動機と目的

• 四色定理のコンピュータ依存証明に対する、より洗練され、読みやすい代替証明を提供すること。
• 従来の証明の中心的だが複雑な道具であるケンプチェーンや可約構成要素への依存を排除すること。
• 四色定理の非計算的証明の基盤として、『スパイラルチェーン』と呼ばれる新しいグラフ理論的概念を導入すること。
• スパイラル走査を用いて、任意の最大平面グラフに対して四色で十分であることを示すこと。
• 高度な数学的道具を用いずに、初等的なグラフ理論のみで理解可能な証明を提供すること。

提案手法

• 方法は最大平面グラフから始まり、これは平面表面の三角形分割である。
• 外側の面から始まるスパイラル走査により頂点を順序付け、『スパイラルチェーン』と呼ばれる系列を形成する。
• 色分けはスパイラルチェーンに沿って逐次的に行われ、各頂点にそのチェーン内での隣接頂点に基づいて色を割り当てる。
• 鍵となる洞察は、スパイラル順序が強いる局所的構造のおかげで、各ステップで四色のうち少なくとも一つの色が利用可能になることである。
• スパイラル走査の順序的・体系的な性質に依存することで、ケンプチェーンを避け、色の衝突を防ぐ。
• この方法により、五つ目の色を必要とする頂点は存在せず、四色可能性が証明される。

実験結果

リサーチクエスチョン

• RQ1 新しいグラフ理論的概念を用いて、コンピュータを用いない四色定理の証明を構築できるか？
• RQ2 最大平面グラフのスパイラル走査は、五つ目の色の必要性を本質的に回避するか？
• RQ3 ケンプチェーンや可約構成要素への依存を四色証明から排除できるか？
• RQ4 スパイラルチェーン手法は、すべての最大平面グラフに対して四色可能性を保証するのに十分か？
• RQ5 高度な数学的道具を用いずに、四色定理のより直感的で読みやすい証明を達成できるか？

主な発見

• スパイラルチェーン走査により、各頂点はチェーン内の隣接頂点に基づいて四色のうちいずれかで色分け可能であり、衝突は生じない。
• 証明は、スパイラル順序と局所的色分け制約のみを用いて、すべての最大平面グラフに対して四色性が成り立つことを示している。
• 従来の証明で中心的であったが扱いにくいケンプチェーンや可約構成要素の使用を回避している。
• アプローチは完全に構成的かつ逐次的であり、スパイラルに沿った頂点処理の順序にのみ依存する。
• 証明は12ページと7枚の図を含むドラフトとして提示されており、簡潔で焦点の絞られた議論であることを示唆している。
• 著者は、この方法がアッペルとヘーケン、およびロバートソンらのコンピュータ支援証明とは対照的に、より直感的で読みやすい代替証明を提供すると主張している。