Reliable Computing

, Volume 5, Issue 1, pp 63–68 | Cite as

How to Guarantee Finite Termination of Verifying Global Optimization Codes

  • Gerhard Heindl


Convergence or finite termination of algorithms for solving problems of numerical analysis usually is shown only for their original theoretical versions, assuming that all operations appearing in the algorithms can be performed exactly.

But in most cases the theoretical version of an algorithm cannot be realized on a computer and it is one of the main tasks of numerical mathematicians to find codeable versions of algorithms sharing the essential properties with their originals.

The main problem is, that in any coded version at most rounded approximations of the operations appearing in the theoretical algorithm can be used, and that these approximations are defined only for the finite set of floating point numbers.

So e.g. in codes for global optimization only rounded bisection is possible, and even this only finitely often in a meaningful way. In addition there are also problems with controlling rounding errors if underflow or graduated underflow might appear. These problems are often overlooked, even in codes for verifying global optimization.

But it is possible to solve these problems by a simple but quite general implementable procedure, guaranteeing that a very natural stopping criterion is satisfied after finitely many steps.


Mathematical Modeling Computational Mathematic Global Optimization Industrial Mathematic Main Task 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Berner, S.: Ein paralleles Verfahren zur Verifizierten Globalen Optimierung, PhD thesis, Fachbereich Mathematik der Bergischen Universität Gesamthochschule Wuppertal, 1995.Google Scholar
  2. 2.
    Hammer, R., Hocks, M., Kulisch, U., and Ratz, D.: Numerical Toolbox for Verified Computing I—Basic Numerical Problems, Springer, Berlin, 1993.Google Scholar
  3. 3.
    Klatte, R., Kulisch, U., Neaga, M., Ratz, D., and Ullrich, C. P.: PASCAL-XSC Language Reference with Examples, Springer, Berlin, 1992.Google Scholar
  4. 4.
    Klatte, R., Kulisch, U., Wiethoff, A., Lawo, C., and Rauch, M.: C-XSC, A C++ Class Library for Extended Scientific Computing, Springer, Berlin, 1993.Google Scholar
  5. 5.
    Smullyan, R. M.: Trees and Ball Games, Annals of the New York Academy of Sciences 321 (1979), pp. 86-90.Google Scholar

Copyright information

© Kluwer Academic Publishers 1999

Authors and Affiliations

  • Gerhard Heindl
    • 1
  1. 1.Fachbereich MathematikUniversität WuppertalWuppertalGermany

Personalised recommendations