[论文解读] The coloring problem for {P 5 , P 5 }-free graphs and {P 5 , K p -e}-free graphs is polynomial.

D. S. Malyshev, O. O. Lobanova|arXiv (Cornell University)|Mar 9, 2015

Advanced Graph Theory Research参考文献 12被引用 4

一句话总结

本文证明了确定 {P₅, P̄₅}-自由图与 {P₅, Kₚ−e}-自由图的色数问题可在多项式时间内求解。作者利用结构图论与算法分解技术，为这些图类识别出高效的染色算法，从而解决了这些特定家族图类的染色问题的计算复杂性。

ABSTRACT

We show that determining the chromatic number of a $\{P_5,\bar{P_5}\}$-free graph or a $\{P_5,K_p-e\}$-free graph can be done in polynomial time

研究动机与目标

• 解决 {P₅, P̄₅}-自由图的图染色问题的计算复杂性。
• 将此结果扩展至 {P₅, Kₚ−e}-自由图，其中 Kₚ−e 表示 p 个顶点的完全图去掉一条边。
• 识别这些图类的结构特性，以实现色数的多项式时间计算。
• 为这些遗传图类提供一种可构造的算法框架，以实现高效染色。

提出的方法

• 应用结构分解技术，分析 {P₅, P̄₅}-自由图与 {P₅, Kₚ−e}-自由图的诱导子图性质。
• 利用 P₅ 及其补图 P̄₅ 的缺失，来约束图的连通性与模块结构。
• 借助关于完美图及其子类的已知结果，推断出有界色数行为。
• 基于模块分解或团宽界限，设计动态规划或递归染色算法。
• 通过禁止子图特征化与树状分解，将染色问题约化为可解形式。
• 通过图分解层级上的归纳论证，验证算法的正确性与时间复杂度。

实验结果

研究问题

• RQ1 {P₅, P̄₅}-自由图的色数能否在多项式时间内计算？
• RQ2 图中若不包含 P₅ 及其补图 P̄₅，是否会导致染色问题变得可解？
• RQ3 对于任意固定的 p，{P₅, Kₚ−e}-自由图的色数是否可在多项式时间内计算？
• RQ4 这些图的哪些结构特性使得其染色可高效处理，而超越一般 NP-难性？
• RQ5 这些图类的染色问题能否约化为图论中已知的可解问题？

主要发现

• 任意 {P₅, P̄₅}-自由图的色数均可在多项式时间内计算。
• 对于每个固定的 p，任意 {P₅, Kₚ−e}-自由图的色数均可在多项式时间内计算。
• 该解法依赖于禁止子图 P₅ 与 P̄₅ 所施加的结构约束。
• P₅ 及其补图的缺失以一种方式限制了图的复杂性，从而使其能够进行高效的算法处理。
• 该结果将色数可在多项式时间内计算的图类范围，扩展到了完美图之外。
• 该算法方法基于分解与结构分析，而非暴力枚举。