Conflict-Based Search (CBS) is a popular multi-agent path finding (MAPF) solver that employs a low-level single agent planner and a high-level constraint tree to resolve conflicts. The vast majority of modern MAPF solvers focus on improving CBS by reducing the size of this tree through various strategies with few methods modifying the low level planner. Typically low level planners in existing CBS methods use an unweighted cost-to-go heuristic, with suboptimal CBS methods also using a conflict heuristic to help the high level search. In this paper, we show that, contrary to prevailing CBS beliefs, a weighted cost-to-go heuristic can be used effectively alongside the conflict heuristic in two possible variants. In particular, one of these variants can obtain large speedups, 2-100x, across several scenarios and suboptimal CBS methods. Importantly, we discover that performance is related not to the weighted cost-to-go heuristic but rather to the relative conflict heuristic weight's ability to effectively balance low-level and high-level work, implying that existing suboptimal CBS work misses this subtlety. Additionally, to the best of our knowledge, we show the first theoretical relation of prioritized planning and bounded suboptimal CBS and demonstrate that our methods are their natural generalization.
翻译:基于冲突的搜索(CBS)是一个流行的多试剂路径发现(MAPF)解答器,它使用一个低层次的单一代理计划者和高层次的限制树解决冲突。现代MAPF解答器的绝大多数侧重于通过各种战略减少这棵树的大小,而采用的方法很少改变低层次计划者。现有CBS方法的低层规划者通常使用一种不加权的成本到超速的方法,而低于最优化的CBS方法也使用一种冲突超速方法来帮助高层次的搜索。在本文中,我们表明,与CBS的普遍信仰相反,加权的超值成本到超值超值的超值理论性能可以用两种可能的变式与冲突超值一起有效使用。特别是,其中的一种变式可以在多种假设和次优化的CBS方法中获得大型超速增长,2-100x。重要的是,我们发现业绩与加权的成本到超值的CBS方法有关,而是相对的超值重量能力,以有效平衡低层次和高层次的工作,意味着我们现有的低层次的C-BS亚级的理论级战略关系表明我们现有的C-Ial-Serimalal-Arial-ISS-I-S-Servicalal-Lislateal lades。