[論文レビュー] Multi-Robot Task Allocation -- Complexity and Approximation

Haris Aziz, Hau Chan+4 more|arXiv (Cornell University)|Mar 23, 2021

Optimization and Search Problems参考文献 36被引用数 13

ひとこと要約

本稿は、合計予算、タスク固有予算、ロボット固有予算の3つの予算制約下でのマルチロボットタスク割り当ての計算複雑性を研究し、近似アルゴリズムを提案するとともに、タイトな境界を証明する。タスクに必要なロボット数が最大 $ q^* $ 個である場合、ロボットおよびタスク予算設定において、多項式時間で $ \frac{q^*+1}{2} $-近似が達成可能であり、合計予算下での対称コストではPTASが存在するが、P = NPでない限り、$ (q^*)^{1-\epsilon} $ よりも良い近似は不可能であることが示されている。

ABSTRACT

Multi-robot task allocation is one of the most fundamental classes of problems in robotics and is crucial for various real-world robotic applications such as search, rescue and area exploration. We consider the Single-Task robots and Multi-Robot tasks Instantaneous Assignment (ST-MR-IA) setting where each task requires at least a certain number of robots and each robot can work on at most one task and incurs an operational cost for each task. Our aim is to consider a natural computational problem of allocating robots to complete the maximum number of tasks subject to budget constraints. We consider budget constraints of three different kinds: (1) total budget, (2) task budget, and (3) robot budget. We provide a detailed complexity analysis including results on approximations as well as polynomial-time algorithms for the general setting and important restricted settings.

研究の動機と目的

• 合計、タスク固有、ロボット固有の3つの異なる予算制約下でのマルチロボットタスク割り当ての計算複雑性を分析すること。
• 性能保証が保証された多項式時間近似アルゴリズムをST-MR-IA問題に開発すること。
• 標準的な複雑性仮定の下でタイトな近似不能性境界を確立すること。
• 1つのタスクに必要なロボット数の最大値（$ q^* $）が有界である場合の問題の tractability を特定すること。
• 特に、対称コスト下でPTASが達成されるパラメータ化および特殊ケースの解法を探索すること。

提案手法

• 合計予算、タスク予算、ロボット予算の3つの予算制約を用いてST-MR-IA問題を形式化する。
• タスク要件をすべて $ q^* $ に統一するためにダミーのロボットを導入することで、タスク割り当て問題を一般化された集合パッキング問題に還元する。
• k-集合パッキング問題に対する $ \frac{k}{2} $-近似アルゴリズムを適用し、MaxTaskWithinRobotBudgetおよびMaxTasksWithinTaskBudgetに対して $ \frac{q^*+1}{2} $-近似を達成する。
• 単位利益を伴う2次元ナップサック問題への同等性を活用し、対称コスト下でのMaxTaskWithinTotalBudgetに対してPTASを設計する。
• NP困難性の還元を用いて、P = NPでない限り、多項式時間アルゴリズムが $ (q^*)^{1-\epsilon} $ よりも良い近似比を達成できないことを証明する。
• 定数 $ q^* $ を伴う特殊ケースを分析し、より良い近似比と tractability を示す。

実験結果

リサーチクエスチョン

• RQ1 合計、タスク固有、ロボット固有の予算制約下で、完了タスク数を最大化するロボット割り当ての計算複雑性は何か？
• RQ2 1つのタスクに必要なロボット数の最大値（$ q^* $）が有界である場合、ST-MR-IA問題に対して定数因子近似が達成可能か？
• RQ3 対称コスト下でのMaxTaskWithinTotalBudgetに対して、多項式時間近似スキーム（PTAS）は存在するか？
• RQ4 達成可能な最良の近似比は何か？また、標準的な複雑性仮定の下でそれらはタイトか？
• RQ5 すべてのタスクが同じ数のロボットを要する場合、問題の複雑性はどのように変化するか？

主な発見

• 1つのタスクに必要なロボット数が最大 $ q^* $ 個で、かつ $ q^* $ が定数に有界である場合、MaxTaskWithinRobotBudgetおよびMaxTasksWithinTaskBudgetに対して $ \frac{q^*+1}{2} $-近似アルゴリズムが存在する。
• 対称コスト下では、MaxTaskWithinTotalBudgetに対して多項式時間近似スキーム（PTAS）が存在する。
• P = NPでない限り、任意の固定された $ \epsilon > 0 $ に対して、多項式時間アルゴリズムが $ (q^*)^{1-\epsilon} $ よりも良い近似比を達成することは不可能である。
• すべてのタスクが正確に2台のロボットを要する場合でも、問題はNP困難のままであり、$ q^* = 2 $ の場合のMaxTaskWithinTaskBudgetの複雑性は未解決のまま残っている。
• 貪欲アルゴリズムは $ q^* + 1 $ の近似を達成するが、$ q^* $ が定数である場合には $ \frac{q^*+1}{2} $ に改善可能である。