64 research outputs found
Mixed-integer Nonlinear Optimization: a hatchery for modern mathematics
The second MFO Oberwolfach Workshop on Mixed-Integer Nonlinear Programming (MINLP) took place between 2nd and 8th June 2019. MINLP refers to one of the hardest Mathematical Programming (MP) problem classes, involving both nonlinear functions as well as continuous and integer decision variables. MP is a formal language for describing optimization problems, and is traditionally part of Operations Research (OR), which is itself at the intersection of mathematics, computer science, engineering and econometrics. The scientific program has covered the three announced areas (hierarchies of approximation, mixed-integer nonlinear optimal control, and dealing with uncertainties) with a variety of tutorials, talks, short research announcements, and a special "open problems'' session
Rounding-based heuristics for nonconvex MINLPs
We propose two primal heuristics for nonconvex mixed-integer nonlinear programs. Both are based on the idea of rounding the solution of a continuous nonlinear program subject to linear constraints. Each rounding step is accomplished through the solution of a mixed-integer linear program. Our heuristics use the same algorithmic scheme, but they differ in the choice of the point to be rounded (which is feasible for nonlinear constraints but possibly fractional) and in the linear constraints. We propose a feasibility heuristic, that aims at finding an initial feasible solution, and an improvement heuristic, whose purpose is to search for an improved solution within the neighborhood of a given point. The neighborhood is defined through local branching cuts or box constraints. Computational results show the effectiveness in practice of these simple ideas, implemented within an open-source solver for nonconvex mixed-integer nonlinear programs
Inexactness of SDP Relaxation and Valid Inequalities for Optimal Power Flow
It has been recently proven that the semidefinite programming (SDP)
relaxation of the optimal power flow problem over radial networks is exact
under technical conditions such as not including generation lower bounds or
allowing load over-satisfaction. In this paper, we investigate the situation
where generation lower bounds are present. We show that even for a two-bus
one-generator system, the SDP relaxation can have all possible approximation
outcomes, that is (1) SDP relaxation may be exact or (2) SDP relaxation may be
inexact or (3) SDP relaxation may be feasible while the OPF instance may be
infeasible. We provide a complete characterization of when these three
approximation outcomes occur and an analytical expression of the resulting
optimality gap for this two-bus system. In order to facilitate further
research, we design a library of instances over radial networks in which the
SDP relaxation has positive optimality gap. Finally, we propose valid
inequalities and variable bound tightening techniques that significantly
improve the computational performance of a global optimization solver. Our work
demonstrates the need of developing efficient global optimization methods for
the solution of OPF even in the simple but fundamental case of radial networks
GALINI: an extensible solver for mixed-integer quadratically-constrained problems
Many industrial relevant optimization problems can be formulated as Mixed-Integer Quadratically Constrained Problems. This class of problems are difficult to solve because of 1) the non-convex bilinear terms 2) integer variables.
This thesis develops the Python library \suspect{} for detecting special structure (monotonicity and convexity) of Pyomo models. This library can be extended to provide specialized detection for complex expressions. As a motivating example, we show how the library can be used to detect the convexity of the reciprocal of the log mean temperature difference.
This thesis introduces GALINI: a novel solver that is easy to extend at runtime with new 1) cutting planes, 2) primal heuristics, 3) branching strategies, 4) node selection strategies, and 5) relaxations.GALINI uses Pyomo to represent optimization problems, this decision makes it possible to integrate with the existing Pyomo ecosystem to provide, for example, building blocks for relaxations.
We test the solver on two large datasets and show that the performance is comparable to existing open source solvers.
Finally, we present a library to formulate pooling problems, a class of network flow problems, using Pyomo. The library provides a mechanism to automatically generate the PQ-formulation for pooling problems. Since the library keeps the knowledge of the original network, it can 1) use a mixed-integer programming primal heuristic specialized for the pooling problem to find a feasible solution, and 2) generate valid cuts for the pooling problem.
We use this library to develop an extension for GALINI that uses the mixed-integer programming primal heuristic to find a feasible solution and that generates cuts at every node of the branch & cut algorithm. We test GALINI with the pooling extensions on large scale instances of the pooling problem and show that we obtain results that are comparable to or better than the best available commercial solver on dense instances.Open Acces
Facets of a mixed-integer bilinear covering set with bounds on variables
We derive a closed form description of the convex hull of mixed-integer
bilinear covering set with bounds on the integer variables. This convex hull
description is determined by considering some orthogonal disjunctive sets
defined in a certain way. This description does not introduce any new
variables, but consists of exponentially many inequalities. An extended
formulation with a few extra variables and much smaller number of constraints
is presented. We also derive a linear time separation algorithm for finding the
facet defining inequalities of this convex hull. We study the effectiveness of
the new inequalities and the extended formulation using some examples
Relaxations of the Steady Optimal Gas Flow Problem for a Non-Ideal Gas
Natural gas ranks second in consumption among primary energy sources in the
United States. The majority of production sites are in remote locations, hence
natural gas needs to be transported through a pipeline network equipped with a
variety of physical components such as compressors, valves, etc. Thus, from the
point of view of both economics and reliability, it is desirable to achieve
optimal transportation of natural gas using these pipeline networks. The
physics that governs the flow of natural gas through various components in a
pipeline network is governed by nonlinear and non-convex equality and
inequality constraints and the most general steady-flow operations problem
takes the form of a Mixed Integer Nonlinear Program. In this paper, we consider
one example of steady-flow operations -- the Optimal Gas Flow (OGF) problem for
a natural gas pipeline network that minimizes the production cost subject to
the physics of steady-flow of natural gas. The ability to quickly determine
global optimal solution and a lower bound to the objective value of the OGF for
different demand profiles plays a key role in efficient day-to-day operations.
One strategy to accomplish this relies on tight relaxations to the nonlinear
constraints of the OGF. Currently, many nonlinear constraints that arise due to
modeling the non-ideal equation of state either do not have relaxations or have
relaxations that scale poorly for realistic network sizes. In this work, we
combine recent advancements in the development of polyhedral relaxations for
univariate functions to obtain tight relaxations that can be solved within a
few seconds on a standard laptop. We demonstrate the quality of these
relaxations through extensive numerical experiments on very large scale test
networks available in the literature and find that the proposed relaxation is
able to prove optimality in 92% of the instances.Comment: 28 page
(Global) Optimization: Historical notes and recent developments
Recent developments in (Global) Optimization are surveyed in this paper. We collected and commented quite a large number of recent references which, in our opinion, well represent the vivacity, deepness, and width of scope of current computational approaches and theoretical results about nonconvex optimization problems. Before the presentation of the recent developments, which are subdivided into two parts related to heuristic and exact approaches, respectively, we briefly sketch the origin of the discipline and observe what, from the initial attempts, survived, what was not considered at all as well as a few approaches which have been recently rediscovered, mostly in connection with machine learning
- …