精读笔记

Problem Setting

这篇论文实际处理的是 neural CO policy 的单步决策解释：给定一个 autoregressive decoder 在某一步选择了某个 action，解释应该回答“哪个约束族在驱动这个选择”，而不是“哪个输入 feature 梯度大”。这一区别很关键，因为 CO 实例的语义单位是 constraint family，例如 capacity、time-window、budget、eligibility，而神经网络的输入单位通常是坐标、需求、时间窗、奖赏、处理时间等异质张量。

真正困难点在于 attribution 的单位错位。普通 gradient×input、IG、DeepLIFT 等方法默认 feature 是解释原子，但 CO 中一个约束族可能跨多个 feature tensor，一个 tensor 也可能因为 rank 高而天然积累更多梯度质量。于是解释结果容易反映 representation size，而不是 optimization pressure。以前 CO-specific explainer 的问题则在另一侧：它们可能生成能翻转模型的反事实，但反事实不一定仍是合法 CO 实例，这会让解释离开原问题的可行域。

所以这里的关键矛盾是：神经 policy 的局部敏感性在连续 feature space 中定义，而 CO 决策原因在离散/约束可行结构中定义。CAX 的目标就是把二者对齐。

Motivation

已有路线缺的是“约束锚点”。Generic XAI 给的是 feature attribution，本质上只看网络对输入坐标的局部响应；但调度员或优化研究者关心的不是某个坐标、某个时间窗数值，而是容量约束、时间窗约束、预算约束、机器资格约束是否在驱动决策。

作者的核心观察是：在 routing 等任务中，高 rank feature tensor 会系统性地吃掉更多梯度质量，即使它对应的约束族并不是 LP relaxation 中最 binding 的部分。因此 proxy gradient 的错误不是偶然噪声，而是解释粒度和输入表示之间的结构性偏差。

另一个缺口是反事实可行性。无约束 counterfactual 很容易通过把需求扰成负数、把时间窗上下界反转等方式翻转 action，这种 flip 对 CO 解释基本没有意义。论文的动机不是做更强的 counterfactual optimizer，而是给 counterfactual 加一个 feasibility certificate，使其至少位于原问题定义的实例空间内。

Core Idea

论文真正的核心思想是：把神经 policy 的梯度归因乘上优化松弛中的约束影子价格，从而把“模型对输入的局部敏感性”转化为“模型对约束族绑定压力的敏感性”。梯度部分回答 policy 在当前表示下对哪些输入变化敏感；LP dual 部分回答当前 CO 实例中哪些约束族在优化意义上紧。两者相乘后，解释对象从 feature-level mass 变成 constraint-family-level pressure。

这和 prior 的本质区别不在于用了 gradient，也不在于用了 counterfactual，而在于它改变了解释坐标系：解释不是在神经网络输入空间里排序 feature，而是在 CO 建模空间里排序 constraint families。这个 inductive bias 很强，也正是方法可能泛化的来源：只要一个新 CO 问题能给出约束族、LP relaxation dual 和 feasibility oracle，CAX 就不需要为每个问题训练一个专门的解释器。

CSP-certified counterfactual 则提供了一个相对可信的外部参照：如果在可行实例空间内，最容易导致 argmax flip 的扰动主要落在某个约束族上，那么该约束族可作为局部 sensitivity 的 adjudication signal。它不是 ground truth，但比 unconstrained flip 更接近 CO 语义。

Method

方法层面可以压缩成三个必要机制。

第一，constraint-family attribution。论文先要求把 feature tensors 映射到 constraint families，例如 CVRPTW 的 capacity/time-window/spatial，OP 的 prize/budget/spatial，FJSP 的 precedence/eligibility。这个映射不是实现细节，而是解释问题的重定义：解释单位从 feature 坐标变成约束族。

