精读笔记
Problem Setting
这篇论文面对的是大规模 CVRP 的分解式求解中一个很实际但常被弱化的问题：分解使问题可算，但固定分解会制造局部不可行。即使全局车辆容量足够，某些 cluster 可能因为车辆不足、容量碎片化或空间边界错误而留下未服务需求；同时其他 cluster 可能有闲置车辆或剩余容量。以前方法要么假设初始 partition 足够好，要么在所有局部解合并后再做 global re-optimization。前者对 clustering 质量过度敏感，后者在大规模下基本是在已经形成错误结构后补救。真正困难点不是 CVRP 定义本身，而是如何在保留 decomposition scalability 的同时，不让 decomposition 成为不可逆的资源配置错误。关键矛盾是：分解越强，计算越可控，但跨区域资源调配能力越弱；协调越全局，feasibility 越容易恢复，但计算又回到不可扩展。
Motivation
作者的动机很明确：初始 clustering 缺少 route construction 后才出现的信息，而事后 re-optimization 又太晚、太重。route solver 在运行过程中天然会暴露一些非常直接的信号：哪些客户没服务、哪些车辆没用、哪里还有容量、哪里需求压力过高。这些信号对于修复可行性比原始几何坐标或 demand balance 更接近失败原因。已有 CFRS pipeline 的缺口是信息流单向：partition 决定 routing，routing 的反馈不再反过来改变 partition，或者只能在最后以昂贵的全局优化形式介入。CoRC 的出发点是把这种反馈变成在线协作机制，让子问题在还没有完全固化之前交换客户和车辆。
Core Idea
核心思想是把 partition 从静态约束改成可演化状态。传统 CFRS 中，客户和车辆属于哪个子问题是 routing 前的固定事实；CoRC 中，这只是一个初始假设，会被局部 routing outcome 持续校正。每个 partition 仍然像独立 agent 一样求解自己的 CVRP，但它不再封闭：它发布资源状态，并根据其他 partition 的资源状态执行客户转移、车辆转移或合并。
这个建模变化比具体 heuristics 更重要。它引入的 inductive bias 是：大规模 routing 的 feasibility failure 很多时候来自资源错配，而不是必须通过全局路径重排才能解决。因此，只需让资源和少量客户跨 partition 流动，就可以恢复 full solution，同时避免直接求整个 100K/200K 规模问题。和 prior 的本质区别不是用了更强 solver，而是重新组织了求解过程中的信息流：从“先分解、后独立求解、最后合并”变成“分解、求解、反馈、再分解”的闭环。
Method
方法层面只需要抓住三个机制。
第一，routing statistics 是跨 partition 的状态压缩。它解决的是完整 route 信息太大、也不一定必要的问题。CoRC 不交换路径结构，而交换 missed demand、free capacity、unused vehicles、total demand/capacity 等资源摘要。这个选择把协作目标从“全局路径优化”降维成“资源可行性修复”，因此通信和决策都更 scalable。
第二，collaboration operations 是局部修复算子。customer transfer 用来把未服务客户移动到有容量的 partition；vehicle transfer 用来把闲置车辆移动到缺资源的 partition；merge 用来处理单纯转移不足以解决的耦合情况。它们的共同点是只改变受影响子问题，未受影响 routes 可以保留。这是方法可扩展性的关键，而不是异步本身。
第三，asynchronous agent cycle 把协作嵌入 route construction，而非作为后处理。它解决的是 reoptimization 太晚的问题：当局部 solver 已经暴露 infeasibility，系统立即调整 partition，而不是等所有子问题都失败后再全局修复。异步设计更多是 engineering 上的合理实现，核心贡献仍是中间态反馈驱动的 partition evolution。
Key Insight / Why It Works
我认为这篇最核心的 insight 是：对于大规模分解式 CVRP，feasibility 的主要瓶颈常常是 capacity/resource assignment，而不是 route sequence optimization 本身。只要底层 solver 能在局部子问题内构造 routes，那么跨 partition 的未服务需求往往可以通过资源再分配修复。CoRC 把这个 observation 制度化了。
它有效的原因主要是 better inductive bias + memory reuse + test-time coordination。better inductive bias 体现在它显式建模了 partition 间资源流动，而不是把 partition 当成不可变边界；memory reuse 体现在未受影响的 incumbent routes 不需要重算；test-time coordination 体现在协作发生在具体 instance 的求解过程中，不依赖训练数据覆盖。这里不是 retrieval，也不是 learned representation alignment，更不是复杂 reasoning；它更像一个针对 decomposed optimization failure mode 的在线 repair protocol。
最可能的核心贡献是“什么时候协调”而不是“怎么协调”。customer/vehicle transfer 的规则本身很朴素，甚至可以说是工程 heuristic；但把这些动作放在 routing 中间，而不是 clustering 前或 reopt 后，确实改变了优化动态。辅助部分包括 fully connected communication、priority score、sleep parameters、OR-Tools GLS，这些大概率不是本质创新。
需要警惕的是，论文把 time-to-full-solution 作为主指标时，CoRC 的优势非常强，但 distance 经常很差。这说明它可能主要是在快速构造可行解，而不是找到高质量解。若应用目标是 operational cost minimization 而不仅是 serve all customers，CoRC 需要接强后处理优化。文中对距离质量退化的归因不够充分，增益来源更像 feasibility repair/scaling，而不是 routing optimization breakthrough。
Relation To Prior Work
最接近的谱系是 CFRS、decomposition-based VRP heuristics、post-routing improvement / ALNS-style repair，以及多 agent / distributed optimization。它不是端到端学习路线，也不是新的 CVRP solver；它是对分解式 heuristic pipeline 的控制流重构。
和传统 CFRS 的本质差异是 partition 是否可变。传统方法把 clustering 视作 routing 的先验；CoRC 把 clustering 视作可被 routing feedback 修改的 latent state。和 post-routing global reoptimization 的差异是 coordination 的时机和粒度：reopt 是全局、晚期、重计算；CoRC 是局部、在线、增量式。和学习式 decomposition 的差异是它不试图一次性学出好 partition，而是假设任何 partition 都可能错，并在 test-time 用 solver feedback 修正。
看似新的部分中，customer relocation、vehicle reassignment、merge 都不是全新思想；它们像是已有 repair/move operators 在 partition 层的重组。实质创新在于把这些 move operators 提升为 decomposition evolution 的基本动作，并用局部 routing statistics 驱动它们，从而形成一个 solver-agnostic 的协作框架。
Dataset / Evaluation
实验覆盖了 AGS benchmark 和 100K/200K synthetic，能较好支撑“分解式方法在大规模下通过协作恢复可行性”的 claim。尤其是 granularity sensitivity 和 vehicle starvation 实验，确实对准了论文的核心假设：初始 partition 会资源不均衡，而 CoRC 应该对此鲁棒。
但 evaluation 也有明显边界。首先，synthetic uniform instances 对真实物流结构的代表性有限；真实场景中 demand distribution、道路网络、time windows、shift constraints、multi-depot 等约束会显著改变 failure mode。其次，完整 routing frameworks 在 100K/200K 上 N/A 并不意外，这更证明 decomposition 的 scalability，而不是 CoRC 相对最强可扩展方法的质量优势。第三，CoRC 与 baselines 的距离质量差距很大，说明实验主要验证 feasible construction，而不是 end-to-end routing quality。
另一个值得注意的问题是表中若干 CoRC time 极小但 distance 极大，这会让人怀疑实现层面是否把“找到 full solution”定义为很快的粗糙插入/转移，而没有给底层 solver 足够时间优化。benchmark 支持 robustness claim，但不足以支持“高质量大规模 routing solver”的更强 claim。
Limitation
方法成立依赖几个隐含前提。第一，未服务需求可以通过跨 partition 容量/车辆再分配修复；如果 infeasibility 来自复杂时空约束、precedence、compatibility 或道路网络结构，简单资源统计可能不够。第二，局部 solver 必须能在变化后的子问题中较快构造 incumbent，否则动态调整会放大重算成本。第三，merge 不会无限膨胀到破坏分解优势；文中对这一点未充分说明。
scalability 上限主要受两个因素限制：fully connected communication 的 agent 数增长，以及 merge 后子问题规模增长。论文用 sleep 和异步机制处理工程开销，但没有给出系统复杂度或最坏情形分析。collaboration policy 也很手工，priority score 是否稳定、是否会 oscillation、是否会产生劣质 customer transfer，文中未充分说明。
泛化方面，CoRC 不依赖训练数据，这是优点；但它的泛化不是学习意义上的泛化，而是 heuristic protocol 对资源错配这一 failure mode 的适配。若 benchmark 的主要失败正好是 capacity imbalance，它会表现很好；若主要瓶颈是路径结构、时间窗耦合或局部搜索陷入差 basin，收益可能明显下降。
最后，增益归因不完全清晰。CoRC 的 feasibility gain 很可能主要来自 scaling-friendly repair 和 test-time resource redistribution，而非更强 optimization。它可能把“求高质量全局 CVRP”转移成“先快速构造一个 full but expensive solution，再依赖后续优化降成本”。论文没有充分展示这一步能否闭环。
Takeaway
- 第一，分解式优化里最值得迁移的 insight 是：decomposition 不应该是一次性前处理，而应该是 solver feedback 驱动的动态状态。
- 这个思想可以迁移到 large-scale scheduling、facility assignment、multi-agent planning、distributed packing 等场景。
- 第二，CoRC 真正推动的是 feasible construction robustness，而不是 routing optimality。
- 它适合作为大规模场景的 first feasible solution generator，后面应接更强的 improvement phase。
一句话总结
这篇论文把大规模 CVRP 的 CFRS pipeline 从静态分解推进到基于求解反馈的动态协作分解，真正贡献是用在线资源再分配提升 feasible route construction 的鲁棒性，而不是提出新的高质量 routing optimizer。