[論文レビュー] Complexity Thresholds for the Constrained Colored Token Swapping Problem

Davide Bilò, Stefano Leucci+1 more|arXiv (Cornell University)|Jan 14, 2026

Genome Rearrangement Algorithms被引用数 0

ひとこと要約

論文は、四色以上の色分けされた制約付きトークン交換（CCTS）の PSPACE-hard 性を示し、立方体平面グラフ上でも成立することを示す。さらに、交換グラフがスターになる場合には多項式時間で解けることを示し（従って k=3 の場合も含む）、交換グラフがスパンニングスターを成す場合の一般的な多項式時間アルゴリズムも提示する。

ABSTRACT

Consider the following puzzle: a farmland consists of several fields, each occupied by either a farmer, a fox, a chicken, or a caterpillar. Creatures in neighboring fields can swap positions as long as the fox avoids the farmer, the chicken avoids the fox, and the caterpillar avoids the chicken. The objective is to decide whether there exists a sequence of swaps that rearranges the creatures into a desired final configuration, while avoiding any unwanted encounters. The above puzzle can be cast an instance of the \emph{colored token swapping} problem with $k = 4$ colors (i.e., creature types), in which only certain pairs of colors can be swapped. We prove that such problem is $\mathsf{PSPACE}$-hard even when the graph representing the farmland is planar and cubic. We also show that the problem is polynomial-time solvable when at most three creature types are involved. We do so by providing a more general algorithm deciding instances with arbitrary values of $k$, as long as the set of all admissible swaps between creature types induces a \emph{spanning star}. Our results settle a problem explicitly left open in [Yang and Zhang, IPL 2025], which established $\mathsf{PSPACE}$-completeness for eight creature types and left the complexity status unresolved when the number of creature types is between three and seven.

研究の動機と目的

• 制約付き着色トークン交換（CCTS）問題の、色数と交換グラフ構造の違いに伴う計算複雑性を決定する。
• 制限されたグラフクラス（平面立方グラフ）での PSPACE-hard 性と、制約された交換グラフの連結性を伴う難易性を示す。
• 交換グラフがスターの場合の CCTS の多項式時間アルゴリズムを提供する（k=3 へ拡張）。
• 交換グラフがスパンニングスターを形成する場合の一般的なフレームワークを提示する（k に依存せず）。

提案手法

• Nondeterministic Constraint Logic（NCL）問題を立方体平面グラフ上の CCTS へ PSPACE-hard 還元を構築し、エッジ、OR、AND ガジェットを用いて NCL の configurations を模倣する。
• 還元の正しさを保つようにガジェットを適宜パディングして平面性と次数制約を維持する。
• スター交換グラフの場合には PMG（Pebble Motion on Graphs）フレームワークを適用し、到達可能な配置を分割する同値関係を定義して CCTS を多項式時間で解けることを示す。
• 可開のガジェットを拡張して、適合交換集合がスパンニングスターを成す任意の k についてもスターベースのアルゴリズムを拡張する。

実験結果

リサーチクエスチョン

• RQ1 k ≥ 4 でも基盤グラフ条件が制限されている場合（平面・立方体）で CCTS は PSPACE-hard か？
• RQ2 色数が少ない場合（例：k=3）に CCTS の複雑さはどうなるか？
• RQ3 基盤グラフ構造を問わず、交換グラフがスターの場合に CCTS は多項式時間で解けるか？
• RQ4 任意の k に対して、交換グラフがスパンニングスターを誘導するインスタンスに対して一般的な多項式時間手法が存在するか？

主な発見

• 基盤グラフが平面かつ立方体で、交換グラフが4頂点のパスである場合でも CCTS は PSPACE-hard である（k≥4）。
• NCL からの難易度還元は、NCL の配置を CCTS 内で模倣する専用のエッジ、OR、AND ガジェットを用い、平面性と次数制約を保つ。
• スター交換グラフの場合には CCTS は多項式時間で解け、その拡張として k=3 も含まれる（スターは3色の可能な交換グラフの一つ）。
• スパンニングスターを誘導する交換集合が与えられる場合には、より一般的な多項式時間アルゴリズムが存在し、その領域で全ての k に対して多項式時間で解ける。
• 構築された還元の対話的インスタンスが提供URLで利用可能。
• 本研究は3〜7色の複雑さギャップに関する未解決の問いに答え、スター交換構造の下で理解を統一する。