IJCAI 2025反事实路径规划竞赛：整数规划方案获质量第四、速度最快
一项采用整数规划与约束生成的方法在反事实路径规划竞赛中排名第四，但平均运行时间仅9.0秒，远快于第二快提交的118.8秒。
AI解读：这项研究针对的是路线推荐中的一个解释性问题：当用户没有走系统建议的最优路线时，如何用最小改动告诉用户“如果某条路不是自行车道，你选的路线就是最优的”。作者将这个问题建模为整数规划，并通过迭代添加约束来求得精确解。在IJCAI 2025竞赛的盲测集上，他们的方案在解质量上排名第四，但运行速度显著领先——平均9.0秒完成，比第二快的提交（118.8秒）快了一个数量级以上。对于需要实时给出解释的导航应用来说，这种速度优势意味着实用性更强，不过作者也承认质量排名并非第一，表明在求解精度上仍有提升空间。普通读者无需立即行动，但对从事路径推荐或可解释AI研究的团队，此方法提供了一个在速度与精度之间权衡的新选项。
一篇arXiv预印本论文描述了作者参与IJCAI 2025“反事实路径规划竞赛”（CRC 25）的方案。竞赛目标是寻找最短路问题的反事实解释，即确定对路网的最小改动，使得用户选择的路线成为最优路线。论文称，这种方法能支持诸如“如果你的建议路线不是自行车道，它确实是最优的”之类的解释。