[論文レビュー] Proper conflict-free coloring of sparse graphs

Eun‐Kyung Cho, Ilkyoo Choi+2 more|arXiv (Cornell University)|Mar 30, 2022

Advanced Graph Theory Research被引用数 5

ひとこと要約

本稿は、スパースグラフにおける適切な衝突なし $c$-彩色を保証する最大平均次数（mad）のタイトな上限を確立する。$c \geq 5$ の場合、$\operatorname{mad}(G) \leq \frac{4c}{c+2}$ であれば、$G$ が $K_{c+1}$ の $1$-分割を含まない限り、適切な衝突なし $c$-彩色が存在する。$c=4$ の場合、$\operatorname{mad}(G) < \frac{12}{5}$ であれば、$G$ に誘導された $5$-サイクルが含まれない限り、適切な衝突なし $4$-彩色が存在する。また、ゴザインが $5$ 以上の平面グラフは適切な衝突なし $7$-彩色を持つことが示された。

ABSTRACT

A {\it proper conflict-free $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing exactly once on its neighborhood. This notion was formally introduced by Fabrici et al., who proved that planar graphs have a proper conflict-free 8-coloring and constructed a planar graph with no proper conflict-free 5-coloring. Caro, Petruševski, and Škrekovski investigated this coloring concept further, and in particular studied upper bounds on the maximum average degree that guarantees a proper conflict-free $c$-coloring for $c\in\{4,5,6\}$. Along these lines, we completely determine the threshold on the maximum average degree of a graph $G$, denoted $mad(G)$, that guarantees a proper conflict-free $c$-coloring for all $c$ and also provide tightness examples. Namely, for $c\geq 5$ we prove that a graph $G$ with $mad(G)\leq \frac{4c}{c+2}$ has a proper conflict-free $c$-coloring, unless $G$ contains a $1$-subdivision of the complete graph on $c+1$ vertices. When $c=4$, we show that a graph $G$ with $mad(G)

研究の動機と目的

• すべての $c$ に対して、適切な衝突なし $c$-彩色を保証する最大平均次数（mad）の正確な閾値を特定すること。
• このような彩色を妨げる極値的グラフ、特に $K_{c+1}$ の $1$-分割と誘導された $5$-サイクルを特定すること。
• Caro, Petruševski, および Škrekovski が $c \in \{4,5,6\}$ に対して得た mad 閾値の既存の境界を改善すること。
• 特にゴザイン $\geq 5$ の場合に、平面グラフにまで結果を拡張し、ゴザイン制約付きで $7$-彩色が可能であることを示すこと。
• 具体的な極値例（例：$5$-サイクル、$K_{c+1}^*$）を用いて、境界のタイトさを確立すること。

提案手法

• ゴザイン制約付きの平面的グラフに分配法を適用し、電荷再分配を分析し、面の最終電荷が非負であることを証明する。
• 分配法則の体系を定義する：(R1) 面のサイズに基づく初期電荷、(R2) 頂点が次数およびタイプ（良い、悪い、$4^+$）に応じて隣接面に電荷を送る、(R3) $2$-頂点および $3$-頂点に対して特定のルールを適用する、(R4) $9^+$-頂点が各隣接面に $\frac{1}{3}$ を送る。
• 頂点と面を良い、悪い、ひどいと分類し、電荷移動を制御し、受信電荷の下界を保証する。
• 構造的補題（例：$2$-および $3$-近傍に関する Lemma 2.3、Lemma 2.5）を用いて、可能な構成を制限する。
• 与えられた mad 界および禁止部分グラフを除いた条件下で、すべての面が非負の最終電荷を持つことを証明し、彩色の存在を示す。
• 極値例（例：$K_{c+1}^*$、$5$-サイクル）を用いて、境界がタイトであることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての $c$ に対して、適切な衝突なし $c$-彩色を保証する最大平均次数の正確な閾値は何か？
• RQ2 mad 界を満たしても適切な衝突なし $c$-彩色が不可能な極値的グラフは何か？
• RQ3 $c=4$ の場合、誘導された $5$-サイクルを禁止することで境界を改善できるか？
• RQ4 平面グラフが適切な衝突なし $c$-彩色を許容するための最小ゴザインは何か？
• RQ5 構造的類似性を考慮すると、適切な衝突なし彩色の閾値と奇数彩色の閾値はどのように比較できるか？

主な発見

• $c \geq 5$ の場合、$\operatorname{mad}(G) \leq \frac{4c}{c+2}$ であるグラフ $G$ は、$K_{c+1}$ の $1$-分割を含まない限り、適切な衝突なし $c$-彩色を持つ。
• $c = 4$ の場合、$\operatorname{mad}(G) < \frac{12}{5}$ であるグラフ $G$ は、誘導された $5$-サイクルを含まない限り、適切な衝突なし $4$-彩色を持つ。
• ゴザインが $5$ 以上の平面グラフは適切な衝突なし $7$-彩色を持つ。これは既知の $8$-彩色結果を改善する。
• $c \geq 5$ に対して、$\frac{4c}{c+2}$ の閾値はタイトである。これは、$K_{c+1}$ の $1$-分割がちょうどそのような mad を持ち、$c+1$ 色を必要とするためである。
• $c=4$ の場合、$5$-サイクルが唯一の極値的グラフである。$\operatorname{mad} = 2$ であり、$5$ 色を必要とするため、$\frac{12}{5} = 2.4$ の境界がそれらを除いた場合にタイトであることを示している。
• 結果から、$g_7 \leq 5$ および $g_6 \leq 8$ が導かれる。ここで $g_c$ は、平面グラフが適切な衝突なし $c$-彩色を許容するための最小ゴザインを表す。