精确有理混合整数规划的计算现状更新
最优化与控制
2021-01-25 v1 组合数学
摘要
在有理数上求解一般混合整数规划的免舍入误差方案的最后一个里程碑成就，是 Cook、Koch、Steffy 和 Wolter 于 2013 年发表的混合精度分支定界算法。我们描述了该框架的一次实质性修订与扩展，其集成了符号预处理、具备针对原始启发式解的确切修复步骤、采用了基于 LP 迭代精化的更快有理 LP 求解器，并能够生成可独立验证的最优性证书。我们研究了显著改善的性能，并深入分析了新算法组件的计算行为。在 MIPLIB 2017 基准测试集上，我们观察到相较于原框架平均加速 6.6 倍，且在两小时时间限制内求解的实例数量为其 2.8 倍。
引用
@article{arxiv.2101.09141,
title = {A Computational Status Update for Exact Rational Mixed Integer Programming},
author = {Leon Eifler and Ambros Gleixner},
journal= {arXiv preprint arXiv:2101.09141},
year = {2021}
}
备注
Accepted to appear in the program of the 22nd Conference on Integer Programming and Combinatorial Optimization (IPCO 2021)