15 research outputs found
Reduced RLT constraints for polynomial programming
International audienceAn extension of the reduced Reformulation-Linearization Technique constraints from quadratic to general polynomial programming problems with linear equality constraints is presented and a strategy to improve the associated convex relaxation is proposed
Compact relaxations for polynomial programming problems
Reduced RLT constraints are a special class of Reformulation- Linearization Technique (RLT) constraints. They apply to nonconvex (both continuous and mixed-integer) quadratic programming problems subject to systems of linear equality constraints. We present an extension to the general case of polynomial programming problems and discuss the derived convex relaxation. We then show how to perform rRLT constraint generation so as to reduce the number of inequality constraints in the relaxation, thereby making it more compact and faster to solve. We present some computational results validating our approach
On the composition of convex envelopes for quadrilinear terms
International audienceWithin the framework of the spatial Branch-and-Bound algorithm for solving Mixed-Integer Nonlinear Programs, different convex relaxations can be obtained for multilinear terms by applying associativity in different ways. The two groupings ((x1x2)x3)x4 and (x1x2x3)x4 of a quadrilinear term, for example, give rise to two different convex relaxations. In [6] we prove that having fewer groupings of longer terms yields tighter convex relaxations. In this paper we give an alternative proof of the same fact and perform a computational study to assess the impact of the tightened convex relaxation in a spatial Branch-and-Bound setting
Recommended from our members
A Framework for Globally Optimizing Mixed-Integer Signomial Programs
Mixed-integer signomial optimization problems have broad applicability in engineering. Extending the Global Mixed-Integer Quadratic Optimizer, GloMIQO (Misener, Floudas in J. Glob. Optim., 2012. doi:10.1007/s10898-012-9874-7), this manuscript documents a computational framework for deterministically addressing mixed-integer signomial optimization problems to Δ-global optimality. This framework generalizes the GloMIQO strategies of (1) reformulating user input, (2) detecting special mathematical structure, and (3) globally optimizing the mixed-integer nonconvex program. Novel contributions of this paper include: flattening an expression tree towards term-based data structures; introducing additional nonconvex terms to interlink expressions; integrating a dynamic implementation of the reformulation-linearization technique into the branch-and-cut tree; designing term-based underestimators that specialize relaxation strategies according to variable bounds in the current tree node. Computational results are presented along with comparison of the computational framework to several state-of-the-art solvers. © 2013 Springer Science+Business Media New York
Recursive McCormick Linearization of Multilinear Programs
Linear programming (LP) relaxations are widely employed in exact solution
methods for multilinear programs (MLP). One example is the family of Recursive
McCormick Linearization (RML) strategies, where bilinear products are
substituted for artificial variables, which deliver a relaxation of the
original problem when introduced together with concave and convex envelopes. In
this article, we introduce the first systematic approach for identifying RMLs,
in which we focus on the identification of linear relaxation with a small
number of artificial variables and with strong LP bounds. We present a novel
mechanism for representing all the possible RMLs, which we use to design an
exact mixed-integer programming (MIP) formulation for the identification of
minimum-size RMLs; we show that this problem is NP-hard in general, whereas a
special case is fixed-parameter tractable. Moreover, we explore structural
properties of our formulation to derive an exact MIP model that identifies RMLs
of a given size with the best possible relaxation bound is optimal. Our
numerical results on a collection of benchmarks indicate that our algorithms
outperform the RML strategy implemented in state-of-the-art global optimization
solvers.Comment: 22 pages, 11 figures, Under Revie
Arbitrarily tight aBB underestimators of general non-linear functions over sub-optimal domains
In this paper we explore the construction of arbitrarily tight αBB relaxations of C2 general non-linear non-convex functions. We illustrate the theoretical challenges of building such relaxations by deriving conditions under which it is possible for an αBB underestimator to provide exact bounds. We subsequently propose a methodology to build αBB underestimators which may be arbitrarily tight (i.e., the maximum separation distance between the original function and its underestimator is arbitrarily close to 0) in some domains that do not include the global solution (defined in the text as âsub-optimalâ), assuming exact eigenvalue calculations are possible. This is achieved using a transformation of the original function into a ÎŒ-subenergy function and the derivation of αBB underestimators for the new function. We prove that this transformation results in a number of desirable bounding properties in certain domains. These theoretical results are validated in computational test cases where approximations of the tightest possible ÎŒ-subenergy underestimators, derived using sampling, are compared to similarly derived approximations of the tightest possible classical αBB underestimators. Our tests show that ÎŒ-subenergy underestimators produce much tighter bounds, and succeed in fathoming nodes which are impossible to fathom using classical αBB
Multivariate McCormick relaxations
McCormick (Math Prog 10(1):147â175, 1976) provides the framework for convex/concave relaxations of factorable functions, via rules for the product of functions and compositions of the form F â f, where F is a univariate function. Herein, the composition theorem is generalized to allow multivariate outer functions F, and theory for the propagation of subgradients is presented. The generalization interprets the McCormick relaxation approach as a decomposition method for the auxiliary variable method. In addition to extending the framework, the new result provides a tool for the proof of relaxations of specific functions. Moreover, a direct consequence is an improved relaxation for the product of two functions, at least as tight as McCormickâs result, and often tighter. The result also allows the direct relaxation of multilinear products of functions. Furthermore, the composition result is applied to obtain improved convex underestimators for the minimum/maximum and the division of two functions for which current relaxations are often weak. These cases can be extended to allow composition of a variety of functions for which relaxations have been proposed
Extended formulations for convex envelopes
In this work we derive explicit descriptions for the convex envelope of nonlinear functions that are component-wise concave on a subset of the variables and convex on the other variables. These functions account for more than 30% of all nonlinearities in common benchmark libraries. To overcome the combinatorial difficulties in deriving the convex envelope description given by the component-wise concave part of the functions, we consider an extended formulation of the convex envelope based on the Reformulation-Linearization-Technique introduced by Sherali and Adams(SIAM J Discret Math 3(3):411-430, 1990). Computational results are reported showing that the extended formulation strategy is a useful tool in global optimization