Abstract
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 topological graphs on which the decision problem falls in NLOGSPACE although the bounded versions remain NP-complete for unary encoding.
Similar content being viewed by others
Notes
The bounded plan is clearly in NP when the bound \(\ell\) is written in unary: simply guess a solution of length at most \(\ell\) and check that it is correct. When the bound is given in binary, a solution may be in exponential size, and cannot be guessed in polynomial time.
Their reduction is from a problem called the reconfiguration problem on constraint graphs. The topological graph computed from a constraint graph contains single nodes ( ), paths of length 3 (which we denote by ) and a single path graph of length |E| (denoted by ), with E the set of edges in the constraint graph.
References
Ahmadzadeh, A., Keller, J., Pappas, G., Jadbabaie, A., & Kumar, V. (2008). An optimization-based approach to time-critical cooperative surveillance and coverage with UAVs. In O. Khatib, V. Kumar, & D. Rus (Eds.), Experimental Robotics: The 10th International Symposium on Experimental Robotics, pp. 491–500). Berlin, Heidelberg: Springer.
Amigoni, F., Banfi, J., & Basilico, N. (2017). Multirobot exploration of communication-restricted environments: A survey. IEEE Intelligent Systems, 32(6), 48–57.
Anbuudayasankar, S. P., Ganesh, K., & Mohapatra, S. (2016). Models for practical routing problems in logistics. New York: Springer.
Aurenhammer, F. (1991). Voronoi diagrams—A survey of a fundamental geometric data structure. ACM Computing Surveys, 23(3), 345–405.
Banfi, J., Basilico, N., & Amigoni, F. (2017). Intractability of time-optimal multirobot path planning on 2D grid graphs with holes. IEEE Robotics and Automation Letters, 2(4), 1941–1947.
Banfi, J., Li, A.Q., Basilico, N., Rekleitis, I., & Amigoni, F. (2016, May). Asynchronous multirobot exploration under recurrent connectivity constraints. In 2016 IEEE International Conference on Robotics and Automation (ICRA), pp. 5491–5498.
Bodin, F., Charrier, T., Queffelec, A., & Schwarzentruber, F. (2018). Generating plans for cooperative connected uavs. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13–19, 2018, Stockholm, Sweden, pp. 5811–5813.
Bylander, T. (1994). The computational complexity of propositional STRIPS planning. Artificial Intelligence, 69(1–2), 165–204.
Cabreira, T. M., Brisolara, L. B., & Ferreira, P. R, Jr. (2019). Survey on coverage path planning with unmanned aerial vehicles. Drones, 3(1), 4.
Cesare, K., Skeele, R., Yoo, Soo-Hyun, Zhang, Yawei, & Hollinger, G. (2015, May). Multi-UAV exploration with limited communication and battery. In 2015 IEEE International Conference on Robotics and Automation (ICRA), pp. 2230–2235.
Charrier, T., Queffelec, A., Sankur, O., & Schwarzentruber, F. (2019). Reachability and coverage planning for connected agents. In Proceedings of AAMAS, Montreal, QC, Canada, May 13-17, 2019, pp. 1874–1876.
Charrier, T., Queffelec, A., Sankur, O., & Schwarzentruber, F. (2019). Reachability and coverage planning for connected agents. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10–16, 2019, pp. 144–150.
Chen, Y., Zhang, H., & Xu M. (2014, July). The coverage problem in UAV network: A survey. In Proceedings of the Fifth International Conference on Computing, Communications and Networking Technologies (ICCCNT).
Choset, H. (2001). Coverage for robotics—A survey of recent results. Annals of Mathematics and Artificial Intelligence, 31(1–4), 113–126.
Choset, H., & Pignon, P. (1998). Coverage path planning: The boustrophedon cellular decomposition. In A. Zelinsky, editor, Field and Service Robotics, pp. 203–209. London: Springer.
Cook, S. A. (1985). A taxonomy of problems with fast parallel algorithms. Information and Control, 64(1–3), 2–21.
Danner, T., & Kavraki, L.E. (2000, April). Randomized planning for short inspection paths. In Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No. 00CH37065), vol. 2, pp. 971–976.
Englot, B., & Hover, F. (2012). Sampling-based coverage path planning for inspection of complex structures. In International Conference on Automated Planning and Scheduling.
Englot, B., & Hover, F. (2017). Planning complex inspection tasks using redundant roadmaps. In H. I. Christensen & O. Khatib (Eds.), Robotics Research: The 15th International Symposium ISRR (pp. 327–343). Cham: Springer International Publishing.
Finkel, R. A., & Bentley, J. L. (1974). Quad trees: A data structure for retrieval on composite keys. Acta Informatica, 4, 1–9.
Francès, G., Ramírez, M., Lipovetzky, N., & Geffner, H. (2017). Purely declarative action descriptions are overrated: Classical planning with simulators. In Twenty-Sixth International Joint Conference on Artificial Intelligence.
Fu, M., Kuntz, A., Salzman, O., & Alterovitz, R. (June 2019). Toward asymptotically-optimal inspection planning via efficient near-optimal graph search. In Proceedings of Robotics: Science and Systems, FreiburgimBreisgau, Germany.
Galceran, E., & Carreras, M. (2013). A survey on coverage path planning for robotics. Robotics and Autonomous Systems, 61(12), 1258–1276.
Hazon, N., & Kaminka, G.A. (2005, April). Redundancy, efficiency and robustness in multi-robot coverage. In Proceedings of the 2005 IEEE International Conference on Robotics and Automation, pp. 735–741.
Hearn, R. A., & Demaine, E. D. (2005). Pspace-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation. Theoretical Computer Science, 343(1), 72–96.
Hollinger, G. A., & Singh, S. (2012). Multirobot coordination with periodic connectivity: Theory and experiments. IEEE Transactions of Robotics, 28(4), 967–973.
Itai, A., Papadimitriou, C. H., & Szwarcfiter, J. L. (1982). Hamilton paths in grid graphs. SIAM Journal on Computing, 11(4), 676–686.
Karp, R.M. (1972). Reducibility among combinatorial problems. In Proceedings of a symposium on the Complexity of Computer Computations,.
Kavraki, L.E., Kolountzakis, M.N., & Latombe, J. (1996, April). Analysis of probabilistic roadmaps for path planning. In Proceedings of IEEE International Conference on Robotics and Automation, vol. 4, pp. 3020–3025.
Klein, P. N., Mozes, S., & Weimann, O. (2010). Shortest paths in directed planar graphs with negative lengths: A linear-space o(n log2 n)-time algorithm. ACM Transactions on Algorithms, 6(2), 30:1–30:18.
Knoll, A. (2006). A survey of octree volume rendering methods. In GI, the Gesellschaft für Informatik, p. 87.
Kuffner, J.J., & LaValle, S.M. (2000, April). Rrt-connect: An efficient approach to single-query path planning. In Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No. 00CH37065), vol. 2, pp. 995–1001.
Kusnur, T., Mukherjee, S., Saxena, D.M., Fukami, T., Koyama, T., Salzman, O., & Likhachev, M. (2019). A planning framework for persistent, multi-UAV coverage with global deconfliction. CoRR, arXiv:abs/1908.09236.
LaValle, S. M. (2006). Planning algorithms. Cambridge: Cambridge University Press.
Ma, H., Tovey, C.A., Sharon, G., Kumar, T.K.S., & Koenig, S. (2016). Multi-agent path finding with payload transfers and the package-exchange robot-routing problem. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12–17, 2016, Phoenix, Arizona, USA, pp. 3166–3173.
Morris, R., Pasareanu, C.S., Luckow, K.S., Malik, W., Ma, H., Kumar, T.K.S., & Koenig, S. (2016). Planning, scheduling and monitoring for airport surface operations. In Proceedings of the Planning for Hybrid Systems, Papers from the 2016 AAAI Workshop, Phoenix, AZ, USA, February 13, 2016.
Nestmeyer, T., Giordano, P. R., Bülthoff, H. H., & Franchi, A. (2017). Decentralized simultaneous multi-target exploration using a connected network of multiple robots. Auton. Robots, 41(4), 989–1011.
Otte, M., & Correll, N. (2014). Any-com multi-robot path-planning with dynamic teams: Multi-robot coordination under communication constraints. In O. Khatib, V. Kumar, & G. Sukhatme (Eds.), Proceedings of the Experimental Robotics: The 12th International Symposium on Experimental Robotics, pp. 743–757, Berlin, Heidelberg: Springer.
Pandey, R., Singh, A.K., & Krishna, K.M. (2012, August). Multi-robot exploration with communication requirement to a moving base station. In Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering (CASE), pp. 823–828.
Pham, H.X., La, H.M., Feil-Seifer, D., & Deans, M.C. (2018). A distributed control framework of multiple unmanned aerial vehicles for dynamic wildfire tracking. Proceedings of the IEEE Transactions on Systems, Man, and Cybernetics: Systems, pp. 1–12.
Ratner, D., & Warmuth, M.K. (1986). Finding a shortest solution for the N $\times $ N extension of the 15-puzzle is intractable. In Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, PA, USA, August 11–15, 1986. Volume 1: Science, pp. 168–172.
Reingold, O. (2008). Undirected connectivity in log-space. Journal of ACM, 55(4), 17:1–17:24.
Rekleitis, I., New, A. P., Rankin, E. S., & Choset, H. (2008). Efficient boustrophedon multi-robot coverage: An algorithmic approach. Annals of Mathematics and Artificial Intelligence, 52(2), 109–142.
Rooker, M. N., & Birk, A. (2007). Multi-robot exploration under the constraints of wireless networking. Control Engineering Practice, 15(4), 435–445.
Ryan, M. R. K. (2008). Exploiting subgraph structure in multirobot path planning. Journal of Artificial Intelligence Research, 31, 497–542.
Savitch, W. J. (1970). Relationships between nondeterministic and deterministic tape complexities. Journal of Computer and System Sciences,. https://doi.org/10.1016/S0022-0000(70)80006-X.
Schwartz, J. T., & Sharir, M. (1983). On the piano movers’ problem: III. Coordinating the motion of several independent bodies: The special case of circular bodies moving amidst polygonal barriers. The International Journal of Robotics Research, 2(3), 46–75.
Sharon, G., Stern, R., Felner, A., & Sturtevant, N. (2012). Conflict-based search for optimal multi-agent path finding. In Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, AAAI’12, pp. 563–569. AAAI Press.
Silver, D. (2005). Cooperative pathfinding. In Proceedings of the First AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE’05, pp. 117–122. AAAI Press.
Sipser, M. (1997). Introduction to the theory of computation. Boston: PWS Publishing Company.
Solovey, K., & Halperin, D. (2016). On the hardness of unlabeled multi-robot motion planning. The International Journal of Robotics Research, 35(14), 1750–1759.
Standley, T. (2010). Finding optimal solutions to cooperative pathfinding problems. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI’10, pp. 173–178. AAAI Press.
Sturtevant, N. (2012). Benchmarks for grid-based pathfinding. Transactions on Computational Intelligence and AI in Games, 4(2), 144–148.
Tateo, D., Banfi, J., Riva, A., Amigoni, F., & Bonarini, A. (2018). Multiagent connected path planning: Pspace-completeness and how to deal with it. In Thirty-Second AAAI Conference on Artificial Intelligence.
Teacy, W.L., Nie, J., McClean, S., & Parr, G. (2010). Maintaining connectivity in UAV swarm sensing. In 2010 IEEE Globecom Workshops, pp. 1771–1776. IEEE.
Turner, H. (2002). Polynomial-length planning spans the polynomial hierarchy. In Proceedings of the Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23–26.
Veloso, M., Biswas, J., Coltin, B., & Rosenthal, S. (2015). Cobots: Robust symbiotic autonomous mobile service robots. In Proceedings of the 24th International Conference on Artificial Intelligence, IJCAI’15, pp. 4423–4429. AAAI Press.
Wurman, P.R., D’Andrea, R., & Mountz, M. (2007). Coordinating hundreds of cooperative, autonomous vehicles in warehouses. In Proceedings of the 19th National Conference on Innovative Applications of Artificial Intelligence—Volume 2, IAAI’07, pp. 1752–1759. AAAI Press.
Xu, L. (August 2011). Graph Planning for Environmental Coverage. Ph.D. Thesis, Carnegie Mellon University, Pittsburgh, PA.
Yanmaz, E. (2012). Connectivity versus area coverage in unmanned aerial vehicle networks. In Proceedings of IEEE International Conference on Communications, ICC 2012.
Yu, J. (2016). Intractability of optimal multirobot path planning on planar graphs. IEEE Robotics and Automation Letters, 1(1), 33–40.
Yu, J., & LaValle, S. (2012). Planning optimal paths for multiple robots on graphs. Proceedings of the IEEE International Conference on Robotics and Automation.
Yu, J., & LaValle, S.M. (2013). Multi-agent path planning and network flow. In E. Frazzoli, T. Lozano-Perez, N. Roy, & D. Rus (Eds.), Proceedings of the Algorithmic Foundations of Robotics X, pp. 157–173, Berlin, Heidelberg: Springer.
Yu, J., & Rus, D. (2014). Pebble motion on graphs with rotations: Efficient feasibility tests and planning algorithms. In H. L. Akin, N. M. Amato, V. Isler, & A. F. van der Stappen (Eds.), Proceedings of the Algorithmic Foundations of Robotics XI—Selected Contributions of the Eleventh International Workshop on the Algorithmic Foundations of Robotics, WAFR 2014, 3–5 August 2014, Boğaziçi University, Istanbul, Turkey, volume 107 of Springer Tracts in Advanced Robotics, pp. 729–746. New York: Springer.
Zheng, X., Sonal, J., Koenig, S., & Kempe, D. (2005, August). Multi-robot forest coverage. In Proceedings of the 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 3852–3857.
Acknowledgements
This work was partially supported by UAV Retina Funded by EIT Digital. Special thanks to François Bodin for initiating the idea of this work. We thank Eva Soulier for the provided work during her internship. We also thank Sophie Pinchinat for useful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Charrier, T., Queffelec, A., Sankur, O. et al. Complexity of planning for connected agents. Auton Agent Multi-Agent Syst 34, 44 (2020). https://doi.org/10.1007/s10458-020-09468-5
Published:
DOI: https://doi.org/10.1007/s10458-020-09468-5