[论文解读] Improved bounds on coloring of graphs

Sokol Ndreca, Aldo Procacci+1 more|arXiv (Cornell University)|May 11, 2010

Limits and Structures in Graph Theory参考文献 15被引用 4

一句话总结

该论文通过改进的洛瓦兹局部大数定理（Lovász Local Lemma）方法，提升了图着色参数的上界，包括无圈边着色、无圈顶点着色、星形着色和 $\beta$-自由着色。研究结果依赖于最大度 $\Delta$ 和围长 $g$，并得出：当 $g \geq 53$ 时，$a'(G) \leq \lceil 4.52(\Delta-1)\rceil$；对于 $\chi^\beta(G)$，有 $\chi^\beta(G) \leq \lceil \max\{k_1(\beta)\Delta,\, k_2(\beta)\Delta^{1+1/\beta}/(\beta!)^{1\beta}\} \rceil$，其中 $k_1(\beta) \in [4,6]$ 递减，$k_2(\beta) \in [2,5]$ 递减。

ABSTRACT

Given a graph $G$ with maximum degree $Δ\ge 3$, we prove that the acyclic edge chromatic number $a'(G)$ of $G$ is such that $a'(G)\le\lceil 9.62 (Δ-1) ceil$. Moreover we prove that: $a'(G)\le \lceil 6.42(Δ-1) ceil$ if $G$ has girth $g\ge 5\,$; $a'(G)\le \lceil5.77 (Δ-1) c$ if $G$ has girth $g\ge 7$; $a'(G)\le \lc4.52(\D-1) c$ if $g\ge 53$; $a'(G)\le \D+2\,$ if $g\ge \lceil25.84\D\log\D(1+ 4.1/\log\D) ceil$. We further prove that the acyclic (vertex) chromatic number $a(G)$ of $G$ is such that $a(G)\le \lc 6.59 Δ^{4/3}+3.3\D c$. We also prove that the star-chromatic number $χ_s(G)$ of $G$ is such that $χ_s(G)\le \lc4.34Δ^{3/2}+ 1.5\D c$. We finally prove that the $\b$-frugal chromatic number $χ^\b(G)$ of $G$ is such that $χ^\b(G)\le \lc\max\{k_1(\b)\D,\; k_2(\b){\D^{1+1/\b}/ (\b!)^{1/\b}}\} c$, where $k_1(\b)$ and $k_2(\b)$ are decreasing functions of $\b$ such that $k_1(\b)\in[4, 6]$ and $k_2(\b)\in[2,5]$. To obtain these results we use an improved version of the Lovász Local Lemma due to Bissacot, Fernández, Procacci and Scoppola \cite{BFPS}.

研究动机与目标

• 改进具有最大度 $\Delta$ 的图的无圈边着色数 $a'(G)$、无圈顶点着色数 $a(G)$、星形着色数 $\chi_s(G)$ 以及 $\beta$-自由着色数 $\chi^\beta(G)$ 的现有上界。
• 通过引入图的围长 $g$，特别是对高围长图，进一步优化上述上界。
• 应用基于簇展开和聚合气体模型的洛瓦兹局部大数定理改进版本，以获得更紧致的集中性界。
• 利用围长和度等结构约束，通过先进概率方法优化已知着色界中的常数，尤其针对 $a'(G)$。

提出的方法

• 采用源自簇展开和统计力学的洛瓦兹局部大数定理改进版本，具体为 Bissacot-Fernandez-Procacci-Scoppola 变体。
• 对不理想着色事件建模：相邻顶点被赋予相同颜色，以及某个邻域内 $\beta+1$ 个顶点共享同一种颜色。
• 在边集和 $\beta$-邻域集上定义依赖图 $H$，通过共享顶点诱导的团来控制依赖关系。
• 为边事件和 $\beta$-邻域事件分配权重变量 $\mu_1$、$\mu_2$，并通过优化 $\alpha = \Delta\mu_1$ 来最小化所需颜色数。
• 通过优化函数 $k_1(\beta)$ 和 $k_2(\beta)$ 推导出上界，二者随 $\beta$ 递减，确保更优的渐近缩放性能。
• 应用谢雷定理（Shearer's theorem）和独立集多项式非零条件，以在概率框架下验证洛瓦兹局部大数定理的条件。

实验结果

研究问题

• RQ1 对于最大度为 $\Delta$ 且围长为 $g$ 的图，无圈边着色数 $a'(G)$ 的最紧可能上界是什么？
• RQ2 改进后的 $a'(G)$ 上界如何依赖于围长？实现 $a'(G) \leq \Delta + 2$ 的围长阈值是多少？
• RQ3 能否比以往结果更紧致地界定 $\beta$-自由着色数 $\chi^\beta(G)$，尤其是在 $\beta$ 较大时？
• RQ4 在 $\Delta$ 的表达下，无圈顶点着色数 $a(G)$ 和星形着色数 $\chi_s(G)$ 的最佳可实现上界是什么？
• RQ5 能否通过高级概率方法（如改进的洛瓦兹局部大数定理）优化已知着色界中的常数？

主要发现

• 无圈边着色数满足 $a'(G) \leq \lceil 9.62(\Delta - 1) \rceil$，对任意 $\Delta \geq 3$ 成立，优于先前结果。
• 当围长 $g \geq 5$ 时，$a'(G) \leq \lceil 6.42(\Delta - 1) \rceil$；当 $g \geq 7$ 时，$a'(G) \leq \lceil 5.77(\Delta - 1) \rceil$；当 $g \geq 53$ 时，$a'(G) \leq \lceil 4.52(\Delta - 1) \rceil$。
• 当围长满足 $g \geq \lceil 25.84\Delta\log\Delta(1 + 4.1/\log\Delta) \rceil$ 时，$a'(G) \leq \Delta + 2$，验证了在足够大围长下该猜想成立。
• 无圈顶点着色数满足 $a(G) \leq \lceil 6.59\Delta^{4/3} + 3.3\Delta \rceil$，优于先前的 $50\Delta^{4/3}$ 上界。
• 星形着色数满足 $\chi_s(G) \leq \lceil 4.34\Delta^{3/2} + 1.5\Delta \rceil$，优于先前的 $20\Delta^{3/2}$ 上界。
• $\beta$-自由着色数满足 $\chi^\beta(G) \leq \lceil \max\{k_1(\beta)\Delta,\, k_2(\beta)\Delta^{1+1/\beta}/(\beta!)^{1/\beta}\} \rceil$，其中 $k_1(\beta) \in [4,6]$ 且 $k_2(\beta) \in [2,5]$ 随 $\beta$ 递减，实现更紧致的渐近缩放。