Routing Multiple Agents Below the Sum of Distances

2026-09-16

AI Summary

研究了无碰撞多智能体路径寻找问题，通过分析智能体终端最短路径距离之和与目标时间差及智能体数量，提出了一种固定参数可解方法。

Abstract

We study Transient Multiagent Pathfinding, a variant of the classical Multi-Agent Pathfinding problem in which a set of agents must be routed without collisions from designated start vertices to designated destination vertices in a graph. We analyze the problem within the above-and-below-guarantee paradigm of parameterized complexity. In particular, we consider the natural upper bound \(L\), given by the sum of the shortest-path distances between pairs of agents' terminals (corresponding to sequential routing of the agents). The parameterization is given by the gap \(ζ= L - λ\) between this bound and the target makespan \(λ\), together with the number \(k\) of agents. Our main result establishes fixed-parameter tractability for the combined parameter \(k + ζ\). Matching lower bounds show that parameterization by \(k\) alone is W[1]-hard, and that parameterization by \(ζ\) alone is W[1]-hard when terminals are not required to be distinct. On the positive side, if all terminals are distinct, the problem becomes fixed-parameter tractable when parameterized solely by \(ζ\). Finally, we show that Transient Multiagent Pathfinding is unlikely to admit a polynomial kernel when parameterized by \(k + ζ\). Together, our results provide an almost complete characterization of the parameterized complexity landscape of the problem for the considered parameters.

Problem

• Multi-Agent Pathfinding
• parameterized complexity
• shortest-path distances
• fixed-parameter tractability
• W[1]-hard

Innovation

• Transient Multiagent Pathfinding
• parameterized complexity
• fixed-parameter tractability
• gap parameter