蒂莫·伯托尔德；安布罗斯·格雷克斯纳（Ambros M.Gleixner）。 Undercover：探索最大子MIP的原始MINLP启发式。 （英语） Zbl 1291.90144号 数学。程序。 144，第1-2（A）号，315-346（2014）. 摘要：我们提出Undercover，这是一种针对非凸混合整数非线性程序（MINLPs）的原始启发式算法，用于探索混合整数线性的给定MINLP的子问题（子MIP）。我们解决了顶点覆盖问题，以确定要修复的最小变量集，即所谓的盖，使每个约束线性化。随后，这些变量固定为从参考点获得的值，例如线性松弛的最优解。子MIP的每个可行解对应于原始问题的可行解。我们应用领域传播来避免不可行性，并通过冲突分析从遇到的不可行性中学习其他约束。我们给出了混合整数二次约束程序（MIQCP）和MINLP的测试集的计算结果。事实证明，这些实例中的大多数都允许使用小型封面。虽然本质上是一般的，但我们表明启发式在MIQCP上最为成功。它很好地补充了不同最先进的求解器中现有的根节点启发式，并有助于显著提高MINLP求解器SCIP的整体性能。 引用于18文件 MSC公司： 90立方厘米 混合整数编程 90C20个 二次规划 90C26型 非凸规划，全局优化 90立方 非线性规划 90 C59 数学规划中的近似方法和启发式 关键词：原始启发式；混合整数非线性规划；大邻域搜索；混合整数二次约束规划；非凸优化 软件：SBB公司；MINLP公司；GloMIQO公司；伊波特；FEASPUMP公司；CPLEX公司；CppAD公司；邦明；MINL库；糠；LINDO全球；米诺塔；DINS公司；林多；SCIP公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Berthold}和\textit{A.M.Gleixner}，数学。程序。144，编号1--2（A），315--346（2014；Zbl 1291.90144） 全文： 内政部 参考文献： [1] Achterberg，T.：混合整数规划中的冲突分析。谨慎。最佳方案。4(1), 4-20 (2007). doi:10.1016/j.disopt.2006.10.006·Zbl 1169.90414号 ·doi:10.1016/j.disopt 2006.10.006 [2] Achterberg，T.：约束整数规划。柏林理工大学博士论文（2007年）。http://vs24.kobv.de/opus4-zib/frontdoor/index/index/docId/1018 ·Zbl 1171.90476号 [3] Achterberg，T.:SCIP：求解约束整数程序。数学。程序。计算。1(1), 1-41 (2009). doi:10.1007/s12532-008-0001-1·Zbl 1171.90476号 [4] Achterberg，T.，Berthold，T.：改进可行性泵。谨慎。最佳方案。4（1），77-86（2007）。doi:10.1016/j.disopt.2006.10.004·Zbl 1170.90443号 ·doi:10.1016/j.disopt.2006.10.004 [5] Belotti，P.，Lee，J.，Liberti，L.，Margot，F.，Wächter，A.：非凸MINLP的分支和边界收紧技术。最佳方案。方法软件。24, 597-634 (2009). doi:10.1080/10556780903087124·Zbl 1179.90237号 [6] Berthold，T.：混合整数程序的原始启发式。柏林理工大学文凭论文（2006年）。http://vs24.kobv.de/opus4-zib/frontdoor/index/index/docId/1029 [7] Berthold，T.：RENS-最佳舍入。ZIB报告12-17，柏林祖斯研究所（2012）。http://vs24.kobv.de/ops4-zib/frontdoor/index/index/docId/1520 ·Zbl 1304.90147号 [8] Berthold，T.、Heinz，S.、Pfetsch，M.E.、Vigerske，S.：MIP以外的大型邻域搜索。收录于：Gaspero，L.D.、Schaerf，A.、Stützle，T.（编辑）《第九届元启发式国际会议论文集》（MIC 2011），第51-60页（2011）。可用作Matheon预印本#856。urn:nbn:de:0296-matheon-9752·Zbl 1084.68051号 [9] Berthold，T.、Heinz，S.、Vigerske，S.：扩展CIP框架以解决MIQCP。收录于：Lee，J.，Leyffer，S.（编辑）混合整数非线性规划，数学及其应用IMA卷，第154卷，第427-444页。施普林格（2011）。doi:10.1007/978-1-4614-1927-3_15·Zbl 1242.90120号 [10] Bixby，R.，Fenelon，M.，Gu，Z.，Rothberg，E.，Wunderling，R.：MIP：理论与实践——缩小差距。收录：Powell，M.，Scholtes，S.（编辑）《系统建模与优化：方法、理论和应用》，第19-49页。多德雷赫特·克鲁沃（2000）·Zbl 0986.90025号 [11] Bonami，P.，Biegler，L.T.，Conn，A.R.，Cornuéjols，G.，Grossmann，I.E.，Laird，C.D.，Lee，J.，Lodi，A.，Margot，F.，Sawaya，N.，Wächter，A.：凸混合整数非线性程序的算法框架。谨慎。最佳方案。5, 186-204 (2008). doi:10.1016/j.disopt.2006.10.011·Zbl 1151.90028号 ·doi:10.1016/j.disopt.2006.10.011 [12] Bonami，P.，Cornuéjols，G.，Lodi，A.，Margot，F.：混合整数非线性规划的可行性泵。数学。程序。119(2), 331-352 (2009). doi:10.1007/s10107-008-0212-2·Zbl 1163.90013号 ·doi:10.1007/s10107-008-0212-2 [13] Bonami，P.，Gonçalves，J.：凸混合整数非线性程序的启发式。计算。最佳方案。申请。51, 729-747 (2012). doi:10.1007/s10589-010-9350-6·Zbl 1241.90189号 ·doi:10.1007/s10589-010-9350-6 [14] Bussieck，M.，Drud，A.，Meeraus，A.：MINLPLib——混合整数非线性规划的测试模型集合。信息J.计算。15(1), 114-119 (2003). doi:10.1287/ijoc.151.1.114.15159文件·Zbl 1238.90104号 ·doi:10.1287/ijoc.15.1.114.15159 [15] Bussieck，M.R.，Vigerske，S.：MINLP解算器软件。收录：Cochran，J.J.、Cox，L.A.、Keskinocak，P.、Kharoufeh，J.P.、Smith，J.C.（编辑）《威利运筹学与管理科学百科全书》。Wiley，伦敦（2010年）。在线发布。doi:10.1002/9780470400531.eorms0527·Zbl 1257.90059号 [16] D'Ambrosio，C.，Frangioni，A.，Liberti，L.，Lodi，A.：非凸MINLP的可行性泵方法实验。摘自：Festa，P.（编辑）《实验算法》，《计算机科学讲义》，第6049卷，第350-360页。施普林格，柏林（2010）。doi:10.1007/978-3-642-13193-6_30 [17] Danna，E.，Rothberg，E.，Pape，C.L.：探索松弛诱导的邻域以改进MIP解决方案。数学。程序。102(1), 71-90 (2004). doi:10.1007/s10107-004-0518-7·兹比尔1131.90036 ·doi:10.1007/s10107-004-0518-7 [18] Dinur，I.，Safra，S.：关于近似顶点覆盖的硬度。安。数学。162, 439-485 (2005). doi:10.4007/annals.2005.162.439·Zbl 1084.68051号 ·doi:10.4007/annals.2005.162.439 [19] Fischetti，M.，Glover，F.，Lodi，A.：可行性泵。数学。程序。104(1), 91-104 (2005). doi:10.1007/s10107-004-0570-3·兹比尔1077.90039 ·doi:10.1007/s10107-004-0570-3 [20] Fischetti，M.，Lodi，A.：局部分支。数学。程序。98(1-3), 23-47 (2003). doi:10.1007/s10107-003-0395-5·Zbl 1060.90056号 ·doi:10.1007/s10107-003-0395-5 [21] Fischetti，M.，Salvagnin，D.：可行性泵2.0。数学。程序。计算。1(2-3), 201-222 (2009). doi:10.1007/s12532-009-0007-3·Zbl 1180.90208号 [22] Garey，M.R.，Johnson，D.S.：《计算机与难治性：NP-完备性理论指南》。W.H.Freeman&Co.，纽约（1979）·Zbl 0411.68039号 [23] Ghosh，S.:DINS，一种MIP改进启发式算法。收录于：Fischetti，M.，Williamson，D.P.（编辑）《整数规划和组合优化》，《第十二届国际IPCO会议论文集》，LNCS，第4513卷，第310-323页。施普林格，柏林（2007）。doi:10.1007/978-3-540-72792-7_24·兹伯利1136.90419 [24] Griewank，A.，Walther，A.：评估衍生品：算法区分的原理和技术。工业和应用数学学会（2008）·兹比尔1159.65026 [25] Halperin，E.：图和超图中顶点覆盖问题的改进近似算法。SIAM J.计算。31, 1608-1623 (2002). doi:10.1137/S0097539700381097·Zbl 1041.68130号 ·doi:10.1137/S0097539700381097 [26] Hansen，P.，Jaumard，B.：将不定二次规划简化为双线性规划。J.全球。最佳方案。2(1), 41-60 (1992). doi:10.1007/BF00121301·兹比尔0786.90050 ·doi:10.1007/BF00121301 [27] Karakostas，G.：顶点覆盖问题的更好近似比。ACM事务处理。算法，5，41:1-41:8（2009）。doi:10.1145/1597036.1597045·Zbl 1298.68295号 [28] Khot，S.，Regev，O.：顶点覆盖可能很难在\[2-\epsilon\]范围内近似。J.计算。系统。科学。74(3), 335-349 (2008). doi:10.1016/j.jcss.2007.06.019·Zbl 1133.68061号 ·doi:10.1016/j.jcss.2007.06.019 [29] Konno，H.：一种求解双线性程序的切割平面算法。数学。程序。11, 14-27 (1976). doi:10.1007/BF01580367·Zbl 0353.90069号 ·doi:10.1007/BF01580367 [30] Land，A.H.，Doig，A.G.：解决离散编程问题的自动方法。《计量经济学》，28（3），497-520（1960）。http://www.jstor.org/stable/1910129 ·Zbl 0101.37004号 [31] Liberti，L.，Mladenović，N.，Nannicini，G.：寻找MINLP良好解决方案的秘诀。数学。程序。计算。3, 349-390 (2011). doi:10.1007/s12532-011-0031-y·Zbl 1276.90041号 ·doi:10.1007/s12532-011-0031-y [32] Lin，Y.，Schrage，L.：LINDO API中的全局解算器。最佳方案。方法软件。24(4-5), 657-668 (2009). doi:10.1080/10556780902753221·Zbl 1177.90325号 ·doi:10.1080/155678902753221 [33] Misener，R.，Floudas，C.A.：通过分段线性和边凹松弛对混合整数二次约束二次规划（MIQCQP）进行全局优化。数学编程（2012）。在线出版物。doi:10.1007/s10107-012-0555-6·Zbl 1257.90079号 [34] Misener，R.，Floudas，C.A.：全球混合整数二次优化器。J.全球。最佳方案。(2012). 在线发布。doi:10.1007/s10898-012-9874-7·Zbl 1272.90034号 [35] Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.、Malik，S.：Chaff：设计高效SAT求解器。摘自：第38届设计自动化年会（DAC’01）会议记录，第530-535页（2001）。数字对象标识代码：10.1145/378239.379017 [36] Nannicini，G.，Belotti，P.：非凸MINLP的基于取整的启发式。数学。程序。计算。4(1), 1-31 (2012). doi:10.1007/s12532-011-0032-x·Zbl 1257.90059号 ·doi:10.1007/s12532-011-0032-x [37] Nannicini，G.，Belotti，P.，Liberty，L.：MINLP的局部分支启发式。ArXiv电子版0812.2188，康奈尔大学（2008）。http://arxiv.org/abs/0812.2188 [38] Tawarmalani，M.，Sahinidis，N.V.：混合整数非线性程序的全局优化：理论和计算研究。数学。程序。99, 563-591 (2004). doi:10.1007/s10107-003-0467-6·Zbl 1062.90041号 ·doi:10.1007/s10107-003-0467-6 [39] Vigerske，S.：多阶段随机规划中的分解和混合整数非线性规划的约束整数规划方法。柏林洪堡大学博士论文（2012年）（待发表） [40] Wächter，A.，Biegler，L.T.：关于大规模非线性规划的原始-对偶内点过滤器线搜索算法的实现。数学。程序。106(1), 25-57 (2006). doi:10.1007/s10107-004-0559-y·Zbl 1134.90542号 ·doi:10.1007/s10107-004-0559-y [41] CppAD公司。C++算法区分包。http://www.coin-or.org/CppAD ·Zbl 1241.90189号 [42] GloMIQO 2.0。http://helios.princeton.edu/GloMIQO/ [43] IBM，ILOG CPLEX Optimizer。网址：http://www.cplex.com [44] 林多环球。Lindo Systems公司。网址：http://www.lindo.com ·Zbl 1134.90542号 [45] MINOTAUR:MINLP的工具包。http://wiki.mcs.anl.gov/minotaur网站 [46] SBB。ARKI咨询开发公司和GAMS公司。http://www.gams.com/solvers/solvers.htm#SBB [47] SCIP。求解约束整数程序。网址：http://scip.zib.de ·Zbl 1171.90476号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。