Abstract:We propose a new upper bounding procedure for global minimization problems with continuous variables and possibly nonconvex inequality and equality constraints. Upper bounds are crucial for standard termination criteria of spatial branch-and-bound (SBB) algorithms to ensure that they can enclose globally minimal values sufficiently well. However, whereas for most lower bounding procedures from the literature, convergence on smaller boxes is established, this does not hold for several methods to compute upper bounds even though they often perform well in practice. In contrast, our emphasis is on the convergence. We present a new approach to verify the existence of feasible points on boxes, on which upper bounds can then be determined. To this end, we resort to existing convergent feasibility verification approaches for purely equality and box constrained problems. By considering carefully designed modifications of subproblems based on the approximation of active index sets, we enhance such methods to problems with additional inequality constraints. We prove that our new upper bounding procedure finds sufficiently good upper bounds so that termination of SBB algorithms is guaranteed after a finite number of iterations. Our theoretical findings are illustrated by computational results on a large number of standard test problems. These results show that compared with interval Newton methods from the literature, our proposed method is more successful in feasibility verification for both, a full SBB implementation (42 instead of 26 test problems) and exhaustive sequences of boxes around known feasible points (120 instead of 29 test problems). History: Accepted by Antonio Frangioni, Area Editor for Design & Analysis of Algorithms–Continuous. Supplemental Material: The software that supports the findings of this study is available within the paper and its Supplemental Information ( https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2023.0162 ) as well as from the IJOC GitHub software repository ( https://github.com/INFORMSJoC/2023.0162 ). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/ .

An active set method for bound-constrained optimization

The convergence of conjugate gradient method with nonmonotone line search

Subspace Truncated-Newton Algorithm for Large-Scale Bound Constrained Optimization

Complexity results and active-set identification of a derivative-free method for bound-constrained problems

A class of nonmonotone Armijo-type line search method for unconstrained optimization

A Limited Memory Algorithm for Bound Constrained Optimization

Active Set Algorithm for Large-Scale Continuous Knapsack Problems with Application to Topology Optimization Problems

Solution of and Bounding in a Linearly Constrained Optimization Problem with Convex, Polyhedral Objective Function

Aggressive Local Search for Constrained Optimal Control Problems with Many Local Minima

A New Lagrangian-Based First-Order Method for Nonconvex Constrained Optimization

A Proximal-Gradient Method for Constrained Optimization

An accelerated active-set algorithm for a quadratic semidefinite program with general constraints

A globalization of L-BFGS and the Barzilai-Borwein method for nonconvex unconstrained optimization

A Constrained Optimization Approach for Lcp

A Path-Based Approach to Constrained Sparse Optimization

Extreme Point Pursuit -- Part I: A Framework for Constant Modulus Optimization

Constrained Bayesian Optimization with Adaptive Active Learning of Unknown Constraints

Feasibility Verification and Upper Bound Computation in Global Minimization Using Approximate Active Index Sets

Constrained Bi-Level Optimization: Proximal Lagrangian Value function Approach and Hessian-free Algorithm

A Filter Active-Set Algorithm for Ball/Sphere Constrained Optimization Problem.

Level Constrained First Order Methods for Function Constrained Optimization