×
马哈詹，阿舒托什;斯文·莱弗;杰夫·林德罗斯;詹姆斯·吕特克;托德·蒙森

Minotaur：混合整数非线性优化工具包。 （英语） Zbl 1476.65099号

数学。程序。计算。 13，编号2，301-338（2021）.
摘要：我们提出了一个用于一般混合整数非线性规划（MINLP）的灵活框架，称为Minotaur，它可以在不影响计算效率的情况下实现算法探索和结构开发。本文记录了我们框架中的概念和类，并表明我们的标准MINLP技术实现与其他最先进的求解器相比是高效的。然后，我们描述了我们在框架中实现的结构扩展，并演示了它们对解决方案时间的影响。如果没有一个支持结构开发的灵活框架，对于许多应用程序来说，仍然无法找到困难的非凸MINLP问题的全局解决方案。

引用于14文件

MSC公司：

65千5 数值数学规划方法
90立方厘米 混合整数编程
90立方 非线性规划
90C26型 非凸规划，全局优化

关键词：

混合整数非线性规划;全局优化;软件

软件：

电影;GloMIQO公司;米诺塔;安提戈内;古罗比;COIN或;BARON公司;SCIP公司;过滤器SQP;MINL库;CPLEX公司;椰子;针织衫;qpOASES公司;CLP公司;阿尔法ECP;SBB公司;AMPL公司;皮奥莫;GAMS游戏;库恩
PDF格式BibTeX公司 XML格式引用
\textit{A.Mahajan}等人，数学。程序。计算。13，第2号，301--338（2021；Zbl 1476.65099）
全文： 内政部

参考文献：

