线性离散优化的反事实解释
在优化问题的研究中,反事实解释(Counterfactual Explanations)为我们理解决策背后的原因提供了新的视角。本文将深入探讨线性离散优化中的反事实解释,介绍相关算法及其应用,并通过实验验证算法的有效性。
1. 算法基础
- InvMILP 算法 :该算法用于解决逆混合整数线性规划(Inverse Mixed Integer Linear Programming)问题。其输入为
INVMILP⟨c, D, xd, X⟩,输出为最优的d∗。具体步骤如下:- 初始化
S0 ← ∅。 - 求解
MPINV⟨c, D, xd, X, S0⟩,若不可行则返回INFEAS,否则计算di = (c − gi + hi)。 - 求解
MILP⟨di, X⟩得到x0,若di,T xd ≤ di,T x0则停止并返回di = d∗,否则更新S0 = S0 ∪ {x0}并返回步骤 2。
- 初始化
Algorithm 1. InvMILP
1. Inputs: INVMILP⟨c,
超级会员免费看
订阅专栏 解锁全文
60

被折叠的 条评论
为什么被折叠?



