Polyhedral approximation in mixed-integer convex optimization
- Massachusetts Inst. of Technology (MIT), Cambridge, MA (United States)
- Los Alamos National Lab. (LANL), Los Alamos, NM (United States)
Generalizing both mixed-integer linear optimization and convex optimization, mixed-integer convex optimization possesses broad modeling power but has seen relatively few advances in general-purpose solvers in recent years. Here, we intend to provide a broadly accessible introduction to our recent work in developing algorithms and software for this problem class. Our approach is based on constructing polyhedral outer approximations of the convex constraints, resulting in a global solution by solving a finite number of mixed-integer linear and continuous convex subproblems. The key advance we present is to strengthen the polyhedral approximations by constructing them in a higher-dimensional space. In order to automate this extended formulation we rely on the algebraic modeling technique of disciplined convex programming (DCP), and for generality and ease of implementation we use conic representations of the convex constraints. Although our framework requires a manual translation of existing models into DCP form, after performing this transformation on the MINLPLIB2 benchmark library we were able to solve a number of unsolved instances and on many other instances achieve superior performance compared with state-of-the-art solvers like Bonmin, SCIP, and Artelys Knitro.
- Research Organization:
- Los Alamos National Laboratory (LANL), Los Alamos, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- Grant/Contract Number:
- 89233218CNA000001
- OSTI ID:
- 1663183
- Report Number(s):
- LA-UR-16-24325
- Journal Information:
- Mathematical Programming, Vol. 172, Issue 1-2; ISSN 0025-5610
- Publisher:
- SpringerCopyright Statement
- Country of Publication:
- United States
- Language:
- English
Web of Science
Small and strong formulations for unions of convex sets from the Cayley embedding
|
journal | March 2018 |
Certifiably optimal sparse inverse covariance estimation
|
journal | August 2019 |
A branch-and-cut algorithm for solving mixed-integer semidefinite optimization problems
|
journal | November 2019 |
Mixed-Integer Convex Representability
|
journal | February 2022 |
Submodularity in conic quadratic mixed 0-1 optimization | preprint | January 2017 |
Similar Records
Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution
Decomposing Loosely Coupled Mixed-Integer Programs for Optimal Microgrid Design