[論文レビュー] A Note on (3,1)-Choosable Toroidal Graphs

Baogang Xu, Qinglin Yu|ArXiv.org|Sep 27, 2006

Graph Labeling and Dimension Problems参考文献 4被引用数 3

ひとこと要約

この論文は、隣接する三角形、6-サイクル、長さ5または7のサイクルを含まないトーラス的グラフが、(3,1)*-選択可能であることを証明している。つまり、各頂点がサイズ3のリストから色を選択し、その色を共有する隣接頂点が1つまでであるようなリスト彩色が可能である。発電法と構造的解析を用いて、禁止構成（forbidden configurations）を同定し、与えられた制約のもとで、このようなグラフが常に有効な(3,1)*-彩色を許容することを示した。

ABSTRACT

An $(L,d)^*$-coloring is a mapping $ϕ$ that assigns a color $ϕ(v)\in L(v)$ to each vertex $v\in V(G)$ such that at most $d$ neighbors of $v$ receive colore $ϕ(v)$. A graph is called $(m,d)^*$-choosable, if $G$ admits an $(L,d)^*$-coloring for every list assignment $L$ with $|L(v)|\geq m$ for all $v\in V(G)$. In this note, it is proved that every toroidal graph, which contains no adjacent triangles and contains no 6-cycles and $l$-cycles for some $l \in \{5,7\}$, is $(3,1)^*$-choosable.

研究の動機と目的

• トーラス的グラフが(3,1)*-選択可能となる十分条件を特定すること。
• 三角形を含まないトーラス的グラフの(4,1)*-選択可能性に関する先行結果を、より厳しい(3,1)*-選択可能性条件へ拡張すること。
• 特定のサイクルおよび面の制約のもとで、(3,1)*-選択可能性を妨げる構造的障害（禁止構成）を同定すること。
• 三角形を含まないトーラス的グラフにおいて、6-サイクルおよび長さ5または7のサイクルが存在しない場合に、(3,1)*-選択可能かどうかという未解決問題を解消すること。

提案手法

• 頂点および面の次数に基づいて初期電荷を再分配する発電法を採用し、初期電荷を ω(v) = d(v)/3 − 1 および ω(f) = d(f)/6 − 1 と定義する。
• 頂点から隣接する面へ電荷を転送する発電規則を定義し、特に次数の高い面および次数3または4の頂点を優遇する。
• 禁止構成（δ(G) < 3、隣接する3-頂点、(3,4,4)-面、(3,4,3,4)-面）が存在しないと仮定した場合の最終電荷分布を分析し、矛盾を導出する。
• 極小反例 G を最小頂点数で仮定し、部分グラフにおける帰納法を用いて(3,1)*-選択可能性を証明する極値グラフ理論の応用。
• 面の次数（3, 4, 5, ≥8）および頂点の次数に基づくケース解析を行い、電荷転送を制限し、最終電荷が非負であることを保証する。
• 発電規則のもとで、すべての面および頂点タイプが ω′(x) ≥ 0 を満たすことを検証し、オイラーの公式と矛盾することを示す。

実験結果

リサーチクエスチョン

• RQ1 どのような構造的条件下で、トーラス的グラフが(3,1)*-選択可能となるか？
• RQ2 三角形を含まないトーラス的グラフの(4,1)*-選択可能性結果を、(3,1)*-選択可能性へ強化できるか？
• RQ3 トーラス的グラフが(3,1)*-選択可能であるためには、どのような禁止構成が存在してはならないか？
• RQ4 6-サイクルおよび長さ5または7のサイクルが存在しないことは、三角形を含まないトーラス的グラフの(3,1)*-選択可能性を十分に保証するか？

主な発見

• 隣接する三角形を含まず、6-サイクルおよび長さ5または7のサイクルを含まないすべてのトーラス的グラフは、(3,1)*-選択可能である。
• この(3,1)*-選択可能性の結果を得るには、隣接する3-頂点、(3,4,4)-面、(3,4,3,4)-面が存在しないことが必要である。
• 発電法により、すべての潜在的最小反例が同定され、それらの電荷合計が0に達しないことを示すことで、効果的に排除された。
• 証明は、任意の最小反例が、以下の4つの禁止構成のうちの1つを含む必要があるという事実に依存している。これらの構成は、グラフの制約によってすべて除外されている。
• XuとZhangが三角形を含まないトーラス的グラフに対して(4,1)*-選択可能性を示した先行作業を改善し、リストサイズ要件を4から3に削減した。