[論文レビュー] Polynomial-Time Algorithms for Sliding Tokens on Cactus Graphs and Block Graphs

Duc A. Hoang, Ryuhei Uehara|arXiv (Cornell University)|May 1, 2017

Advanced Graph Theory Research被引用数 3

ひとこと要約

本稿では、カクツスグラフおよびブロックグラフにおけるスライディングトークン問題に対して、多項式時間アルゴリズムを提示する。構造的特徴付けを用いて、変換を妨げる禁止構造を同定する。禁止構造が存在しない場合、任意の二つの独立集合間で、常に多項式時間長の有効な変換列が存在することを示す。

ABSTRACT

Given two independent sets $I, J$ of a graph $G$, and imagine that a token (coin) is placed at each vertex of $I$. The Sliding Token problem asks if one could transform $I$ to $J$ via a sequence of elementary steps, where each step requires sliding a token from one vertex to one of its neighbors so that the resulting set of vertices where tokens are placed remains independent. This problem is $\mathsf{PSPACE}$-complete even for planar graphs of maximum degree $3$ and bounded-treewidth. In this paper, we show that Sliding Token can be solved efficiently for cactus graphs and block graphs, and give upper bounds on the length of a transformation sequence between any two independent sets of these graph classes. Our algorithms are designed based on two main observations. First, all structures that forbid the existence of a sequence of token slidings between $I$ and $J$, if exist, can be found in polynomial time. A sufficient condition for determining no-instances can be easily derived using this characterization. Second, without such forbidden structures, a sequence of token slidings between $I$ and $J$ does exist. In this case, one can indeed transform $I$ to $J$ (and vice versa) using a polynomial number of token-slides.

研究の動機と目的

• カクツスグラフおよびブロックグラフにおけるスライディングトークン問題の計算複雑性を特定すること。
• 独立集合間の変換を妨げる構造的障害要因を同定すること。
• 変換の存在を確認するか、不可能性を検出する効率的なアルゴリズムを開発すること。
• これらのグラフクラスにおける変換列長に対する上界を確立すること。

提案手法

• 多項式時間特徴付けを用いて、独立集合間のトークンスライディング列を妨げるすべての構造を同定する。
• 禁止構造に基づく十分条件を用いて、不可能なケースを素早く同定する。
• 禁止構造が存在しない場合には、変換列を構成的に生成するアプローチを採用する。
• カクツスおよびブロックグラフの木のような構造を活用し、多項式時間での解法を保証する。
• ブロックグラフおよびカクツスグラフの階層的構造に特化した動的分解技術を適用する。
• 禁止構造が存在しない場合、変換列が存在し、かつ頂点数の多項式関数で上界が与えられることを証明する。

実験結果

リサーチクエスチョン

• RQ1 カクツスグラフにおいてスライディングトークン問題は多項式時間で解けるか？
• RQ2 ブロックグラフおよびカクツスグラフにおいて、独立集合間のトークンスライディングを妨げる構造的特徴付けは効率的に得られるか？
• RQ3 これらのグラフクラスにおいて、任意の二つの独立集合間の有効なトークンスライディング列の最大長は何か？
• RQ4 カクツスおよびブロックグラフにおいて、二つの独立集合間の変換列が存在する条件は何か？
• RQ5 構造的不変量を用いて、変換の存在を効率的に決定できるか？

主な発見

• カクツスグラフおよびブロックグラフにおいて、スライディングトークン問題は多項式時間で解ける。
• 変換を妨げる禁止構造は、多項式時間で検出可能である。
• このような禁止構造が存在しない場合、任意の二つの独立集合間で変換列が保証的に存在する。
• 変換列の長さは、頂点数の多項式関数で上界が与えられる。
• 構造的特徴付けを用いて、変換の存在を効率的に決定可能である。
• 提案されたアルゴリズムは構成的であり、可能な場合には有効な変換列を生成する。