We study the following variant of the 15 puzzle. Given a graph and two token placements on the vertices, we want to find a walk of the minimum length (if any exists) such that the sequence of token swappings along the walk obtains one of the given token placements from the other one. This problem was introduced as Sequential Token Swapping by Yamanaka et al. [JGAA 2019], who showed that the problem is intractable in general but polynomial-time solvable for trees, complete graphs, and cycles. In this paper, we present a polynomial-time algorithm for block-cactus graphs, which include all previously known cases. We also present general tools for showing the hardness of problem on restricted graph classes such as chordal graphs and chordal bipartite graphs. We also show that the problem is hard on grids and king's graphs, which are the graphs corresponding to the 15 puzzle and its variant with relaxed moves.
翻译:我们研究了15个谜题的以下变量。 如果在顶端有一个图形和两个象征性位置, 我们想要找到一个最小长度的行走( 如果存在的话), 这样行走中的象征性交换序列可以从另一个位置获得一个给定的象征性位置。 这个问题被Yamanaka等人介绍为“ 序列图肯交换 ” [JGAA 2019], 后者显示问题一般难以解决, 但对于树、 完整的图表和周期来说, 多时可溶。 在本文中, 我们为块形动作图展示一个多时算法, 其中包括所有以前已知的案例。 我们还提供了一般工具, 以显示限制的图形类( 如圆形图和圆形双面图) 的难度。 我们还显示, 网格和国王的图形问题很棘手, 也就是与15个谜题相对应的图表及其变式, 以及放松动作。