[论文解读] Independent Set Reconfiguration in Cographs

Paul Bonsma|arXiv (Cornell University)|Feb 7, 2014

Advanced Graph Theory Research参考文献 14被引用 7

一句话总结

本文提出了一种时间复杂度为 O(n²) 的算法，用于解决 cograph 中的 TAR-Reachability 问题，证明了在大小至少为 k 的两个独立集之间进行独立集重配置可在多项式时间内判定。关键结果是：在 cograph 的 TAR 重配置图中，连通分量的直径具有紧致上界 4n − 2k。

ABSTRACT

We study the following independent set reconfiguration problem, called TAR-Reachability: given two independent sets $I$ and $J$ of a graph $G$, both of size at least $k$, is it possible to transform $I$ into $J$ by adding and removing vertices one-by-one, while maintaining an independent set of size at least $k$ throughout? This problem is known to be PSPACE-hard in general. For the case that $G$ is a cograph (i.e. $P_4$-free graph) on $n$ vertices, we show that it can be solved in time $O(n^2)$, and that the length of a shortest reconfiguration sequence from $I$ to $J$ is bounded by $4n-2k$, if such a sequence exists. More generally, we show that if $X$ is a graph class for which (i) TAR-Reachability can be solved efficiently, (ii) maximum independent sets can be computed efficiently, and which satisfies a certain additional property, then the problem can be solved efficiently for any graph that can be obtained from a collection of graphs in $X$ using disjoint union and complete join operations. Chordal graphs are given as an example of such a class $X$.

研究动机与目标

• 解决 cograph 中独立集 TAR-Reachability 是否可在多项式时间内求解的开放问题。
• 在 TAR 模型下，为 cograph 中重配置序列的长度建立紧致上界。
• 将算法方法推广至对不相交并和完全连接操作封闭的更广泛图类。
• 探索 cograph 的结构特性，以支持其 cotree 分解上的高效动态规划。
• 确定相关问题的复杂性，例如受限长度的重配置以及 cograph 中重配置图的连通性。

提出的方法

• 利用 cograph 的 cotree 表示，设计基于树结构的动态规划（DP）算法。
• 执行自底向上的 DP 阶段，计算从每个子树根出发的可达性及最大独立集值。
• 应用自顶向下的 DP 阶段，传播可达性信息，并验证目标独立集 B 是否可从 A 到达。
• 利用 cograph 对不相交并和完全连接操作封闭的性质，将结果推广至更广泛的图类。
• 通过 k-可访问顶点诱导的子图 G' 限制搜索空间，确保正确性。
• 结合三条路径：从 A 到最大独立集 A'，从 A' 到 B'，以及从 B' 到 B，利用已知的序列长度界。

实验结果

研究问题

• RQ1 cograph 中独立集的 TAR-Reachability 是否可在多项式时间内求解？
• RQ2 cograph 中两个独立集之间的重配置序列最大长度是多少？
• RQ3 哪些图类在对不相交并和完全连接操作封闭时，可支持高效的 TAR-Reachability 算法？
• RQ4 cograph 中独立集的重配置图是否连通，且能否高效判定？
• RQ5 在 cograph 中，寻找长度不超过 ℓ 的两个独立集之间的重配置序列的复杂性如何？

主要发现

• cograph 中独立集的 TAR-Reachability 问题可在 O(n²) 时间内求解，解决了先前工作中遗留的开放问题。
• 对于 n 个顶点的 cograph G，其 TAR_k(G) 重配置图中任意连通分量的直径至多为 4n − 2k。
• 对于 TJ 模型，重配置图中分量的直径至多为 2n − k。
• 该算法可扩展至任意对不相交并和完全连接操作封闭的图类，前提是基础图满足高效的 TAR-Reachability 和最大独立集可达性。
• 弦图和无爪图被识别为可扩展图类的示例。
• 本文未解决受限长度重配置和 TAR_k(G) 图连通性的复杂性，尽管通过动态规划方法推测存在多项式时间解法。