Abstract
This paper discusses a set of algorithms which, given a polynomial equation with integer coefficients and without any multiple roots, uses exact (infinite precision) integer arithmetic and the Vincent-Uspensky-Akritas theorem to compute intervals containing the real roots of the polynomial equation. Theoretical computing time bounds are developed for these algorithms which are proven to be the fastest existing; this fact is also verified by the empirical results which are included in this article.
Zusammenfassung
Es werden einige Algorithmen diskutiert, die unter Verwendung exakter ganzzahliger Arithmetik und des Vincent-Uspensky-Akritas-Theorems für ein gegebenes Polynom mit ganzzahligen Koeffizienten und ohne mehrfache Wurzeln Intervalle berechnen, die die reellen Nullstellen des Polynoms enthalten. Für diese Algorithmen werden theoretische Rechenzeitschranken entwickelt, und es wird bewiesen und durch empirische Resultate belegt, daß diese Algorithmen die schnellsten unter den bisher existierenden sind.
Similar content being viewed by others
References
Aho, A. V., Hopcroft, J. E., Ullman, J. D.: The design and analysis of computer algorithms. Reading, Mass.: Addison-Wesley 1976.
Akritas, A. G.: Vincent's theorem in algebraic manipulation. Ph. D. thesis, Operations Research Program, North Carolina State University, Raleigh, N. C., 1978.
Akritas, A. G.: A new method for polynomial real root isolation. Proc. of the 16th Annual Southeast Regional ACM Conference, Atlanta, Georgia, 39–43 (1978). This paper received the First Prize in the student paper competition.
Akritas, A. G.: A correction on a theorem by Uspensky. Bulletin of the Greek Mathematical Society19, 278–285 (1978).
Akritas, A. G.: The two different versions of the Budan-Fourier theorem and their consequences, in: 5th volume of lectures given at the General Mathematical Seminar of the University of Patras, 127–146 (1979). (In Greek.)
Akritas, A. G.: Exact algorithms for the implementation of Cauchy's rule. (Submitted for publication.)
Akritas, A. G., Danielopoulos, S. D.: On the forgotten theorem of Mr. Vincent. Historia Mathematica5, 427–435 (1978).
Akritas, A. G., Danielopoulos, S. D.: On the complexity of algorithms for the translation of polynomials. Computing24, 51–60 (1980).
Heindel, L. E.: Integer arithmetic algorithms for polynomial real zero determination. Journal of the ACM18, 533–548 (1971).
Knuth, D. E.: The art of computer programming, Vol. II: Seminumerical algorithms. Reading, Mass.: Addison-Wesley 1969.
Mahler, K.: An inequality for the discriminant of a polynomial. Michigan Mathematical Journal11, 257–262 (1964).
Obreschkoff, N.: Verteilung und Berechnung der Nullstellen reeller Polynome. Berlin: VEB Deutscher Verlag der Wissenschaften 1963.
Rubald, C. M.: Algorithms for polynomials over a real algebraic number field. Ph.D. thesis, Computer Science Department, University of Wisconsin, Madison, 1974.
Uspensky, J. V.: Theory of equations. New York: McGraw-Hill 1948.
Vincent, A. J. H.: Sur la résolution des équations numériques. Journal de Mathématiques Pures et Appliquées1, 341–372 (1836).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Akritas, A.G. The fastest exact algorithms for the isolation of the real roots of a polynomial equation. Computing 24, 299–313 (1980). https://doi.org/10.1007/BF02237816
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02237816