[论文解读] A survey on the parameterized complexity of the independent set and (connected) dominating set reconfiguration problems

Nicolás Bousquet, Amer E. Mouawad+2 more|arXiv (Cornell University)|Apr 22, 2022

Advanced Graph Theory Research被引用 7

一句话总结

本综述研究了在令牌滑动和跳跃规则下，独立集与（连通）支配集重配置问题的参数化复杂性，重点关注参数 $k$（令牌数量）。该综述整合了现有研究成果，识别出关键技术如支配核心与无关顶点识别，并在平面图与有界树宽图上建立了固定参数可追踪性与多项式内核，同时指出了该领域中的主要开放问题。

ABSTRACT

A graph vertex-subset problem defines which subsets of the vertices of an input graph are feasible solutions. We view a feasible solution as a set of tokens placed on the vertices of the graph. A reconfiguration variant of a vertex-subset problem asks, given two feasible solutions of size $k$, whether it is possible to transform one into the other by a sequence of token slides (along edges of the graph) or token jumps (between arbitrary vertices of the graph) such that each intermediate set remains a feasible solution of size $k$. Many algorithmic questions present themselves in the form of reconfiguration problems: Given the description of an initial system state and the description of a target state, is it possible to transform the system from its initial state into the target one while preserving certain properties of the system in the process? Such questions have received a substantial amount of attention under the so-called combinatorial reconfiguration framework. We consider reconfiguration variants of three fundamental underlying graph vertex-subset problems, namely Independent Set, Dominating Set, and Connected Dominating Set. We survey both older and more recent work on the parameterized complexity of all three problems when parameterized by the number of tokens $k$. The emphasis will be on positive results and the most common techniques for the design of fixed-parameter tractable algorithms.

研究动机与目标

• 系统性地调查以令牌数量 $k$ 为参数的独立集与（连通）支配集重配置问题的参数化复杂性。
• 识别并分析核心算法技术，如支配核心、无关顶点识别与图的结构分解。
• 厘清在不同图类与重配置规则下，重配置问题的可解性与不可解性边界。
• 突出开放问题与研究方向，特别是针对令牌滑动与有界路径宽/树宽图。
• 通过将重配置复杂性与基础问题复杂性相联系，并提出新的参数化方式与移动规则，以激发进一步研究。

提出的方法

• 综述采用对现有重配置问题文献的全面分析，重点关注固定参数可追踪（FPT）算法与内核化技术。
• 应用树宽、 cliquewidth 与有界扩张等结构图论工具，分析重配置行为。
• 关键技术包括构建 $k$-支配核心，以及在平面图与有界度图中识别保持重配置性质的无关顶点。
• 作者使用构件替换与基于平面性的约化方法，在平面图上为 CDSR-TJ 构造多项式内核。
• 分析区分了令牌滑动（TS）与令牌跳跃（TJ）规则，评估其对复杂性与内核化的影响。
• 综述使用图类包含关系图（如平面图、$H$-无子图图）来定位结果，并识别复杂性边界。

实验结果

研究问题

• RQ1 CDSR-TJ 在有界路径宽图上是否为固定参数可追踪？
• RQ2 CDSR-TJ 在平面图上是否具有线性内核？
• RQ3 DSR-TS 以 $k$ 为参数时，在有界路径宽或树宽图上是否为固定参数可追踪？
• RQ4 CDSR-TS 以 $k$ 为参数时，在平面图或有界路径宽图上是否为固定参数可追踪？
• RQ5 新的参数化方式或广义移动规则（如同时移动多个令牌）能否带来可追踪的重配置算法？

主要发现

• CDSR-TJ 在平面图上具有多项式内核，通过支配核心与基于平面性的无关顶点识别实现。
• 即使在 5-退化图上，该问题在参数 $k + \ell$ 下仍为难解，表明连通性约束显著增加了复杂性。
• 对于有界度图，DSR-TS 与 CDSR-TS 均为 FPT，因为顶点数被限制在 $k\Delta$ 以内。
• CDSR-TJ 在平面图上不存在诱导子图内核，反例表明删除非核心顶点会破坏重配置序列。
• 作者指出，现有内核化技术高度专用化，不具备通用性，尤其在平面图与有界树宽图中。
• 综述强调，DSR-TS 与 CDSR-TS 的参数化复杂性在大多数图类中仍为开放问题，包括有界路径宽与树宽图。