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. All 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. Contrary to prevailing beliefs, we show that the cost-to-go heuristic can be used significantly more effectively by weighting it in a specific manner alongside the conflict heuristic. We introduce two variants of doing so and demonstrate that this change can lead to 2-100x speedups in certain scenarios. 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方法也使用冲突超速方法来帮助高层次的搜索。与普遍的看法相反,我们表明,通过以特定的方式对成本到高水平的超值进行加权,可以大大更有效地使用它。我们引入了两种变通方法,并表明这种变化在某些情景下可以导致2-100x加速速度。此外,根据我们的知识,我们展示了优先规划和捆绑的次优化 CBS的首个理论关系,并表明我们的方法是其自然的普及。