Abstract
Various techniques have been proposed for incorporating constraints in interval branch and bound algorithms for global optimization. However, few reports of practical experience with these techniques have appeared to date. Such experimental results appear here. The underlying implementation includes use of an approximate optimizer combined with a careful tesselation process and rigorous verification of feasibility. The experiments include comparison of methods of handling bound constraints and comparison of two methods for normalizing Lagrange multipliers. Selected test problems from the Floudas / Pardalos monograph are used, as well as selected unconstrained test problems appearing in reports of interval branch and bound methods for unconstrained global optimization.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Caprani, O., Godthaab, B., and Madsen, K.,Use of a Real- Valued Local Minimum in Parallel Interval Global Optimization, Interval Computations1993 (2), pp. 71–82, 1993.
Conn, A. R., Gould, N. and Toint, Ph.L.,LANCELOT: A Fortran Package for Large-Scale Nonlinear Optimization, Springer-Verlag, New York, 1992.
Conn, A. R., Gould, N., and Toint, Ph. L.,A Note on Exploiting Structure when using Slack Variables, Math. Prog.67 (1), pp. 89–99, 1994.
Csendes, T. and Ratz, D.,Subdivision Direction Selection in Interval Methods for Global Optimization, preprint, 1994.
Dixon, L. C. W. and Szego, G. P.,The Global Optimization Problem: An Introduction, in Towards Global Optimization 2, ed. Dixon, L. C. W. and Szegö, G. P., pp. 1–15, North- Holland, Amsterdam, Netherlands, 1978.
Floudas, C. A. and Pardalos, P. M.,A Collection of Test Problems for Constrained Global Optimization Algorithms, Springer-Verlag, New York, 1990.
Hansen, Eldon,Interval Forms of Newton’s Method, Computing20, pp. 153–163, 1978.
Hansen, E. R .,Global Optimization Using Interval Analysis, Marcel Dekker, Inc., New York, 1992.
Hansen, E. R. and Walster, G. W.,Bounds for Lagrange Multipliers and Optimal Points, Comput. Math. Appl.25 (10), pp. 59, 1993.
Horst, R. and Pardalos, M., eds.,Handbook of Global Optimization, Kluwer, Dordrecht, Netherlands, 1995.
Jansson, C. and Knüppel, O.,A Global Minimization Method: The Multi-Dimensional Case, preprint, 1992.
Jansson, C. and Knüppel, O.,Numerical Results for a Self-Validating Global Optimization Method, technical report no. 94. 1, 1994.
Kearfott, R. B.,Interval Newton / Generalized Bisection When There are Singularities near Roots, Annals of Operations Research25, pp. 181–196, 1990.
Kearfott, R. B.,Preconditioners for the Interval Gauss-Seidel Method, SIAM J. Numer. Anal.27 (3), pp. 804–822, 1990.
Kearfott, R. B., and Novoa, M.,INTBIS, A Portable Interval Newton/Bisection Package (Algorithm 681), ACM Trans. Math. Software16 (2), pp. 152–157, 1990.
Kearfott, R. R., Hu, C. Y., Novoa, M. III,A Review of Preconditioners for the Interval Gauss-Seidel Method, Interval Computations1 (1), pp. 59–85, 1991.
Kearfott, R. B.,An Interval Branch and Bound Algorithm for Bound Constrained Optimization Problems, Journal of Global Optimization2, pp. 259–280, 1992.
Kearfott, R. B.,Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Algebraic Systems, accepted for publication in SIAM J. Sei. Comput..
Kearfott, R. B .,A Review of Techniques in the Verified Solution of Constrained Global Optimization Problems, preprint, 1994.
Kearfott, R. B .,On Verifying Feasibility in Equality Constrained Optimization Problems, preprint, 1994.
Kearfott, R. B., Dawande, M., Du K.-S. and Hu, C.-Y.,Algorithm 737: INTLIB: A Portable FORTRAN 77 Interval Standard Function Library, ACM Trans. Math. Software20 (4), pp. 447–459, 1994.
Kearfott, R. B.,A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Constrained and Unconstrained Nonlinear Equations, ACM Trans. Math. Software21 (1), pp. 63–78, 1995.
Neumaier, A.,Interval Methods for Systems of Equations, Cambridge University Press, Cambridge, England, 1990.
Ratschek, H., and Rokne, J.,New Computer Methods for Global Optimization, Wiley, New York, 1988.
Ratz, D.,Automatische Ergebnis Verifikation bei globalen Optimierungsproblemen, Ph.D. dissertation, Universität Karlsruhe, 1992.
Ratz, D .,Box-Splitting Strategies for the Interval Gauss-Seidel Step in a Global Optimization Method, Computing53, pp. 337–354, 1994.
Rump, S. M .,Verification Methods for Dense and Sparse Systems of Equations, in Topics in Validated Computations, ed. J. Herzberger, Elsevier Science Publishers, Amsterdam, 1994.
Walster, G. W., Hansen, E. R. and Sengupta, S.,Test Results for a Global Optimization Algorithm, in Numerical Optimization 1984, ed. P. T. Boggs, R. H. Byrd, and R. B. Schnabel, pp. 272–287, SIAM, Philadelphia, 1985.
Wolfe, M. A.,An Interval Algorithm for Constrained Global Optimization, J. Comput. Appl. Math.50, pp. 605–612, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
Kearfott, R.B. (1996). Test Results for an Interval Branch and Bound Algorithm for Equality-Constrained Optimization. In: Floudas, C.A., Pardalos, P.M. (eds) State of the Art in Global Optimization. Nonconvex Optimization and Its Applications, vol 7. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-3437-8_12
Download citation
DOI: https://doi.org/10.1007/978-1-4613-3437-8_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-3439-2
Online ISBN: 978-1-4613-3437-8
eBook Packages: Springer Book Archive