skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Polyhedral approximation in mixed-integer convex optimization

Journal Article · · Mathematical Programming

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
Citation Metrics:
Cited by: 27 works
Citation information provided by
Web of Science

References (34)

An Outer-Inner Approximation for Separable Mixed-Integer Nonlinear Programs journal February 2014
Convex programming for disjunctive convex optimization journal December 1999
Differential properties of Euclidean projection onto power cone journal September 2015
A polyhedral branch-and-cut approach to global optimization journal May 2005
Extended formulations in mixed integer conic quadratic programming journal November 2016
Convex Optimization in Julia conference November 2014
Benchmarking optimization software with performance profiles journal January 2002
An outer-approximation algorithm for a class of mixed-integer nonlinear programs journal October 1986
Different transformations for solving non-convex trim-loss problems by MINLP journal March 1998
Disciplined convex-concave programming conference December 2016
NP-hardness of deciding convexity of quartic polynomials and related problems journal November 2011
Constraint qualification failure in action journal July 2016
Algorithms for discrete nonlinear optimization in FICO Xpress conference July 2016
An algorithmic framework for convex mixed integer nonlinear programs journal May 2008
On branching rules for convex mixed-integer nonlinear optimization journal December 2013
Knitro: An Integrated Package for Nonlinear Optimization book January 2006
SCIP: solving constraint integer programs journal January 2009
FilMINT: An Outer Approximation-Based Solver for Convex Mixed-Integer Nonlinear Programs journal November 2010
JuMP: A Modeling Language for Mathematical Optimization journal January 2017
DrAmpl: a meta solver for optimization problem analysis journal August 2009
Branch and Bound Experiments in Convex Nonlinear Integer Programming journal December 1985
An outer-approximation algorithm for a class of mixed-integer nonlinear programs journal October 1987
An Algorithmic Framework for Convex Mixed Integer Nonlinear Programs text January 2005
An Algorithmic Framework for Convex Mixed Integer Nonlinear Programs text January 2006
An Algorithmic Framework for Convex Mixed Integer Nonlinear Programs text January 2006
NP-hardness of Deciding Convexity of Quartic Polynomials and Related Problems text January 2010
Convex Optimization in Julia preprint January 2014
Disciplined Convex-Concave Programming preprint January 2016
Benchmarking Optimization Software with Performance Profiles text January 2001
Split cuts and extended formulations for Mixed Integer Conic Quadratic Programming journal January 2015
Disjunctive cuts for cross-sections of the second-order cone journal July 2015
Applications of second-order cone programming journal November 1998
How to Convexify the Intersection of a Second Order Cone and a Nonconvex Quadratic preprint January 2014
Extended Formulations in Mixed-integer Convex Programming text January 2015

Cited By (5)

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

A two-level approach to large mixed-integer programs with application to cogeneration in energy-efficient buildings
Journal Article · Tue Apr 12 00:00:00 EDT 2016 · Computational Optimization and Applications · OSTI ID:1663183

Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution
Journal Article · Thu Apr 15 00:00:00 EDT 2021 · European Journal of Operational Research · OSTI ID:1663183

Decomposing Loosely Coupled Mixed-Integer Programs for Optimal Microgrid Design
Journal Article · Mon Feb 08 00:00:00 EST 2021 · INFORMS Journal on Computing · OSTI ID:1663183