[论文解读] Brief Announcement: Collision Detection for Modular Robots - It Is Easy to Cause Collisions and Hard to Avoid Them

Siddharth Gupta, Marc van Kreveld+2 more|arXiv (Cornell University)|May 1, 2023

Modular Robots and Swarm Intelligence被引用 1

一句话总结

本文研究由网格连接的方形模块组成的可重构模块化机器人的碰撞检测与避让问题。论文提出了多项式时间算法，用于检测在不同操作模型下是否可能发生碰撞，同时表明在离散时间模型下避碰问题是NP完全的，在连续时间模型下则是NP难的——揭示了此类系统中造成碰撞与避免碰撞之间存在根本性的不对称性。

ABSTRACT

We consider geometric collision-detection problems for modular reconfigurable robots. Assuming the nodes (modules) are connected squares on a grid, we investigate the complexity of deciding whether collisions may occur, or can be avoided, if a set of expansion and contraction operations is executed. We study both discrete- and continuous-time models, and allow operations to be coupled into a single parallel group. Our algorithms to decide if a collision may occur run in $O(n^2\log^2 n)$ time, $O(n^2)$ time, or $O(n\log^2 n)$ time, depending on the presence and type of coupled operations, in a continuous-time model for a modular robot with $n$ nodes. To decide if collisions can be avoided, we show that a very restricted version is already NP-complete in the discrete-time model, while the same problem is polynomial in the continuous-time model. A less restricted version is NP-hard in the continuous-time model.

研究动机与目标

• 分析由网格连接的方形模块构成的模块化可重构机器人的碰撞检测与避让的计算复杂性。
• 研究操作耦合与时间模型（离散与连续）如何影响碰撞避让的复杂性。
• 确定在不同操作约束下，碰撞避让是否具有可解性或为NP难。
• 为在不同操作模型下检测碰撞是否可能发生提供高效算法。
• 明确可轻松检测的碰撞与计算上困难的碰撞避让问题之间的理论边界。

提出的方法

• 将模块化机器人建模为二维网格上连接的方形模块，操作包括扩展与收缩。
• 分析离散时间模型（操作分批顺序执行）与连续时间模型（操作同时执行）两种情形。
• 通过行上的几何约束与间隙分析，检测所有操作均为水平时的碰撞。
• 采用基于部件的约化方法（变量部件、文字部件与顺序部件），证明NP完全性与NP难性。
• 在k维空间中应用凸性论证，证明若初始与最终构型无碰撞，则所有水平操作同时执行时不会发生碰撞。
• 通过部件构造连通机器人构型，以编码LSAT（线性可满足性）实例，将问题约化为碰撞避让问题。

实验结果

研究问题

• RQ1 在不同操作模型下，是否能高效检测模块化机器人的碰撞？
• RQ2 在离散时间与连续时间模型下，碰撞避让是否具有计算可解性？
• RQ3 操作耦合如何影响碰撞避让的复杂性？
• RQ4 检测碰撞与避免碰撞之间的计算复杂性边界是什么？
• RQ5 在受限操作模型（如所有操作均为水平）下，碰撞避让的复杂性是否可降低？

主要发现

• 碰撞检测的求解时间复杂度为O(n² log²n)、O(n²)或O(n log²n)，具体取决于耦合程度与模型类型，表明其可高效计算。
• 在离散时间模型下，无碰撞调度问题是NP完全的，即使在问题的极简版本下也是如此。
• 在连续时间模型下，当所有操作均为水平时，无碰撞调度问题可在O(n)时间内求解。
• 连续时间模型还表明，即使不考虑操作耦合，无碰撞调度问题也是NP难的，揭示了其固有的困难性。
• 本研究确立了根本性不对称性：碰撞检测可在多项式时间内求解，而碰撞避让则为NP难或NP完全。
• 通过将LSAT约化为碰撞避让问题，证明了其NP难性，其中部件通过定时操作序列编码变量赋值与文字满足性。