Abstract
We consider pruning steps used in a branch-and-bound algorithm for verified global optimization. A first-order pruning step was given by Ratz using automatic computation of a first-order slope tuple (Ratz, Automatic Slope Computation and its Application in Nonsmooth Global Optimization. Shaker Verlag, Aachen, 1998; J. Global Optim. 14: 365–393, 1999). In this paper, we introduce a second-order pruning step which is based on automatic computation of a second-order slope tuple. We add this second-order pruning step to the algorithm of Ratz. Furthermore, we compare the new algorithm with the algorithm of Ratz by considering some test problems for verified global optimization on a floating-point computer.
Similar content being viewed by others
References
Alefeld G., Herzberger J.: Introduction to Interval Computations. Academic Press, New York (1983)
Baumann E.: Optimal centered forms. BIT 28, 80–87 (1988)
Bornemann, F., Laurie, D., Wagon, S., Waldvogel, J.: The SIAM 100-digit challenge: a study in high-accuracy numerical computing. society of industrial and applied mathematics (SIAM). Philadelphia (2004)
Clarke F.H.: Optimization and Nonsmooth Analysis. John Wiley & Sons, New York (1983)
Frommer A., Lang B., Schnurr M.: A comparison of the Moore and Miranda existence tests. Computing 72, 349–354 (2004)
Hammer R., Hocks M., Kulisch U., Ratz D.: Numerical Toolbox for Verified Computing I. Springer-Verlag, Berlin (1993)
Hansen E.R.: Interval forms of Newton’s method. Computing 20, 153–163 (1978)
Hansen E.R.: Global optimization using interval analysis—the one-dimensional case. J. Optim. Theory Appl. 29, 331–344 (1979)
Hansen E.R.: Global optimization using interval analysis—the multi-dimensional case. Numer. Math. 34, 247–270 (1980)
Hansen E.R., Walster G.W.: Global optimization using interval analysis: second edition, revised and expanded. Marcel Dekker, New York (2004)
Ichida K., Fujii Y.: An interval arithmetic method for global optimization. Computing 23, 85–97 (1979)
Kearfott R.B.: Rigorous Global Search: Continuous Problems. Kluwer Academic Publishers, Dordrecht (1996)
Klatte R., Kulisch U., Neaga M., Ratz D., Ullrich Ch.: Pascal-XSC—Language Reference with Examples. Springer, Berlin (1992)
Kolev L.: Use of interval slopes for the irrational part of factorable functions. Reliab. Comput. 3, 83–93 (1997)
Krawczyk R., Neumaier A.: Interval slopes for rational functions and associated centered forms. SIAM J. Numer. Anal. 22, 604–616 (1985)
Moore R.E.: Interval Analysis. Prentice Hall, Englewood Cliffs, NJ (1966)
Moore R.E.: A test for existence of solutions to nonlinear systems. SIAM J. Numer. Anal. 14(4), 611–615 (1977)
Moré J.J., Garbow B.S., Hilstrom K.E.: Testing unconstrained optimization software. ACM Trans. Math. Software 7, 17–41 (1981)
Muñoz H., Kearfott R.B.: Slope intervals, generalized gradients, semigradients, slant derivatives, and csets. Reliab. Comput. 10(3), 163–193 (2004)
Rall L.B.: Automatic Differentiation: Techniques and Applications, Lecture Notes in Computer Science, vol. 120. Springer, Berlin (1981)
Ratz D.: Automatic Slope Computation and its Application in Nonsmooth Global Optimization. Shaker Verlag, Aachen (1998)
Ratz D.: A nonsmooth global optimization technique using slopes—the one-dimensional case. J. Global Optim. 14, 365–393 (1999)
Rump S.M.: Expansion and estimation of the range of nonlinear functions. Math. Comp. 65(216), 1503–1512 (1996)
Schäfer U., Schnurr M.: A comparison of simple tests for accuracy of approximate solutions to nonlinear systems with uncertain data. J. Ind. Manage. Optim. 2(4), 425–434 (2006)
Schnurr, M.: The automatic computation of second-order slope tuples for some nonsmooth functions. ETNA Electron. Trans. Numer. Anal. (to appear)
Schnurr, M.: Computing slope enclosures by exploiting a unique point of inflection. Appl. Math. Comput. (to appear)
Schnurr, M.: Webpage for software download. http://iamlasun8.mathematik.uni-karlsruhe.de/~ae26/software/
Schnurr M.: Some supplements concerning automatic slope enclosures. PAMM 6(1), 691–692 (2006)
Schnurr, M.: Steigungen höherer Ordnung zur verifizierten globalen Optimierung. PhD Thesis, Universität Karlsruhe (2007). http://digbib.ubka.uni-karlsruhe.de/volltexte/1000007229
Schnurr, M., Ratz, D.: Slope enclosures for functions given by two or more branches (submitted for publication)
Schwefel H.: Numerical Optimization of Computer Models. Wiley, New York (1981)
Shen Z., Wolfe M.A.: On interval enclosures using slope arithmetic. Appl. Math. Comput. 39, 89–105 (1990)
Skelboe S.: Computation of rational interval functions. BIT 4, 87–95 (1974)
Sotiropoulos D.G., Grapsa T.N.: A branch-and-prune method for global optimization: the univariate case. In: Krämer, W., Gudenberg, J.W.v.(eds) Scientific Computing, Validated Numerics, Interval Methods, pp. 215–226. Kluwer, Boston (2001)
Törn A., Žilinskas A.: Global Optimization, Lecture Notes in Computer Science, vol 50. Springer, Berlin (1989)
Vinko T., Lagouanelle J.-L., Csendes T.: A new inclusion function for global optimization: kite—the one dimensional case. J. Global Optim. 30, 435–456 (2004)
Vinko T., Ratz D.: A multidimensional branch-and-prune method for interval global optimization. Numer. Algorithms 37, 391–399 (2004)
XSC Website.: Website on programming languages for scientific computing with validation. http://www.xsc.de (December 2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
This paper contains some results from the author’s dissertation [29].
Rights and permissions
About this article
Cite this article
Schnurr, M. A second-order pruning step for verified global optimization. J Glob Optim 44, 349–374 (2009). https://doi.org/10.1007/s10898-008-9331-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10898-008-9331-9