Abstract:We study a fundamental NP-hard motion coordination problem for multi-robot/multi-agent systems: We are given a graph $G$ and set of agents, where each agent has a given directed path in $G$. Each agent is initially located on the first vertex of its path. At each time step an agent can move to the next vertex on its path, provided that the vertex is not occupied by another agent. The goal is to find a sequence of such moves along the given paths so that each reaches its target, or to report that no such sequence exists. The problem models guidepath-based transport systems, which is a pertinent abstraction for traffic in a variety of contemporary applications, ranging from train networks or Automated Guided Vehicles (AGVs) in factories, through computer game animations, to qubit transport in quantum computing. It also arises as a sub-problem in the more general multi-robot motion-planning problem. We provide a fine-grained tractability analysis of the problem by considering new assumptions and identifying minimal values of key parameters for which the problem remains NP-hard. Our analysis identifies a critical parameter called vertex multiplicity (VM), defined as the maximum number of paths passing through the same vertex. We show that a prevalent variant of the problem, which is equivalent to Sequential Resource Allocation (concerning deadlock prevention for concurrent processes), is NP-hard even when VM is 3. On the positive side, for VM $\le$ 2 we give an efficient algorithm that iteratively resolves cycles of blocking relations among agents. We also present a variant that is NP-hard when the VM is 2 even when $G$ is a 2D grid and each path lies in a single grid row or column. By studying highly distilled yet NP-hard variants, we deepen the understanding of what makes the problem intractable and thereby guide the search for efficient solutions under practical assumptions.

The Computational Complexity of Multi-Agent Pathfinding on Directed Graphs

Intractability of Optimal Multi-Robot Path Planning on Planar Graphs

Structure and Intractability of Optimal Multi-Robot Path Planning on Graphs

Coordination of Multiple Robots along Given Paths with Bounded Junction Complexity

Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs

Optimal Multi-Robot Path Planning on Graphs: Structure and Computational Complexity

Constrained Motion Planning and Multi-Agent Path Finding on directed graphs

Coordinated Motion Planning: Multi-Agent Path Finding in a Densely Packed, Bounded Domain

Exact Algorithms for Multiagent Path Finding with Communication Constraints on Tree-Like Structures

Multi-Agent Path Finding with Heterogeneous Geometric and Kinematic Constraints in Continuous Space

Optimal and Bounded Suboptimal Any-Angle Multi-agent Pathfinding

Expected 1.x Makespan-Optimal Multi-Agent Path Finding on Grid Graphs in Low Polynomial Time

A Review of Graph-Based Multi-Agent Pathfinding Solvers: from Classical to Beyond Classical

Prioritized Safe Interval Path Planning for Multi-Agent Pathfinding With Continuous Time on 2D Roadmaps

On the Complexity of an Unregulated Traffic Crossing

Optimal Multirobot Path Planning on Graphs: Complete Algorithms and Effective Heuristics

Optimal Multi-Robot Path Planning on Graphs: Complete Algorithms and Effective Heuristics

Multi-agent Path Planning in Known Dynamic Environments

Multirobot Simultaneous Path Planning and Task Assignment on Graphs with Stochastic Costs

Complexity results for a cops and robber game on directed graphs

Planning optimal paths for multiple robots on graphs