MathOptInterface: A Data Structure for Mathematical Optimization Problems

Benoît Legat (), Oscar Dowson (), Joaquim Dias Garcia () and Miles Lubin ()
Additional contact information
Benoît Legat: Institute for Information and Communication Technologies, Electronics and Applied Mathematics, Université Catholique de Louvain, B-1348 Louvain-la-Neuve, Belgium
Oscar Dowson: Department of Industrial Engineering and Management Sciences, Northwestern University, Evanston, Illinois 60208
Joaquim Dias Garcia: PSR, 22250-040 Rio de Janeiro-RJ, Brazil; Pontifícia Universidade Católica do Rio de Janeiro, 22451-900 Rio de Janeiro-RJ, Brazil
Miles Lubin: Google Research, New York, New York 10011

INFORMS Journal on Computing, 2022, vol. 34, issue 2, 672-689

Abstract: We introduce MathOptInterface, an abstract data structure for representing mathematical optimization problems based on combining predefined functions and sets. MathOptInterface is significantly more general than existing data structures in the literature, encompassing, for example, a spectrum of problems classes from integer programming with indicator constraints to bilinear semidefinite programming. We also outline an automated rewriting system between equivalent formulations of a constraint. MathOptInterface has been implemented in practice, forming the foundation of a recent rewrite of JuMP, an open-source algebraic modeling language in the Julia language. The regularity of the MathOptInterface representation leads naturally to a general file format for mathematical optimization we call MathOptFormat . In addition, the automated rewriting system provides modeling power to users while making it easy to connect new solvers to JuMP. Summary of Contribution: This paper describes a new abstract data structure for representing mathematical optimization models with a corresponding file format and automatic transformation system. The advances are useful for algebraic modeling languages, allowing practitioners to model problems more naturally and more generally than before.

Keywords: algebraic modeling language; Julia; JuMP; problem formats (search for similar items in EconPapers)
Date: 2022
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (4)

Downloads: (external link)
http://dx.doi.org/10.1287/ijoc.2021.1067 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:inm:orijoc:v:34:y:2022:i:2:p:672-689

Access Statistics for this article

More articles in INFORMS Journal on Computing from INFORMS Contact information at EDIRC.
Bibliographic data for series maintained by Chris Asher ().