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/ .

Using Lower and Upper Bounds to Increase the Computing Accuracy of Monte Carlo Method

Error Bounds for Approximate Solutions of Abstract Inequality Systems and Infinite Systems of Inequalities on Banach Spaces

On the Error Estimate of the Randomized Double Block Kaczmarz Method

Monte Carlo Approximation of Bayes Factors via Mixing with Surrogate Distributions

On Improved Confidence Bounds for System Reliability

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

Upper and Lower Bounds on Quantities of Interest for Contact Problems

Asymptotic properties of Monte Carlo methods in elliptic PDE-constrained optimization under uncertainty

Guaranteed Conservative Fixed Width Confidence Intervals Via Monte Carlo Sampling

Convergence Speed and Approximation Accuracy of Numerical MCMC

Improved adaptive Multilevel Monte Carlo and applications to finance

On multilevel Monte Carlo methods for deterministic and uncertain hyperbolic systems

On Bounding and Approximating Functions of Multiple Expectations using Quasi-Monte Carlo

Bounding rare event probabilities in computer experiments

Computable Upper and Lower Bounds on Eigenfrequencies

Finite Element Error Analysis of Elliptic PDEs with Random Coefficients and Its Application to Multilevel Monte Carlo Methods

Sufficient Conditions for Central Limit Theorems and Confidence Intervals for Randomized Quasi-Monte Carlo Methods

Bounding probability of small deviation on sum of independent random variables: Combination of moment approach and Berry-Esseen theorem

Time Lower Bounds for the Metropolis Process and Simulated Annealing

Upper and lower bounds on the subgeometric convergence of adaptive Markov chain Monte Carlo

Achieving High Convergence Rates by Quasi-Monte Carlo and Importance Sampling for Unbounded Integrands