Problem
Research questions and friction points this paper is trying to address.
counterfactual explanation
shortest path problem
road network
Counterfactual Routing Using Integer Programming with Constraint Generation
🤖 AI Summary
该研究通过整数规划和约束生成方法解决了最短路径问题中的反事实解释问题，即找到最小网络改动使用户选择的路线成为最优。
📝 Abstract
We present our submission to the IJCAI 2025 'Counterfactual Routing Competition' (CRC 25). The goal of the competition is to find counterfactual explanations for the shortest path problem. This requires deciding what the minimal changes to a road network would make a route chosen by the user the optimal route. This enables explanations such as "Your suggested route would indeed have been optimal, if road X were not a bicycle path." Our solution models the problem as an integer program, iteratively incorporating constraints until an exact solution is found. In the final evaluation on held-out test instances, our method ranked fourth in solution quality and obtained its solution fastest on every instance, with an average runtime of 9.0 seconds compared to 118.8 seconds for the next-fastest submission.
Innovation
Methods, ideas, or system contributions that make the work stand out.
integer programming
constraint generation
counterfactual explanations
shortest path problem
🔎 Similar Papers
No similar papers found.
