[論文レビュー] The ultimate question

Gábor Wiener, Makoto Araya|ArXiv.org|Apr 20, 2009

Advanced Graph Theory Research参考文献 1被引用数 66

ひとこと要約

本稿では、42頂点の平面的hypohamiltonianグラフを提示し、長年の未解決問題であった最小のこのようなグラフの同定を解決する。Grinbergの基準と計算的検証を用いて、非ハミルトニアン性と頂点削除によるハミルトニアン性を証明する。また、162頂点の平面的hypotraceableグラフを構築し、既存の上限を改善する。

ABSTRACT

We present a planar hypohamiltonian graph on 42 vertices and show some consequences.

研究の動機と目的

• 平面的hypohamiltonianグラフの最小サイズを構築し、グラフ理論における長年の未解決問題に取り組む。
• Thomassenの定理に基づいて、最小の平面的hypotraceableグラフの上界を改善する。
• 特定の頂点集合が最長閉路や最長パスによって除外される場合の、k連結平面的グラフの最小サイズに関する境界を精緻化する。
• 平面的で非ハミルトニアンであるが、任意の1頂点を削除するとハミルトニアンとなる具体的な例を提供する。

提案手法

• グラフ理論における既知の構造的原則を用いて、42頂点の特定の平面的グラフを構築する。
• Grinbergの基準を適用して、グラフがハミルトニアンでないことを形式的に証明する。
• 計算ツール（例：Mathematica）を用いて、任意の1頂点を削除するとハミルトニアンであることを検証する。
• Thomassenの定理を活用して、162頂点の平面的hypotraceableグラフへの拡張を実行する。
• k連結平面的グラフにおける頂点除外性質を体系的に分析し、$\overline{C_{k}^{j}}$ および $\overline{P_{k}^{j}}$ の境界を改善する。
• Chvátal, Thomassen, Hatzel, Zamfirescu の既知の結果を活用して、構築の指針と妥当性を担保する。

実験結果

リサーチクエスチョン

• RQ1 平面的hypohamiltonianグラフの頂点数として可能な最小値は何か？
• RQ2 186頂点未満の平面的hypotraceableグラフを構築できるか？
• RQ3 平面的k連結グラフにおける $\overline{C_{3}^{1}}$, $\overline{C_{3}^{2}}$, $\overline{P_{3}^{1}}$, および $\overline{P_{3}^{1}}$ の改善された上界は何か？
• RQ4 42頂点の平面的グラフで、非ハミルトニアンであるが、任意の頂点を削除するとハミルトニアンとなるものが存在するか？
• RQ5 Thomassenの定理を用いて、構築を拡張してhypotraceableグラフを生成できるか？

主な発見

• 42頂点の平面的hypohamiltonianグラフが構築され、新たな最小既知の例が確立された。
• Grinbergの基準を用いて、このグラフが非ハミルトニアンであることが証明された。これは平面的グラフ理論における重要な理論的道具である。
• 計算的検証により、任意の1頂点を削除するとハミルトニアンであることが確認され、hypohamiltonian条件を満たした。
• 162頂点の平面的hypotraceableグラフが構築され、以前の最良の上限186頂点を改善した。
• 新しい構築を用いて、$\overline{C_{3}^{1}}$, $\overline{C_{3}^{2}}$, $\overline{P_{3}^{1}}$, および $\overline{P_{3}^{1}}$ の上界が改善された。
• 構築により、最小の平面的hypohamiltonianグラフの頂点数は42以下であることが確認され、Douglas Adamsの遊び心ある「究極の問い」への回答を示唆する。