安布罗斯·格雷克斯纳（Ambros M.Gleixner）。;蒂莫·伯托尔德;本杰明·米勒;斯特凡·韦尔特 基于优化的绑定拧紧的三项增强功能。 （英语） Zbl 1369.90106号 J.全球。最佳方案。 67，第4期，731-757（2017）. 摘要：基于优化的边界收紧（OBBT）是减少非凸混合整数非线性规划（MINLPs）变量域的最有效方法之一。同时，它是最昂贵的约束收紧程序之一，因为它解决了辅助线性程序（LP）——最多是许多变量数量的两倍。本文的主要目标是讨论高效实现OBBT的算法技术。大多数最先进的MINLP解算器应用了一些限制版本的OBBT，并且似乎普遍认为，如果只有一个能够控制其计算成本，OBBT才是有益的。为此，我们引入了三种技术来提高OBBT的效率：减少已求解LP的数量的过滤策略，排序启发式以利用单纯形温启动，以及生成拉格朗日变量界（LVB）。树搜索期间LVB的传播是OBBT的快速近似，无需求解辅助LP。我们在MINLPLib2上进行了大量的计算实验。我们的结果表明，OBBT在困难情况下最为有利，我们观察到平均加速17-19%。最重要的是，使用OBBT可以解决更多的实例。 引用于32文件 MSC公司： 90立方厘米 混合整数编程 90立方厘米26 非凸规划，全局优化 关键词：MINLP公司;基于优化的约束拧紧;基于优化的约束拧紧;OBBT公司;传播;捆绑式拧紧 软件：COIN或;协和式飞机;SoPlex公司;CppAD公司;伊波特;MINL库;GloMIQO公司;拉戈;米普利布;MINLP公司;库恩;CMU-IBM公司;安提戈内;SCIP公司 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Gleixner}等人，J.Glob。最佳方案。67，第4号，731--757（2017；Zbl 1369.90106） 全文： 内政部 参考文献： [1] Achterberg，T.：约束整数编程。柏林理工大学博士论文（2007年）。URN:nbn:de:kobv:83-opus-16117·Zbl 1430.90427号 [2] 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 [3] Adjiman，C.S.，Androulakis，I.P.，Floudas，C.A.：一般二阶可微约束NLPs-II的全局优化方法[\alpha\]αBB。实现和计算结果。计算。化学。《工程》22（9），1159-1179（1998）。doi:10.1016/S0098-1354（98）00218-X·doi:10.1016/S0098-1354（98）00218-X [4] Adjiman，C.S.，Androulakis，I.P.，Floudas，C.A.：混合整数非线性问题的全局优化。AIChE J.46（9），1769-1797（2000）。数字对象标识代码：10.1002/aic.690460908·数字对象标识代码：10.1002/aic.690460908 [5] Applegate，D.L.，Bixby，R.E.，Chvátal，V.，Cook，W.J.：发现TSP的削减（初步报告）。离散数学与理论计算机科学中心（DIMACS）技术报告95-05（1995）·Zbl 1052.90060号 [6] Applegate，D.L.，Bixby，R.E.，Chvátal，V.，Cook，W.J.：旅行推销员问题：计算研究。普林斯顿应用数学系列。普林斯顿大学出版社，普林斯顿（2007）·Zbl 1130.90036号 [7] Belotti，P.：使用线性不等式对的边界约简。J.全球。最佳方案。56(3), 787-819 (2013). doi:10.1007/s10898-012-9848-9·Zbl 1272.90033号 ·doi:10.1007/s10898-012-9848-9 [8] Belotti，P.、Cafieri，S.、Lee，J.、Liberty，L.：通过固定点收紧基于可行性的边界。W.Wu，O.Daescu（编辑）《组合优化与应用》，《计算机科学讲义》，第6508卷，第65-76页。施普林格，柏林（2010）。doi:10.1007/978-3-642-17458-27·兹比尔1311.90189 [9] Belotti，P.、Cafieri，S.、Lee，J.、Liberti，L.：基于可行性的界限收紧。技术报告3325，《在线优化》（2012）。http://www.optimization-online.org/DB_HTML/2012/01/3325.HTML ·兹比尔1311.90189 [10] Belotti，P.，Lee，J.，Liberti，L.，Margot，F.，Wächter，A.：非凸MINLP的分支和边界收紧技术。最佳方案。方法软件。24, 597-634 (2009). doi:10.1080/155678903087124·Zbl 1179.90237号 ·doi:10.1080/10556780903087124 [11] Berthold，T.：全局MINLP解算器中的启发式算法。柏林理工大学博士论文（2014）·Zbl 0251.05107号 [12] Bixby，R.E.：解决现实世界中的线性程序：十多年的进步。操作。第50（1）号决议，3-15（2002）。doi:10.1287/opre.50.1.3.17780·Zbl 1163.90643号 ·doi:10.1287/opre.50.1.3.17780 [13] 卡普拉拉，A.，菲舍蒂，M.：[\{0，\tfrac{1}{2}\}]{0,12}-变更átal-Gomory切割。数学。程序。74(3), 221-235 (1996). doi:10.1007/BF02592196·Zbl 0855.90088号 ·doi:10.1007/BF02592196 [14] Caprara，A.，Locatelli，M.：全局优化问题和域缩减策略。数学。程序。125, 123-137 (2010). doi:10.1007/s10107-008-0263-4·Zbl 1198.90325号 ·doi:10.1007/s10107-008-0263-4 [15] Chvátal，V.：Edmonds多面体和组合问题的层次结构。离散数学。4(4), 305-337 (1973). doi:10.1016/0012-365X（73）90167-2·兹比尔0253.05131 ·doi:10.1016/0012-365X（73）90167-2 [16] CMU-IBM MINLP网络基础结构。网址：http://www.minlp.org/ ·Zbl 1062.90041号 [17] COIN-OR：Couenne，非凸MINLP的精确解算器。http://www.coin-or.org/Couenne网站 ·Zbl 1272.90034号 [18] COIN-OR：CppAD，一个用于区分CppAD算法的包。http://www.coin-or.org/CppAD ·Zbl 1113.90124号 [19] COIN-OR：Ipopt，内部点优化器。http://www.coin-or.org/Ipopt网站 ·Zbl 1163.90671号 [20] Dantzig，G.B.，Fulkerson，D.R.，Johnson，S.M.：大型旅行推销员问题的解决方案。操作。第2393-410号决议（1954年）。数字对象标识代码：10.1287/opre.2.4393·Zbl 1414.90372号 ·数字对象标识代码：10.1287/opre.2.4393 [21] Dolan，E.D.，Moré，J.J.：用性能曲线对优化软件进行基准测试。数学。程序。91(2), 201-213 (2002). doi:10.1007/s101070100263·邮编：1049.90004 ·doi:10.1007/s101070100263 [22] Fügenschuh，A。；马丁。；Aardal，K.（编辑）；Nemhauser，GL（编辑）；Weismantel，R.（ed.），《计算整数编程和切割平面》，第12期，69-121（2005），阿姆斯特丹·Zbl 1278.90269号 ·doi:10.1016/S0927-0507（05）12002-7 [23] Gamrath，G.，Koch，T.，Martin，A.，Miltenberger，M.，Weinger，D.：混合整数规划预解的进展。数学。程序。计算。7（4），367-398（2015）。doi:10.1007/s12532-015-0083-5·Zbl 1329.90089号 ·doi:10.1007/s12532-015-0083-5 [24] Gleixner，A.，Vigerske，S.：分析单个MINLP解算器组件的计算影响。美国宾夕法尼亚州匹兹堡卡内基梅隆大学MINLP 2014讲座（2014）。http://minlp.cheme.cmu.edu/2014/papers/gleixner.pdf [25] Gomory，R.E.：线性规划整数解算法概述。《美国社会公报》64，275-278（1958）·Zbl 0085.35807号 ·doi:10.1090/S0002-9904-1958-10224-4 [26] Gomory，R.E.：混合整数问题的算法。技术报告P-1885，兰德公司（1960） [27] Grossmann，I.E.，Sahinidis，N.V.（编辑）：混合整数规划及其在工程中的应用专题，第一部分：优化。工程4（1-2）（2002）。http://link.springer.com/journal/1081/4/1/page/1 [28] Hendel，G.：混合整数规划求解阶段的实证分析。柏林理工大学硕士论文（2014）。URN:nbn:de:0297-zib-54270·Zbl 0085.35807号 [29] Horst，R.，Tuy，H.：全局优化：确定性方法。施普林格，柏林（1996）·Zbl 0867.90105号 ·doi:10.1007/978-3-662-03199-5 [30] Huang，W.：通过混合整数非线性规划对供水网络进行操作规划。柏林弗雷大学硕士论文（2011年） [31] 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). doi:10.1007/s12532-011-0025-9·doi:10.1007/s12532-011-0025-9 [32] LaGO-Lagrangian全局优化器。https://projects.coin-or.org/LaGO网站 [33] Lodi，A.，Nogales-Gómez，A.，Belotti，P.，Fischetti，M.，Monaci，M..，Salvagnin，D.，Bonami，P.：混合整数规划中的指标约束。2014年在德国柏林祖斯学院SCIP研讨会上发表演讲（2014年）。http://scip.zib.de/workshop/scip_lodi.pdf ·Zbl 1357.90094号 [34] Maranas，C.D.，Floudas，C.A.：广义几何规划中的全局优化。计算机与化学工程21（4），351-369（1997）。doi:10.1016/S0098-1354（96）00282-7·doi:10.1016/S0098-1354（96）00282-7 [35] Marchand，H.，Wolsey，L.A.：用于求解MIP的聚合和混合整数舍入。操作。第49（3）号决议，363-371（2001）。数字对象标识代码：10.1287/opre.49.363.11211·Zbl 1163.90671号 ·doi:10.1287/操作49.3.363.11211 [36] McCormick，G.P.：可分解非凸程序全局解的可计算性：第一部分-凸低估问题。数学。程序。B 10（1），147-175（1976）。doi:10.1007/BF01580665·Zbl 0349.90100号 ·doi:10.1007/BF01580665 [37] MINLP库2。http://gamsworld.org/minlp/minlplib2 ·Zbl 0253.05131号 [38] Misener，R.，Floudas，C.A.：通过分段线性和边凹松弛对混合整数二次约束二次规划（MIQCQP）进行全局优化。数学。程序。136(1), 155-182 (2012). doi:10.1007/s10107-012-0555-6·Zbl 1257.90079号 ·doi:10.1007/s10107-012-0555-6 [39] Misener，R.，Floudas，C.A.：全球混合整数二次优化器。J.全球。最佳方案。57, 3-50 (2013). doi:10.1007/s10898-012-9874-7·Zbl 1272.90034号 ·doi:10.1007/s10898-012-9874-7 [40] Misener，R.，Floudas，C.A.：ANTIGONE：非线性方程连续/整数全局优化算法。J.全球。最佳方案。59(2-3), 503-526 (2014). 文件编号：10.1007/s10898-014-0166-2·兹比尔1301.90063 ·文件编号：10.1007/s10898-014-0166-2 [41] Nannicini，G.，Belotti，P.，Lee，J.，Linderoth，J.、Margot，F.，Wächter，A.：一种通过SVM进行故障预测的MINLP探测算法。摘自：T.Achterberg，J.C.Beck（eds.）《组合优化问题约束编程中人工智能和或技术的集成》，《计算机科学讲义》，第6697卷，第154-169页。柏林施普林格（2011）。doi:10.1007/978-3-642-21311-315·Zbl 1302.90160号 [42] Nemhauser，G.L.，Wolsey，L.A.：为0-1混合整数程序生成所有切割的递归过程。数学。程序。46(1-3), 379-390 (1990). doi:10.1007/BF01585752·Zbl 0735.90049号 ·doi:10.1007/BF01585752 [43] Neumaier，A.：在连续全局优化和约束满足中完成搜索。Acta Numer公司。13, 271-369 (2004). doi:10.1017/S0962492904000194·Zbl 1113.90124号 ·doi:10.1017/S0962492904000194 [44] Nowak，I.，Vigerske，S.：LaGO：非凸MINLP的（启发式）分支与切割算法。美分。欧洲药典。第16（2）号决议，127-138（2008）。doi:10.1007/s10100-007-0051-x·Zbl 1152.90665号 ·doi:10.1007/s10100-007-0051-x [45] Prim，R.C.：最短连接网络和一些推广。贝尔系统。《技术期刊》36（6），1389-1401（1957）。doi:10.1002/j.1538-7305.1957.tb01515.x·doi:10.1002/j.1538-7305.1957.tb01515.x [46] Quesada，I.，Grossmann，I.E.：换热器网络的全局优化算法。工业工程化学。第32（3）号决议，487-499（1993）。doi:10.1021/ie00015a012·doi:10.1021/ie00015a012 [47] Quesada，I.，Grossmann，I.E.：线性分式和双线性规划的全局优化算法。J.全球。最佳方案。6, 39-76 (1995). doi:10.1007/BF01106605·Zbl 0835.90074号 ·doi:10.1007/BF01106605 [48] Ryoo，H.，Sahinidis，N.：非凸NLP和MINLP的全局优化及其在工艺设计中的应用。计算。化学。工程19（5），551-566（1995）。doi:10.1016/0098-1354（94）00097-2·doi:10.1016/0098-1354（94）00097-2 [49] Ryoo，H.S.，Sahinidis，N.V.：全局优化的分支与简化方法。J.全球。最佳方案。8(2), 107-138 (1996). doi:10.1007/BF00138689·Zbl 0856.90103号 ·doi:10.1007/BF00138689 [50] Savelsbergh，M.W.：混合整数编程问题的预处理和探测技术。ORSA J.计算。6(4), 445-454 (1994). doi:10.1287/ijoc.6.4.445·Zbl 0814.90093号 ·doi:10.1287/ijoc.6.4.445 [51] SCIP求解约束整数程序。网址：http://scip.zib.de ·Zbl 1171.90476号 [52] Smith，E.M.，Pantelides，C.C.：非凸MINLP全局优化的符号重定/空间分枝定界算法。计算。化学。工程23，457-478（1999）。doi:10.1016/S0098-1354（98）00286-5·doi:10.1016/S0098-1354（98）00286-5 [53] SoPlex是顺序面向对象的simPlex。http://soplex.zib.de/ [54] Tarjan，R.：深度优先搜索和线性图算法。SIAM J.计算。1(2), 146-160 (1972). 数字对象标识代码：10.1137/0201010·兹比尔0251.05107 ·数字对象标识代码：10.1137/0201010 [55] 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 [56] Tawarmalani，M.，Sahinidis，N.V.：全局优化的多面体分支与切割方法。数学。程序。103(2), 225-249 (2005). doi:10.1007/s10107-005-0581-8·Zbl 1099.90047号 ·doi:10.1007/s10107-005-0581-8 [57] Vigerske，S.：多级随机规划中的分解和混合整数非线性规划的约束整数规划方法。柏林洪堡大学博士论文，Mathematisch-Naturwissenschaftliche Fakultät II（2013）。URN:nbn:de:kobv:11-100208240·Zbl 1152.90665号 [58] 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 [59] Wilcoxon，F.：通过排名方法进行的个体比较。生物。牛市。1(6), 80-83 (1945) ·doi:10.2307/3001968 [60] Williams，H.P.：线性和整数规划模型的简化过程。收录于：《数学编程中的冗余》，《经济学和数学系统讲义》，第206卷，第87-107页。施普林格，柏林（1983）。doi:10.1007/978-3-642-45535-39 [61] Wunderling，R.：并行与对象定向器单纯形算法。柏林理工大学博士论文（1996年）。URN:编号：0297-zib-5386·Zbl 0871.65048号 [62] Zamora，J.M.，Grossmann，I.E.：凹单变量、双线性和线性分数项问题的分支和收缩算法。J.全球。最佳方案。14, 217-249 (1999). doi:10.1023/A:1008312714792·Zbl 0949.90097号 ·doi:10.1023/A:1008312714792 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。