Probabilistic analyses of the plain multiple gcd algorithm. (May 2016)

• Record Type: Journal Article
• Authors: Berthé, Valérie; Lhote, Loïck; Vallée, Brigitte
• Is Part Of: Journal of symbolic computation. Volume 74(2016)
• Page Start: 425
• Page End: 474
• Publication Date: 2016-05
• Subjects: Gcd algorithms -- Analysis of algorithms -- Analytic combinatorics -- Generating functions -- Transfer operator -- Dynamical analysis -- Limit laws -- Beta law -- Perron Formula -- Landau Theorem; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2015.08.007
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: Among multiple gcd algorithms on polynomials as on integers, one of the most natural ones performs a sequence of ℓ − 1 phases ( ℓ is the number of inputs), with each of them being the Euclid algorithm on two entries. We present here a complete probabilistic analysis of this algorithm, by providing both the average-case and the distributional analysis, and by handling in parallel the integer and the polynomial cases, for polynomials with coefficients in a finite field. The main parameters under consideration are the number of iterations in each phase and the evolution of the size of the current gcd along the execution. Three phenomena are clearly emphasized through this analysis: the fact that almost all the computations are performed during the first phase, the great difference between the probabilistic behavior of the first phase compared to subsequent phases, and, as can be expected, the great similarity between the integer and the polynomial cases.