In-place fast polynomial modular remainder - Archive ouverte HAL
Rapport Année : 2023

In-place fast polynomial modular remainder

Résumé

We consider the fast in-place computation of the Euclidean polynomial modular remainder R(X) ≡ A(X) mod B(X) with A and B of respective degrees n and m ≤ n. If the multiplication of two polynomials of degree k can be performed with M(k) operations and O(k) extra space, then standard algorithms for the remainder require O(n/m M(m)) arithmetic operations and, apart from that of A and B, at least O(n − m) extra memory. This extra space is notably usually used to store the whole quotient Q(X) such that A = BQ + R with deg R < deg B. We avoid the storage of the whole of this quotient, and propose an algorithm still using O(n/m M(m)) arithmetic operations but only O(m) extra space. When the divisor B is sparse with a constant number of non-zero terms, the arithmetic complexity bound reduces to O(n). When it is allowed to use the input space of A or B for intermediate computations, but putting A and B back to their initial states after the completion of the remainder computation, we further propose an in-place algorithm (that is with its extra required space reduced to O(1) only) using at most O(n/m M(m) log(m)) arithmetic operations if M(m) is quasi-linear and O(n/m M(m)) otherwise. We also propose variants that compute -- still in-place and with the same complexity bounds -- the over-place remainder A(X) ≡ A(X) mod B(X) and the accumulated remainder R(X) +≡ A(X) mod B(X). To achieve this, we develop techniques for Toeplitz matrix operations which output is also part of the input. In-place accumulating versions are obtained for the latter and for polynomial remaindering. This is realized via further reductions to accumulated polynomial multiplication, for which in-place fast algorithms have recently been developed.
Fichier principal
Vignette du fichier
inplrem.pdf (304.7 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03979016 , version 1 (09-02-2023)
hal-03979016 , version 2 (24-02-2023)
hal-03979016 , version 3 (03-04-2023)
hal-03979016 , version 4 (21-07-2023)
hal-03979016 , version 5 (24-10-2023)
hal-03979016 , version 6 (12-01-2024)
hal-03979016 , version 7 (28-06-2024)

Identifiants

Citer

Jean-Guillaume Dumas, Bruno Grenet. In-place fast polynomial modular remainder. Univ. Grenoble Alpes. 2023. ⟨hal-03979016v5⟩
542 Consultations
217 Téléchargements

Altmetric

Partager

More