[論文レビュー] Three-coloring triangle-free graphs on surfaces I. Extending a coloring to a disk with one triangle

Zdenĕk Dvořák, Daniel Král͏̌+1 more|Warwick Research Archive Portal (University of Warwick)|Oct 12, 2010

Advanced Graph Theory Research参考文献 21被引用数 6

ひとこと要約

本稿は、1つの三角形を含む三角形なし平面グラフにおける6サイクルの3色彩色が、グラフ全体に拡張可能であるための必要十分条件を確立する。最小反例に対する放電法を用いて、このような拡張が失敗するのは、6サイクルが三角形と素性であり、かつそのすべての頂点が同じ色クラスの頂点に隣接している、またはサイクル内の辺が同じ色の2頂点を結んでいる場合に限ることを証明する。この結果は、曲面上の三角形なしグラフの3彩色可能性を研究するための基盤的補題である。

ABSTRACT

Let G be a plane graph with exactly one triangle T and all other cycles of length at least 5, and let C be a facial cycle of G of length at most six. We prove that a 3-coloring of C does not extend to a 3-coloring of G if and only if C has length exactly six and there is a color x such that either G has an edge joining two vertices of C colored x, or T is disjoint from C and every vertex of T is adjacent to a vertex of C colored x. This is a lemma to be used in a future paper of this series.

研究の動機と目的

• 1つの三角形を含む三角形なし平面グラフにおける顔面の6サイクルの3彩色が、グラフ全体に拡張可能となる条件を同定すること。
• このような拡張を妨げる構造的条件を確立し、曲面上の三角形なしグラフの3彩色可能性に関する広範な研究の核心的補題を形成すること。
• 最小性と放電法を用いた道具を開発し、最小非拡張彩色の構造を分析すること。
• 特に古典的境界が成立しない固定された曲面上の三角形なしグラフの3彩色可能性を決定する理論的基盤を築くこと。

提案手法

• 頂点および面の次数と面の長さに基づいて初期電荷を割り当て、三角形および6サイクルに応じて調整を行う。
• 放電手順を適用：面は、隣接する次数2の頂点および内部の次数3の頂点に1単位の電荷の1/3を配分する。
• 放電規則を用いて、ある面の最終電荷が負である場合に矛盾を導き出し、グラフの構造的制約を示す。
• 最小性および臨界性の議論を用いる：彩色が拡張できない最小部分グラフを仮定し、それが2つの特定のグラフのいずれかと同型であることを証明する。
• オイラーの公式および次数制約を用いて低次数頂点の数を束ね、総電荷の合計が-1/3以下であることを導出する。
• 構造的補題（例：次数2,3,2の頂点3つからなる経路が存在しないなど）を用いて、放電規則に反する構成を除外する。

実験結果

リサーチクエスチョン

• RQ1 1つの三角形を含む三角形なし平面グラフにおける6サイクルの3彩色が、グラフ全体に拡張できない条件は何か？
• RQ2 6サイクルと唯一の三角形の相対的位置関係を用いて、3彩色拡張の障害を完全に特徴づけられるか？
• RQ3 このようなグラフにおける3彩色拡張を妨げる最小の障害の有限集合が存在するか？
• RQ4 次数制約と面構造が、彩色拡張の可能性にどのように作用するか？
• RQ5 放電法を用いて、3彩色拡張を妨げる構成が特定のものに限られることを証明できるか？

主な発見

• 1つの三角形を含む三角形なし平面グラフにおける6サイクルの3彩色が、グラフ全体に拡張できないのは、6サイクルが三角形と素性であり、かつ6サイクル上のすべての頂点が三角形上の同じ色の頂点に隣接している場合に限る。
• 6サイクルが三角形と辺を共有している、または6サイクル上に同じ色の2頂点を結ぶ辺が存在する場合、常に彩色は拡張可能である。
• 最小反例グラフは、図1に示された2つのグラフのいずれかと同型である。これらが拡張の唯一の障害である。
• 初期総電荷の合計は-1/3以下である。すべての最終面電荷が非負であれば、これは矛盾を引き起こすため、構造的制約が成立する。
• 放電法に依拠する証明では、面から低次数頂点に電荷を再分配し、負の最終電荷が生じる場合は、禁止された構成が存在する場合に限って矛盾を避ける。
• 6サイクル上に特定の次数2および次数3頂点のパターンが存在しないことは、証明において不可欠であり、構造的補題によってそのようなパターンは除外されている。