贝诺·莱加特;奥斯卡·道森;乔阿金·迪亚斯·加西亚;卢宾，迈尔斯 MathOptInterface：用于数学优化问题的数据结构。 （英语） Zbl 07551204号 信息J.计算。 34，第2号，672-689（2022）。 摘要：我们介绍了MathOptInterface，这是一种抽象数据结构，用于表示基于组合预定义函数和集合的数学优化问题。MathOptInterface比文献中现有的数据结构更为通用，例如，它包含一系列问题类，从带指标约束的整数规划到双线性半定规划。我们还概述了约束等价公式之间的自动重写系统。MathOptInterface已经在实践中实现，这为最近重写JuMP奠定了基础，JuMP是Julia语言中的一种开源代数建模语言。MathOptInterface表示的规则性自然会导致我们称之为数学优化的通用文件格式数学选项格式此外，自动重写系统为用户提供了建模能力，同时可以轻松地将新的求解器连接到JuMP。贡献摘要：本文描述了一种新的抽象数据结构，用于用相应的文件格式和自动转换系统表示数学优化模型。这些进步对代数建模语言很有用，允许从业者比以前更自然、更普遍地建模问题。 引用于8文件 MSC公司： 90至XX 运筹学、数学规划 关键词：代数建模语言;朱莉娅;JuMP公司;问题格式 软件：朱莉娅;CBLIB公司;SCS公司;SDPNAL公司+;数学光学接口.jl;CVXPY公司;凸面.jl;BENSOLVE公司;约束解决方案.jl;伊波特;JuMP公司;github;SDPNAL公司;OSiL公司;CPLEX公司;AMPL公司;SDPA公司;机器人学;GLPK公司;CVX公司;YALMIP公司;莫塞克;锌;皮奥莫;GAMS游戏;MINL库;迷你锌;CSDP公司;古罗比;MIPLIB公司 PDF格式BibTeX公司 XML格式引用 \textit{B.Legat}等人，《信息与计算》。34，第2号，672--689（2022；Zbl 07551204） 全文： 内政部 arXiv公司 参考文献： [1] Agrawal A、Diamond S、Boyd S（2019）《严格几何规划》。最佳方案。莱特。13（5）：961-976.Crossref，谷歌学者·Zbl 1425.90078号 ·doi:10.1007/s11590-019-01422-z [2] Agrawal A，Verschueren R，Diamond S，Boyd S（2018）凸优化问题的重写系统。J.控制决策5（1）：42-60.谷歌学者（Google Scholar）Crossref·doi:10.1080/23307706.2017.397554 [3] Beale EML，Tomlin JA（1970）使用有序变量集解决非凸问题的通用数学编程系统中的特殊设施。Lawrence J编辑。第五国际。确认操作。Res.（Tavistock Publications，London），447-454.谷歌学者 [4] Belov G，Stuckey PJ，Tack G，Wallace M（2016）约束规划模型的改进线性化。Rueher M编辑，国际。Conf.原则实践约束编程（Springer International Publishing，Cham，Switzerland），49-65.谷歌学者 [5] Bezanson J、Edelman A、Karpinski S、Shah VB（2017）Julia:数值计算的新方法。SIAM版本。59（1）:65-98.Crossref，谷歌学者·Zbl 1356.68030号 ·数字对象标识代码：10.1137/141000671 [6] Borchers B（1999）CSDP，半定规划的A C库。最佳方案。方法软件11（1-4）:613-623.Crossref，谷歌学者·Zbl 0973.90524号 ·doi:10.1080/10556789908805765 [7] Brand S，Duck GJ，Puchinger J，Stuckey PJ（2008），基于规则的灵活约束模型线性化。Hudak P、Warren D编辑。第十届国际。交响乐。实用方面声明性语言（Springer Verlag，柏林），68-83.谷歌学者 [8] Brook A、Kendrick D、Meeraus A（1988）GAMS，用户指南。ACM Signum Newslett公司。23（3-4）：10-11.Crossref，谷歌学者·doi:10.1145/58859.58863 [9] Bussieck MR、Drud AS、Meeraus A（2003）MINLPLib-混合整数非线性规划的测试模型集合。信息J.计算。15（1）：114-119链接，谷歌学者·Zbl 1238.90104号 [10] Coey C，Kapelevich L，Vielma JP（2020）《走向实用的一般二次曲线优化》。预印本，5月3日提交，https://arxiv.org/abs/2005.01136.谷歌学者 [11] Diamond S，Boyd S（2016）CVXPY:用于凸优化的嵌入Python的建模语言。J.机器学习。物件。17（1）：2909-2913.谷歌学者·Zbl 1360.90008号 [12] Dirkse SP，Ferris MC（1995）PATH求解器：混合互补问题的非单调稳定化方案。最佳方案。方法软件5（2）：123-156.Crossref，谷歌学者·doi:10.1080/10556789508805606 [13] Dowson O（2020）MathOptFormat v0.5.0。2021年8月13日访问，http://dx.doi.org/10.5281/zenodo.4009743.谷歌学者 [14] Dunning I，Huchette J，Lubin M（2017）JuMP：数学优化建模语言。SIAM版本。59（2）：295-320.谷歌学者交叉引用·Zbl 1368.90002号 ·doi:10.1137/15M1020575 [15] ECMA国际（2017）JSON数据交换语法。技术报告404，ECMA，日内瓦。谷歌学者 [16] Forrest J、Vigerske S、Ralphs T、Hafer L、jpfasano、Santos HG、Saltzman M、Gassmann H、Kristjansson B、King A（2019）coin-or/Clp:1.17.3版。（软件）。2021年8月13日访问，http://dx.doi.org/10.5281/zenodo.3246629谷歌学者 [17] Forer R（1983）线性规划建模语言与矩阵生成器。ACM事务处理。数学。软件9（2）：143-183.Crossref，谷歌学者·数字对象标识代码：10.1145/357456.357457 [18] Forer R，Gay DM，Kernighan BW（1990）数学编程建模语言。管理科学。36（5）：519-554.链接，谷歌学者·Zbl 0701.90062号 [19] Forer R，Ma J，Martin K（2010）《OSiL：用于优化的实例语言》。计算。最佳方案。申请。45（1）：181-203.Crossref，谷歌学者·邮编：1189.90007 ·doi:10.1007/s10589-008-9169-6 [20] Frieberg HA（2016）CBLIB 2014：圆锥混合积分和连续优化的基准库。数学。编程计算。8（2）：191-214.Crossref，谷歌学者·兹比尔1338.90495 ·doi:10.1007/s12532-015-0092-4 [21] Fujisawa K、Kojima M、Nakata K（2002）SDPA（半定规划算法）用户手册第6.2.0版。（东京理工大学数学与计算科学系，东京）。谷歌学者 [22] Gallo G，Longo G，Pallottino S，Nguyen S（1993），定向超图及其应用。离散应用程序。数学。42（2-3）：177-201.谷歌学者Crossref·Zbl 0771.05074号 ·doi:10.1016/0166-218X（93）90045-P [23] Gay D（1997）将解算器连接到AMPL。技术报告93-10，AT&T贝尔实验室，新泽西州默里山。谷歌学者 [24] Gay D（2005）写作。nl文件。技术报告SAND2005-7907P，Sandia National Laboratories，Albuquerque，NM。谷歌学者 [25] 谷歌（2019）协议缓冲区。2021年8月13日访问，https://developers.google.com/protocol-buffers.谷歌学者 [26] Grant M，Boyd S（2014）CVX:规范凸规划的MATLAB软件，2.1版。2021年8月13日访问，http://cvxr.com/cvx.谷歌学者 [27] Grant M，Boyd S，Ye Y（2006）约束凸规划。Liberti L，Maculan N，编辑。全局优化：从理论到实施（纽约州斯普林格市），155-210。谷歌学者克罗斯ref·Zbl 1130.90382号 ·数字对象标识代码：10.1007/0-387-30528-97 [28] 古罗比优化（2019）古罗比优化器参考手册9.0。2021年8月13日访问，https://www.gurobi.com/documentation/9.0/refman/index.html谷歌学者 [29] Hart WE、Watson JP、Woodruff DL（2011）《Pyomo：用Python建模和求解数学程序》。数学。编程计算。3（3）：第219条Crossref，谷歌学者·doi:10.1007/s12532-011-0026-8 [30] Hart WE、Laird CD、Watson JP、Woodruff DL、Hackebeil GA、Nicholson BL、Siirola JD（2017）Python中的Pyomo-Optimization建模《施普林格优化及其应用》，第67卷（施普林格国际出版公司，瑞士查姆）。Crossref，谷歌学者·Zbl 1370.90003号 ·数字对象标识代码：10.1007/978-3-319-58821-6 [31] IBM（2019）IBM ILOG CPLEX Optimization Studio V12.10.0文档。2021年8月13日访问，https://www.ibm.com/support/knowledgecenter/en/SSSA5P_12.10.0/COS_KC_home.html谷歌学者 [32] IBM World Trade Corporation（1976）IBM数学编程系统扩展/370（MPS/370）程序参考手册。技术报告SH19-1095-1，IBM，纽约。谷歌学者 [33] Italiano GF，Nanni U（1989）最小定向超图的在线维护。技术报告CUCS-435-89，纽约哥伦比亚大学计算机科学系。谷歌学者 [34] JSON模式（2019）JSON模式2019-09。2021年8月13日访问，https://json-schema.org.谷歌学者 [35] Kröger O（2020）ConstraintSolver.jl。2021年8月13日访问，https://github.com/Wikunia/ConstraintSolver.jl.谷歌学者 [36] Löfberg J（2004）YALMIP：MATLAB中建模和优化的工具箱。IEEE国际。Conf.机器人自动化（IEEE分类号04CH37508）（IEEE，纽约）。谷歌学者 [37] Löfberg J（2009）《二元化：圆锥曲线程序的自动原始和双重转换软件》。最佳方案。方法软件24（3）:313-325.Crossref，谷歌学者·Zbl 1173.90546号 ·网址：10.1080/10556780802553325 [38] Löhne A（2011）带下界和上确界的向量优化（Springer Science&Business Media，纽约）。Crossref，谷歌学者·兹比尔1230.90002 ·doi:10.1007/978-3642-18351-5 [39] Lubin M，Dunning I（2015）《使用Julia进行运筹研究中的计算》。信息J.计算。27（2）：238-248.链接，谷歌学者·Zbl 1331.90001号 [40] Makhorin A（2017）GLPK（GNU线性编程工具包），4.64版。2021年8月13日访问，http://www.gnu.org/software/glpk/glpk.html谷歌学者 [41] Marriott K、Nethercote N、Rafeh R、Stuckey PJ、De La Banda MG、Wallace M（2008）《锌建模语言的设计》。约束条件13（3）：229-267.Crossref，谷歌学者·Zbl 1146.68352号 ·doi:10.1007/s10601-008-9041-4 [42] MOSEK ApS（2019）MOSEK Optimization Suite 9.1.9。2021年8月13日访问，https://docs.mosek.com/9.1/intro/index.html谷歌学者 [43] Nethercote N，Stuckey PJ，Becket R，Brand S，Duck GJ，Tack G（2007）MiniZin:走向标准CP建模语言。Bessière C，编辑：国际。Conf.Principles Practice Constraint Programming（柏林斯普林格），529-543.谷歌学者 [44] O'Donoghue B，Chu E，Parikh N，Boyd S（2016）通过算子分裂和齐次自对偶嵌入实现二次曲线优化。J.优化。理论应用。169（3）：1042-1068.Crossref，谷歌学者·Zbl 1342.90136号 ·doi:10.1007/s10957-016-0892-3 [45] Orchard-Hays W（1984）《数学规划系统史》。安。历史。计算。6（3）：296-312.Crossref，谷歌学者·Zbl 0998.01525号 ·doi:10.1109/MAHC.1984.10032 [46] Preston-Werner T（2020）语义版本2.0.0。2021年8月13日访问，https://semver.org.谷歌学者 [47] SourceForge（2016）LP文件格式。2021年8月13日访问，http://lpsolve.sourceforge.net/5.5/lp-format.htm.Google学者 [48] Sun D，Toh K-C，Yuan Y，Zhao X-Y（2020）SDPNAL+：带界约束的半定规划的MATLAB软件（1.0版）。最佳方案。方法软件35（1）：87-115.Crossref，谷歌学者·Zbl 1432.90104号 ·doi:10.1080/10556788.2019.1576176 [49] Udell M，Mohan K，Zeng D，Hong J，Diamond S，Boyd S（2014）Julia中的凸优化。SC14高性能技术计算研讨会。发电机。语言（纽约ACM），18-28.谷歌学者 [50] Vigerske S（2020）MINLPLib。2021年8月13日访问，http://www.minlplib.org.Google学者 [51] Wächter A，Biegler LT（2006），关于大规模非线性规划中点间滤波器线性搜索算法的实现。数学。编程106（1）：25-57.Crossref，谷歌学者·Zbl 1134.90542号 ·doi:10.1007/s10107-004-0559-y [52] 柏林祖斯研究所（2018）2017年MIPLIB。2021年8月13日访问，http://miplib.zib.de.谷歌学者 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。