[论文解读] Reed's Conjecture on hole expansions

Jean‐Luc Fouquet, Jean-Marie Vanherpe|arXiv (Cornell University)|May 3, 2012

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

一句话总结

本文研究了图扩张中关于色数上界之Reed猜想，特别关注二分图和奇圈扩张。提出了一种二分图扩张的染色算法，并将其推广至奇圈扩张，证明在若干条件下该猜想成立——如分量色数均为偶数、某些分量为二分图或色数为1，或所有分量具有相同色数时。主要贡献在于证明：对于奇圈扩张，色数至多比猜想中的上界大1。

ABSTRACT

In 1998, Reed conjectured that for any graph $G$, $χ(G) \leq \lceil \frac{ω(G) + Δ(G)+1}{2} ceil$, where $χ(G)$, $ω(G)$, and $Δ(G)$ respectively denote the chromatic number, the clique number and the maximum degree of $G$. In this paper, we study this conjecture for some expansions of graphs, that is graphs obtained with the well known operation composition of graphs. We prove that Reed's Conjecture holds for expansions of bipartite graphs, for expansions of odd holes where the minimum chromatic number of the components is even, when some component of the expansion has chromatic number 1 or when a component induces a bipartite graph. Moreover, Reed's Conjecture holds if all components have the same chromatic number, if the components have chromatic number at most 4 and when the odd hole has length 5. Finally, when $G$ is an odd hole expansion, we prove $χ(G)\leq\lceil\frac{ω(G)+Δ(G)+1}{2} ceil+1$.

研究动机与目标

• 验证Reed猜想在二分图及奇圈扩张中的成立性，扩展了此前关于完整扩张与独立扩张的研究成果。
• 为二分图扩张开发染色算法，并将其推广至奇圈扩张以计算色数。
• 确定Reed猜想在图扩张中成立的充分条件，特别关注分量色数与结构约束。
• 为奇圈扩张的色数建立近乎紧致的上界，证明其至多比猜想中的上界大1。

提出的方法

• 使用图复合运算（扩张）从基图H与分量图G_i构造新图。
• 对二分图扩张应用染色算法，利用诱导子图性质与色数上界。
• 对奇圈扩张进行结构分析，重点关注分量色数与顶点度约束。
• 应用Brooks定理及完美图与不连通补图的相关结论以界定色数。
• 对分量大小与色数进行归纳与情形分析，尤其关注最小色数为奇数的情形。
• 通过从最小色数分量中移除一个颜色类，构造修改后的扩张图G'，将问题转化为色数为偶数的情形。

实验结果

研究问题

• RQ1 在何种条件下，Reed猜想对二分图扩张成立？
• RQ2 当分量的最小色数为偶数时，Reed猜想对奇圈扩张是否成立？
• RQ3 当某一成分色数为1或为二分图时，能否验证Reed猜想在奇圈扩张中的成立性？
• RQ4 当猜想未完全成立时，奇圈扩张的色数的最佳可能上界是什么？
• RQ5 当所有分量具有相同色数，或分量色数至多为4时，猜想是否成立？

主要发现

• Reed猜想对所有二分图扩张成立，已通过专用染色算法与结构分析证明。
• 对于奇圈扩张，当分量的最小色数为偶数，或某一成分色数为1或为二分图时，猜想成立。
• 当所有分量具有相同色数，或分量色数至多为4时，Reed猜想在奇圈扩张中得到验证。
• 对于5-圈扩张（C5），猜想无条件成立，已通过分量大小与结构的反证法与情形分析证明。
• 对于一般奇圈扩张，色数满足χ(G) ≤ ⌈(ω(G) + Δ(G) + 1)/2⌉ + 1，此为在无法完全验证猜想时的最优已知上界。
• 该证明方法扩展了Aravind等人关于完整与独立扩张的先前结果，提供了更广泛条件下猜想成立的依据。