MAPF 多智能体路径规划:从 CBS 的最优性证明到对称性爆炸完整推导冲突基搜索(CBS)的两层结构与最优性证明,用实测数据展示走廊对称如何让搜索精确指数爆炸、优先级规划为何不完备,并梳理 ECBS/PBS/LNS 到终身 MAPF 的实用算法谱系。2026年8月12日机器人, 运动规划