Global Optimization Based on Contractor Programming: An Overview of the IBEX Library
نویسنده
چکیده
IBEX is a open-source C++ library for constraint processing over real numbers. It provides reliable algorithms for handling non-linear constraints. In particular, roundoff errors are also taken into account. It is based on interval arithmetic and affine arithmetic. The main feature of IBEX is its ability to build strategies declaratively through the contractor programming paradigm. It can also be used as a black-box solver or with an AMPL interface. Two emblematic problems that can be addressed are: (i) System solving: A guaranteed enclosure for each solution of a system of (nonlinear) equations is calculated; (ii) Global optimization: A global minimizer of some function under non-linear constraints is calculated with guaranteed and reliable bounds on the objective minimum.
منابع مشابه
Global optimization of mixed-integer polynomial programming problems: A new method based on Grobner Bases theory
Mixed-integer polynomial programming (MIPP) problems are one class of mixed-integer nonlinear programming (MINLP) problems where objective function and constraints are restricted to the polynomial functions. Although the MINLP problem is NP-hard, in special cases such as MIPP problems, an efficient algorithm can be extended to solve it. In this research, we propose an algorit...
متن کاملGlobal Optimization based on Contractor Programming
In this paper, we will present a general pattern based on contractor programming for designing a global optimization solver. This approach allows to solve problems with a wide variety of constraints. The complexity and the performance of the algorithm rely on the construction of contractors which characterize the feasible region.
متن کاملInner Regions and Interval Linearizations for Global Optimization
Researchers from interval analysis and constraint (logic) programming communities have studied intervals for their ability to manage infinite solution sets of numerical constraint systems. In particular, inner regions represent subsets of the search space in which all points are solutions. Our main contribution is the use of recent and new inner region extraction algorithms in the upper boundin...
متن کاملGlobal optimization of fractional posynomial geometric programming problems under fuzziness
In this paper we consider a global optimization approach for solving fuzzy fractional posynomial geometric programming problems. The problem of concern involves positive trapezoidal fuzzy numbers in the objective function. For obtaining an optimal solution, Dinkelbach’s algorithm which achieves the optimal solution of the optimization problem by means of solving a sequence of subproblems ...
متن کاملA GIS-based integrative approach for land use optimization in a semi-arid watershed
The proper use of natural resources can preserve these valuable assets. In line with the management of natural resources, land use optimization can be highly useful. The aim of the present study is to propose an appropriate integrative model for optimized allocation of lands for surface runoff and sediment load minimization and net income maximization in Bayg watershed, Iran. In this study, fiv...
متن کامل