[論文レビュー] On wheel-free graphs

Pierre Aboulker, Frédéric Havet+1 more|arXiv (Cornell University)|Sep 9, 2013

Advanced Graph Theory Research参考文献 14被引用数 3

ひとこと要約

本稿は、ホイール（ハブを有するハローのないサイクル）を部分グラフとして含まないグラフ、すなわちホイールフリーなグラフの構造的性質を調査する。3連結なホイールフリーなグラフが最小3連結であることを証明し、これによりそのようなグラフが次数が3以下である頂点をもつことを示す。主な貢献は、ベルジュグラフや構造的グラフ理論に関する結果を拡張して、ホイールフリーなグラフの3彩色可能性に対する新しい証明である。

ABSTRACT

A wheel is a graph formed by a chordless cycle and a vertex that has at least three neighbors in the cycle. We prove that every 3-connected graph that does not contain a wheel as a subgraph is in fact minimally 3-connected. We give a new proof of a theorem of Thomassen and Toft: every graph that does not contain a wheel as a subgraph is 3-colorable.

研究の動機と目的

• ホイールを部分グラフとして含まないグラフの構造的性質を理解すること。
• ホイールフリーなグラフが有界な彩色数をもつのかを調査し、c-彩色可能性に関する未解決問題に取り組むこと。
• 3連結なホイールフリーなグラフが最小3連結であることを確立することにより、次数が3以下の頂点が存在することを示すこと。
• タマスとトーフトの結果に基づき、ホイールフリーなグラフの3彩色可能性に対する構造的議論を用いた新しい証明を提供すること。
• ホイールの除外が、特にトゥルムパー構成と関連して、グラフの彩色および連結性に与える影響を検討すること。

提案手法

• Mengerの定理およびその変種を用いて、ホイールフリーなグラフにおける連結性およびパスを分析する。
• 帰納法および構造的分解を用いて、3連結グラフにおけるブロックおよびツインペアを分析する。
• WatkinsとMesnerの定理（3頂点を通る閉路の非存在に関する）に対する新しい証明技法を採用する。
• 3連結なホイールフリーなグラフの最小性を活用して、次数の上限および彩色可能性に関する結果を導出する。
• $K_{3,3} \setminus e$および$K_{3,3}$に同型な部分グラフを分析し、構造的制約を導く。
• 3連結成分における頂点ペア間の辺の有無についてのケース解析を用いて、ツインペアの存在を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべての3連結なホイールフリーなグラフは最小3連結であるか？
• RQ2 すべてのホイールフリーなグラフは、次数が3以下の頂点をもつのか？
• RQ3 構造的議論を用いて、ホイールフリーなグラフの3彩色可能性を再証明できるか？
• RQ4 長さが4以上のリムを持つホイール（リム長≥4）を部分グラフとして含まないグラフの彩色数は何か？
• RQ5 ホイールおよび$K_4$の部分グラフの縮小を除外すると、グラフの構造的性質および彩色性にどのような影響を与えるか？

主な発見

• すべての3連結なホイールフリーなグラフは最小3連結である。これは、次数が3以下の頂点が存在することを示す構造的結果である。
• すべてのホイールフリーなグラフは、次数が3以下の頂点をもつ。これはターナーの定理の特殊ケースを確認するものである。
• すべての平面的ホイールフリーなグラフは、次数が2以下の頂点をもつ。これは次数の上限を平面的グラフに拡張したものである。
• WatkinsとMesnerの定理（特定の連結性条件下で3頂点を通る閉路が存在しないこと）に対する、より短い新しい証明が与えられる。
• 任意の3連結なホイールフリーなグラフは、2組の頂点のツインペア（互いに同型な頂点ペア）を互いに素な形で含む。これは最小性および彩色可能性の証明で用いられる構造的特徴である。
• 長さが4以上のリムを持つホイール（リム長≥4）を部分グラフとして含まないグラフは4彩色可能であり、さらにホイールフリーであれば3彩色可能である。