AO-ARC: Almost-Surely Asymptotically Optimal Multi-Robot Motion Planning with ARC

1. 建立了 makespan MRMP 与状态-成本空间有界可行性问题的等价性（Proposition 1），使得 AO-x 元算法得以应用——这是技术可行性的基础，但等价转化本身为已有框架的直接推广。
2. 设计了保守的局部约束 $B_h^{local} = \min_{r_i}(B - \lambda_i^- - \lambda_i^+)$，确保局部修复不违反全局 makespan 约束（Lemma 1）——虽然完备性得证，但保守性可能导致大量冗余搜索，特别在高冲突场景。
3. 通过层级扩展与 $\epsilon$-削减机制证明了几何收缩性质 $w_c^n$（Lemma 3），支撑了渐近最优性定理——这是最有力的理论贡献，但收敛速率随机器人数量指数衰退，实际收敛时间可能极长。

2D 场景：Cross、Circle、Planar 配置，测试规模 $n=4,8,16$ 个机器人，每个场景 10 次试验，时间限制 300 秒。3D 场景：5 个随机 Panda 机械臂任务（4 和 8 个机械臂配置），每个任务 10 次试验，时间限制 600 秒。基线包括 CompAORRTC、dRRT*、PP-ST-RRT*、ARC 和 CompRRTC。数据关键指标：初始解时间 $T_{init}$、规范化 makespan $J_{init}$ 和 $J_{final}$、达到最优解 10% 范围内的成功率 $J_{\leq 1.10}$。