Quelques tests de primalité - Institut de Mathématiques de Bordeaux

Introduction De Fermat à Miller-Rabin Test de Miller-Rabin Le test de Solovay-Strassen
Quelques tests de primalité
J.-M. Couveignes (merci à T. Ezome et R. Lercier)
Institut de Mathématiques de Bordeaux & INRIA Bordeaux Sud-Ouest
École de printemps C2
Mars 2014
Introduction De Fermat à Miller-Rabin Test de Miller-Rabin Le test de Solovay-Strassen
Plan
1Introduction
2De Fermat à Miller-Rabin
3Test de Miller-Rabin
4Le test de Solovay-Strassen
Introduction De Fermat à Miller-Rabin Test de Miller-Rabin Le test de Solovay-Strassen
Définition et résultats classiques
Euclide, livre sept des Élément, vers -300 : définition, existence
d’un diviseur premier, algorithme pour pgcd et ppcm, infinité,
pk+1Qlkpl+1,
crible d’Eratosthène,
théorème fondamental de l’arithmétique (preuve par Gauss),
complexité linéaire pour +, quadratique pour ×, exponentielle
pour primalité et factorisation : T=n1/2+o(1).
Introduction De Fermat à Miller-Rabin Test de Miller-Rabin Le test de Solovay-Strassen
Distribution des nombres premiers
A10 100 1000 10000 100000
π(A)4 25 168 1229 9592
A(A)2.5 4 5.95 8.14 10.4
log A2.3 4.6 6.9 9.2 11.5
Théorème des nombres premiers : π(A) = A
log A×(1+o(1)) et
pn= (1+o(1)) ×nlog n.
Assez nombreux !
Introduction De Fermat à Miller-Rabin Test de Miller-Rabin Le test de Solovay-Strassen
Exponentiation
Étant donné gdans Get eentier naturel, calculer ge.
Maladroit g,g2,g3, . . . , ge1,ge.
T= (e1).
L’algorithme d’exponentiation rapide permet de calculer efficacement
ge. Méthode inventée par Pi ˙
ngala dans son Chandah-sûtra (entre
-450 et -250).
e=P0kKk2ket b0=g,bk=b2
k1pour 1 kK.
Puis
geY
0kK
bk
k.
T=O(log e).
1 / 30 100%

Quelques tests de primalité - Institut de Mathématiques de Bordeaux

La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !