Skip to main content
Log in

Node selection through upper bounding local search methods in branch & bound solvers for NCOPs

  • Published:
Journal of Global Optimization Aims and scope Submit manuscript

Abstract

Interval-based branch & bound solvers are commonly used for solving Nonlinear Continuous global Optimization Problems (NCOPs). In each iteration, the solver strategically chooses and processes a node within the search tree. The node is bisected and the two generated offspring nodes are processed by filtering methods. For each of these nodes, the solver also searches for new feasible solutions in order to update the best candidate solution. The cost of this solution is used for pruning non-optimal branches of the search tree. Thus, node selection and finding new solutions, stands as pivotal aspects in the functionality of these kind of solvers. The ability to find close-to-optimal solutions early in the search process may discard extensive non-optimal search space regions, thereby effectively reducing the overall size of the search tree. In this work, we propose three novel node selection algorithms that use the feasible solutions obtained through a cost-effective iterative method. Upon updating the best candidate solution, these algorithms strategically choose the node containing this solution for subsequent processing. The newly introduced strategies have been incorporated as node selection methods in a state-of-the-art branch & bound solver, showing promising results in a set of 57 benchmark instances.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1

Similar content being viewed by others

Notes

  1. An interval \(\varvec{x}_i=[\underline{x_i},\overline{x_i}]\) defines the set of reals \(x_i\), such that \(\underline{x_i} \le x_i \le \overline{x_i}\). A box \(\varvec{x}\) is a Cartesian product of intervals \(\varvec{x}_1 \times .. \times \varvec{x}_i \times ... \times \varvec{x}_n\).

  2. https://github.com/vareyesr.

  3. https://arnold-neumaier.at/glopt/coconut/Benchmark/Benchmark.html.

References

  1. Lebbah, Y.: Icos: a branch and bound based solver for rigorous global optimization. Optim. Methods Softw. 24(4–5), 709–726 (2009)

    Article  MathSciNet  Google Scholar 

  2. Neveu, B., Trombettoni, G., Araya, I.: Node selection heuristics using the upper bound in interval branch and bound, In: Proceedings of GOW, pp. 1–4, (2014)

  3. Neveu, B., Trombettoni, G., Araya, I.: Node selection strategies in interval branch and bound algorithms. J. Global Optim. 64, 289–304 (2016)

    Article  MathSciNet  Google Scholar 

  4. Markót, M.C., Fernández, J., Casado, L.G., Csendes, T.: New interval methods for constrained global optimization. Math. Program. 106, 287–318 (2006)

    Article  MathSciNet  Google Scholar 

  5. Araya, I., Neveu, B.: lsmear: a variable selection strategy for interval branch and bound solvers. J. Glob. Optim. 71(3), 483–500 (2017)

    Article  MathSciNet  Google Scholar 

  6. Trombettoni, G., Chabert, G.: Constructive interval disjunction. In: Principles and Practice of Constraint Programming-CP, pp. 635–650. Springer, Berlin (2007)

    Google Scholar 

  7. Araya, I., Trombettoni, G., Neveu, B.: A contractor based on convex interval taylor. In: Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, pp. 1–16. Springer, Berlin (2012)

    Google Scholar 

  8. Ninin, J., Messine, F., Hansen, P.: A reliable affine relaxation method for global optimization. 4OR 13(3), 247–277 (2015)

    Article  MathSciNet  Google Scholar 

  9. Goldsztejn, A., Lebbah, Y., Michel, C., Rueher, M.: Revisiting the upper bounding process in a safe branch and bound algorithm, In: International Conference on Principles and Practice of Constraint Programming, pp. 598–602, Springer, (2008)

  10. Misener, R., Floudas, C.A.: Antigone: algorithms for continuous/integer global optimization of nonlinear equations. J. Glob. Optim. 59(2), 503–526 (2013)

    MathSciNet  Google Scholar 

  11. Sahinidis, N.V.: Baron: a general purpose global optimization software package. J. Glob. Optim. 8(2), 201–205 (1996)

    Article  MathSciNet  Google Scholar 

  12. Drud, A.S.: CONOPT-a large-scale GRG code. ORSA J. Comput. 6(2), 207–216 (1994)

    Article  Google Scholar 

  13. Wächter, A., Biegler, L.T.: On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming. Math. Program. 106(1), 25–57 (2006)

    Article  MathSciNet  Google Scholar 

  14. Araya, I., Trombettoni, G., Neveu, B., Chabert, G.: Upper bounding in inner regions for global optimization under inequality constraints. J. Global Optim. 60(2), 145–164 (2014)

    Article  MathSciNet  Google Scholar 

  15. Araya, I., Reyes, V. Abstaylor: finding inner regions for nonlinear constraint systems with linearizations and absolute values, In: AIP Conference Proceedings, vol. 2070, p. 020027. AIP Publishing LLC, (2019)

  16. Reyes, V., Araya, I.: Abstaylor: upper bounding with inner regions in nonlinear continuous global optimization problems. J. Glob. Optim. 79(2), 413–429 (2021)

    Article  MathSciNet  Google Scholar 

  17. Bixby, R., Rothberg, E.: Progress in computational mixed integer programming-a look back from the other side of the tipping point. Ann. Oper. Res. 149(1), 37 (2007)

    Article  MathSciNet  Google Scholar 

  18. Bonami, P., Kilinç, M., Linderoth, J.: Algorithms and software for convex mixed integer nonlinear programs. In: De, T. (ed.) Mixed Integer Nonlinear Programming, pp. 1–39. Springer, Berlin (2011)

    Google Scholar 

  19. Khajavirad, A., Sahinidis, N.V.: A hybrid LP/NLP paradigm for global optimization relaxations. Math. Program. Comput. 10(3), 383–421 (2018)

    Article  MathSciNet  Google Scholar 

  20. Lasdon, L.S., Waren, A.D., Jain, A., Ratner, M.: Design and testing of a generalized reduced gradient code for nonlinear programming, Technical. Report, Stanford University CA Systems Optimization Laboratory (1976)

  21. Wright, S.J.: Primal-Dual Interior-Point Methods, vol. 54. SIAM, New Delhi (1997)

    Book  Google Scholar 

  22. Nocedal, J., Wächter, A., Waltz, R.A.: Adaptive barrier update strategies for nonlinear interior methods. SIAM J. Optim. 19(4), 1674–1693 (2009)

    Article  MathSciNet  Google Scholar 

  23. Klee, V., Minty, G.J.: How good is the simplex algorithm. Inequalities 3(3), 159–175 (1972)

    MathSciNet  Google Scholar 

  24. Trombettoni, G., Araya,I., Neveu,B., Chabert, G.: Inner regions and interval linearizations for global optimization. In: AAAI Conference on Artificial Intelligence (2011)

  25. Benhamou, F., Goualard, F., Granvilliers,L., Puget, J.-F.: Revising hull and box consistency, In: International Conference on Logic Programming, Citeseer, (1999)

Download references

Acknowledgements

Victor Reyes is supported by Fondecyt Project 11230225. Ignacio Araya is supported by Fondecyt Project 1200035.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Victor Reyes.

Ethics declarations

Conflict of interest

The authors declare that they have no Conflict of interest.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Reyes, V., Araya, I. Node selection through upper bounding local search methods in branch & bound solvers for NCOPs. J Glob Optim (2024). https://doi.org/10.1007/s10898-024-01403-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10898-024-01403-2

Keywords

Navigation