[論文レビュー] Graphs with maximum degree D at least 17 and maximum average degree less than 3 are list 2-distance (D+2)-colorable

Marthe Bonamy, Benjamin Lévêque+1 more|arXiv (Cornell University)|Jan 29, 2013

Advanced Graph Theory Research参考文献 11被引用数 3

ひとこと要約

本稿では、最大次数Δ ≥ 17かつ最大平均次数が3未塔であるグラフが、リスト2距離(Δ+2)-彩色可能であることを証明している。これは、6以上の周囲長をもつ平面グラフについての先行結果を改善するものである。証明では、ブルックスの補題に基づく新規の放電法を用いて構造的性質を確立し、全般的にカスツスのような構造を保証することで、リスト制約下でもΔ+2色で彩色可能であることを示している。

ABSTRACT

For graphs of bounded maximum average degree, we consider the problem of 2-distance coloring. This is the problem of coloring the vertices while ensuring that two vertices that are adjacent or have a common neighbor receive different colors. It is already known that planar graphs of girth at least 6 and of maximum degree D are list 2-distance (D+2)-colorable when D>=24 (Borodin and Ivanova (2009)) and 2-distance (D+2)-colorable when D>=18 (Borodin and Ivanova (2009)). We prove here that D>=17 suffices in both cases. More generally, we show that graphs with maximum average degree less than 3 and D>=17 are list 2-distance (D+2)-colorable. The proof can be transposed to list injective (D+1)-coloring.

研究の動機と目的

• スパarsなグラフに対して、リスト2距離(Δ+2)-彩色可能性を保証する最小の最大次数Δを特定すること。
• 周囲長≥6の平面グラフに対する2距離彩色の既知の結果を、最大平均次数(mad) < 3で定義されるより広いクラスのグラフへ拡張すること。
• スパarsなグラフにおけるリスト2距離(Δ+2)-彩色の閾値を、Δ≥18またはΔ≥24からΔ≥17に改善すること。
• ブルックスの補題が、グラフ彩色問題におけるグローバルな放電的議論に効果的に応用可能であることを示すこと。

提案手法

• 最大平均次数(mad(G)) < 3および最大次数Δ(G) ≥ 17を満たすグラフに放電法を適用し、頂点の次数に基づいて初期重みを割り当てる。
• 放電規則(R1.i, R2, R3, R4, Rg)を用いて重みを再分配し、すべての頂点が最終的に重み3以上を保つことを示す。これにより、mad(G) ≥ 3が導かれる。
• 最小反例Gを仮定し、Δ(G) ≤ kであり、リスト2距離(k+2)-彩色が存在しないと仮定することで矛盾を導出する。この仮定から、mad(G) ≥ 3が得られる。
• ブルックスの補題を用いて、最小反例における全般的なカスツスのような構造を確立し、より強い構造的制約を導く。
• 証明を変更して、同じ条件下でリスト単射(Δ+1)-彩色が可能であることを示す。
• 議論を平面グラフから、より一般的な最大平均次数(mad(G)) < 3を満たすグラフのクラスへと一般化する。

実験結果

リサーチクエスチョン

• RQ1 最大平均次数(mad(G)) < 3を満たすグラフにおいて、Δ ≥ 17がリスト2距離(Δ+2)-彩色に十分であるか。
• RQ2 放電枠組み内でブルックスの補題を用いることで、2距離彩色に関するより強い構造的結論が得られるか。
• RQ3 周囲長≥6の平面グラフに対するリスト2距離(Δ+2)-彩色結果が、最大平均次数(mad(G)) < 3を満たすグラフへ拡張可能か。
• RQ4 最大平均次数(mad(G)) < 3を満たすグラフが(Δ+2)-リスト2距離彩色可能でない最大のΔは何か。
• RQ5 同じ方法を用いて、同じ条件下でリスト単射(Δ+1)-彩色が証明可能か。

主な発見

• 最大次数Δ ≥ 17かつ最大平均次数が3未塔であるグラフは、リスト2距離(Δ+2)-彩色可能である。
• Δ ≥ 17という閾値は、同様のクラスのグラフに対してΔ ≥ 18またはΔ ≥ 24を要していた先行結果を改善している。
• 証明により、最小反例はmad(G) ≥ 3を満たさなければならないことが示され、仮定のmad(G) < 3と矛盾する。
• ブルックスの補題の使用により、グローバルな構造的解析が可能となり、最小反例にカスツスのような木構造的構造が明らかになった。
• この方法は、同様の条件下で、そのグラフがリスト単射(Δ+1)-彩色可能であることも直接的に適応可能である。
• 既知の周囲長が6以上の平面グラフに対する2距離彩色結果が、最大平均次数(mad(G)) < 3で定義されるより広いスパarsなグラフの族へ一般化された。