×
利昂·埃夫勒；安布罗斯·格莱克斯纳

精确有理混合整数规划的计算状态更新。 （英语） Zbl 1482.90125号

Singh，Mohit（编辑）等人，《整数规划和组合优化》。第22届国际会议，IPCO 2021，美国佐治亚州亚特兰大，2021年5月19-21日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12707, 163-177 (2021).
摘要：有理数上一般混合整数规划的无舍入误差解的最后一个里程碑式成就是由W.库克等【数学程序计算5，No.3，305–344（2013；Zbl 1305.90310号)]. 我们描述了该框架的实质性修改和扩展，该框架集成了符号预解，具有原始浮点启发式解决方案的精确修复步骤，使用基于LP迭代求精的更快的有理LP解算器，并能够生成独立可验证的最优性证书。我们研究了显著改进的性能，并深入了解了新算法组件的计算行为。在2017年MIPLIB基准测试集上，我们观察到，与原始框架相比，平均速度提高了6.6倍，在两个小时的时间限制内解决的实例数量增加了2.8倍。
关于整个系列，请参见[Zbl 1476.90004号].

引用于1文件

MSC公司：

90立方厘米 混合整数编程

关键词：

符号预求解、特征、原始浮点启发式

引文：

Zbl 1305.90310号

软件：

VIPR公司；SCIP公司；通用管理程序；协和式飞机；z3（零3）；PPL（公私合营）；MIPLIB公司；PaPILO公司；DRAT-饰件
PDF格式BibTeX公司 XML格式引用
\textit{L.Eifler}和\textit{A.Gleixner}，莱克特。票据计算。科学。12707，163--177（2021；Zbl 1482.90125）
全文： 内政部 arXiv公司

参考文献：

