精读笔记

Problem Setting

论文标题：Two Black Boxes, One Solver: Encoder Probing and Decoder Attribution for Neural Multi-Attribute VRP under Hard-Mask and Recourse Decoders（arXiv preprint / 2026）。这篇论文不是在提出一个更强 MAVRP solver，而是在问一个更底层的问题：一个 neural autoregressive MAVRP solver 的每一步决策到底能不能被解释为约束、状态和候选动作之间的相互作用。真正困难点不在 MAVRP 定义，而在 neural CO solver 的可行性通常由两种机制混合产生：一部分来自 encoder 学到的结构表征，一部分来自 decoder mask / recourse regime。以前方法卡在只看性能或只看单点 saliency，无法判断模型是“理解了约束”，还是只是被 hard mask 强行限制在可行集合里。关键矛盾是：Hard-Mask 给强可行性但剥夺了模型对 infeasibility 的内部表达；Recourse 给可解释的不可行邻域但会牺牲 cost。

Motivation

已有路线不够的地方很明确：gap-to-BKS 不能说明 solver 是否可被运营人员信任，attention weight 也不能说明动作因果依赖。作者的核心观察是 encoder 和 decoder 的可解释性不是同一个问题：latent 可线性 probe 出 constraint family，不代表 decoder 真用它；decoder saliency 指向某些 feature，也可能只是架构或 mask 的 artefact。关键缺口是 neural CO 缺少一个 joint XAI protocol，能在同一批 checkpoint 上同时比较 representation、decision、counterfactual 和 sanity。论文动机最强的一点是把解释性从“可视化模型内部”改成“比较 solver family 的 operational property”。

Core Idea

核心思想是把一个 autoregressive solver 拆成两个需要分别审问的黑箱：encoder 侧问约束结构是否进入 latent，decoder 侧问每一步动作是否有可验证的局部理由。这个设计理论上成立，因为 MAVRP 的约束既有全局 family-level structure，也有 step-wise slack / feasibility dynamics；单看任一侧都会漏掉另一侧的失败模式。

和 prior 的本质区别在于，它不把 XAI 当成某个 attribution method 的应用，而是把解释性定义成一组可对照的机制性质：linear decodability、spontaneous organization、rank richness、latent direction causality、decision fidelity、contrastive margin、counterfactual availability、randomization sanity。特别是 Hard-Mask vs Recourse 的对照改变了建模方式：feasibility 不再只是外部过滤规则，而变成 policy 是否在 logit landscape 中形成可行动不可行邻域的问题。这一点比具体用 gradient / IG / DeepLIFT 更重要。

Method

方法的必要机制有三层。第一层是 encoder probing：用 probe、聚类、rank 和 latent direction intervention 判断 constraint information 是不是存在、是否集中在少数轴、是否只是表面相关。这解决的是“模型有没有表示约束”的问题，也防止 decoder attribution 在贫瘠 latent 上过度解释。

第二层是 decoder attribution 的三种读法：abductive 解释为什么选当前动作，contrastive 解释为什么不是最近可行替代项，counterfactual 检验小扰动能否切换动作或恢复可行性。这解决的是“解释是否贴近决策边界”的问题。尤其 contrastive margin 把解释从事后 feature ranking 推向局部 policy geometry。

第三层是五类评价：fidelity、concentration、stability、sanity、actionability。它们的作用不是装饰性打分，而是拆开几个经常混淆的概念：忠实不等于稳定，集中不等于可信，可解释不等于可行动。randomized-weight sanity 是关键负控，否则 attention/gradient 很容易解释到架构先验而非 learned policy。

Key Insight / Why It Works

最核心的 insight 是：Recourse 的解释性不是因为 mask 更软这么简单，而是因为训练过程迫使 policy 给 infeasible / near-feasible alternatives 赋予有意义的 logit geometry。Hard-Mask policy 从未需要学习“不可行但接近可行”的区域，所以即使测试时外部放宽候选集合，它也不会自然产生 make-feasible counterfactual。这是论文最实质的贡献。

图 encoder 的收益更像 better inductive bias，而不是 scaling。Unimp / UnimpMoe 在 graph-level constraint organization、node role 和 sanity 上更强，说明结构偏置让 latent 更容易承载约束 skeleton。但 edge-level same-route 上 Att 并不差，说明图结构优势不是全方位的；它主要改善全局/节点级组织，而非所有 relational bookkeeping。

