[论文解读] Weighted Independent Sets in a Subclass of $P_6$-free Graphs

T. Karthick|arXiv (Cornell University)|Apr 21, 2015

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

一句话总结

本文通过分析此类图的原子结构并利用分解定理，提出了一种在 $(P_6, \text{banner})$-free 图中求解最大权独立集（MWIS）问题的 $O(n^3m)$ 时间算法。证明了此类图中的每个原子几乎都是 $C_5$-free，从而可通过在 $C_5$-free 子图上使用动态规划实现高效的 MWIS 计算，因此将多项式时间可解性扩展到了更广泛的 $P_6$-free 图子类。

ABSTRACT

The Maximum Weight Independent Set (MWIS) problem on graphs with vertex weights asks for a set of pairwise nonadjacent vertices of maximum total weight. The complexity of the MWIS problem for $P_6$-free graphs is unknown. In this note, we show that the MWIS problem can be solved in time $O(n^3m)$ for ($P_6$, banner)-free graphs by analyzing the structure of subclasses of these class of graphs. This extends the existing results for ($P_5$, banner)-free graphs, and ($P_6$, $C_4$)-free graphs. Here, $P_t$ denotes the chordless path on $t$ vertices, and a banner is the graph obtained from a chordless cycle on four vertices by adding a vertex that has exactly one neighbor on the cycle.

研究动机与目标

• 解决 $(P_6, \text{banner})$-free 图中最大权独立集（MWIS）问题的复杂性，该图是 $P_6$-free 图的一个子类，此前其复杂性尚不明确。
• 通过引入新的结构表征，将现有关于 $(P_5, \text{banner})$-free 和 $(P_6, C_4)$-free 图中 MWIS 的多项式时间结果扩展到更广泛的类别。
• 证明在素性 $(P_6, \text{banner})$-free 图中，每个原子几乎都是 $C_5$-free，从而可利用已知的 $C_5$-free 子图上的高效算法。
• 提供一个严谨的算法框架，结合定理 1（关于素图）和定理 2（关于近乎 $\mathcal{C}$-free 原子），实现该类图中 MWIS 的多项式时间可解性。

提出的方法

• 利用定理 1，将在遗传图类上求解 MWIS 的问题简化为仅在素图上求解。
• 应用定理 2，求解其原子近乎 $\mathcal{C}$-free 的图中的 MWIS 问题，其中 $\mathcal{C}$ 是一个具有已知多项式时间 MWIS 算法的类。
• 通过反证法和对诱导子图的结构分析，证明 $(P_6, \text{banner})$-free 图中每个原子几乎都是 $C_5$-free。
• 基于邻域的顶点划分（$A_i, A_i^+, A_i^-$）分析原子之间、团与诱导圈之间的邻接模式。
• 使用反证法证明在特定配置下某些诱导子图（如 banner、$P_6$）不可能存在，从而证明结构约束。
• 通过使用素图和原子，隐式结合最小补全和模分解技术，实现问题的分解。

实验结果

研究问题

• RQ1 是否可以在多项式时间内求解 $(P_6, \text{banner})$-free 图中的 MWIS 问题，该图是 $P_6$-free 圖的一个子类？
• RQ2 $(P_6, \text{banner})$-free 圖中原子的结构特性是什么，使其能够实现高效的 MWIS 计算？
• RQ3 是否可以将已知的关于 $(P_5, \text{banner})$-free 和 $(P_6, C_4)$-free 圖中 MWIS 的多项式时间结果扩展到 $(P_6, \text{banner})$-free 圖？
• RQ4 若 $P_6$ 和 banner 均不作为诱导子图出现，是否意味着所有原子都近乎 $C_5$-free？
• RQ5 是否可以利用素图与近乎 $\mathcal{C}$-free 原子的框架，为该类图推导出 MWIS 的多项式时间算法？

主要发现

• 对于 $(P_6, \text{banner})$-free 圖，MWIS 问题可在 $O(n^3m)$ 时间内求解，为此前未解决的子类提供了多项式时间解法。
• $(P_6, \text{banner})$-free 圖中每个原子几乎都是 $C_5$-free，这是实现该算法的关键结构特性。
• 若假设原子在其邻域中包含 $C_5$，则 $A^+ = A_3^+ \cup A_5^+$ 作为 $C_5$ 与顶点集 $Q$ 之间的团分离器，将导致矛盾，从而证明了近乎 $C_5$-free 的性质。
• 该算法依赖于：$(P_6, \text{banner}, C_5)$-free 图的 MWIS 可在 $O(n^2m)$ 时间内求解，而这些图是原子的子图。
• 定理 1（关于素图）与定理 2（关于近乎 $\mathcal{C}$-free 原子）的结合，为整个 $(P_6, \text{banner})$-free 圖类提供了 $O(n^3m)$ 时间的算法。
• 该结果扩展了先前关于 $(P_5, \text{banner})$-free 和 $(P_6, C_4)$-free 圖的研究，表明当 $P_6$ 和 banner 均不作为诱导子图出现时，可实现高效的 MWIS 计算。