{"id":"arxiv/2610.05887","url":"https://arxiv.org/abs/2610.05887","tags":["math.OC"],"score":0,"title":"Decision-Tree Surrogates for Weak Counterfactual Explanations in Integer Optimization","domain":"math.OC","source":"arxiv","authors":["Marc Goerigk","Jannis Kurtz","Sebastian Merten"],"reviews":0,"subject":"math.OC","summary":"The concept of counterfactual explanations (CEs) has recently gained increasing attention for deriving explanations of mathematical optimization problems. For a given problem, a counterfactual is an ideally minimal change in the mutable problem parameters such that an optimal solution of the changed problem exists fulfilling some desired criterion. It was shown that so-called weak CEs can be calculated by solving a computationally demanding bilevel optimization problem, which is $Σ_2^p$-complete if decision variables and mutable parameters are restricted to integers. Hence, the known exact…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-05","reactions":{}}