返回
Enhancing presolve in mixed integer programming by combining probing and dual fixing
DOI:10.1007/s12532-026-00336-z.png)
摘要
En 中文
探测和双重固定是混合整数规划(MIP)求解器中的两种强大预处理技术。探测技术临时将某些二元变量设为0或1,应用基于线性约束的域传播技术推导更好的变量界,并提取有用信息,如更强的变量蕴含关系和更好的全局变量界。双重固定尝试将变量固定到下界或上界,同时确保只要问题可行,至少保留一个最优解。在本文中,我们研究了如何在MIP求解器中结合这两种方法以实现更好的性能。具体而言,我们首先将双重固定嵌入探测框架,推导出更多有用的变量蕴含关系以增强探测能力。然后,我们开发了一种改进的双重固定技术,可以应用更多的变量固定,并使用探测框架来检测减少情况。在MIPLIB 2017基准实例上的计算结果表明,这两种提出的技术在开源MIP求解器HiGHS中结合探测和双重固定的潜力。
Keyword:
Mixed integer programming
Presolve
Probing
Dual fixing
期刊
IF:
3.6
论文数:
202
被引数:
1.9K

