[論文レビュー] 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

ひとこと要約

本調査は、トークンスライディングおよびジャンピングルールに従う独立集合および（連結）支配集合再配置問題のパrameterized複雑性を、トークン数 $k$ をパrameterとして調査する。既知の結果を統合し、支配コアや不要な頂点同定といった主要な技術を特定し、平面的および有界木幅グラフ上で固定パrameter可 tractability と多項式カーネルを確立する一方で、分野における主要な未解決問題を強調する。

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$ をパrameterとするパrameterized複雑性を体系的かつ包括的に調査すること。
• 支配コア、不要な頂点同定、構造的グラフ分解といった核心的なアルゴリズム技術を特定・分析すること。
• 異なるグラフクラスおよび再配置ルールの下での再配置の tractability と intractability の境界を明確にすること。
• 特にトークンスライディングおよび有界パス幅／木幅グラフにおける未解決問題と研究方向性を強調すること。
• 再配置複雑性と元の問題の複雑性を結びつけることで、さらなる研究を刺激し、新たなパrameter化および移動ルールの提案を行うこと。

提案手法

• 再配置問題に関する既存の文献を包括的に分析し、固定パrameter可 tractable (FPT) アルゴリズムおよびカーネル化技術に焦点を当てる。
• 木幅、クライク幅、有界拡張性といった構造的グラフ理論のツールを用いて再配置挙動を分析する。
• 特に $k$-支配コアの構築と、平面的および有界次数グラフにおける再配置性質を保つ不要な頂点の同定が、主な技術である。
• ガジェット置換と平面性に基づく還元を用いて、平面グラフ上の CDSR-TJ に対して多項式カーネルを構築する。
• トークンスライディング (TS) とトークンジャンピング (TJ) ルールの違いを区別し、複雑性およびカーネル化への影響を評価する。
• 例えば平面的、$H$-マイナー自由などのグラフクラスの包含図を用いて結果を文脈化し、複雑性の境界を同定する。

実験結果

リサーチクエスチョン

• RQ1 有界パス幅グラフ上で CDSR-TJ は固定パrameter可 tractable か？
• RQ2 平面グラフ上で CDSR-TJ は線形カーネルを有するか？
• RQ3 有界パス幅または木幅グラフ上で、DSR-TS をパrameter $k$ で固定パrameter可 tractable とするか？
• RQ4 平面グラフまたは有界パス幅グラフ上で、CDSR-TS をパrameter $k$ で固定パrameter可 tractable とするか？
• RQ5 新たなパrameter化または一般化された移動ルール（例：同時トークン移動）が、再配置アルゴリズムの tractability をもたらすか？

主な発見

• CDSR-TJ は、支配コアと平面性に基づく不要な頂点同定を用いて、平面グラフ上で多項式カーネルを有する。
• 5-退化グラフですら、$k + \ell$ でパrameter化されたまま難易度が高く、連結性制約が複雑性を顕著に増加させることを示唆している。
• 有界次数グラフでは、頂点数が $k\Delta$ で有界であるため、DSR-TS および CDSR-TS の両方が FPT である。
• 反例により、平面グラフ上での CDSR-TJ に対して誘導部分グラフカーネルは存在しないことが示された。非コア頂点の削除が再配置列を破壊するためである。
• 著者らは、既存のカーネル化技術が非常に特化しており、特に平面的および有界木幅グラフでは汎用的ではないことを特定した。
• 本調査は、DSR-TS および CDSR-TS のパrameterized複雑性が、有界パス幅および木幅を含む大多数のグラフクラスにおいて未解決のままであることを強調している。