MoE 的发现也有迁移价值：UnimpMoe 不是信息少，而是更 distributed、非 axis-aligned。单轴 probe 会低估它，subspace readout 才看得到。这提醒后续研究不要把“线性单轴可解释”误当成“表征质量”。不过 MoE 的增益来源不清，可能混合了 conditional compute、参数量、数据覆盖和训练噪声；文中未充分说明如何排除 scaling / capacity effect。

最可能只是辅助的是具体 attribution 方法的选择。gradient、IG、DeepLIFT 在 faithfulness 上差异不大，却给出不同 family ranking，这说明单个 attribution method 的语义解释并不稳。真正有效的是 contrastive/counterfactual framing 和 sanity control，而不是某个 saliency 算法本身。

Relation To Prior Work

这篇属于 neural combinatorial optimization × representation probing × attribution XAI 的交叉谱系。和 Kool-style attention solver、RL4CO/MAVRP benchmark、G-UniRouting 等工作的差异不在求解器结构，而在评价对象从 cost performance 转向 solver interpretability。和 standard probing work 的差异是把 probe 放到结构化约束、多粒度图表示和 intervention validation 上；和 Captum/IG/DeepLIFT 的差异是把 attribution 用于 autoregressive step decision，而不是静态分类。

看似新的部分里，linear probe、PCA/ICA、gradient attribution、sanity check 都是已有思想重组；实质新增的信息是它们被组织成同一套对照协议，并用于区分 Hard-Mask feasibility-by-construction 和 Recourse feasibility-by-learning。make-feasible counterfactual 是最接近实质创新的点，因为它不是普通 classification counterfactual，而是专门针对 soft-constrained / recourse-trained policy 的局部可行性解释。

Dataset / Evaluation

评估覆盖 16 个 MAVRP variants、n=50 主实验和 n=100 sanity-scale check，任务覆盖比单一 CVRP/TSP 更能支持“multi-attribute constraint representation”的 claim。六个 checkpoint 的 encoder × decoder 对照设计也比较干净，至少能读出 graph inductive bias 和 recourse regime 的主效应。

但 benchmark 仍是离线合成/标准化 MAVRP，没有真实 dispatcher、真实业务规则冲突、动态订单或分布漂移。它验证的是“协议能区分 solver family 的解释性属性”，而不是“解释能提升真实决策质量”。n=100 检查只有有限 seed，不能证明 scale robustness。counterfactual actionability 也只在手工 relaxations 字典内成立，不等于真实操作可执行。总体上 evaluation 支持论文的机制 claim，但不足以支持 deployment-level XAI claim。

Limitation

方法成立依赖几个强前提。第一，约束 concept bank 要预先定义；未命名的结构、组合约束、业务偏好不会被 probe 到，因此 encoder 解释有 hidden supervision。第二，counterfactual search 依赖一阶梯度和手工允许动作，所谓 actionability 可能只是“在作者定义的 relaxation space 内可行动”。第三，Recourse 的优势部分来自额外 decoder state feature 和 recourse training exposure，未完全解耦；增益来源不清。

泛化也需要谨慎。n=100 的结果说明趋势未立即崩，但不能证明到大规模、异质车队、动态 VRP 或真实约束系统仍成立。Hard-Mask vs Recourse 的结论在机制上可信，但 Recourse 付出的 cost gap 是否可接受没有统一答案。另一个上限是稳定性：Recourse 让解释更丰富，却让 dominant family summary 更不稳定，这不是小缺陷，而是 richness 和 reproducibility 的真实 trade-off。

Takeaway

• 最值得记住的不是某个模型最好，而是 feasibility delivery 本身是 interpretability design choice：把约束放在 mask 里，会让 solver 更可行但更难回答反事实；把约束放进 recourse training，会形成可解释的 infeasibility neighborhood。
• 第二个 takeaway 是 graph inductive bias 的价值可以通过 XAI 暴露出来：它不只是降低 cost，而是让约束 skeleton 更可读、更能通过 sanity check。
• 第三个 takeaway 是解释协议应该区分 fidelity、stability、sanity、actionability；单一 saliency 图基本不够。
• 未来更值得做的是 hybrid hard/soft feasibility training、稳定性正则化 attribution，以及把 make-feasible counterfactual 迁移到 scheduling、bin packing、dispatching 等 recourse policy。

一句话总结

这篇论文把 neural MAVRP solver 的解释性从事后 saliency 提升为 encoder 表征与 decoder 决策几何的联合诊断，真正贡献是揭示 Recourse training 会产生 Hard-Mask policy 缺失的可行动 infeasibility counterfactual。