Exclusion regions for optimization problems

DOI10.1007/s10898-013-0137-zzbMath1297.65070OpenAlexW2141738631MaRDI QIDQ2250096

Mihály Csaba Markót, Hermann Schichl, Arnold Neumaier

Publication date: 4 July 2014

Published in: Journal of Global Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10898-013-0137-z

zbMATH Keywords

global optimizationnumerical examplesbranch and boundKrawczyk operatoraffine invariantKantorovich theoremexistence testuniqueness testcluster effectexclusion regioninclusion regionbackboxingvalidated enclosure

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Nonconvex programming, global optimization (90C26) Interval and finite arithmetic (65G30) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20)

Related Items

Algorithmic differentiation techniques for global optimization in the COCONUT environment, A computational study of global optimization solvers on two trust region subproblems, Domain reduction techniques for global NLP and MINLP optimization, Bound constrained interval global optimization in the COCONUT environment, A reliable affine relaxation method for global optimization, Exclusion regions for parameter-dependent systems of equations, Some observations on exclusion regions in branch and bound algorithms

Uses Software

• INTLAB
• INTOPT_90
• COCONUT
• Ipopt
• Numerica

Cites Work

• Unnamed Item
• Unnamed Item
• On smooth reformulations and direct non-smooth computations for minimax problems
• Systems of linear interval equations
• Interval analysis on directed acyclic graphs for global optimization
• Interval forms of Newtons method
• A note on epsilon-inflation
• The cluster problem in multivariate global optimization
• Rigorous global search: continuous problems
• Use of interval slopes for the irrational part of factorable functions
• Epsilon-inflation in verification algorithms
• Hypernormbälle als abstrakte Schrankenzahlen
• Algorithmic differentiation techniques for global optimization in the COCONUT environment
• Interval Slopes for Rational Functions and Associated Centered Forms
• Abstract Generalized Bisection and a Cost Bound
• Interval Methods for Systems of Equations
• Introduction to Numerical Analysis
• Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems
• A Multilinear Singular Value Decomposition
• Exclusion Regions for Systems of Equations
• Expansion and estimation of the range of nonlinear functions
• Iterative Solution of Nonlinear Equations in Several Variables
• Transposition Theorems and Qualification‐Free Optimality Conditions
• Global Optimization and Constraint Satisfaction