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.

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

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

Optimal and Bounded Suboptimal Any-Angle Multi-agent Pathfinding

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

Multi-Agent Path Finding with Delay Probabilities

MAPP: a Scalable Multi-Agent Path Planning Algorithm with Tractability and Completeness Guarantees

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

Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT)

Coordination of Multiple Robots along Given Paths with Bounded Junction Complexity

Constraint-based multi-robot path planning

Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs

Optimal Multi-Agent Path Finding for Precedence Constrained Planning Tasks

Constrained Containment Control for Multiagent Systems with Possible Empty Intersection of Position Constraints

Connected Coordinated Motion Planning with Bounded Stretch

Cooperative Multi-Agent Path Finding: Beyond Path Planning and Collision Avoidance

A stochastic process approach for multi-agent path finding with non-asymptotic performance guarantees

A coordinated scheduling approach for task assignment and multi-agent path planning

An Algorithm with Improved Complexity for Pebble Motion/Multi-Agent Path Finding on Trees

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

CL-MAPF: Multi-Agent Path Finding for Car-Like robots with kinematic and spatiotemporal constraints

Learning the Metric of Task Constraint Manifolds for Constrained Motion Planning