[论文解读] 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}$ 时，存在正常无冲突 $c$-染色，除非 $G$ 包含 $K_{c+1}$ 的 $1$-细分；对于 $c=4$，界限为 $\operatorname{mad}(G) < \frac{12}{5}$，除非 $G$ 包含诱导的 $5$-环。此外，还证明了围长至少为 $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，关于 $2$-和 $3$-邻居的引理 2.5）以限制可能的配置。
• 证明在给定的 mad 界限下并排除禁止子图时，所有面的最终电荷均为非负，从而推出染色的存在性。
• 使用极值例子（如 $K_{c+1}^*$、$5$-环）证明界限的紧致性。

实验结果

研究问题

• RQ1 对所有 $c$，保证存在正常无冲突 $c$-染色的最高平均度（mad）的确切阈值是什么？
• RQ2 哪些图是极值例子，即使满足 mad 界限，仍会阻止正常无冲突 $c$-染色？
• RQ3 通过禁止诱导的 $5$-环，能否改进 $c=4$ 时的界限？
• RQ4 平面图要实现正常无冲突 $c$-染色，所需的最小围长是多少？
• RQ5 鉴于正常无冲突染色与奇染色在结构上的相似性，它们的阈值如何比较？

主要发现

• 对于 $c \geq 5$，若图 $G$ 满足 $\operatorname{mad}(G) \leq \frac{4c}{c+2}$，则存在正常无冲突 $c$-染色，除非 $G$ 包含 $K_{c+1}$ 的 $1$-细分。
• 对于 $c = 4$，若图 $G$ 满足 $\operatorname{mad}(G) < \frac{12}{5}$，则存在正常无冲突 $4$-染色，除非 $G$ 包含诱导的 $5$-环。
• 围长至少为 $5$ 的平面图具有正常无冲突 $7$-染色，优于已知的 $8$-染色结果。
• 阈值 $\frac{4c}{c+2}$ 对于 $c \geq 5$ 是紧致的，如 $K_{c+1}$ 的 $1$-细分所示，其 mad 恰好为该值，且需要 $c+1$ 种颜色。
• $5$-环是 $c=4$ 时唯一的极值图，因其 $\operatorname{mad} = 2$ 且需要 $5$ 种颜色，表明在排除该图时，$\frac{12}{5} = 2.4$ 的界限是紧致的。
• 结果表明 $g_7 \leq 5$ 且 $g_6 \leq 8$，其中 $g_c$ 是保证平面图存在正常无冲突 $c$-染色的最小围长。