[論文レビュー] A Sufficient condition for DP-4-colorability

Seog‐Jin Kim, Kenta Ozeki|arXiv (Cornell University)|Sep 28, 2017

Advanced Graph Theory Research参考文献 10被引用数 5

ひとこと要約

本稿では、平面的グラフにおけるDP-4彩色可能性の十分条件を確立し、4サイクル（$C_4$）を含まない任意の平面的グラフがDP-4彩色可能であることを示した。これは、従来のリスト彩色および符号付き彩色に関する結果を拡張するものであり、最小反例の議論と$F_5^3$-部分グラフによる構造的分解、および残余リスト上の貪欲彩色を組み合わせた証明により、3-退化性が成り立たない場合でも4色リストに対してDP彩色が可能であることを示している。

ABSTRACT

DP-coloring of a simple graph is a generalization of list coloring, and also a generalization of signed coloring of signed graphs. It is known that for each $k \in \{3, 4, 5, 6\}$, every planar graph without $C_k$ is 4-choosable. Furthermore, Jin, Kang, and Steffen \cite{JKS} showed that for each $k \in \{3, 4, 5, 6\}$, every signed planar graph without $C_k$ is signed 4-choosable. In this paper, we show that for each $k \in \{3, 4, 5, 6\}$, every planar graph without $C_k$ is 4-DP-colorable, which is an extension of the above results.

研究の動機と目的

• 平面的グラフの4選択可能（4-choosability）および符号付き4選択可能（signed 4-choosability）に関する既知の結果を、より一般的なDP彩色の枠組みへと拡張すること。
• 3～6の長さのサイクルを含まない平面的グラフ（特に$C_4$-フリーの場合）におけるDP-4彩色可能性の十分条件を確立すること。
• 3-退化性が成立しない（$C_4$-フリーのグラフのように）状況に対処するため、$F_5^3$-部分グラフを用いた新しい構造的分解を導入すること。
• 従来のリスト彩色および符号付き彩色に関する論文の定理1および定理2を一般化・強化する、新たな自己完結型のDP-4彩色可能性の証明を提供すること。

提案手法

• 最小反例$G$を仮定する。$G$は平面的で$C_4$を含まず、かつDP-4彩色可能でないが、すべての真部分グラフはDP-4彩色可能である。
• 補題9を適用し、このような$G$は必ず$F_5^3$-部分グラフ$H$を含むことを示す。ここで$H$は、5サイクルと3サイクルが1辺を共有する6頂点部分グラフであり、$G$におけるすべての頂点が次数4である。
• $G' = G - V(H)$に対するDP彩色問題に制限をかける。最小性により、${\mathcal{M}}_{L'}$-彩色が存在し、${\mathcal{M}}_{L'}$-被覆においてサイズ$|V(G)| - 6$の独立集合$I'$が得られる。
• $v \in V(H)$に対し、$I'$の彩色済み頂点と衝突する色を除いた残余リスト$L^*(v)$を定義する。これにより、$|L^*(v_2)| \geq 3$、$|L^*(v_6)| \geq 3$、および$j \in \{1,3,4,5\}$に対し$|L^*(v_j)| \geq 2$が保証される。
• 順序$v_3, v_4, v_5, v_6, v_1$に従い、残余色の利用可能性を考慮して貪欲彩色を用いて、$H$上の${\mathcal{M}}_{L^*}$-被覆においてサイズ6の独立集合$I^*$を構成する。
• $I'$と$I^*$を併合し、${\mathcal{M}}_L$-被覆においてサイズ$|V(G)|$の完全な独立集合$I = I' \cup I^*$を構成する。これは、$G$がDP-4彩色可能でないという仮定に矛盾する。

実験結果

リサーチクエスチョン

• RQ1 3-退化性が成り立たないにもかかわらず、$C_4$を含まないすべての平面的グラフがDP-4彩色可能であるか？
• RQ2 DP彩色の枠組みは、平面的グラフの4選択可能および符号付き4選択可能に関する既知の結果を統合・拡張できるか？
• RQ3 $C_4$-フリーな平面的グラフに$F_5^3$-部分グラフが存在する場合、退化性の議論が失敗する状況でも、DP-4彩色可能性の構成的証明が可能か？
• RQ4 最小反例の議論と残余リスト彩色を組み合わせることで、$C_4$-フリーの場合のDP彩色問題を解決できるか？

主な発見

• 4サイクルを含まない任意の平面的グラフはDP-4彩色可能であり、このクラスにおけるDP-4彩色可能性の十分条件が確立された。
• この結果により、定理1（4選択可能性に関する）および定理2（符号付き4選択可能性に関する）が、より広範なDP彩色の枠組みへと拡張された。
• 証明手法は、$C_4$-フリーな場合に3-退化性が成立しない状況に対しても、$F_5^3$-部分グラフの構造的性質を用いて効果的に対処した。
• 残余リスト手法により、事前に彩色された部分グラフ$G'$との衝突を考慮しても、$H$上での貪欲彩色に十分な色の選択肢が保証された。
• ${\mathcal{M}}_L$-被覆において完全な独立集合$I = I' \cup I^*$が構成されたことにより、最小性の仮定に矛盾し、主定理が証明された。
• 本研究は、$k \in \{3,4,5,6\}$に対する$C_k$-フリーな平面的グラフのDP-4彩色可能性について、新たな自己完結型の証明を提供し、従来の結果を統合・強化した。