[論文レビュー] Token Jumping in minor-closed classes

Nicolás Bousquet, Arnaud Mary+1 more|arXiv (Cornell University)|Jun 29, 2017

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

ひとこと要約

この論文は、$K_{\ell,\ell}$-freeなグラフにおいて、$k$ をパラメータとするトークンジャンピング（TJ）再配置問題が固定パラメータ可 tractable（FPT）であることを確立している。これは、$K_{3,\ell}$-freeなグラフにおける先行研究を拡張するものである。主な貢献は、$I \cup J$ にちょうど2つの隣接頂点を持つクラスに対する新しい還元技術であり、これにより、有界次数、有界幅、および$\mathcal{H}$-minor-freeなグラフを含むマイナー閉じたグラフクラスにおいて、FPTアルゴリズムと多項式カーネルが可能になる。

ABSTRACT

Given two $k$-independent sets $I$ and $J$ of a graph $G$, one can ask if it is possible to transform the one into the other in such a way that, at any step, we replace one vertex of the current independent set by another while keeping the property of being independent. Deciding this problem, known as the Token Jumping (TJ) reconfiguration problem, is PSPACE-complete even on planar graphs. Ito et al. proved in 2014 that the problem is FPT parameterized by $k$ if the input graph is $K_{3,\ell}$-free. We prove that the result of Ito et al. can be extended to any $K_{\ell,\ell}$-free graphs. In other words, if $G$ is a $K_{\ell,\ell}$-free graph, then it is possible to decide in FPT-time if $I$ can be transformed into $J$. As a by product, the TJ-reconfiguration problem is FPT in many well-known classes of graphs such as any minor-free class.

研究の動機と目的

• TJ再配置問題のFPT結果を$K_{3,\ell}$-freeなグラフから、より広いクラスの$K_{\ell,\ell}$-freeなグラフへ拡張すること。
• $I \cup J$ において有界近傍多様性を示すグラフにおける独立集合再配置のための新しい構造的還元技術を開発すること。
• マイナー閉じたグラフクラス（有界次数、$\mathcal{H}$-minor-freeなグラフを含む）において、TJ再配置が多項式カーネルを有することを確立すること。
• 特に$d \leq 2$ の場合に、VC次元が低いグラフにおけるTJ再配置の計算複雑性の境界を調査すること。

提案手法

• $I \cup J$ における近傍の類似性に基づいて頂点集合を分割し、同一の近傍を持つ頂点をグループ化する。
• サイズに基づく還元規則を適用：$I \cup J$ に3つ以上の隣接頂点を持つクラスは有界であるため、FPT時間で処理可能である。
• ちょうど2つの隣接頂点を持つクラスに対して、新しい反復的還元技術を用い、大きなクラスを小さな代表要素に置き換える。
• $K_{\ell,\ell}$-freeなグラフの構造的性質を活用して、重要な構成の数を抑え、カーネル化を保証する。
• VC次元が1以下であるグラフでは、閉近傍が互いに素で、入れ子の関係にあり、または支配ペアを形成することを活用し、効率的な還元が可能になる。
• VC次元が1以下である場合、近傍包含関係と支配ペア解析により、TJ再配置が多項式時間で解けることを証明する。

実験結果

リサーチクエスチョン

• RQ1 $\ell \geq 4$ の場合に、$K_{3,\ell}$-freeなグラフにおけるTJ再配置のFPT結果を$K_{\ell,\ell}$-freeなグラフへ拡張できるか。
• RQ2 $K_{\ell,\ell}$-freeなグラフのどのような構造的性質が、独立集合再配置列の効率的還元を可能にするか。
• RQ3 VC次元が2以下であるグラフにおいて、TJ再配置問題はパラメータ$k$ に対してFPTか。
• RQ4 $\ell$ が固定定数である場合、$K_{\ell,\ell}$-freeなグラフにおけるTJ再配置のカーネルサイズはいかほどか。
• RQ5 $K_{\ell,\ell}$-freeなグラフに開発された還元技術は、他のマイナー閉じたクラスや有界拡張クラスへ一般化可能か。

主な発見

• 任意の固定された$\ell$ に対して、$K_{\ell,\ell}$-freeなグラフにおいてTJ再配置問題はパラメータ$k$ に対してFPTである。
• $\ell$ が固定されている場合、$K_{\ell,\ell}$-freeなグラフにおけるTJ再配置問題に対して、サイズ$\mathcal{O}(h(\ell) \cdot k^{\ell \cdot 3^{\ell}})$ の多項式カーネルが存在する。
• この結果により、有界次数、有界幅、$\mathcal{H}$-minor-freeなグラフを含むすべてのマイナー閉じたグラフクラスにおいて、TJ再配置がFPTであることが示される。
• VC次元が1以下のグラフでは、近傍包含関係と支配ペア解析を用いて、TJ再配置問題を多項式時間で解ける。
• $I \cup J$ にちょうど2つの隣接頂点を持つクラスに対する構造的還元技術が、$K_{3,\ell}$-freeなグラフを超える拡張を可能にする主なイノベーションである。
• VC次元が2のグラフでは問題は未解決のままであるが、VC次元が2の場合はNP困難であり、VC次元が3の場合はW[1]-困難であることが知られている。