[1] Abhishek，K。；Leyffer，S。；Linderath，JT，FilMINT：非线性混合整数程序的基于外近似的求解器，INFORMS J.Compute。，22, 555-567 (2010) ·Zbl 1243.90142号 ·doi:10.1287/ijoc.1090.0373
[2] Achterberg，T.，SCIP：求解约束整数程序，数学。程序。计算。，1, 1, 1-41 (2009) ·Zbl 1171.90476号
[3] Achterberg，T。；科赫，T。；Martin，A.，《重新审视分支规则》，Oper。Res.Lett.公司。，33, 42-54 (2004) ·Zbl 1076.90037号
[4] 阿奇曼，CS；Androulakis，IP；Floudas，CA，针对一般二阶可微约束NLPs-II的全局优化方法，（alpha）BB。实现和计算结果，计算。化学。工程，221159-1179（1998）
[5] Beale，E.W.L.，Tomlin，J.A.：使用有序变量集解决非凸问题的通用数学规划系统中的特殊设施。摘自：Lawrence，J.（编辑）《第五届国际运筹学会议论文集》，第447-454页（1969年）
[6] Belotti，P.：COUENE：用户手册。技术报告。利哈伊大学（2009年）
[7] 贝洛蒂，P。；柯奇斯，C。；Leyffer，S。；林德拉斯，JT；卢埃特克，J。；Mahajan，A.，《混合整数非线性优化》，《数值学报》。，22, 1-131 (2013) ·Zbl 1291.65172号
[8] Benson，HY，使用内点方法的混合整数非线性规划，Optim。方法软件。，26, 6, 911-931 (2011) ·Zbl 1229.90103号
[9] Bonami，P。；比格勒，LT；连接器，AR；Cornuéjols，G。；格罗斯曼，IE；莱尔德，CD；Lee，J。；Lodi，A。；Margot，F。；Sawaya，N。；Wächter，A.，凸混合整数非线性规划的算法框架，离散优化。，5, 2, 186-204 (2008) ·Zbl 1151.90028号
[10] Bonami，P。；Lee，J。；Leyffer，S。；Wächter，A.，关于凸混合整数非线性优化的分支规则，J.Exp.算法。，18, 2.6:2.1-2.6:2.31 (2013) ·Zbl 1322.90052号
[11] 布鲁克，A。；Kendrick博士。；Meeraus，A。；Raman，R.，GAMS，《用户指南》（1992），费尔法克斯：GAMS开发公司，费尔法斯
[12] Bussieck，M.R.，Drud，A.：SBB：混合整数非线性规划的新求解器。Talk，OR 2001，章节连续优化（2001）
[13] 布西克，MR；Drud，A。；Meeraus，A.，MINLPLib——混合整数非线性规划的测试模型集合，INFORMS J.Compute。，15, 1, 114-119 (2003) ·兹伯利1238.90104
[14] 伯德，右侧；Nocedal，J。；华盛顿州理查德；皮洛，G。；Roma，M.，KNITRO：非线性优化的集成包，大尺度非线性优化，非凸优化及其应用第83卷，35-59（2006），柏林：施普林格，柏林·Zbl 1108.90004号
[15] Christianson，B.，《反向累积的自动黑森人》，IMA J.Numer。分析。，12135-150（1992年）·Zbl 0754.65022号
[16] CMU-IBM MINLP网络基础设施（2009年）。网址：http://www.minlp.org/
[17] COIN-OR：运筹学计算基础设施（2014）。网址：http://www.coin-or.org
[18] Dakin，RJ，混合编程问题的树搜索算法，计算。J.，8250-255（1965）·Zbl 0154.42004号
[19] Dolan，E。；Moré，J.，《性能曲线基准优化软件》，数学。程序。，91, 201-213 (2002) ·邮编：1049.90004
[20] Drewes，S.：混合整数二阶锥规划。博士论文。达姆施塔特科技大学（2009）·Zbl 1176.90002号
[21] Drewes，S。；Ulbrich，S.，基于子梯度的混合整数二阶锥规划外逼近，混合整数非线性规划，数学及其应用IMA卷154卷，41-59（2012），纽约：Springer，纽约·Zbl 1242.90130号
[22] 马萨诸塞州杜兰；Grossmann，I.，一类混合整数非线性程序的外近似算法，数学。程序。，36, 307-339 (1986) ·Zbl 0619.90052号
[23] 费罗，HJ；柯奇斯，C。；Potschka，A。；博克，HG；Diehl，M.，qpOASES:二次规划的参数活动集算法，数学。程序。计算。，6, 4, 327-363 (2014) ·Zbl 1302.90146号
[24] Fletcher，R.，《BQDD用户手册》（1995），邓迪：邓迪大学
[25] 弗莱彻，R。；Leyffer，S.，《用外近似法求解混合整数非线性程序》，数学。程序。，66327-349（1994年）·兹伯利0839.0088
[26] Fletcher，R.，Leyffer，S.：过滤器SQP用户手册。邓迪大学数值分析报告NA-181（1998）
[27] 弗莱彻，R。；Leyffer，S.，《无惩罚函数的非线性规划》，数学。程序。，91, 239-270 (2002) ·Zbl 1049.90088号
[28] 加利福尼亚州弗洛达斯，《确定性全局优化：理论、算法和应用》（2000），多德雷赫特：Kluwer学术出版社，多德雷赫特·Zbl 1037.90002号
[29] Forrest，J.：CLP（2014）。网址：http://www.coin-or.org/
[30] 福勒，R。；男同性恋，DM；Kernighan，BW，AMPL:数学编程建模语言（1993），剑桥：科学出版社，剑桥·兹比尔0701.90062
[31] Frangioni，A。；Furini，F。；Gentile，C.，《近似透视松弛：投影和提升方法》，计算。最佳方案。申请。，63, 705-735 (2016) ·Zbl 1362.90301号 ·doi:10.1007/s10589-015-9787-8
[32] Frangioni，A。；Gentile，C.，一类凸0-1混合整数程序的透视切割，数学。程序。，106, 225-236 (2006) ·Zbl 1134.90447号
[33] Frangioni，A。；Gentile，C.，一类不可分MIQP的SDP对角化和透视切割，Oper。Res.Lett.公司。，35, 181-185 (2007) ·Zbl 1149.90379号
[34] Frangioni，A。；Gentile，C.，《透视松弛重新公式的计算比较：SOCP与切割平面》，Oper。Res.Lett.公司。，37, 3, 206-210 (2009) ·Zbl 1167.90604号
[35] Furman，K.，Grossmann，I.，Sawaya，N.：基于凸壳的非线性析取程序的精确MINLP公式。发表于：伊利诺伊州芝加哥市第20届数学规划国际研讨会（2009年）
[36] 男同性恋，DM；M.Berz。；比肖夫，C。；Corliss，G。；Griewank，A.，《非线性AMPL模型的更多AD：计算Hessian信息和利用部分可分性》，计算微分技术应用和工具（1996），费城：SIAM，费城·Zbl 0866.65018号
[37] 格布雷梅欣，AH；塔拉夫达尔，A。；波顿，A。；Walther，A.，使用着色和自动微分有效计算稀疏Hessian，INFORMS J.Compute。，209-223年2月21日（2009年）·兹比尔1243.65071
[38] Geoffrion，AM，广义Benders分解，J.Optim。理论应用。，10, 4, 237-260 (1972) ·Zbl 0229.90024
[39] 古尔德，N。；Scott，J.，关于基准测试软件性能概要的注释，ACM Trans。数学。软质。，43，2，1-5（2016）·Zbl 1369.65202号
[40] Griewank，A。；Walther，A.，《评估算法微分的导数原理和技术》（2008），费城：SIAM，费城·Zbl 1159.65026号
[41] 格罗斯曼，IE；克拉瓦尼亚，Z。；连接器，AR；比格勒，LT；科尔曼，TF；Santosa，FN，《混合整数非线性规划：算法和应用概览》，《应用的大尺度优化》，第二部分：优化设计和控制（1997），纽约：Springer，纽约·Zbl 0884.65058号
[42] Günlük，O.，Linderath，J.：带指标变量的混合整数非线性规划的透视松弛。收录于：Lodi，A.，Panconesi，A.，Rinaldi，G.（编辑）IPCO 2008：第十三届整数规划和组合优化会议，第5035卷，第1-16页（2008）·Zbl 1143.90364号
[43] Günlük，O。；Linderath，JT，带指标变量的混合整数非线性程序的透视松弛，数学。程序。序列号。B、 104、186-203（2010）·Zbl 1229.90106号
[44] Günlük，O。；Linderath，JT，《透视重构与应用》，IMA Vol.，154，61-92（2012）·Zbl 1242.90134号
[45] 俄克拉荷马州古普塔；Ravindran，A.，凸非线性整数规划中的分枝定界实验，Manag。科学。，31, 1533-1546 (1985) ·Zbl 0591.90065号
[46] 古罗比优化公司古罗比优化器参考手册5.6版（2014）
[47] 哈特，WE；沃森，J-P；伍德拉夫，DL，Pyomo：用Python，Math建模和求解数学程序。程序。计算。，3, 219-260 (2011)
[48] IBM Corp.IBM ILOG CPLEX V12.6：CPLEX用户手册（2014）
[49] Jeroslow，RG，带二次约束的整数规划不可能有任何算法，Oper。Res.，2121-224（1973年）·Zbl 0257.90029号
[50] Kannan，R。；蒙马，CL；Henn，R。；Korte，B。；Oettli，W.，《关于整数规划问题的计算复杂性，优化和运筹学》，《经济学和数学系统讲义》第157卷，161-172（1978），柏林：斯普林格出版社，柏林·Zbl 0409.90066号
[51] 土地，AH；Doig，AG，《解决离散编程问题的自动方法》，《计量经济学》，第28期，第497-520页（1960年）·Zbl 0101.37004号
[52] Lasserre，J。；阿尔达尔，K。；Gerards，AMH，非线性0-1程序的显式精确SDP松弛，整数规划和组合优化2001，计算机科学讲义，293-303（2001），柏林：斯普林格，柏林·Zbl 1010.90515号
[53] Lasserre，J.，多项式全局优化与矩问题，SIAM J.Optim。，11, 3, 796-817 (2001) ·Zbl 1010.90061号
[54] Laurent，M.，《0-1编程中Sherali-Adams、Lovász-Schrijver和Lasserre松弛的比较》，数学。操作。第28、3、470-496号决议（2003年）·邮编1082.90084
[55] Leyffer，S.，MINLP-BB用户手册（1998），邓迪：邓迪大学
[56] Leyffer，S.：混合集成PDE约束优化。技术报告。阿贡（2015）
[57] Leyffer，S.、Linderoth，J.T.、Luedtke，J.、Miller，A.、Munson T.：混合整数非线性规划的应用和算法。收录于：《物理杂志：会议系列》，SciDAC 2009年，第180卷，第012014页（2009年）
[58] Mahajan，A.，Leyffer，S.，Kirches，C.：通过QP-diving求解凸混合整数非线性规划。预印ANL/MCS-P1801-101。阿贡国家实验室（2010）
[59] Mahajan，A.，Leyffer，S.，Kirches，C.：通过QP-diving求解混合整数非线性程序。预印ANL/MCS-2071-0312。阿贡国家实验室，数学和计算机科学部（2012年）
[60] 可分解非凸程序全局解的可计算性：第一部分-凸低估问题，数学。程序。，10, 147-175 (1976) ·Zbl 0349.90100号
[61] 米塞纳，R。；加利福尼亚州弗洛达斯，GloMIQO：全局混合整数二次优化器，J.Glob。最佳。，5, 1-48 (2012) ·兹比尔1272.90034
[62] 米塞纳，R。；Floudas，CA，ANTIGONE：非线性方程的连续/整数全局优化算法，J.Glob。最佳。，59, 503-526 (2014) ·Zbl 1301.90063号
[63] Neumaier，A.，连续全局优化和约束满足中的完全搜索，Acta Numer。，13, 271-369 (2004) ·Zbl 1113.90124号
[64] Nocedal，J。；Wright，SJ，《数值优化》（1999），纽约：Springer，纽约·Zbl 0930.65067号
[65] 克萨达，I。；Grossmann，IE，凸MINLP优化问题的基于LP/NLP的分枝定界算法，计算。化学。工程，16937-947（1992）
[66] Ryoo，HS；Sahinidis，NV，非凸NLP和MINLP的全局优化及其在过程设计中的应用，计算。化学。工程师，19552-566（1995）
[67] 内华达州Sahinidis，BARON：通用全局优化软件包，J.Glob。最佳。，8, 201-205 (1996) ·Zbl 0856.90104号
[68] Savelsbergh，MWP，混合整数规划问题的预处理和探测技术，ORSA J.Compute。，6, 445-454 (1994) ·Zbl 0814.90093号
[69] Schichl，H。；Alt、R。；Frommer，A。；Baker Kearfott，R。；Luther，W.，COCONUT项目中的全局优化，带结果验证的数值软件，计算机科学讲义第2991卷，243-249（2004），柏林：Springer，Berlin·Zbl 1126.65318号
[70] 斯蒂尔，C。；Westerlund，T.，使用顺序切割平面算法求解凸MINLP优化问题，计算。最佳方案。申请。，34, 1, 63-83 (2006) ·Zbl 1111.90087号
[71] Tawarmalani，M。；内华达州萨希尼迪斯，《连续和混合整数非线性规划中的对流化和全局优化：理论、算法、软件和应用》（2002），波士顿：Kluwer学术出版社，波士顿·Zbl 1031.90022号
[72] Van Roy，TJ，混合整数规划的交叉分解，数学。程序。，2145-163年（1983年）
[73] Vigerske，S.：MINLPLib 2。摘自：《第十二届全球优化研讨会论文集：数学与应用全球优化》，第137-140页（2014）
[74] Vigerske，S。；Gleixner，A.，SCIP：在分支框架中混合整数非线性程序的全局优化，Optim。方法软件。，33, 3, 563-593 (2018) ·兹比尔1398.90112 ·doi:10.1080/10556788.2017.1335312
[75] 维斯瓦纳坦，J。；Grossmann，IE，MINLP优化的组合罚函数和外近似方法，计算。化学。工程师，14，7，769-782（1990）
[76] 瓦希特，A。；Biegler，LT，《关于大规模非线性规划的原始-对偶内点过滤器线搜索算法的实现》，数学。程序。，106, 1, 25-57 (2006) ·Zbl 1134.90542号
[77] Westerlund，T.，Lundqvist，K.：Alpha-ECP，5.01版：基于扩展切割平面方法的交互式MINLP求解器。技术报告01-178-A.奥博大学工艺设计实验室（2001）
[78] 韦斯特伦德，T。；Pettersson，F.，求解凸MINLP问题的割平面方法，计算。化学。工程，19，131-136（1995）
[79] Ziena优化。KNITRO文件（2012）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。