[论文解读] Equitable Coloring of Graphs with Intermediate Maximum Degree

Bor-Liang Chen, Kuo‐Ching Huang+1 more|arXiv (Cornell University)|Aug 26, 2014

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

一句话总结

本文证明，对于任意阶数至少为6且最大度Δ满足(|G|+1)/3 ≤ Δ < |G|/2的图G，若其任意连通分支均不为完全图K_{Δ+1}，则G可被均衡Δ-染色。该结果证实了陈、李、吴关于均衡染色的猜想在Δ处于此范围内的关键情形，通过结构分析与基于度数的反证法，建立了均衡色类大小平衡的结论。

ABSTRACT

If the vertices of a graph $G$ are colored with $k$ colors such that no adjacent vertices receive the same color and the sizes of any two color classes differ by at most one, then $G$ is said to be equitably $k$-colorable. Let $|G|$ denote the number of vertices of $G$ and $Δ=Δ(G)$ the maximum degree of a vertex in $G$. We prove that a graph $G$ of order at least 6 is equitably $Δ$-colorable if $G$ satisfies $(|G|+1)/3 \leq Δ&lt; |G|/2$ and none of its components is a $K_{Δ+1}$.

研究动机与目标

• 解决陈、李、吴关于均衡染色猜想在中间最大度情况下的关键情形。
• 建立图在Δ相对于|G|既不太小也不太大的条件下可均衡Δ-染色的充分条件。
• 扩展已知可保证使用Δ种颜色实现均衡染色的图的范围，尤其在中间Δ范围内。
• 证明在该范围内，若图不含K_{Δ+1}连通分支，则其为均衡Δ-可染色的。

提出的方法

• 通过分析满足r+s+t = Δ+1的最大[ r,s,t ]-染色结构，推导出在假设非均衡染色下产生的矛盾。
• 利用度数约束与邻域分析，表明在特定构型下，顶点必须完全连通以满足Δ-度数要求。
• 应用关于集合间最小边数（例如‖X_i, U_j‖ ≥ 1）的命题，以确保结构一致性。
• 通过存在不相交的3-独立集（B）或独立集划分（A）导致矛盾，从而违反染色的最大性假设。
• 利用Hajnal–Szemerédi定理及先前关于均衡染色临界值的研究结果，对分析进行边界约束。
• 反证法：假设存在Δ+1个色类的最大均衡染色将导致结构矛盾，除非图中包含K_{Δ+1}，而该情况已被排除。

实验结果

研究问题

• RQ1 在何种条件下，具有中间最大度Δ的图可实现均衡Δ-染色？
• RQ2 陈、李、吴的均衡染色猜想是否可被验证于满足(|G|+1)/3 ≤ Δ < |G|/2的图？
• RQ3 在该中间Δ范围内，何种结构约束会阻止图实现均衡Δ-染色？
• RQ4 不含K_{Δ+1}连通分支是否足以保证此类图的均衡Δ-可染色性？

主要发现

• 任意阶数至少为6且满足(|G|+1)/3 ≤ Δ < |G|/2，且其任意连通分支均不与K_{Δ+1}同构的图G，均为均衡Δ-可染色的。
• 该证明表明，此类图无法在不导致矛盾的情况下存在满足r+s+t = Δ+1的最大[ r,s,t ]-染色，矛盾源于不相交3-独立集的存在。
• 度数约束迫使关键集合（如X_i, U_j, v_j）中的所有顶点完全连通，从而在缺乏K_{Δ+1}的情况下违反独立性要求。
• 该结果证实了陈、李、吴关于均衡染色的猜想在Δ的中间范围成立，扩展了此前对Δ ≥ |G|/2情形的研究结果。
• 在该范围内，不含K_{Δ+1}连通分支是图实现均衡Δ-可染色性的必要且充分结构条件。