[論文レビュー] Connected Coordinated Motion Planning with Bounded Stretch

Sándor P. Fekete, Phillip Keldenich+3 more|arXiv (Cornell University)|Jan 1, 2021

Modular Robots and Swarm Intelligence被引用数 1

ひとこと要約

この論文は、スワームが再構成中常に接続されていることを保証する、有界なストレッチを伴うロボットスワームの連結な協調的運動計画の多項式時間アルゴリズムを提示する。スケーリングされた形状とフローに基づく協調制御を活用することで、最適なマケスパンの定数倍近似が達成され、最大のマンハッタン距離がdである場合にスケジュールの所要時間はO(d)となる。

ABSTRACT

We consider the problem of coordinated motion planning for a swarm of simple, identical robots: From a given start grid configuration of robots, we need to reach a desired target configuration via a sequence of parallel, continuous, collision-free robot motions, such that the set of robots induces a connected grid graph at all integer times. The objective is to minimize the makespan of the motion schedule, i.e., to reach the new configuration in a minimum amount of time. We show that this problem is NP-hard, even for deciding whether a makespan of 2 can be achieved, while it is possible to check in polynomial time whether a makespan of 1 can be achieved. On the algorithmic side, we establish simultaneous constant-factor approximation for two fundamental parameters, by achieving constant stretch for constant scale. Scaled shapes (which arise by increasing all dimensions of a given object by the same multiplicative factor) have been considered in previous seminal work on self-assembly, often with unbounded or logarithmic scale factors; we provide methods for a generalized scale factor, bounded by a constant. Moreover, our algorithm achieves a constant stretch factor: If mapping the start configuration to the target configuration requires a maximum Manhattan distance of d, then the total duration of our overall schedule is 𝒪(d), which is optimal up to constant factors.

研究の動機と目的

• すべてのロボットが接続されており、同じサイズのロボットスワームを、開始配置から目標配置に再構成する際、常に接続性が保たれるように、効率的に再配置する課題に対処すること。
• 並列かつ衝突のない運動の制約のもとで、すべてのロボットが目標位置に到着するまでの総時間を最小化するマケスパンを最小化すること。
• 特に開始および目標配置におけるスケール要因が有界であるという現実的な仮定のもとで、最適マケスパンの定数倍近似を達成すること。
• 自己集合やスケーリングされた形状に関する先行研究を一般化し、有界なスケール要因を導入することで、スワームロボティクスへの実用的適用を可能にすること。

提案手法

• この手法は、ロボットの移動をフローに基づく分解によって行い、グリッド分割における各タイルごとに供給と需要を定義するフローネットワークとして再構成をモデル化する。
• 各タイルを九つのサブタイルに分割し、ロボットをターゲット方向に従ってサブタイルに割り当て、タイル間の境界付近にクラスタを形成することで、協調的な移動を可能にする。
• サブタイル内の段階的でエッジに揃ったロボット配置を用いて、同時にクラスタをそのターゲットタイルに向けて押し進める安定なスケジュールを構築する。
• 最大変位を最小化するために、開始配置とターゲット配置の間でボトルネックマッチングを計算し、初期マケスパンを低く保つ。
• O(n^1.5 log n)の時間で最小ボトルネックマッチングを適用し、開始およびターゲット配置を最小変位で一致させる。
• スケジュールの接続性は、タイルの境界でロボットクラスタを維持し、同期的かつ並列な運動ステップを用いることで保証される。

実験結果

リサーチクエスチョン

• RQ1 有界なストレッチを伴う連結な協調的運動計画問題は、たとえマケスパンが2である場合でも、NP完全であるか？
• RQ2 開始および目標配置におけるスケール要因が有界である場合に、最適マケスパンの定数倍近似が達成可能か？
• RQ3 最大のマンハッタン距離がdである場合に、ストレッチO(d)のスケジュールを達成することは可能か？
• RQ4 無限大に拡大しないスケール要因に依存せずに、並列なロボット再構成中に接続性を維持することは可能か？
• RQ5 このアルゴリズムは、開始配置と目標配置が重ならない場合にも拡張可能か？

主な発見

• 有界なストレッチを伴う連結な協調的運動計画問題は、マケスパンが2に達するかどうかを判定するのでさえも、NP完全である。
• 任意の開始〜目標間の距離dに対して、O(d)のマケスパンを達成する多項式時間アルゴリズムが存在し、これは定数倍の要因を除いて最適である。
• このアルゴリズムは定数ストレッチを保証する：最大のマンハッタン距離がdであれば、スケジュール全体の所要時間はスワームのサイズに依存せずO(d)となる。
• この手法は、スケール要因が有界である一般化された設定で動作し、スケールが無限大または対数的であると仮定した先行研究を拡張する。
• 重複のない開始および目標配置の場合、ボトルネックマッチングを用いてそれらをO(d)のマケスパン内で一致させ、定数ストレッチの性質を保つ。
• 両方の配置のスケール要因が普遍定数c*以上であれば、最小マケスパンの定数倍近似を達成する。