Abstract
We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms, where the average-case complexity of an algorithm is seen to be related to the analytic behaviour in the complex plane of the set of elementary transformations determined by the algorithms. The methods rely on properties of transfer operators suitably adapted from dynamical systems theory and provide a unifying framework for the analysis of an entire class of gcd-like algorithms.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bedford, T., Keane, M., AND Series, C., Eds. Ergodic Theory, Symbolic Dynamics and Hyperbolic Spaces, Oxford University Press, 1991.
Bowen, R. Invariant measures for Markov maps of the interval, Commun. Math. Phys. 69 (1979) 1–17.
Brent, R.P. Analysis of the binary Euclidean algorithm, Algorithms and Complexity, New directions and recent results, ed. by J.F. Traub, Academic Press 1976, pp 321–355
Daudé, H., Flajolet, P., AND Vallee, B. An average-case analysis of the Gaussian algorithm for lattice reduction, Combinatorics, Probability and Computing (1997) 6 397–433
Delance, H. Généralisation du Théoréme d’Ikehara, Ann. Sc. ENS, (1954)71, pp 213–242
Dixon, J. D. The number of steps in the Euclidean algorithm, Journal of Number Theory 2 (1970), 414–422.
Flajolet, P. Analytic analysis of algorithms, In Proceedings of the 19th International Colloquium “Automata, Languages and Programming”, Vienna, July 1992, W. Kuich, editor, Lecture Notes in Computer Science 623, pp 186–210
Flajolet, P. AND Sedgewick, R. Analytic Combinatorics, Book in preparation (1999), see also INRIA Research Reports 1888, 2026, 2376, 2956.
Flajolet, P., AND Vallée, B. Continued fraction Algorithms, Functional operators and Structure constants, Theoretical Computer Science 194 (1998), 1–34.
Grothendiek, A. Produits tensoriels topologiques et espaces nucléaires, Mem. Am. Math. Soc. 16 (1955)
Grothendoieck, A. La théorie de Fredholm, Bull. Soc. Math. France 84 pp 319–384.
Heilbronn, H. On the average length of a class of continued fractions, Number Theory and Analysis, ed. by P. Turan, New-York, Plenum, 1969, pp 87–96.
Hensley, D. The number of steps in the Euclidean algorithm, Journal of Number Theory 49,2 (1994), 142–182.
Krasnoselskii, M.Positive solutions of operator equations, P. Noordhoff, Groningen, 1964.
Mayer, D. H. Continued fractions and related transformations, In Ergodic Theory, Symbolic Dynamics and Hyperbolic Spaces, T. Bedford, M. Keane, and C. Series, Eds. Oxford University Press, 1991, pp. 175–222.
Prellberg, T. AND Slawny, J. Maps of intervals with Indifferent fixed points: Thermodynamic formalism and Phase transitions. Journal of Statistical Physics 66 (1992) 503–514
Rieger, G. J. Uber die mittlere Schrittazahl bei Divisionalgorithmen, Math. Nachr. (1978) pp 157–180
Rielle, D.Thermodynamic formalism, Addison Wesley (1978)
Relle, D.Dynamical Zeta Functions for Piecewise Monotone Maps of the Interval, vol. 4 of CRM Monograph Series, American Mathematical Society, Providence, 1994.
Tenenbaum, G.Introduction á la théorie analytique des nombres, vol. 13. Institut Élie Cartan, Nancy, France, 1990.
Vallée, B. Opérateurs de Ruelle-Mayer généralisés et analyse des algorithmes d’Euclide et de Gauss, Acta Arithmetica 81.2 (1997) 101–144.
Vallée, B. Fractions continues á contraintes périodiques, Journal of Number Theory 72 (1998) pp 183–235.
Vallée, B. Dynamics of the Binary Euclidean Algorithm: Functional Analysis and Operators., Algorithmica (1998) vol 22(4) pp 660–685.
Vallée, B. A Unifying Framework for the Analysis of a Class of Euclidean Algorithms., To appear in the proceedings of LATIN’2000, LNCS
Vardi, I. Continued fractions, Preprint, chapter of a book in preparation.
Yao, A.C., AND Knuth, D.E. Analysis of the subtractive algorithm for greatest common divisors. Proc. Nat. Acad. Sc. USA 72 (1975) pp 4720–4722.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Akhavi, A., Vallée, B. (2000). Average Bit-Complexity of Euclidean Algorithms. In: Montanari, U., Rolim, J.D.P., Welzl, E. (eds) Automata, Languages and Programming. ICALP 2000. Lecture Notes in Computer Science, vol 1853. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45022-X_32
Download citation
DOI: https://doi.org/10.1007/3-540-45022-X_32
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67715-4
Online ISBN: 978-3-540-45022-1
eBook Packages: Springer Book Archive