×
丹尼尔·安德森;皮埃尔·勒·博迪奇;克里·摩根

关于分支抽象模型及其在混合整数规划中的应用的进一步结果。 （英语） Zbl 1478.90061号

数学。程序。 190，编号1-2（A），811-841（2021）.
摘要：混合整数规划（MIP）分支定界（B&B）解算器的一个关键要素是选择分支变量，因为较差的或任意的选择可能会按数量级影响结果搜索树的大小。作者最近的一篇文章P.Le Bodic公司和G.纳姆豪泽[数学课程.166，第1-2（A）号，369-405（2017；兹伯利1386.90087)]通过开发一个B&B树的理论模型来研究变量选择规则，从中他们为MIP求解器开发了一些新的、有效的评分函数。在他们的工作中，Le Bodic和Nemhauser留下了几个开放的理论问题，其解决方案可以指导未来变量选择规则的设计。在本文中，我们首先解决了许多这些开放的理论问题。然后，我们在SCIP 6.0中实现了基于模型的分支规则的改进版本，SCIP 6.0是一种最先进的学术MIP解算器，在其中，我们观察到需要大型B&B树的MIPLIB 2017基准集实例的几何平均时间和节点减少了11%。

引用于2文件

MSC公司：

90立方厘米 混合整数编程
65年第68季度 算法和问题复杂性分析

关键词：

分支和绑定;混合整数规划;算法分析;分支规则

引文：

Zbl 1386.90087号

软件：

SCIP公司;MIPLIB公司
PDF格式BibTeX公司 XML格式引用
\textit{D.Anderson}等人，《数学》。程序。190，编号1--2（A），811--841（2021；Zbl 1478.90061）
全文： 内政部 arXiv公司

参考文献：

[1] Achterberg，T.：约束整数编程。柏林理工大学博士论文（2007年）·Zbl 1430.90427号
[2] Achterberg，T.，Scip：求解约束整数程序，数学。程序。计算。，1, 1, 1-41 (2009) ·Zbl 1171.90476号 ·doi:10.1007/s12532-008-0001-1
[3] Achterberg，T.，Berthold，T.：杂交分支。In:组合优化问题约束编程中AI和OR技术国际会议（CPAIOR）（2009年）
[4] Achterberg，T.、Koch，T.和Martin，A.：重新审视分支规则。操作。Res.Lett公司。33(1), 42-54 (2005). doi:10.1016/j.org.2004.04.002·Zbl 1076.90037号
[5] Acton，F.S.：有效的数值方法。美国数学协会（1990年）·Zbl 0746.65001号
[6] 阿尔瓦雷斯，AM；卢沃，Q。；Wehenkel，L.，基于机器学习的强分支近似，INFORMS J.Compute。，29, 1, 185-195 (2017) ·Zbl 1364.90224号 ·doi:10.1287/ijoc.2016.0723
[7] Anderson，D.，Hendel，G.，Le Bodic，P.，Viernickel，M.：Clarvoyant使用在线树大小估计重新启动分支和绑定搜索。参加：AAAI人工智能会议（2019年）
[8] Applegate，D.，Bixby，R.，Chvatal，V.，Cook，B.：发现tsp中的切口（初步报告）。离散数学和理论计算机科学中心技术代表（1995年）·Zbl 1052.90060号
[9] Balcan，M.F.、Dick，T.、Sandholm，T.和Vitercik，E.：学习分支。参加：机器学习国际会议（ICML）（2018）
[10] 贝尼丘，M。；高瑟，JM；Girodet，P。；Hentges，G。；里比埃，G。；文森特，O.，混合整数线性规划实验，数学。程序。，1, 1, 76-94 (1971) ·兹比尔0233.90016 ·doi:10.1007/BF01584074
[11] Gamrath，G.，Anderson，D.，Bestuzheva，K.，Chen，W.K.，Eifler，L.，Gasse，M.，Gemander，P.，Gleixner，A.，Gottwald，L.Wegscheider，F。，Weninger，D.，Witzig，J.：scip优化套件7.0。技术代表20-10，ZIB，Takustr。7，14195柏林（2020）
[12] 马里兰州加里；Johnson，DS，《计算机与难治性》（2002），纽约：W.H.Freeman&Co.，纽约
[13] Gleixner，A.，Bastubbe，M.，Eifler，L.，Gally，T.，Gamrath，G.，Gottwald，R.L.，Hendel，G.、J.T.、Witzig、，J.：SCIP优化套件6.0。技术报告，优化在线（2018）
[14] Haase，C。；Kiefer，S.，第K大子集问题及其相关问题的复杂性，Inf.Process。莱特。，116, 2, 111-115 (2016) ·Zbl 1346.68110号 ·doi:10.1016/j.ipl.2015.09.015
[15] 霍默，S。；AL塞尔曼，《可计算性和复杂性理论》（2011），纽约：斯普林格出版社，纽约·Zbl 1248.68192号 ·doi:10.1007/978-1-4614-0682-2
[16] Khalil，E.B.，Le Bodic，P.，Song，L.，Nemhauser，G.L.，Dilkina，B.N.：学习混合整数规划中的分支。在：AAAI人工智能会议（2016）
[17] Kullmann，O.，《分支启发式的基础》，《可满足性手册》。，185, 205-244 (2009)
[18] Land，A.H.，Doig，A.G.：解决离散编程问题的自动方法。《计量经济学》：《经济社会杂志》，第497-520页（1960年）·Zbl 0101.37004号
[19] 《身体报》，P。；Nemhauser，G.，分支抽象模型及其在混合整数规划中的应用，数学。程序。，166，1-2，369-405（2017）·Zbl 1386.90087号 ·doi:10.1007/s10107-016-1101-8
[20] Ljunggren，W.，《关于某些三项式和四项式的不可约性》，《数学》。扫描。，8, 1, 65-70 (1960) ·Zbl 0095.01305号 ·doi:10.7146/math.scanda.a-10593
[21] Lodi，A.，Tramontani，A.：混合整数编程中的性能可变性，第1章，第1-12页。信息（2013）。doi:10.1287/educ.2013.0112
[22] 2017年MIPLIB（2018年）。http://miplib.zib.de
[23] Osada，H.，多项式的Galois群（{{X}^n+a{X}^l+b}），《数论》，25，2，230-238（1987）·Zbl 2010年8月6日 ·doi:10.1016/0022-314X（87）90029-1
[24] JH欧文；Mehrotra，S.，一般混合整数线性规划的析取割平面过程，数学。程序。，89, 3, 437-448 (2001) ·Zbl 1017.90066号 ·doi:10.1007/PL00011407
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。