[論文レビュー] Planar graphs without 4-cycles adjacent to triangles are DP-4-colorable

Seog‐Jin Kim, Xiaowei Yu|arXiv (Cornell University)|Dec 25, 2017

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

ひとこと要約

本稿では、三角形に隣接する4-サイクルを含まない平面的グラフがDP-4彩色可能であることを証明しており、従来の4-choosabilityおよびDP彩色に関する結果を拡張している。最小反例に分配法を適用し、初期の面および頂点の電荷を再分配することで、すべての面および頂点が非負の最終電荷を持つことを示し、そのようなグラフの存在に矛盾をもたらし、与えられた条件下でのDP-4彩色可能性を証明する。

ABSTRACT

DP-coloring (also known as correspondence coloring) of a simple graph is a generalization of list coloring. It is known that planar graphs without 4-cycles adjacent to triangles are 4-choosable, and planar graphs without 4-cycles are DP-4-colorable. In this paper, we show that planar graphs without 4-cycles adjacent to triangles are DP-4-colorable, which is an extension of the two results above.

研究の動機と目的

• 4-サイクルが三角形に隣接しない平面的グラフがDP-4彩色可能であることを確立し、既知の4-choosabilityおよびDP彩色に関する結果を拡張すること。
• 標準的なリスト彩色技法では容易に還元できないが、構造的条件を満たす平面的グラフのクラスがDP-4彩色可能であることを示すことにより、リスト彩色とDP彩色の間のギャップを埋めること。
• 特殊な部分グラフ（例：$S\theta$）を含む反例によって示されるように、DP彩色条件が一部の状況でリスト彩色よりも厳密に強いことを示すこと。
• DP彩色と符号付き彩色との関係を調査し、同じクラスのグラフに対して符号付き4-choosabilityが成り立つことを示すこと。

提案手法

• 最小反例グラフ$G$に対して分配法を採用し、$G$がDP-4彩色可能でないと仮定する。
• 各面$f$は$\text{ch}(f) = 2|f| - 6$、各頂点$v$は$\text{ch}(v) = 2\deg(v) - 6$の初期電荷を割り当てる。
• 合計電荷を保存するように、R1–R7の分配ルールを適用し、すべての面および頂点が非負の最終電荷を持つことを証明することを目的とする。
• 面を特別型、悪い型、通常型に分類し、3-サイクルおよび4-サイクルに隣接する特別な5-頂点および5-面を定義する。
• 構造的補題（例：3-サイクルと4-サイクルが隣接しないこと）を用いて、面に接する小次数頂点の数を制限し、電荷移動を制御する。
• 分配後、すべての面が最終電荷$\geq 0$を持つことを示し、$G$が最小反例であるという仮定に矛盾する。これによりDP-4彩色可能性が証明される。

実験結果

リサーチクエスチョン

• RQ1 4-サイクルが三角形に隣接しない平面的グラフのクラスがDP-4彩色可能であることを示すことができるか。これは、既知の4-choosability結果を拡張するものである。
• RQ2 この文脈において、DP彩色条件がリスト彩色よりも厳密に強いと言えるか。つまり、この結果が4-choosabilityから直接導かれないか。
• RQ3 このようなグラフの構造的性質は、DP-4彩色不可能性を防ぐものであり、分配ルールはそれらをどのように処理するか。
• RQ4 $S\theta$部分グラフはDP彩色行動にどのように影響を与えるか。また、その存在がDP-4彩色可能性を保証しないのはなぜか。
• RQ5 DP彩色と符号付き彩色の間にはどのような関係があるか。この結果は符号付き4-choosabilityへと拡張可能か。

主な発見

• 4-サイクルが三角形に隣接しない平面的グラフはDP-4彩色可能であり、4-choosabilityおよびDP彩色に関する予想を裏付ける。
• 分配法により、すべての面および頂点が非負の最終電荷を持つように電荷が再分配され、最小反例の存在に矛盾する。
• 4-サイクルと三角形の隣接がなく、$S\theta$部分グラフが存在してもDP-4彩色可能であることが示され、これはリスト彩色を超える構造的複雑性を示している。
• 2016年の Cheng, Chen, and Wang の4-choosability結果から自明に導かれない。DP彩色枠組みは、標準的なリスト彩色では捉えきれないより複雑なマッチングを許容する。
• 本稿では、このようなグラフが符号付き4-choosableであることも確立しており、符号付きグラフ彩色の結果をDP彩色枠組みへと拡張している。
• このクラスにおいて$\chi_{\ell}(G)$と$\chi_{\text{DP}}(G)$のギャップが保持されることを示しており、$S\theta$-フリー性がDP彩色可能性を保証しないことから、この結果の非自明性が浮き彫りになる。