精读笔记
Problem Setting
论文标题：Diffusion for Long-Horizon Multi-Robot Path Planning in Human-Shared Environments（arXiv preprint / 2026）。
这篇论文解决的不是一般 multi-robot path planning，也不是一般 social navigation，而是两者叠加后的一个更尴尬问题：机器人之间需要强协调，人类周围又需要符合社会规范的运动。困难点在于这两个约束的性质不同。机器人-机器人冲突是对称的、可规划的、适合搜索约束；机器人-人类交互是不对称的、分布性的、很难用简单 cost 写准。
以前方法卡在两个方向。MAPF/CBS/PP 能处理多机器人，但对人类社会运动的建模太粗；social diffusion / RL planner 能让单机器人走得像人，但扩到多机器人时容易靠 prioritized planning 硬拼，协作性和实时性都差。更关键的是 diffusion planner 的固定时间轨迹假设会把“路径长度差异”错误地转化成“速度异常”，在有人环境里这是结构性问题，不是调参问题。
这个任务的关键矛盾是：要长程到达，但人类只可短期预测；要多机器人一致协调，但联合生成 N 条轨迹的计算和数据需求都很高；要使用 learned human prior，但又不能让生成模型承担所有组合规划责任。
Motivation
作者的核心观察是：现有 diffusion-based social planner 的主要瓶颈不只是慢，而是建模方式把时间固定死了。固定 H 个 waypoint 同时 pin 起点和终点，等价于强制所有任务在同一时间内完成。目标远时会产生高速度，目标近时会产生停顿或抖动；这会直接破坏 social navigation 中最重要的可预测性和舒适性。
另一个缺口是 multi-robot social navigation 缺少一个干净的分工：让一个模型同时学习人类先验、障碍规避、多机器人协调，数据和泛化都很困难；但如果全靠 classical planner，又很难得到人类风格轨迹。MRRD 的动机就是把问题拆成两类相对匹配的机制：用 diffusion 表达人类运动先验，用 CBS 表达机器人间离散冲突消解，用 rolling horizon 处理预测窗口和长程目标之间的错位。
因此这篇论文不是在追求一个更强的 diffusion model，而是在修正 diffusion planner 用于长程、多机器人、有人环境时的信息组织方式。
Core Idea
MRRD 的核心思想是：不要一次生成一条从当前点到终点的固定时长轨迹，而是在每个短 horizon 内生成可执行片段，并把速度/进度作为条件变量暴露给 planner。这样 diffusion 模型不再被迫在固定长度序列末端命中 goal，而是学习“朝某个 goal 以某种 urgency 前进”的局部运动分布。
这个改变引入了一个重要 inductive bias：人类风格不应该绑定到全局到达时间，而应该绑定到局部几秒内的速度、曲率、避让模式和空间关系。rolling horizon 让模型只需要在它训练数据和预测信息都相对可靠的时间尺度内工作；CBS 则只在已生成片段之间发现冲突时添加约束，而不是预先构造庞大的联合规划问题。
和 prior 的本质区别在于，它没有把 diffusion 扩展成 N-agent joint generator，而是把 single-agent diffusion 当作局部 conditional sampler，再用搜索在 test time 组织多个 sampler 的输出。这更 scalable，也更符合当前数据条件：人类单体/轨迹数据容易获得，多机器人在人群中协作的数据很难获得。
Method
方法上真正关键的机制只有几项。
第一，rolling horizon 解决的是长程目标与短期人类预测之间的不匹配。每次只规划 H 步、执行 K 步，再重新观察/预测/规划。它带来的核心变化是：长程任务不再要求 diffusion 模型一次性理解完整未来，而是通过闭环重规划获得适应性。但这也意味着所谓 long-horizon planning 很大程度上是 receding-horizon control，而不是显式长程推理。
第二，urgency-conditioned diffusion 解决固定时间问题。模型训练时用未来第 u 个 waypoint 作为 goal，让 u 表示 time-to-goal 或进度压力；推理时 batch 采样不同 urgency，并选择可行路径中最快的。这把速度控制从后处理或硬约束变成生成条件，是本文最实质的建模修改。
第三，CBS-style collision resolution 解决机器人-机器人协调。初始阶段并行生成所有机器人片段；若有机器人间碰撞，就给其中一个机器人加入局部球形时空约束并重新生成。核心变化是 robot-robot collision 不要求 diffusion prior 内生学习，而是作为 test-time guidance 进入采样过程。
第四，人类和障碍通过 guidance cost 处理。人类距离 cost 更像局部安全/舒适约束，障碍用 SDF。它们是必要的执行约束，但从创新性看主要是把已有 guided diffusion planning 的做法接入该框架。
Key Insight / Why It Works
这篇最可能真正有效的部分是 urgency conditioning + rolling horizon 的组合。固定时间问题是 diffusion planner 在导航任务里的结构性缺陷，而不是单个模型的问题。只要轨迹长度固定、终点硬 pin，速度就被目标距离决定；MRRD 通过让终点不再硬固定在 segment 末端，并显式给出 urgency，使模型可以在同一 H 步窗口中表达不同进度。这是比“加一个 cost”更根本的修正。
第二个有效原因是问题分解合理。人类社交运动先验和多机器人冲突协调本来就是两种不同结构：前者适合从数据中学习连续分布，后者适合搜索/约束消解。MRRD 没有强行用一个 neural policy 学完整联合策略，这避免了数据稀缺和 reward 设计问题。这里的 inductive bias 很强，也很务实。
第三个有效原因是 test-time compute。MRRD 在推理时批量生成不同 urgency 的候选，再筛掉不可行路径，并通过 CBS 反复重采样冲突机器人。这不是纯 amortized policy，而是 sampling + constraint search。性能提升的一部分来自更好的建模，另一部分明确来自 test-time search 和并行化。并行 batch inference 是关键工程贡献，但应归类为 scaling，而不是新的 planning principle。
我会把贡献强度排序为：urgency-conditioned local diffusion 最高，diffusion-CBS-rolling horizon 的组合次之，并行化是必要工程，human/obstacle guidance 基本是已有思想复用。实验中的大幅 planning time 改善很可能主要来自 parallelization 和避免 sequential root generation；安全性改善来自 CBS 和更合理速度分布的叠加，增益来源不清。
需要警惕的是，方法的“social awareness”主要来自 ETH human walking data 的轨迹先验和距离 guidance，而不是对人类意图或双向交互的显式建模。所谓人类共享环境中的 long-horizon reasoning，更像短期局部生成的连续拼接；如果场景需要长期让行、预测人群反应或协商通行权，当前机制可能不够。
Relation To Prior Work
最接近的技术谱系是 MPD / CoBL-Diffusion / MMD：用 diffusion 生成轨迹，用 guidance 加任务约束，用 CBS 或类似结构处理多机器人冲突。MRRD 的新意不是 diffusion 本身，而是把这些组件重新组织到 human-shared multi-robot long-horizon setting 中。
相对 CoBL-Diffusion，实质差异是从单机器人、固定时长、依赖完整人类路径的生成，转成 rolling horizon + urgency-conditioned segment generation。这个差异很关键，因为它改变了速度和到达时间的表达方式。
相对 MMD，MRRD 的核心新增信息是人类社交先验和 temporal flexibility。MMD already 把 CBS 和 diffusion 结合起来，因此本文的 CBS-diffusion 组合本身不是新思想；新的是把它放到有人环境，并用 urgency conditioning 解决 fixed-time planner 在 social navigation 中的速度异常。
相对 PP/hierarchical/MARL，MRRD 的本质不同是它不把多机器人社交导航完全做成 priority order、local safety controller 或 learned reward policy，而是采用 learned single-agent prior + classical conflict search 的 hybrid route。这条路线的优势是样本效率和可解释约束更好，弱点是系统性能依赖搜索和采样，端到端最优性不存在。
Dataset / Evaluation
评估主要在仿真中完成，使用 ETH/UCY 行人数据训练/提供人群轨迹，在 20m x 20m 空间、不同机器人数量和障碍密度下测试。任务覆盖了多人群、多机器人、障碍三类因素，足以验证框架在 controlled simulation 中的扩展趋势，但离真实部署还有明显距离。
实验确实支持两个核心 claim：相比把单机器人 social planner 通过 prioritized planning 扩成多机器人，MRRD 更能保持 robot-robot collision 为低水平；相比固定时间 diffusion baseline，它的速度/平滑性和 goal reaching 更合理。planning time 的结果也说明并行化对在线性很关键。
但 evaluation 没有充分验证几个更强 claim。第一，文中假设 perfect human prediction，真实 social navigation 中这是最脆弱环节。第二，没有真机实验，也没有 sensor noise、tracking error、actuation delay。第三，baseline 主要是 single-robot 方法的多机器人适配版本，可能低估了更强 hybrid MPC/CBF/MAPF 系统。第四，ablation 不足以清晰分离 urgency conditioning、rolling horizon、CBS、parallelization、candidate selection 各自贡献。
因此 benchmark 能证明这是一个强工程组合和合理建模修正，但还不能证明它已经解决真实人群中的 long-horizon multi-robot social coordination。
Limitation
最重要的隐含前提是短期人类预测可靠。文中 problem definition 直接假设 perfect prediction，这对 human-shared navigation 是很强的假设。rolling horizon 可以缓解长预测需求，但不能消除预测误差；如果人突然改变路线，guidance 基于错误未来轨迹会产生错误避让。
第二，planner 实际没有形成长期状态建模。它每次只生成 H 步并执行 K 步，长程行为来自反复闭环，而不是显式推理未来多轮人-机器人交互。这在局部可解场景中有效，但在需要提前让行、选择走廊、避免未来拥堵的场景中可能短视。
第三，scalability 上限不只由 diffusion batch size 决定，也由 CBS 分裂数量决定。论文中 15 robots/10 robots with obstacles 的规模不错，但如果机器人密度更高、通道更窄、冲突耦合更强，CBS + diffusion replanning 的 tail latency 可能成为真实系统瓶颈。直方图中的长尾已经提示这一点。
第四，social awareness 的来源可能主要来自数据覆盖和局部距离 cost。它没有显式建模人类反应，也没有学习群体语义、通行礼让或文化差异。所谓 human-like 很可能在 benchmark distribution 内成立，跨场景泛化仍未证明。
第五，增益归因不清。MRRD 相比 baseline 同时改变了规划范式、速度条件、并行化、collision resolution 和 feasible candidate selection；哪些部分贡献了安全，哪些贡献了速度，哪些只是 baseline 适配不利，文中未充分说明。
第六，方法可能把难题转移到了 guidance tuning 和 candidate filtering。diffusion prior 负责生成看似合理的轨迹，但最终安全仍依赖代价项、阈值、SDF、人类距离半径和碰撞筛选。这不是缺点本身，但说明它不是一个自洽的 learned social planner，而是 hybrid constrained sampler。
Takeaway
- 1. 对 diffusion planning 来说，固定长度轨迹不是小问题，而是会直接扭曲速度控制和任务完成时间；temporal conditioning / urgency conditioning 是一个值得迁移的设计。
- 2. 多机器人社交导航不一定需要联合学习 N-agent policy。
- 更现实的路线是：学习单体社会运动先验，把组合协调交给 test-time search/constraints。
- 这种 decomposition 在数据稀缺领域很有价值。
一句话总结
MRRD 是一篇把 single-robot social diffusion 从固定时长离线轨迹生成推进到 rolling-horizon multi-robot constrained sampling 的工作，真正贡献在于用 urgency-conditioned 局部生成和 CBS/test-time search 重组了 diffusion planner 的信息流，而不是提出了新的生成模型。