[論文レビュー] Coloring graphs with crossings

Bogdan Oporowski, David Zhao|ArXiv.org|Jan 25, 2005

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

ひとこと要約

この論文は、最大3つの交差をもつグラフに五色定理を拡張し、交差数が3以下で $K_6$ を部分グラフとして含まない任意のグラフが5色可能であることを証明する。本研究では、本質的埋め込みと構造的解析を用いて、低交差制約下での $K_6$-埋め込みの不在が5色可能性を保証することを示し、平面グラフを超えて古典的結果を一般化する。

ABSTRACT

We generalize the Five Color Theorem by showing that it extends to graphs with two crossings. Furthermore, we show that if a graph has three crossings, but does not contain K_6 as a subgraph, then it is also 5-colorable. We also consider the question of whether the result can be extended to graphs with more crossings.

研究の動機と目的

• 交差数を制御する非平面グラフに五色定理を一般化すること。
• 平面グラフの5色可能性が、最大3つの交差をもつグラフへと拡張可能かどうかを調査すること。
• 交差制約下での彩色数の制約に、$K_6$-部分グラフと $K_6$-埋め込みが果たす役割を特定すること。
• 交差数が3より多いグラフへの結果の拡張の限界を探索すること。

提案手法

• グラフの交差構造とその部分グラフ性質との関係を、本質的グラフ埋め込みを用いて関係づける。
• 不等式 $\nu(G) \geq m - 3n + 6$ を用いて、低交差数のグラフにおける辺数の上限を導出する。
• 反例に対する最小性の議論を用いて、頂点次数と交差数に関する構造的制約を導出する。
• $K_6$ の既知の交差数（3つ）を用いて、$\nu(G) \leq 3$ のグラフにおける $K_6$-埋め込みを分析する。
• 頂点の次数が5である周辺の局所構造を分析するために $v$-埋め込みの概念を適用する。
• $K_6$ を含むグラフの三角形分割と平面性の議論を用いて、$K_6$ 部分グラフの存在を仮定した場合の矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 五色定理は、最大2つの交差をもつグラフへと拡張可能か？
• RQ2 交差数が3以下で $K_6$ 部分グラフを含まないグラフは、すべて5色可能か？
• RQ3 3つの交差をもつグラフが $K_6$-埋め込みを含む場合、どのような構造的制約が生じるか？
• RQ4 $K_6$-フリー条件が同じ場合、4つ以上の交差をもつグラフに対しても5色可能性の結果が成り立つか？

主な発見

• 交差数が2以下である任意のグラフは5色可能であり、これは五色定理を非平面グラフのクラスへ一般化する。
• 交差数が3以下で $K_6$ 部分グラフを含まないグラフは、すべて5色可能である。
• 4連結で $K_6$ に同型でない、交差数が3以下のグラフは、$K_6$-フリー条件がなくても5色可能である。
• グラフ $C_3 \vee C_5$ の交差数は6であり、5色可能でないため、交差数の上限を追加制約なしに拡張することはできない。
• 3つの交差をもつグラフが $K_6$ の $v$-埋め込みを含む場合、少なくとも4つの交差を含む必要があるため、3つの交差という仮定と矛盾する。
• $K_6$ の交差数は正確に3であり、これは $K_6$-埋め込みにおける交差数の上限を制約するために重要である。