[論文レビュー] Fixed-Parameter Tractability of Token Jumping on Planar Graphs

Takehiro Ito, Marcin Kamiński+1 more|arXiv (Cornell University)|Jun 25, 2014

Advanced Graph Theory Research参考文献 11被引用数 4

ひとこと要約

この論文は、平面的グラフおよびより一般に $K_{3,t}$-禁止グラフにおいて、トークンジャンプ問題の固定パラメータ可 tractable (FPT) アルゴリズムを提示する。パラメータはトークン数にのみ依存する。アルゴリズムは、具体的には $K_{3,t}$ 部分グラフの存在を避けるという構造的グラフ性質を用いてバッファ領域を特定し、グラフを固定パラメータサイズに縮小することで、同じサイズの独立集合間の最短再構成列の計算を効率的に行う。

ABSTRACT

Suppose that we are given two independent sets $I_0$ and $I_r$ of a graph such that $|I_0| = |I_r|$, and imagine that a token is placed on each vertex in $I_0$. The token jumping problem is to determine whether there exists a sequence of independent sets which transforms $I_0$ into $I_r$ so that each independent set in the sequence results from the previous one by moving exactly one token to another vertex. This problem is known to be PSPACE-complete even for planar graphs of maximum degree three, and W[1]-hard for general graphs when parameterized by the number of tokens. In this paper, we present a fixed-parameter algorithm for the token jumping problem on planar graphs, where the parameter is only the number of tokens. Furthermore, the algorithm can be modified so that it finds a shortest sequence for a yes-instance. The same scheme of the algorithms can be applied to a wider class of graphs, $K_{3,t}$-free graphs for any fixed integer $t \ge 3$, and it yields fixed-parameter algorithms.

研究の動機と目的

• 標準的パラメータ化において、PSPACE完全かつ W[1]-ハードであることが知られている平面的グラフにおけるトークンジャンプ問題の固定パラメータ可 tractability を取り扱う。
• 平面的グラフを超えて、固定された $t \geq 3$ に対して $K_{3,t}$ を部分グラフとして含まないより広いクラスのグラフへ、アルゴリズム的枠組みを拡張すること。
• 再構成列の存在を確認するのではなく、最短のものを実際に計算する方法を設計すること。

提案手法

• 平面的グラフおよび $K_{3,t}$-禁止グラフがそれぞれ $K_{3,3}$ や $K_{3,t}$ を部分グラフとして含まないという構造的性質を活用し、グラフサイズを制限する。
• バッファ領域にサイズ $k$ の独立集合が保証されるように、二つのパラメータ $\alpha_t = \text{Ramsey}(k,t+3)$ および $\beta_t = \text{Ramsey}((2t+1)k,t+3)$ を導入する。
• ラマヌジャン理論を用いて、サイズ $\alpha_t$ および $\beta_t$ の部分グラフ内に十分大きな独立集合が存在することを保証し、安全なトークン移動を可能にする。
• グラフを $\alpha_t$ および $\beta_t$ のみに依存するサイズに縮小する手順を適用し、最短再構成列を保持する。
• 早期終了を回避するため、最短経路情報を保持するようにアルゴリズムを変更し、縮小されたグラフ上でブルートフォース探索を可能にする。
• 縮小されたグラフ上で動的計画法または全探索を用いて、固定パラメータ時間内に最短再構成列を計算する。

実験結果

リサーチクエスチョン

• RQ1 一般のグラフにおいて W[1]-ハードであるにもかかわらず、平面的グラフにおいてはトークン数 $k$ のみをパラメータとして固定パラメータ可 tractable にトークンジャンプ問題を解くことは可能か？
• RQ2 固定パラメータ可 tractability は、平面的グラフを越えて、固定された $t \geq 3$ に対して $K_{3,t}$ を部分グラフとして含まないグラフへも拡張可能か？
• RQ3 アルゴリズムは、存在の確認だけでなく、最短再構成列の計算にも適応可能か？
• RQ4 どのようなグラフの構造的性質が、安全なトークン再構成を可能にするバッファ領域の存在を可能にするか？

主な発見

• 平面的グラフにおけるトークンジャンプ問題は、トークン数 $k$ のみをパラメータとして固定パラメータ可 tractable であり、実行時間は $k$ のみに依存する。
• アルゴリズムは任意の固定された $t \geq 3$ に対して $K_{3,t}$-禁止グラフへも拡張可能であり、同様に固定パラメータ可 tractable である。
• アルゴリズムの実行時間は $k$ の関数として上限が与えられ、$\alpha_t$ および $\beta_t$ が固定パラメータサイズであるため、$\alpha_t = (k+t+1)^{t+2}$ および $\beta_t = ((2t+1)k + t + 1)^{t+2}$ となる。
• アルゴリズムは、存在の確認だけでなく、最短再構成列の計算に対しても変更可能であり、固定パラメータ時間内に実行可能である。
• 鍵となる洞察は、$K_{3,t}$-禁止性が近傍の密度を制限することであり、これによりトークン移動後も十分な独立集合が確保され、バッファ領域が維持されることである。
• 慎重な縮小およびバッファ領域選択により、元のグラフにおける最短経路長が保持され、縮小されたインスタンス上で正確な最短列計算が可能になる。