[論文レビュー] Refined Hardness of Distance-Optimal Multi-Agent Path Finding

Tzvika Geft, Dan Halperin|arXiv (Cornell University)|Mar 14, 2022

Robotic Path Planning Algorithms被引用数 5

ひとこと要約

本稿は、複数の空き頂点を許容する2次元グリッド上での距離最適なマルチエージェント経路探索（MAPF）のNP困難性を確立し、Banfiら（2017）が提起した未解決問題を解決する。単純で構造的なガジェットを用いた新しい線形3-SATへの還元を用いて、順次移動および反対方向のエージェント移動が存在しない状況下でも困難性が維持されることを示し、問題の非効率性の本質をより深く理解する手がかりを提供するとともに、指数時間仮説（ETH）に基づく指数的下界を導出可能にする。

ABSTRACT

We study the computational complexity of multi-agent path finding (MAPF). Given a graph $G$ and a set of agents, each having a start and target vertex, the goal is to find collision-free paths minimizing the total distance traveled. To better understand the source of difficulty of the problem, we aim to study the simplest and least constrained graph class for which it remains hard. To this end, we restrict $G$ to be a 2D grid, which is a ubiquitous abstraction, as it conveniently allows for modeling well-structured environments (e.g., warehouses). Previous hardness results considered highly constrained 2D grids having only one vertex unoccupied by an agent, while the most restricted hardness result that allowed multiple empty vertices was for (non-grid) planar graphs. We therefore refine previous results by simultaneously considering both 2D grids and multiple empty vertices. We show that even in this case distance-optimal MAPF remains NP-hard, which settles an open problem posed by Banfi et al. (2017). We present a reduction directly from 3-SAT using simple gadgets, making our proof arguably more informative than previous work in terms of potential progress towards positive results. Furthermore, our reduction is the first linear one for the case where $G$ is planar, appearing nearly four decades after the first related result. This allows us to go a step further and exploit the Exponential Time Hypothesis (ETH) to obtain an exponential lower bound for the running time of the problem. Finally, as a stepping stone towards our main results, we prove the NP-hardness of the monotone case, in which agents move one by one with no intermediate stops.

研究の動機と目的

• 複数の空き頂点が許容される2次元グリッド上でも距離最適MAPFがNP困難であるかどうかという未解決問題を解明すること。
• 従来、別々に研究されてきた2次元グリッドグラフと複数の空き頂点の両方を同時に考慮することで、先行研究の結果を洗練すること。
• 論理制約をエージェントの経路とターゲット位置の配置によってシミュレートする単純な3-SATガジェットを用いて、より情報量が多く構造的に明確な還元を提供すること。
• 平面グラフに対する線形還元を確立し、指数時間仮説（ETH）を適用して実行時間に対する指数的下界を導出可能にする。
• 主結果への道筋として、順次移動（中間停止なし）の単調ケースを検討すること。

提案手法

• 3-SATから、複数の空き頂点を許容する2次元グリッド上での距離最適MAPFへの線形還元を構築する。
• 論理制約をエージェントの経路とターゲット位置によってシミュレートする専用の変数ガジェットおよび節ガジェットを設計する。
• すべてのエージェントが同じ一般的な方向（例：下と右）に移動するように保証し、反対方向移動の必要性を排除する。
• 単調ケースでは順次移動（1回に1人のエージェント）を採用することで還元を簡素化し、経路の協調が核心的な難易度であることを明確にする。
• 指数時間仮説（ETH）を用いて、この問題を解くあらゆるアルゴリズムの実行時間に対する指数的下界を導出する。
• 困難性の原因が反対方向移動に起因する経路の競合ではなく、共有の開始位置およびターゲット位置における複雑な協調にあることが示される。

実験結果

リサーチクエスチョン

• RQ1 複数の頂点が空いている2次元グリッド上でも距離最適MAPFはNP困難であるか？
• RQ2 エージェントが順次移動し、1つの一般的な方向にのみ移動する場合でも、距離最適MAPFの困難性は維持されるか？
• RQ3 平面グラフの文脈において、3-SATから距離最適MAPFへの線形還元を構築できるか？
• RQ4 距離最適MAPFにおける非効率性の原因は、反対方向移動か、共有位置における経路協調か？
• RQ5 指数時間仮説（ETH）を用いて、この問題を解くアルゴリズムの実行時間に対する非自明な下界を導出できるか？

主な発見

• 複数の空き頂点を許容する2次元グリッド上での距離最適MAPFはNP困難である。これはBanfiら（2017）が提起した未解決問題を解決する。
• 順次移動および反対方向移動が存在しない状況下でも困難性が維持され、経路協調が核心的な難易度であることが示される。
• 本稿は、平面グラフ上での距離最適MAPFへの3-SATからの線形還元を初めて提示する。これは従来の非線形還元に比べて顕著な進歩である。
• 困難性の原因をより明確にし、アルゴリズム的進展に寄与し得る、単純で直感的なガジェットを用いている。
• 指数時間仮説（ETH）のもとでは、問題は実行時間に対して指数的下界を有し、具体的には $\Omega(2^{n})$ または $\Omega(2^{|V|})$ である。
• エージェントが下と右にのみ移動するように構成を変更可能であり、これにより困難性の原因が方向的衝突から経路協調に明確に分離される。