[论文解读] 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-hardness，即使在三维立方平面图上也成立；当交换图为星形时，问题可在多项式时间内解决（因此对 k=3 亦然）。并给出一个在交换图诱导出 spanning star 时的通用多项式时间算法。

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.

研究动机与目标

• 确定在不同颜色数量和交换图结构下， constrained colored token swapping（CCTS）问题的计算复杂性。
• 在受限图类（平面三维基图）和有限的交换图连通性下，显示 CCTS 的 PSPACE-hardness。
• 当交换图是星形时给出 CCTS 的多项式时间算法（扩展到 k=3）。
• 提供一个通用框架，用于在交换图形成一个 spanning star 时决定 CCTS 实例，无论 k 的取值如何。

提出的方法

• 从在立方平面图上的 Nondeterministic Constraint Logic（NCL）问题出发，构造 PSPACE-hardness 规约到 CCTS，使用边、OR、AND 小 gadgets 来模拟 NCL 配置。
• 通过按需填充 gadgets 以保持平面性和立方基图，确保规约的正确性。
• 通过改编 PMG（Pebble Motion on Graphs）框架并在代币位置上定义等价关系来证明当交换图为星形时 CCTS 可在多项式时间内求解。
• 将基于星的算法扩展到任意 k，当可允许的交换诱导一个 spanning star 时。

实验结果

研究问题

• RQ1 对于 k ≥ 4，即使在受限基图条件（平面、立方）下，CCTS 是否仍然 PSPACE-hard？
• RQ2 当颜色数量较少（如 k=3）时，CCTS 的复杂度为何？
• RQ3 当交换图为星形且基图结构不受限时，是否能在多项式时间内求解？
• RQ4 对于任意 k，若交换图诱导一个 spanning star，是否存在通用的多项式时间方法？

主要发现

• 即使基图为平面且立方，且交换图为具有四个顶点的路径时，CCTS 仍然 PSPACE-hard（k≥4）。
• 来自 NCL 的困难规约使用专用的边、OR、AND 小 gadgets 来在 CCTS 内模拟 NCL 配置，同时保持平面性和度数约束。
• 当交换图为星形时 CCTS 可在多项式时间内求解，这一结论亦对 k=3 有延伸，因为星形是三色情形下可能的交换图之一。
• 当允许的交换集合诱导一个 spanning star 时，存在更一般的多项式时间算法，使在该范畴内所有 k 都可多项式时间求解。
• 所构造规约的一个交互实例可在给定的 URL 查阅。
• 这些结果回答了前人工作在 3–7 颜色上的复杂性空白，并在星形交换结构下统一理解。