[论文解读] Reconfiguring Independent Sets in Claw-Free Graphs

Paul Bonsma, Marcin Kamiński+1 more|arXiv (Cornell University)|Mar 3, 2014

Advanced Graph Theory Research参考文献 6被引用 10

一句话总结

本文提出了一种多项式时间算法，用于判断在爪形图中，一个独立集能否通过保留独立集性质的令牌滑动（TS）或令牌跳跃（TJ）移动，重新配置为另一个独立集。关键贡献在于证明了在爪形图中，独立集重配置的可达性问题在TS和TJ模型下均可在多项式时间内求解，从而解决了重配置理论中长期悬而未决的开放问题。

ABSTRACT

We present a polynomial-time algorithm that, given two independent sets in a claw-free graph $G$, decides whether one can be transformed into the other by a sequence of elementary steps. Each elementary step is to remove a vertex $v$ from the current independent set $S$ and to add a new vertex $w$ (not in $S$) such that the result is again an independent set. We also consider the more restricted model where $v$ and $w$ have to be adjacent.

研究动机与目标

• 确定在TS和TJ模型下，爪形图中独立集重配置的计算复杂性。
• 解决在爪形图中，独立集之间的可达性是否能被高效判定的问题。
• 扩展对特殊图类重配置已知结果的研究，特别是将线图上的结果推广到爪形图。
• 为具有受限结构的图提供一种构造性的算法框架，用于重配置。

提出的方法

• 作者引入了一种新颖的爪形图结构分析方法，利用有向辅助图D(G,C)来建模潜在的重配置路径。
• 他们定义并分析了' I-坏环'——阻碍直接重配置的图中环——并引入了通过有效移动序列实现内部化解的概念。
• 该证明通过路径段的归纳法，建立图中某些边必须存在或不存在，以确保有效重配置序列的存在。
• 该算法利用了爪形图的性质，包括其同时也是爪形自由图的事实，将问题简化为可处理的形式。
• 关键引理表明，对于连通爪形图，任意两个独立集之间存在TJ序列，当且仅当图满足某种特定结构条件。
• 解决方案依赖于一种构造性方法：如果一个环无法被简单化解，则通过图的结构和辅助有向图D(G,C)系统地推导出一系列移动。

实验结果

研究问题

• RQ1 在爪形图中，独立集重配置的可达性问题是否能在令牌滑动（TS）模型下以多项式时间求解？
• RQ2 是否存在一种多项式时间算法，用于判断爪形图中两个独立集是否可通过令牌跳跃（TJ）移动相连？
• RQ3 爪形图的哪些结构特性使得独立集的高效重配置成为可能？这些特性如何推广线图上的已知结果？
• RQ4 在连通爪形图中，两个独立集之间存在TJ序列的条件是什么？
• RQ5 是否可以系统地仅通过有效的TS或TJ移动实现I-坏环的内部化解？

主要发现

• 在爪形图中，独立集重配置的可达性问题在令牌滑动（TS）和令牌跳跃（TJ）模型下均可在多项式时间内求解。
• 对于连通爪形图，任意两个独立集之间存在TJ序列，当且仅当图满足与某些禁止配置缺失相关的特定结构条件。
• 作者证明了爪形图中的每个I-坏环都可以通过一系列有效的令牌滑动移动实现内部化解，这是该算法的关键步骤。
• 该算法通过分析有向辅助图D(G,C)构建重配置序列，该图编码了潜在的移动序列，并通过归纳边约束确保正确性。
• 该解决方案将埃德蒙兹匹配算法推广至重配置领域，将已知结果从线图推广到更广泛的爪形图类。
• 本文证明了尽管在一般图中重配置问题为PSPACE完全，但在爪形图中该问题仍保持可解性，凸显了图结构在重配置复杂性中的关键作用。