[论文解读] Sliding Squares in Parallel

Hugo A. Akitaya, Sándor P. Fekete+5 more|arXiv (Cornell University)|Dec 7, 2024

Architecture and Computational Design被引用 1

一句话总结

本文提出一种模块化机器人中滑动方块的并行重构模型，支持同时移动以显著减少完成时间。针对无标签配置，提出一种多项式时间算法，可在 O(P) 个并行步骤内完成原地重构，其中 P 为包围盒周长；并证明在一步或两步内判断可行性为 NP-完全问题，揭示了在连通性约束下并行运动规划中的根本复杂性权衡。

ABSTRACT

We consider algorithmic problems motivated by modular robotic reconfiguration in the sliding square model, in which we are given $n$ square-shaped modules in a (labeled or unlabeled) start configuration and need to find a schedule of sliding moves to transform it into a desired goal configuration, maintaining connectivity of the configuration at all times. Recent work has aimed at minimizing the total number of moves, resulting in fully sequential schedules that perform reconfiguration in $\mathcal{O}(nP)$ moves for arrangements of bounding box perimeter size $P$, or a number of moves linear in the sum of module coordinates in the start and target arrangements. We extend the model to leverage the possibility of parallel motion, thereby reducing worst-case makespans by a factor linear in $n$. Our work presents tight results both in terms of complexity and algorithms: We show that deciding the existence of a single parallel reconfiguration step that solves an instance is NP-complete for unlabeled modules, but can be solved efficiently in the labeled setting. Nevertheless, deciding whether a labeled instance can be solved in two parallel steps is NP-complete. Finally, we describe an algorithm to perform in-place reconfiguration in worst-case optimal $\mathcal{O}(P)$ parallel steps for the unlabeled setting. This algorithm has a straight-forward extension to the labeled setting with slight relaxations to either the reconfiguration time or space constraint.

研究动机与目标

• 为解决在连通性和碰撞约束下模块化机器人重构的并行运动规划中的空白。
• 确定判断单步或双步并行重构是否可行的计算复杂度。
• 设计在标记与无标记设置下均高效且最坏情况最优的原地重构算法。
• 探索在并行运动模型中，重构时间、空间约束与模块可区分性之间的权衡。

提出的方法

• 引入一种并行滑动方块模型，允许在保持连通性的前提下同时进行无碰撞移动。
• 通过利用并行性，将顺序模型中 O(nP) 的最坏完成时间降低至 O(P)。
• 采用两阶段方法：首先将配置转换为一种通用的“海绵”结构（如 3-海绵），然后通过高效的交换调度路由模块。
• 在轮廓的对偶图中执行路由操作，每个操作在 k-单元格上以 O(k³) 步实现。
• 通过模块化分解与基于锚点的坐标分区（模 3k），实现在 k-单元格间并行执行交换。
• 通过在 xy-单调配置中排序，将无标签结果扩展至标记设置，接受对原地约束的放松。

实验结果

研究问题

• RQ1 判断是否存在一步并行变换可解决无标签滑动方块实例是否为 NP-完全问题？
• RQ2 能否在完成时间 1 或 2 内求解标记滑动方块实例，此类判断的复杂度如何？
• RQ3 无标签滑动方块原地重构的最坏情况最优完成时间是多少，且能否高效计算？
• RQ4 如何放松原地约束以实现在标记设置下的最坏情况最优重构？
• RQ5 该问题是否存在固定参数可追踪的参数，特别是关于对称差大小？

主要发现

• 判断是否存在一步并行变换可解决无标签滑动方块实例是 NP-完全问题，且难以在优于 2.1 的因子内近似。
• 提出一种高效算法，可在 O(P) 个并行步骤内完成无标签配置的原地重构，实现完成时间的最坏情况最优。
• 对于标记配置，判断完成时间 1 的可行性可在 O(n) 时间内求解，但完成时间 2 的判断变为 NP-完全。
• 可通过弱原地调度在 O(P₁² + P₂²) 个变换内计算标记配置的重构，其中 P₁ 和 P₂ 分别为起始与目标配置的包围盒周长。
• 该算法通过两阶段过程扩展至标记设置：先将配置转换为共同的 3-海绵，再通过每 k-单元格 O(k³) 次操作路由模块，共九轮并行执行。
• 输入配置之间的对称差在 NP-难性归约中与 SAT 实例大小呈线性关系，表明其可能不适合作为 FPT 参数。