Litcius/Paper detail

Generalized and Sub-Optimal Bipartite Constraints for Conflict-Based Search

Thayne T. Walker, Nathan Sturtevant, Ariel Felner

2020Proceedings of the AAAI Conference on Artificial Intelligence14 citationsDOIOpen Access PDF

Abstract

The main idea of conflict-based search (CBS), a popular, state-of-the-art algorithm for multi-agent pathfinding is to resolve conflicts between agents by systematically adding constraints to agents. Recently, CBS has been adapted for new domains and variants, including non-unit costs and continuous time settings. These adaptations require new types of constraints. This paper introduces a new automatic constraint generation technique called bipartite reduction (BR). BR converts the constraint generation step of CBS to a surrogate bipartite graph problem. The properties of BR guarantee completeness and optimality for CBS. Also, BR's properties may be relaxed to obtain suboptimal solutions. Empirical results show that BR yields significant speedups in 2k connected grids over the previous state-of-the-art for both optimal and suboptimal search.

Topics & Concepts

Bipartite graphConstraint (computer-aided design)Mathematical optimizationComputer scienceReduction (mathematics)GraphPathfindingSearch algorithmState (computer science)Theoretical computer scienceAlgorithmMathematicsShortest path problemGeometryRobotic Path Planning AlgorithmsMulti-Agent Systems and NegotiationConstraint Satisfaction and Optimization