第二，LP-dual weighted gradient。对每个约束族，计算其相关 feature 上的 gradient×input 质量，再乘以该约束族 LP relaxation rows 的平均绝对 dual multiplier。proxy backend 相当于所有 dual 都设为 1；lp backend 则引入了优化结构。这里选择 mean aggregation 很重要，因为 sum 会被 row count 支配，尤其 OP 里 spatial rows 数量远多于 prize/budget，会重新引入规模偏差。

第三，feasibility-certified counterfactual。论文用采样寻找能翻转当前 argmax 的小扰动，但只接受通过 arithmetic filter 和 CSP feasibility-decision model 的候选。这个模块解决的是 counterfactual 解释的合法性问题，而不是精确最优性问题；文中明确没有证明得到全局最小 L1 counterfactual。

Bonferroni-PAC sufficient subset 是另一个评价/解释压缩工具：沿 attribution ordering 找最小 top-k 节点集合，使 Gaussian neighborhood 下 argmax 保持概率足够高，并用 Bonferroni 修正控制 adaptive k tests。它提供的是 greedy ordering 上的统计保证，不是全局最优 subset。

Key Insight / Why It Works

这篇论文最重要的 insight 是：CO attribution 的主要失败模式不是梯度估计差，而是解释坐标系错误。feature-level gradient mass 会混入 tensor rank、feature dimensionality、row count 等表示因素；LP dual 则提供了一个与优化结构相关的重标定信号。换言之，CAX 的有效性来自 representation alignment，而不是更强模型、更大数据或更复杂搜索。

LP dual 在这里扮演的是结构先验。它不需要知道神经网络内部学到了什么，只需要告诉解释器：当前实例中哪些约束族在松弛问题里有 binding pressure。然后用这个 pressure 去门控 policy gradient。这个机制在 rank-mismatch 场景下特别有效，因为它能纠正“高维张量梯度大”造成的虚假重要性；在 rank-aligned 场景下不应带来额外收益，论文用 FJSP 做了这个反证式 sanity check。

最可能是真正贡献的是 LP-dual anchoring + feasibility-certified adjudication 的组合。单独的 gradient partition 只是 proxy；单独的 LP dual 不是神经 policy explanation；单独的 CSP counterfactual 只是更合法的 flip。三者合在一起，才形成“神经敏感性—优化紧性—可行性证书”的闭环。

较可能是辅助而非核心的是 Bonferroni-PAC subset。它的统计保证是干净的，但只沿 greedy ordering，且实验中 corrected 与 uncorrected 给出相同成功计数和 subset size，说明它更多是 formal wrapper，而不是解释质量提升的主要来源。

需要警惕的是 CF-derived signal 本身不是独立真值。它由同一套 feature perturbation keys、采样分布和 feasibility filters 产生，可能偏向容易被采样扰动翻转的约束族。文中报告了 norm 和 dimension normalization 下稳定，但这不排除 perturbation family design 的隐式偏置。这里没有 benchmark leakage 的明显迹象，但 evaluation oracle 和方法共享同一问题建模框架，存在 evaluation bias 的可能。

Relation To Prior Work

这篇工作最接近三条路线的交叉：gradient-based attribution、counterfactual explanation、CP/PAC formal explanation。它不是在其中任一条线上做纯技术推进，而是把它们重组到 neural CO policy 的约束结构上。

相对于 IG/DeepLIFT/gradient×input，CAX 的不同点不是 attribution 公式更高级，而是 attribution target 从 feature 改成 constraint family，并用 LP dual 修正 feature rank bias。这是实质差异。

相对于 RouteExplainer 这类 CO-specific 解释器，CAX 不训练 edge-level label classifier，也不把解释限制在 solution edges 上；它解释 underlying constraint families，并且要求 counterfactual 可行。这里实质新增的信息是 feasibility certificate 和 constraint-level attribution，而不是自然语言叙述。

相对于 Wachter-style counterfactual，CAX 的新增点是把 counterfactual 限制在 CO feasibility model 内。它不解决 counterfactual optimization 的全局最优性，但解决了无约束反事实在 CO 中经常语义崩坏的问题。

