蒂莫·伯托尔德 雷恩斯。最佳舍入。 （英语） Zbl 1304.90147号 数学。程序。计算。 6，第1期，33-54（2014）. 摘要：本文介绍了松弛强制邻域搜索（rens）算法，它是一种用于混合整数非线性规划（MINLPs）的大型邻域搜索算法。它使用子MINLP来探索线性或非线性松弛的最优解（{x}）的可行四舍五入集。子MINLP是通过使用\（\bar固定整数变量\（x_j\）来构造的{x} _j（_j）\在\mathbb{Z}中），并将剩余的整数变量绑定到\（x_j\在\{\lfloor\bar{x}{j}\rfloor中，\lceil\bar{x}{j}\rceil\}）。我们描述了rens的两个不同应用：作为计算给定初始解的最佳舍入的独立算法，以及作为完整MINLP解算器中的原始启发式算法。我们使用前者比较不同类型的松弛以及切割平面对相应最优解的所谓圆度的影响。我们进一步利用rens分析了在分支-剪切-提交框架scip中实现的三种舍入启发式算法的性能。最后，我们研究了rens作为scip中的原始启发式应用时的影响。所有实验都是在三个公开的测试集上进行的，分别是混合整数线性程序（MIP）、混合整数二次约束程序（MIQCP）和MINLP，只使用源代码中提供的软件。结果表明，对于这些问题，60%到70%的实例具有可循环的松弛优化，rens的成功率不取决于分数变量的百分比。最后但并非最不重要的是，rens作为原始启发式应用，与scip中现有的原始启发式很好地互补。 引用于30文件 MSC公司： 90立方厘米 混合整数编程 90 C59 数学规划中的近似方法和启发式 90C20个 二次规划 90立方 非线性规划 关键词：混合整数规划;混合整数非线性规划;原始启发式;大邻域搜索;四舍五入 软件：邦明;伊波特;优化软件基准;COIN或;MINLP公司;FEASPUMP公司;MIPLIB公司;LINDO全球;科幻小说;MINL库;SBB公司;CppAD公司;SoPlex公司;林多;中国银行;MIPLIB2003;辛烷值;优化软件的决策树;DINS公司;科学Py PDF格式BibTeX公司 XML格式引用 \textit{T.Berthold}，数学。程序。计算。6，第1号，33-54（2014；Zbl 1304.90147） 全文： 内政部 参考文献： [1] Achterberg，T.、Koch，T.和Martin，A.：MIPLIB 2003。操作。Res.Lett公司。34(4), 1–12 (2006). http://miplib.zib.de/miplib2003/ [2] Achterberg，T.：约束整数编程。2007年，柏林理工大学博士论文·Zbl 1169.90414号 [3] Achterberg，T.，Berthold，T.：改进可行性泵。谨慎的选择。4(1), 77–86 (2007). （特刊）·Zbl 1170.90443号 ·doi:10.1016/j.disopt.2006.10.004 [4] Achterberg，T.:SCIP：求解约束整数程序。数学。程序。计算。1(1), 1–41 (2009) ·Zbl 1171.90476号 ·doi:10.1007/s12532-008-0001-1 [5] 巴拉斯（Balas，E.）：背包多边形的面。数学。程序。8, 146–164 (1975) ·Zbl 0316.90046号 ·doi:10.1007/BF01580440 [6] Balas，E.，Ceria，S.，Dawande，M.，Margot，F.，Pataki，G.：辛烷值：纯0-1程序的新启发式。运营商。第49、207–225号决议（2001年）·Zbl 1163.90654号 ·doi:10.1287/操作49.2.207.13535 [7] Balas，E.，Schmieta，S.，Wallace，C.：枢轴和移位——混合整数规划启发式。谨慎。最佳方案。1(1), 3–12 (2004) ·Zbl 1087.90052号 ·doi:10.1016/j.disopt.2004.03.001 [8] Belotti，P.，Lee，J.，Liberti，L.，Margot，F.，Wächter，A.：非凸MINLP的分支和边界收紧技术。最佳方案。方法软件。24, 597–634 (2009) ·Zbl 1179.90237号 ·doi:10.1080/10556780903087124 [9] Bertaco，L.，Fischetti，M.，Lodi，A.：一般混合整数问题的可行性泵启发式算法。谨慎。最佳方案。4(1), 77–86 (2007). （特刊）·Zbl 1169.90415号 ·doi:10.1016/j.disopt.2006.10.001 [10] Berthold，T.、Feydy，T.和Stuckey，P.J.：二进制程序的快速学习。收录于：Lodi，A.，Milano，M.，Toth，P.（编辑）《2010年CPAIOR会议录》，LNCS第6140卷，第51-55页。施普林格，柏林（2010）·Zbl 1285.68151号 [11] Berthold，T.，Gleixner，A.M.：Undercover–基于集合覆盖生成的子MIP的MINLP的原始启发式。收录：Bonami，P.，Liberti，L.，Miller，A.J.，Sartenaer，A.（编辑）《EWMINLP会议录》，第103–112页（2010） [12] Berthold，T.，Gleixner，A.M.：Undercover–探索最大子MIP的原始MINLP启发式。数学。程序。A（2013）。doi:10.1007/s10107-013-0635-2·Zbl 1291.90144号 [13] Berthold，T.、Heinz，S.、Pfetsch，M.E.、Vigerske，S.：MIP以外的大型邻域搜索。摘自：Gaspero，L.D.，Schaerf，A.，Stützle，T.（编辑）第九届元启发式国际会议论文集（MIC 2011），第51-60页（2011） [14] Berthold，T.：测量原始启发式的影响。操作。Res.Lett公司。41(6), 611–614 (2013) ·Zbl 1287.90037号 [15] Berthold，T.：混合整数程序的原始启发式。柏林理工大学文凭论文（2006年） [16] Berthold，T.：SCIP分支框架的启发。摘自：Kalcsics，J.，Nickel，S.（编辑）《2007年运营研究论文集》，第31-36页。柏林施普林格-弗拉格出版社（2008年）·Zbl 1209.90356号 [17] Berthold，T.、Heinz，S.、Vigerske，S.：扩展CIP框架以解决MIQCP。In：Lee，J.，Leyffer，S.（编辑）混合整数非线性规划。IMA数学及其应用卷，第427-444页。柏林施普林格出版社（2011）·Zbl 1242.90120号 [18] Berthold，T.、Gleixner，A.M.、Heinz，S.、Vigerske，S.：分析MIQCP解算器组件的计算影响。数字。代数，控制优化。2(4), 739–748 (2012) ·Zbl 1269.90066号 ·doi:10.3934/naco.2012.2739 [19] Bixby，R.E.，Ceria，S.，McZeal，C.M.，Savelsbergh，M.W.：更新的混合整数编程库：MIPLIB 3.0。Optima 58，12-15（1998） [20] Bixby，R.E.，Fenelon，M.，Gu，Z.，Rothberg，E.，Wunderling，R.:MIP：理论与实践——缩小差距。收录于：Powell，M.，Scholtes，S.（编辑）《系统建模和优化：方法、理论和应用》，第19-49页。Kluwer学术出版社，Dordrecht（2000）·Zbl 0986.90025号 [21] Bonami，P.，Gonçalves，J.：凸混合整数非线性程序的启发式。计算。最佳方案。申请。51（2）、729–747（2012年）·Zbl 1241.90189号 [22] Bonami，P.，Biegler，L.，Conn，A.，Cornuéjols，G.，Grossmann，I.，Laird，C.，Lee，J.，Lodi，A.，Margot，F.，Sawaya，N.，Wächter，A.：凸混合整数非线性规划的算法框架。光盘。选择。5, 186–204 (2008) ·Zbl 1151.90028号 ·doi:10.1016/j.disopt.2006.10.011 [23] Bonami，P.，Cornuéjols，G.，Lodi，A.，Margot，F.：混合整数非线性程序的可行性泵。数学。程序。119(2), 331–352 (2009) ·Zbl 1163.90013号 ·doi:10.1007/s10107-008-0212-2 [24] Bussieck，M.，Drud，A.，Meeraus，A.：MINLPLib–混合整数非线性规划的测试模型集合。信息J.计算。15(1), 114–119 (2003) ·Zbl 1238.90104号 ·doi:10.1287/ijoc.15.1.114.15159 [25] Bussieck，M.R.，Vigerske，S.：MINLP解算器软件。收录：Cochran，J.J.、Cox，L.A.、Keskinocak，P.、Kharoufeh，J.P.、Smith，J.C.（编辑）《威利运筹学与管理科学百科全书》。威利（2010） [26] CBC用户指南-COIN-OR。网址：http://www.coin-or.org/Cbc [27] CppAD公司。C++算法区分包。http://www.coin-or.org/CppAD/ [28] D'Ambrosio，C.，Frangioni，A.，Liberti，L.，Lodi，A.：非凸MINLP的可行性泵方法实验。摘自：Festa，P.（编辑）《实验算法》。计算机科学课堂讲稿，第350-360页。柏林施普林格出版社（2010年） [29] D'Ambrosio，C.，Lodi，A.：混合整数非线性编程工具：实用概述。4手术室：Q.J.Operat。第9号决议，329–349（2011年）·Zbl 1235.90101号 ·doi:10.1007/s10288-011-0181-9 [30] D'Ambrosio，C.，Frangioni，A.，Liberti，L.，Lodi，A.：非凸MINLP可行性泵风暴。数学。程序。136, 375–402 (2012) ·Zbl 1257.90056号 ·doi:10.1007/s10107-012-0608-x [31] Danna，E.，Rothberg，E.，Pape，C.L.：探索松弛诱导的邻域以改进MIP解决方案。数学。程序。A 102（1），71–90（2004）·Zbl 1131.90036号 ·doi:10.1007/s10107-004-0518-7 [32] Fischetti，M.，Monaci，M.:0–1混合整数凸规划的邻近搜索。技术报告，DEI，帕多瓦大学（2012年）·Zbl 1275.90046号 [33] Fischetti，M.，Lodi，A.：局部分支。数学编程B 98（1-3），23–47（2003）·Zbl 1060.90056号 ·doi:10.1007/s10107-003-0395-5 [34] Fischetti，M.，Glover，F.，Lodi，A.：可行性泵。数学。程序。A 104（1），91–104（2005）·兹比尔1077.90039 ·doi:10.1007/s10107-004-0570-3 [35] Fischetti，M.，Salvagnin，D.：可行性泵2.0。数学。程序。C 1201–222（2009年）·Zbl 1180.90208号 ·doi:10.1007/s12532-009-0007-3 [36] Ghosh，S.:DINS，一种MIP改进启发式算法。收录于：Fischetti，M.，Williamson，D.P.（编辑）《整数规划与组合优化》（IPCO 2007），LNCS第4513卷，第310-323页（2007）·兹伯利1136.90419 [37] Glover，F.、Lökketangen，A.、Woodruff，D.L.：分散搜索以生成不同的MIP解决方案。收录于：Laguna，M.，González-Velarde，J.L.（编辑）《建模、优化和仿真的OR计算工具：计算机科学和运筹学中的接口》，第299-317页。Kluwer学术出版社，多德雷赫特（2000） [38] Glover，F.，Laguna，M.：整数规划的通用启发式——第一部分：启发式2（4），343–358（1997）·Zbl 0887.90123号 ·doi:10.1007/BF00132504 [39] Glover，F.，Laguna，M.：整数规划的通用启发式——第二部分。《启发式杂志》3（2），161-179（1997）·Zbl 0898.90094号 ·doi:10.1023/A:1009631530787 [40] Hammer，P.L.，Johnson，E.L.，Peled，联合国：规则0-1多胞体的面。数学。程序。8, 179–206 (1975) ·Zbl 0314.90064号 ·doi:10.1007/BF0158042文件 [41] Hansen，P.、Mladenović，N.、Urošević、D.：可变邻域搜索和局部分支。计算。运营商。第33（10）号决议，3034–3045（2006）·Zbl 1086.90042号 ·doi:10.1016/j.cor.2005.02.033 [42] Ipopt（内部点光放大器）。http://www.coin-or.org/Ipopt网站/ [43] Jones，E.，Oliphant，T.，Peterson，P.等人：SciPy:Python的开源科学工具（2001） [44] Koch，T.、Achterberg，T.，Andersen，E.、Bastert，O.、Berthold，T.和Bixby，R.E.、Danna，E.、Gamrath，G.、Gleixner，A.M.、Heinz，S.、Lodi，A.、Mittelmann，H.、Ralphs，T.。Salvagnin，D.、Steffy，D.E.、Wolter，K.：MIPLIB 2010。数学。程序。计算。3(2), 103–163 (2011) ·Zbl 06110465号 ·doi:10.1007/s12532-011-0025-9 [45] Land，A.H.，Doig，A.G.：解决离散编程问题的自动方法。《计量经济学》28（3），497–520（1960）·Zbl 0101.37004号 ·doi:10.2307/1910129 [46] Liberti，L.，Mladenović，N.，Nannicini，G.：寻找MINLP良好解决方案的秘诀。数学。程序。计算。3(4), 349–390 (2011) ·Zbl 1276.90041号 ·doi:10.1007/s12532-011-0031-y [47] 林多环球。Lindo Systems公司。网址：http://www.lindo.com [48] Lökketangen，A.：0–1混合整数规划的启发式。摘自：Pardalos，P.M.，Resende，M.G.C.（编辑）《应用优化手册》，第474-477页。牛津大学出版社，纽约（2002） [49] Lökketangen，A.，Glover，F.：使用禁忌搜索解决零/一混合整数编程问题。《欧洲药典》（Eur.J.Operat）。第106、624–658号决议（1998年）·兹比尔0991.90091 ·doi:10.1016/S0377-2217（97）00295-6 [50] Mittelmann，H.：优化软件的决策树：优化软件基准。http://plato.asu.edu/bench.html [51] Nannicini，G.，Belotti，P.，Liberty，L.：MINLP的局部分支启发式。ArXiv电子版（2008） [52] Nannicini，G.，Belotti，P.：非凸MINLP的基于取整的启发式。数学。程序。计算。4(1), 1–31 (2012) ·Zbl 1257.90059号 ·doi:10.1007/s12532-011-0032-x [53] Rothberg，E.：用于优化混合整数规划解决方案的进化算法。信息J.计算。19(4), 534–541 (2007) ·Zbl 1241.90092号 ·doi:10.1287/ijoc.1060.0189 [54] Savelsbergh，M.W.P.：混合整数编程问题的预处理和探测技术。ORSA J.计算。6, 445–454 (1994) ·兹伯利0814.90093 ·doi:10.1287/ijoc.6.4.445 [55] SBB。ARKI咨询公司；开发A/S和GAMS公司。http://www.gams.com/solvers/solvers.htm#SBB数量 [56] SCIP。求解约束整数程序。http://scip.zib.de/ [57] SoPlex公司。一个实现修正单纯形算法的开源LP求解器。http://soplex.zib.de/ [58] Tawarmalani，M.，Sahinidis，N.：混合整数非线性规划的全局优化：理论和计算研究。数学。程序。99, 563–591 (2004) ·Zbl 1062.90041号 ·doi:10.1007/s10107-003-0467-6 [59] Vigerske，S.：多阶段随机规划中的分解和混合整数非线性规划的约束整数规划方法。柏林洪堡大学博士论文（2013） [60] Wächter，A.，Biegler，L.：关于大规模非线性规划的原始-对偶内点过滤器线搜索算法的实现。数学。程序。106(1), 25–57 (2006) ·Zbl 1134.90542号 ·doi:10.1007/s10107-004-0559-y [61] Wallace，C.：ZI圆，MIP圆启发法。《启发式杂志》16（5），715–722（2010）·Zbl 1201.90207 ·doi:10.1007/s10732-009-9114-6 [62] Wolsey，L.A.：0-1变量线性不等式的面。数学。程序。8, 165–178 (1975) ·Zbl 0314.90063号 ·doi:10.1007/BF01580441 [63] Wunderling，R.：并行与对象定向器单纯形算法。柏林理工大学博士论文（1996年）·Zbl 0871.65048号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。