Abstract
The computational cost of a bracketing algorithm in the bit model of computation is analyzed, when working with a finite arithmetic of unbounded accuracy. The complexity measure used here is the number of bit operations, seen as a function of the required absolute error of the result. In this model the convergence of the classical bisection method (as well as that of any bracketing method which requires the function sign) is not ensured when no information on the behaviour of the function is available. A modified bisection algorithm with guaranteed convergence is proposed and an upper bound to its computational cost is given.
Similar content being viewed by others
References
P.R. Brent, Fast multiple-precision evaluation of elementary functions, J. ACM 23 (1976) 242–251.
J.C.P. Bus and T.J. Dekker, Two efficient algorithms with guaranteed convergence for finding a zero of a function, ACM Trans. Math. Software 1 (1975) 330–345.
K. Ko, Complexity Theory of Real Functions (Birkhäuser, Boston, 1991).
E. Novak and K. Ritter, Some complexity results for zero finding for univariate functions, J. Complexity 9 (1993) 15–40.
K. Sikorski, Bisection is optimal, Numer. Math. 40 (1982) 111–117.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Favati, P., Lotti, G., Menchi, O. et al. An infinite precision bracketing algorithm with guaranteed convergence. Numerical Algorithms 20, 63–73 (1999). https://doi.org/10.1023/A:1019135313527
Issue Date:
DOI: https://doi.org/10.1023/A:1019135313527