5、线性离散优化的反事实解释与车辆路径问题的列消除方法

线性离散优化的反事实解释与车辆路径问题的列消除方法

1. 反事实解释相关内容

在解决线性离散优化问题时，反事实解释是一种重要的工具。例如，当用户询问为什么线性离散优化问题 MILP⟨c, X⟩的最优解 x∗ 不满足某些先前未说明的约束时，我们可以通过反事实解释来回答。

1.1 调度解释结果

以下是调度解释的相关结果表格：
| n | m | tF,μ | tF,σ | tN CE | tMP | tSP | nIT R | nS |
|----|----|----|----|----|----|----|----|----|
| 6 | 2 | 0.006 | 0.002 | 0.9 | 0.9 | 0.01 | 4 | 20 |
| 6 | 3 | 0.005 | 0.002 | 0.6 | 0.6 | 0.02 | 4 | 20 |
| 6 | 4 | 0.005 | 0.002 | 0.2 | 0.2 | 0.02 | 5 | 20 |
| 9 | 2 | 0.010 | 0.002 | 89.5 | 89.3 | 0.08 | 7 | 20 |
| 9 | 3 | 0.011 | 0.005 | 467.0 | 466.6 | 0.15 | 13 | 16 |
| 9 | 4 | 0.012 | 0.008 | 150.8 | 150.3 | 0.19 | 15 | 19 |
| 12 | 2 | 0.025 | 0.022 | 694.8 | 694.5 | 0.13 | 7 | 15 |
| 12 | 3 | 0.016 | 0.005 | 1499.0 | 149