Skip to content

Latest commit

 

History

History
172 lines (121 loc) · 9.58 KB

README.md

File metadata and controls

172 lines (121 loc) · 9.58 KB
Raw

Ipopt

Introduction

Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt) is a software package for large-scale nonlinear optimization. It is designed to find (local) solutions of mathematical optimization problems of the form

   min     f(x)
  x ∈ Rⁿ

s.t.       g_L ≤ g(x) ≤ g_U
           x_L ≤  x   ≤ x_U

where f(x): Rⁿ --> R is the objective function, and g(x): Rⁿ --> Rᵐ are the constraint functions. The vectors g_L and g_U denote the lower and upper bounds on the constraints, and the vectors x_L and x_U are the bounds on the variables x. The functions f(x) and g(x) can be nonlinear and nonconvex, but should be twice continuously differentiable. Note that equality constraints can be formulated in the above formulation by setting the corresponding components of g_L and g_U to the same value.

Ipopt is part of the COIN-OR Initiative. The Ipopt project webpage is https://github.com/coin-or/Ipopt.

Background

Ipopt is written in C++ and is released as open source code under the Eclipse Public License (EPL). The code has been written by Andreas Wächter and Carl Laird. The COIN-OR project managers for Ipopt are Andreas Wächter und Stefan Vigerske. For a list of all contributors, see the AUTHORS file.

The C++ version has first been released on Aug 26, 2005 as version 3.0.0. The previously released pre-3.0 Fortran version is no longer maintained.

The Ipopt distribution can be used to generate a library that can be linked to one's own C++, C, Fortran, or Java code, as well as a solver executable for the AMPL modeling environment. The package includes an interface to the R programming environment. IPOPT can be used on Linux/UNIX, Mac OS X, and Windows platforms.

As open source software, the source code for Ipopt is provided without charge. You are free to use it, also for commercial purposes. You are also free to modify the source code (with the restriction that you need to make your changes public if you decide to distribute your version in any way, e.g. as an executable); for details see the EPL license. And we are certainly very keen on feedback from users, including contributions!

In order to compile Ipopt, certain third party code is required (such as some linear algebra routines). Those are available under different conditions/licenses.

If you want to learn more about Ipopt, you can find references in the bibliography of the documentation and this "Papers about Ipopt" page.

For information on projects that use Ipopt, refer to the Success Stories page.

Getting Started

Please consult the detailed installation instructions in the Ipopt documentation. In the following, we only summarize some main points.

Dependencies

Ipopt requires at least one of the following solvers for systems of linear equations:

A fast implementation of BLAS and LAPACK is required by Ipopt.

To build the AMPL interface of Ipopt, the AMPL Solver Library (ASL) is required. It is recommended to use project ThirdParty-ASL to build a ASL library for use by Ipopt.

Build

After installation of dependencies, an Ipopt build and installation follows these 4 steps:

  1. Run ./configure. Use ./configure --help to see available options.

  2. Run make to build the Ipopt libraries. If ASL was made available, also Ipopt executables will be build.

  3. Run make test to test the Ipopt build.

  4. Run make install to install Ipopt (libraries, executables, and header files).

It is suggested to use the same installation prefix (--prefix option of configure) when configuring the build of ThirdParty-ASL, ThirdParty-HSL, ThirdParty-MUMPS, and Ipopt.

Using coinbrew

An alternative to the above steps is to use the coinbrew script from https://coin-or.github.io/coinbrew/. coinbrew automates the download of the source code for ASL, MUMPS, and Ipopt and the sequential build and installation of these three packages.

After obtaining the coinbrew script, run

/path/to/coinbrew fetch Ipopt --no-prompt
/path/to/coinbrew build Ipopt --prefix=/dir/to/install --test --no-prompt --verbosity=3
/path/to/coinbrew install Ipopt --no-prompt

More details on using coinbrew can be found at the instructions on Getting Started with the COIN-OR Optimization Suite.

Precompiled binaries

Some precompiled binaries of Ipopt are also available:

Getting Help

Please Cite Us

We provide this program in the hope that it may be useful to others, and we would very much like to hear about your experience with it. If you found it helpful and are using it within our software, we encourage you to add your feedback to the Success Stories page.

Since a lot of time and effort has gone into Ipopt's development, please cite the following publication if you are using Ipopt for your own research:

Experimental Options

L1-EP Restoration

This is an alternative for problems that have linearly dependent constraint gradients, either locally or globally.

In this scheme, the restoration phase is changed to the following problem.

 minimize    f(x) + rho * (p + n)^T e
  x ∈ Rⁿ,
 p, n ∈ Rᵐ
subject to   c(x) + s - p + n ≤ 0,
             x_L ≤  x   ≤ x_U,
             g_L ≤  s   ≤ g_U,
                   p, n ≥ 0

Where rho ∈ [0, +inf] and e = [1, 1, ..., 1].

This replaces the normal restoration phase of Ipopt, and forces the algorithm to stay in l1 mode until the end.

A good rule of thumb is to use this mode if there is beforehand knowledge of the dependencies of the gradients, e.g., use the start_with_resto option.

This problem is almost always better taking steps for ill-posed problems, however it has the trade-off of might find stationary points that are not feasible for the original problem (e.g. p, n not zero)

  • restoration_method : Default normal, set to l1 for the new strategy.
  • l1_init_penalty: Default 1E+03, make sure to use a value that is not too large.
  • l1_penalty_type: X (where X can be quadratic_model, linear_model, fixed, and quadratic_model_no_sigma. Default=linear_model)
  • l1_epsilon: Default 0.1. Value 0 <= X <= 1, determines the aggressiveness of the update by feasibility measure.
  • override_resto_exception: Default no. Set to yes if the "Restoration phase is called at point that is almost feasible, with constraint violation." gets in the way.

Use it wisely.