Approximated perspective relaxations: a project and lift approach

The perspective reformulation (PR) of a Mixed-Integer NonLinear Program with semi-continuous variables is obtained by replacing each term in the (separable) objective function with its convex envelope. Solving the corresponding continuous relaxation requires appropriate techniques. Under some rather restrictive assumptions, the Projected PR ($$\mathrm{P}^2\mathrm{R}$$P2R) can be defined where the integer variables are eliminated by projecting the solution set onto the space of the continuous variables only. This approach produces a simple piecewise-convex problem with the same structure as the original one; however, this prevents the use of general-purpose solvers, in that some variables are then only implicitly represented in the formulation. We show how to construct an Approximated Projected PR ($$\mathrm{AP}^2\mathrm{R}$$AP2R) whereby the projected formulation is “lifted” back to the original variable space, with each integer variable expressing one piece of the obtained piecewise-convex function. In some cases, this produces a reformulation of the original problem with exactly the same size and structure as the standard continuous relaxation, but providing substantially improved bounds. In the process we also substantially extend the approach beyond the original $$\mathrm{P}^2\mathrm{R}$$P2R development by relaxing the requirement that the objective function be quadratic and the left endpoint of the domain of the variables be non-negative. While the $$\mathrm{AP}^2\mathrm{R}$$AP2R bound can be weaker than that of the PR, this approach can be applied in many more cases and allows direct use of off-the-shelf MINLP software; this is shown to be competitive with previously proposed approaches in some applications.

[1]  Warren P. Adams,et al.  A Tight Linearization and an Algorithm for Zero-One Quadratic Programming Problems , 1986 .

[2]  Hanif D. Sherali,et al.  Linearization Strategies for a Class of Zero-One Mixed Integer Programming Problems , 1990, Oper. Res..

[3]  Hanif D. Sherali,et al.  Mixed-integer bilinear programming problems , 1993, Math. Program..

[4]  Juan M. Zamora,et al.  A global MINLP optimization algorithm for the synthesis of heat exchanger networks with no stream splits , 1998 .

[5]  Sanjay Mehrotra,et al.  A branch-and-cut method for 0-1 mixed convex programming , 1999, Math. Program..

[6]  Sebastián Ceria,et al.  Convex programming for disjunctive convex optimization , 1999, Math. Program..

[7]  Nikolaos V. Sahinidis,et al.  Semidefinite Relaxations of Fractional Programs via Novel Convexification Techniques , 2001, J. Glob. Optim..

[8]  Nikolaos V. Sahinidis,et al.  Convex extensions and envelopes of lower semi-continuous functions , 2002, Math. Program..

[9]  Claudio Gentile,et al.  Perspective cuts for 0-1 mixed integer programs , 2002 .

[10]  Nikolaos V. Sahinidis,et al.  A polyhedral branch-and-cut approach to global optimization , 2005, Math. Program..

[11]  Claudio Gentile,et al.  Solving unit commitment problems with general ramp constraints , 2008 .

[12]  Claudio Gentile,et al.  Perspective cuts for a class of convex 0–1 mixed integer programs , 2006, Math. Program..

[13]  Jeff T. Linderoth,et al.  RELAXATION OF MINLPS WITH INDICATOR VARIABLES , 2007 .

[14]  Claudio Gentile,et al.  SDP diagonalizations and perspective cuts for a class of nonseparable MIQP , 2007, Oper. Res. Lett..

[15]  Oktay Günlük,et al.  IBM Research Report MINLP Strengthening for Separable Convex Quadratic Transportation-Cost UFL , 2007 .

[16]  Jeff T. Linderoth,et al.  FilMINT: An Outer-Approximation-Based Solver for Nonlinear Mixed Integer Programs , 2008 .

[17]  Christodoulos A. Floudas,et al.  Tight convex underestimators for $${\mathcal{C}^2}$$ -continuous problems: II. multivariate functions , 2008, J. Glob. Optim..

[18]  Oktay Günlük,et al.  Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables , 2008, IPCO.

[19]  Chrysanthos E. Gounaris,et al.  Tight convex underestimators for C 2 -continuous problems: II. multivariate functions. , 2008 .

[20]  Christodoulos A. Floudas,et al.  Tight convex underestimators for $${{\mathcal C}^2}$$-continuous problems: I. univariate functions , 2008, J. Glob. Optim..

[21]  Claudio Gentile,et al.  A computational comparison of reformulations of the perspective relaxation: SOCP vs. cutting planes , 2009, Oper. Res. Lett..

[22]  Sinan Gürel,et al.  A strong conic quadratic reformulation for machine-job assignment with controllable processing times , 2009, Oper. Res. Lett..

[23]  C. Gentile,et al.  Tighter Approximated MILP Formulations for Unit Commitment Problems , 2009, IEEE Transactions on Power Systems.

[24]  Georgios Petrou,et al.  A bundle-type algorithm for routing in telecommunication data networks , 2009, Comput. Optim. Appl..

[25]  Sven Leyffer,et al.  FilMINT: An Outer Approximation-Based Solver for Convex Mixed-Integer Nonlinear Programs , 2010, INFORMS J. Comput..

[26]  Hassan L. Hijazi,et al.  Mixed Integer NonLinear Programs featuring "On/Off" constraints: convex analysis and applications , 2010, Electron. Notes Discret. Math..

[27]  S. Leyffer Experiments with MINLP Branching Techniques , 2010 .

[28]  Claudio Gentile,et al.  Projected Perspective Reformulations with Applications in Design Problems , 2011, Oper. Res..

[29]  C. Gentile,et al.  Sequential Lagrangian-MILP Approaches for Unit Commitment Problems , 2011 .

[30]  Jeff T. Linderoth,et al.  Algorithms and Software for Convex Mixed Integer Nonlinear Programs , 2012 .

[31]  Alessandro Agnetis,et al.  Demand allocation with latency cost functions , 2008, Math. Program..

[32]  Oktay Günlük,et al.  Perspective Reformulation and Applications , 2012 .

[33]  S. S. Zhu,et al.  Convex relaxations and MIQCQP reformulations for a class of cardinality-constrained portfolio selection problems , 2012, Journal of Global Optimization.

[34]  Antonio Frangioni,et al.  A library for continuous convex separable quadratic knapsack problems , 2013, Eur. J. Oper. Res..

[35]  Nikolaos V. Sahinidis,et al.  Convex envelopes generated from finitely many compact convex sets , 2013, Math. Program..

[36]  Jean-Philippe P. Richard,et al.  KRANNERT GRADUATE SCHOOL OF MANAGEMENT , 2010 .

[37]  Antonio Frangioni,et al.  Large-scale Unit Commitment under uncertainty , 2014, 4OR.

[38]  Maria Grazia Scutellà,et al.  Delay-Constrained Shortest Paths: Approximation Algorithms and Second-Order Cone Models , 2015, J. Optim. Theory Appl..