Portal de Periódicos da CAPES

Multiagent Connected Path Planning: PSPACE-Completeness and How to Deal With It

2018; Association for the Advancement of Artificial Intelligence; Volume: 32; Issue: 1 Linguagem: Inglês

10.1609/aaai.v32i1.11587

2374-3468

Davide Tateo, Jacopo Banfi, Alessandro Riva, Francesco Amigoni, Andrea Bonarini,

Mobile Agent-Based Network Management

In the Multiagent Connected Path Planning problem (MCPP), a team of agents moving in a graph-represented environment must plan a set of start-goal joint paths which ensures global connectivity at each time step, under some communication model. The decision version of this problem asking for the existence of a plan that can be executed in at most a given number of steps is claimed to be NP-complete in the literature. The NP membership proof, however, is not detailed. In this paper, we show that, in fact, even deciding whether a feasible plan exists is a PSPACE-complete problem. Furthermore, we present three algorithms adopting different search paradigms, and we empirically show that they may efficiently obtain a feasible plan, if any exists, in different settings.