[1] Achterberg，T.：约束整数编程。柏林理工大学博士论文（2007年）·Zbl 1430.90427号
[2] Achterberg，T。；比克斯比，RE；顾，Z。；Rothberg，E。；Weninger，D.，混合整数规划中的预解约简，INFORMS J.Compute。，32, 2, 473-506 (2020) ·Zbl 07290858号 ·doi:10.1287/ijoc.2018.0857
[3] Achterberg，T。；科赫，T。；Martin，A.，《重新审视分支规则》，Oper。Res.Lett.公司。，33, 1, 42-54 (2005) ·Zbl 1076.90037号 ·doi:10.1016/j.orl.2004.04.002
[4] Achterberg，T。；Wunderling，R。；Jünger，M。；Reinelt，G.，《混合整数规划：分析12年的进展》，《组合优化的方面》，449-481（2013），海德堡：斯普林格·Zbl 1317.90206号 ·doi:10.1007/978-3-642-38189-8_18
[5] Applegate，D.，Bixby，R.，Chvatal，V.，Cook，W.：协和TSP解决方案（2006）
[6] 阿普尔盖特博士。；库克·W·。；破折号，S。；Espinoza，DG，线性规划问题的精确解决方案，Oper。Res.Lett.公司。，35, 6, 693-699 (2007) ·Zbl 1177.90282号 ·doi:10.1016/j.orl.2006.12.010
[7] 阿萨夫，B.，《用多边形计算凸包和计算整数点》，数学。程序。计算。，9，1，1-38（2017）·Zbl 1370.90009号 ·doi:10.1007/s12532-016-0104-z
[8] 巴格纳拉，R。；希尔，PM；Zaffanella，E.，《帕尔马多面体图书馆：为硬件和软件系统的分析和验证实现一整套数字抽象》，科学。计算。程序。，72, 1-2, 3-21 (2008) ·doi:10.1016/j.scico.2007.08.001
[9] Berthold，T.，《测量原始启发式的影响》，Oper。Res.Lett.公司。，41, 6, 611-614 (2013) ·Zbl 1287.90037号 ·doi:10.1016/j.orl.2013.08.007
[10] Biere，A.，Heule，M.，van Maaren，H.，Walsh，T.：可满足性手册：第185卷人工智能和应用的前沿。IOS出版社，阿姆斯特丹（2009）·Zbl 1183.68568号
[11] 博菲尔，M。；Manyá，F。；维达尔，A。；Villaret，M.，《Łukasiewicz逻辑的新复杂性结果》，《软》。计算。，23, 2187-2197 (2019) ·Zbl 1418.03114号 ·doi:10.1007/s00500-018-3365-9
[12] Burton，B.A.，Ozlen，M.：使用整数规划和法线曲面计算结的交叉帽数。ACM事务处理。数学。柔和。39(1) (2012). doi:10.1145/2382585.2382589·Zbl 1295.57006号
[13] 张，KKH；Gleixner，A。；斯特菲，DE；艾森布兰德，F。；Koenemann，J.，验证整数规划结果，整数规划和组合优化，148-160（2017），Cham:Springer，Cham·Zbl 1418.90176号 ·doi:10.1007/978-3-319-59250-3_13
[14] Cheung，K.、Gleixner，A.、Steffy，D.：VIPR。验证整数编程结果。https://github.com/ambros-gleixner/VIPR。2020年11月11日访问·Zbl 1418.90176号
[15] 库克·W·。；破折号，S。；Fukasawa，R。；Goycoolea，M.，《数值安全gomory混合整数切割》，《信息与计算杂志》。，21, 641-649 (2009) ·Zbl 1243.90135号 ·doi:10.1287/ijoc10900324
[16] 库克·W·。；科赫，T。；斯特菲，DE；Wolter，K.，《精确有理混合整数规划的混合分枝定界方法》，数学。程序。计算。，5, 3, 305-344 (2013) ·Zbl 1305.90310号 ·doi:10.1007/s12532-013-0055-6
[17] Eifler，L.，Gleixner，A.：精确SCIP——开发版本。https://github.com/leoneifler/exact-SCIP。2020年11月11日访问
[18] Eifler，L.，Gleixner，A.，Pulaj，J.：应用于Chvátal猜想的整数规划安全计算框架（2020）
[19] Espinoza，D.G.：关于线性规划、整数规划和切割平面。乔治亚理工学院博士论文（2006）
[20] Faure，G。；Nieuwenhuis，R。；奥利维拉斯，A。；罗德里格斯-卡博内尔，E。；克莱恩·布宁，H。；Zhao，X.，SAT模线性算术理论：精确、不精确和商业解算器，可满足性测试的理论和应用-SAT 2008，77-90（2008），海德堡：斯普林格，海德伯格·兹比尔1138.68537 ·doi:10.1007/978-3-540-79719-78
[21] Gamrath，G.等人：SCIP优化套件7.0。ZIB报告20-10，柏林祖斯研究所（2020）
[22] Gleixner，A.等人：MIPLIB 2017：第六个混合整数编程库的数据驱动编译。数学。程序。计算。1-48 (2021). doi:10.1007/s12532-020-00194-3·Zbl 1476.90191号
[23] Gleixner，A。；Steffy，DE，使用有限精度预言机的线性编程，数学。程序。，183, 525-554 (2020) ·1450.90006兹罗提 ·doi:10.1007/s10107-019-01444-6
[24] Gleixner，A。；斯特菲，DE；Wolter，K.，线性规划的迭代求精，INFORMS J.Compute。，28, 3, 449-464 (2016) ·Zbl 1348.90460号 ·doi:10.1287/ijoc.2016.0692
[25] Gottwald，L.：PaPILO-整数和线性优化的并行预解。https://github.com/lgottwald/PaPILO。2020年9月9日访问
[26] Granlund，T.，Team，G.D.：GNU MP 6.0多精度算术库。武士传媒有限公司，伦敦，GBR（2015）
[27] 新泽西州海厄姆：《数值算法的准确性和稳定性》，第2版。费城工业和应用数学学会（2002年）。数字对象标识代码：10.1137/1.9780898718027·Zbl 1011.65010号
[28] 肯特，F。；Skipper，D。；Kim，D。；注册护士乌玛；Zelikovsky，A.，笛卡尔积图卵石数的整数规划界，组合优化与应用，681-695（2018），Cham:Springer，Cham·Zbl 1522.91059号 ·doi:10.1007/978-3-030-04651-4_46
[29] 兰西亚，G。；皮皮亚，E。；Rinaldi，F。；科诺诺夫，A。；卡恰，M。；弗吉尼亚州卡利亚金；Pardalos，P.，《使用整数规划搜索反例：案例研究》，《数学优化理论与运筹学》，69-84（2020），查姆：斯普林格，查姆·Zbl 1476.05101号 ·doi:10.1007/978-3-030-49988-45
[30] de Moura，L。；比约纳，N。；罗马克里希南，CR；Rehof，J.，Z3:高效SMT求解器，系统构建和分析的工具和算法，337-340（2008），海德堡：施普林格·doi:10.1007/978-3-540-78800-3_24
[31] 诺伊迈尔，A。；Shcherbina，O.，线性和混合整数编程中的安全边界，数学。程序。，99, 283-296 (2002) ·Zbl 1098.90043号 ·doi:10.1007/s10107-003-0433-3
[32] Pulaj，J.，《为暗示Frankl猜想的家庭切割平面，数学》。计算。，89, 322, 829-857 (2020) ·Zbl 1429.05199号 ·网址：10.1090/com/3461
[33] 斯特菲，DE；Wolter，K.，精确混合整数规划的有效线性规划边界，INFORMS J.Compute。，25, 2, 271-284 (2013) ·doi:10.1287/ijoc.120.0501
[34] 韦兹勒，N。；热量，MJH；华盛顿州亨特；辛兹，C。；Egly，U.，《DRAT-trim:使用表达性子句证明进行高效检查和修剪》，《可满足性测试的理论与应用》，SAT 2014，422-429（2014），Cham:Springer，Cham·兹比尔1423.68475 ·doi:10.1007/978-3-319-09284-3_31
[35] Wilken，K。；刘杰。；Heffernan，M.，使用整数编程的最佳指令调度，SIGPLAN Not。，35, 5, 121-133 (2000) ·数字对象标识代码：10.1145/358438.349318
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。