[论文解读] Combinatorial coloring of 3-colorable graphs

Ken‐ichi Kawarabayashi, Mikkel Thorup|arXiv (Cornell University)|May 6, 2012

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

一句话总结

本文提出了一种新颖的组合算法，实现了对3-可着色图的$\widetilde{O}(n^{4/11})$着色，这是自1990年以来首次在Blum的$\widetilde{O}(n^{3/8})$界基础上取得的突破。通过结合结构稀疏割分析识别单色顶点集，并与Chlamtac的半定规划方法相结合，该方法在多项式时间内将目前已知的最佳着色界降低至$O(n^{0.2038})$种颜色。

ABSTRACT

We consider the problem of coloring a 3-colorable graph in polynomial time using as few colors as possible. We present a combinatorial algorithm getting down to $ O(n^{4/11})$ colors. This is the first combinatorial improvement of Blum's $ O(n^{3/8})$ bound from FOCS'90. Like Blum's algorithm, our new algorithm composes nicely with recent semi-definite approaches. The current best bound is $O(n^{0.2072})$ colors by Chlamtac from FOCS'07. We now bring it down to $O(n^{0.2038})$ colors.

研究动机与目标

• 开发一种纯粹的组合算法，以在多项式时间内改进3-可着色图着色所用的颜色数量。
• 克服Blum于1990年确立的长期存在的$\widetilde{O}(n^{3/8})$界。
• 将组合进展与半定规划（SDP）技术相结合，以进一步减少颜色数量。
• 实现比当前最佳已知界$O(n^{0.2072})$更紧的渐近界。

提出的方法

• 该算法通过稀疏割的结构分析识别3-可着色图中的单色顶点集，从而实现顶点收缩。
• 采用Blum（1990）提出的多色测试，以判断顶点集是否为多色集，或是否可用于单色进展。
• 关键创新在于基于邻域扩展提出了一种新的稀疏割准则，使组合阶段的着色界达到$\widetilde{O}(n^{4/11})$。
• 通过设定$\Delta = n^{0.6435}$，将组合界$\widetilde{O}((n/\Delta_{\min})^{4/7})$与基于SDP的独立集界$O(\Delta^{0.3166})$进行平衡。
• 与Chlamtac的SDP框架集成，使该算法能够利用低度子图中的独立集提取。
• 该算法采用博弈论框架，通过多个参与者（组合与SDP）协同工作，确保向$O(n^{0.2038})$着色稳步推进。

实验结果

研究问题

• RQ1 纯粹的组合方法能否在3-可着色图的着色界方面超越Blum的$\widetilde{O}(n^{3/8})$？
• RQ2 3-可着色图的哪些结构特性可被利用以在不依赖半定规划的情况下识别单色集合？
• RQ3 如何平衡组合进展与基于SDP的独立集提取，以最小化最终的颜色数量？
• RQ4 是否可以通过组合-SDP混合方法将着色界中的指数降低至$O(n^{0.2072})$以下？

主要发现

• 本文仅使用组合技术即实现了$\widetilde{O}(n^{4/11})$的着色界，优于Blum于1990年提出的$\widetilde{O}(n^{3/8})$界。
• 通过将新组合算法与Chlamtac的SDP方法结合，本文将着色界进一步降低至$O(n^{0.2038})$种颜色。
• 指数$0.2038$严格优于Chlamtac（2007年）所获得的先前最佳已知界$O(n^{0.2072})$。
• 即使标准多色测试失效，该算法仍能通过识别单色顶点集和检测稀疏割实现进展。
• 该方法具有鲁棒性，并能与现有SDP框架无缝集成，如在$\Delta = n^{0.6435}$处平衡组合与SDP进展速率所示。
• 该结果表明，组合技术在NP难图问题的近似算法中仍能带来显著改进。