Back to Search
Start Over
Complexity of planning for connected agents
- Source :
- Autonomous Agents and Multi-Agent Systems, Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2020, 34 (2), ⟨10.1007/s10458-020-09468-5⟩, Autonomous Agents and Multi-Agent Systems, 2020, 34 (2), ⟨10.1007/s10458-020-09468-5⟩
- Publication Year :
- 2020
- Publisher :
- Springer Science and Business Media LLC, 2020.
-
Abstract
- International audience; We study a variant of the Multi-Agent Path Finding (MAPF) problem in which the group of agents are required to stay connected with a supervising base station throughout the execution. In addition, we consider the problem of covering an area with the same connectivity constraint. We show that both problems are PSPACE-complete on directed and undirected topological graphs while checking the existence of a bounded plan is NP-complete when the bound is given in unary (and PSPACE-hard when the encoding is in binary). Moreover, we identify a realistic class of topo-logical graphs on which the decision problem falls in NLOGSPACE although the bounded versions remain NP-complete for unary encoding.
- Subjects :
- Discrete mathematics
Class (set theory)
Unary operation
Group (mathematics)
Computer science
05 social sciences
02 engineering and technology
Decision problem
Graph
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Constraint (information theory)
Artificial Intelligence
Bounded function
0502 economics and business
Path (graph theory)
0202 electrical engineering, electronic engineering, information engineering
050206 economic theory
020201 artificial intelligence & image processing
Subjects
Details
- ISSN :
- 15737454 and 13872532
- Volume :
- 34
- Database :
- OpenAIRE
- Journal :
- Autonomous Agents and Multi-Agent Systems
- Accession number :
- edsair.doi.dedup.....1cac5167dba3b12ccf4dd63a92b3ec33
- Full Text :
- https://doi.org/10.1007/s10458-020-09468-5