相对于 CP/PAC explanation，论文的 PAC sufficient subset 基本是已有思想在 autoregressive CO decoder 上的适配，创新性弱于 LP-dual anchoring。整体技术谱系可以看作 optimization-aware XAI：用经典 OR 对偶信息和 CP feasibility oracle 给 neural policy explanation 加结构约束。

Dataset / Evaluation

评价覆盖了三个问题族：CVRPTW、OP、FJSP。选择逻辑比数量更重要：前两个是 feature-rank 与 LP-binding 不一致的 routing/prize-collection 场景，第三个是 rank-aligned scheduling 场景。这个设计确实在检验论文的核心机制预测，而不是泛泛展示多任务结果。

实验基本支持主 claim：LP backend 在 rank-mismatch 场景优于 proxy，在 rank-aligned 场景与 proxy 一致。这个 pattern 比单个高分更有说服力，因为它验证了“何时 LP dual 有信息增益”的条件性判断。

但 evaluation 的外部有效性有限。规模较小，均为 rl4co/benchmark 风格环境，没有真实世界部署或工业级约束模型。policy 本身的 optimality gap 不是重点，但也意味着解释的是中等质量 learned heuristic，而非接近最优的稳定 solver-like policy。CSP certification 是 per-cell 后验检查，不是对所有潜在反事实空间的完整证明。

另外，CF-derived adjudication signal 是作者构造的参考标准，不是人工标注或 solver-grounded causal ground truth。它适合作为内部一致性检验，但不能完全证明 CAX 解释了“真实原因”。

Limitation

核心限制是方法依赖外部优化建模质量。必须有 LP relaxation、dual rows 到 constraint families 的聚合方式、feature-to-family mapping、以及 CSP feasibility model。对很多真实 CO 系统，这些对象并不干净，或者约束族高度耦合，平均 dual 可能掩盖关键局部结构。

LP dual 的语义也有上限。它来自 relaxation，不来自整数最优解；当 relaxation 很松、dual degeneracy 严重、或存在多重最优 dual 时，所谓 binding pressure 可能不稳定。文中对 aggregation 做了 mean/sum/max ablation，但对 dual degeneracy、scaling of constraint rows、normalization of LP formulation 的敏感性讨论不足。LP formulation 的不同写法可能改变 dual 值，这会影响解释。

CSP-certified counterfactual 只认证 accepted CF，timeout 被当作 rejection，而不是 infeasibility proof。因此 certified subset 是保守的，也可能有选择偏差：容易被采样找到且容易被 CSP 认证的 flips 才进入评价。FJSP 只有较少 certified flips，这种低覆盖情况下的一致性结果虽然符合假设，但统计范围有限。

PAC subset 不是全局 minimal explanation，只是 greedy ordering 上的 sufficient subset。所谓 PAC guarantee 不应被解读为解释最优性保证。它的主要成本随 k 和采样数增长，大规模 decoder 或长 horizon 下 test-time compute 可能成为瓶颈。

最后，方法并没有让 neural policy 具备更强 reasoning；它是 post-hoc explanation。若 policy 本身利用了 spurious correlations 或 benchmark-specific patterns，CAX 只能解释这种 policy 的局部行为，不能保证解释对应人类期望的优化理由。

Takeaway

• 1. CO 解释的关键不是更复杂的 XAI 算法，而是把解释单位从 feature space 重建到 constraint-family space；这是最值得迁移的 insight。
• 2. LP dual 可以作为 neural policy explanation 的结构锚点：当输入表示维度和优化绑定压力错位时，对偶信息能纠正 attribution；当二者一致时，对偶信息不应产生虚假增益。
• 3. 反事实解释在 CO 中必须带 feasibility certificate。
• 无约束 flip 很可能只是离开问题定义域后的 artifact。

一句话总结

CAX 是一类 optimization-anchored post-hoc explanation 方法：它把神经 CO policy 的局部梯度敏感性用 LP 对偶压力和 CSP 可行性证书重新投影到约束族语义上，真正贡献在于解释坐标系的结构化重建。