[论文解读] Polynomial-time algorithms for minimum weighted colorings of ($P_5, \bar{P}_5$)-free graphs and related graph classes

Chı́nh T. Hoàng, D. Adam Lazzarato|arXiv (Cornell University)|Sep 2, 2014

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

一句话总结

本文提出了一种 $O(n^3)$ 的多项式时间算法，通过利用模块分解并在素图上递归求解，计算 $(P_5, \overline{P}_5)$-free 图的最小权着色。关键贡献是一个通用定理，表明若在某个可遗传图类的所有素图上最小权着色问题可多项式时间求解，则该问题在该类的所有图上也可多项式时间求解。该定理被应用于 $(P_5, \overline{P}_5)$-free 图及其相关类，包括（钻石，共钻石）-free 图。

ABSTRACT

We design an $O(n^3)$ algorithm to find a minimum weighted coloring of a ($P_5, \bar{P}_5$)-free graph. Furthermore, the same technique can be used to solve the same problem for several classes of graphs, defined by forbidden induced subgraphs, such as (diamond, co-diamond)-free graphs.

研究动机与目标

• 为 $(P_5, \overline{P}_5)$-free 图的最小权着色（MWC）问题开发一个多项式时间算法。
• 将该方法推广至由禁止诱导子图定义的其他可遗传图类。
• 证明在可遗传类中仅需在素图上求解 MWC 即可保证该类中所有图的多项式时间可解性。
• 将该方法扩展至相关类，如（钻石，共钻石）-free 图。
• 为 $(P_5, \overline{P}_5)$-free 图提供一个时间效率高的解决方案，时间复杂度为 $O(n^3)$。

提出的方法

• 使用模块分解，通过强模将图递归分解为其素图分量。
• 证明：若在某个可遗传类的所有素图上 MWC 可多项式时间求解，则在该类的所有图上也可多项式时间求解。
• 利用分解树 $T(G)$ 独立处理每个素图子图，并通过稳定集合并算法合并结果。
• 实现一个递归算法，调用针对素图的 MWC 求解器，并使用线性时间稳定集合并过程合并着色。
• 通过分解树中 $O(n)$ 个内部节点和每次合并操作 $O(n^2)$ 的时间，将总运行时间控制在 $O(n^3)$ 以内。
• 利用已知的素图结构结果（例如，为完美图或大小有界）确保在素图上 MWC 的多项式时间可解性。

实验结果

研究问题

• RQ1 能否在多项式时间内求解 $(P_5, \overline{P}_5)$-free 图的最小权着色问题？
• RQ2 若在可遗传图类的素图上求解 MWC，是否意味着该类中所有图的 MWC 问题均可多项式时间求解？
• RQ3 $(P_5, \overline{P}_5)$-free 素图的何种结构特性使得其能高效计算 MWC？
• RQ4 该框架能否扩展至其他图类，如（钻石，共钻石）-free 图？
• RQ5 所提算法在 $(P_5, \overline{P}_5)$-free 图上的时间复杂度是多少？

主要发现

• 提出了一种 $O(n^3)$ 算法，用于计算 $(P_5, \overline{P}_5)$-free 图的最小权着色。
• 该算法依赖于一个通用定理：若在某个可遗传类的所有素图上 MWC 可多项式时间求解，则在该类的所有图上也可多项式时间求解。
• 该方法利用模块分解将图递归分解为素图分量，并高效合并其着色结果。
• 稳定集合并算法确保最终着色中稳定集的总数至多为 $2n - 1$，从而保持效率。
• 该方法可扩展至其他类，如（钻石，共钻石）-free 图，其中素图要么是完美图，要么大小有界，从而保证 MWC 的多项式时间可解性。
• 分解树 $T(G)$ 中的内部节点总数被限制在 $O(n)$ 以内，且每次合并操作耗时 $O(n^2)$，从而得出整体 $O(n^3)$ 的时间复杂度。