Академический Документы
Профессиональный Документы
Культура Документы
e : th
eorie et pratique
Tests de primalit
e : th
eorie et pratique
Introduction
Nombres premiers
Nombres premiers
Tests de primalit
e : th
eorie et pratique
Introduction
Nombres premiers
Mais. . .
Definition
Un nombre premier est un entier naturel p > 1 ayant exactement
deux diviseurs (positifs) : 1 et p.
Un nombre compose est un entier naturel n > 1 qui nest pas
premier.
Exemples
Les nombres premiers inferieurs `a 100 sont :
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67,
71, 73, 79, 83, 89 et 97
Tests de primalit
e : th
eorie et pratique
Introduction
Tests de primalit
e
Tests de primalit
e : th
eorie et pratique
Tests de primalit
e : th
eorie et pratique
Premier algorithme
Premier algorithme
Observations
el
ementaires
La complexit
e
Lalgorithme elementaire
Premier algorithme
entr
ee n>1 entier
n=
log2 (n)
Le crible dEratosth`
ene
Tests de primalit
e : th
eorie et pratique
Tests de primalit
e : th
eorie et pratique
La th
eorie de la complexit
e
La th
eorie de la complexit
e
La classe P
La classe NP
La classe P
Tests de primalit
e : th
eorie et pratique
La th
eorie de la complexit
e
La classe NP
n.
Tests de primalit
e : th
eorie et pratique
Vers des algorithmes plus efficaces
Calcul dans Z/nZ
Proprietes de Z/nZ
Tests de primalit
e : th
eorie et pratique
Vers des algorithmes plus efficaces
Calcul dans Z/nZ
Les unites
Soit Z/nZ lensemble des unites de Z/nZ, cest `a dire les
elements Z/nZ pour lesquels il existe avec = 1.
Z/nZ est un groupe pour la multiplication.
Tests de primalit
e : th
eorie et pratique
Vers des algorithmes plus efficaces
Calcul dans Z/nZ
Proposition
Si k Z, alors k Z/nZ si et seulement si pgcd(k, n) = 1.
Definition
Lindicatrice dEuler est definie par (n) = ordre de Z/nZ .
Complements
Tests de primalit
e : th
eorie et pratique
Vers des algorithmes plus efficaces
Application aux tests de primalit
e
Corollaire
Soit p > 2 un nombre premier et soient s, t tels que p 1 = 2s t
avec t impair.
Pour tout a non divisible par p on a alors
t
a 1 (mod n)
ou
i
il existe i avec 0 i s 1 tel que a2 t 1 (mod n)
Tests de primalit
e : th
eorie et pratique
Vers des algorithmes plus efficaces
Application aux tests de primalit
e
Tests de primalit
e : th
eorie et pratique
Vers des algorithmes plus efficaces
Application aux tests de primalit
e
Tests de primalit
e : th
eorie et pratique
Vers des algorithmes plus efficaces
Application aux tests de primalit
e
Avantages
Corollaire
Remarque
mais non-nulle !
Theor`eme
Tests de primalit
e : th
eorie et pratique
Vers des algorithmes plus efficaces
Application aux tests de primalit
e
Inconvenients
Tests de primalit
e : th
eorie et pratique
Vers des algorithmes plus efficaces
Un test de primalit
e de classe NP
Tester la primalite
Un certificat pour prouver la primalite ?
Toutefois. . .
La majorite des nombres premiers vendus dans le commerce ne
sont que des pseudopremiers forts.
Tests de primalit
e : th
eorie et pratique
Vers des algorithmes plus efficaces
Un test de primalit
e de classe NP
p1 1 (mod p)
a
et
(p1)/q
a
6 1 (mod p) pour tout diviseur premier q | p 1.
Tests de primalit
e : th
eorie et pratique
Avanc
ees r
ecentes
Un algorithme de classe P
Utilisation de polynomes
Polynomes `a coefficients dans Z/nZ
Un certificat recursif
Dapr`es le theor`eme de Lucas, les donnees suivantes forment un
certificat de primalite pour p :
I
Lemme
Soient n, a des entiers avec n 2 et pgcd(n, a) = 1 alors n est
premier si et seulement si
(X + a)n X n + a
(mod n).
Tests de primalit
e : th
eorie et pratique
Tests de primalit
e : th
eorie et pratique
Avanc
ees r
ecentes
Avanc
ees r
ecentes
Un algorithme de classe P
Un algorithme de classe P
La fin de lhistoire ?
La demonstration du theor`eme
Z/r Z
lordre de n dans
a)n
Xn
(n))2 ,
+ a (mod
Xr
Reciproque
Lemme (A, K, S)
Tests de primalit
e : th
eorie et pratique
Avanc
ees r
ecentes
Le elliptic curve primality proving algorithm
La pratique
Tests de primalit
e : th
eorie et pratique
Avanc
ees r
ecentes
Le elliptic curve primality proving algorithm
p1 1 (mod p)
a
et
(p1)/q
a
6 1 (mod p) pour tout diviseur premier q | p 1.
Tests de primalit
e : th
eorie et pratique
Tests de primalit
e : th
eorie et pratique
Avanc
ees r
ecentes
Avanc
ees r
ecentes
Pourquoi p 1 ?
Courbes elliptiques
I
Z/pZ
Au cas o`
u p 1 est difficile `a factoriser, on utilise dautres
groupes algebriques sur Z/pZ : les courbes elliptiques,
donnees par des equations du type
y 2 = x 3 + ax + b
pour p premier.
Tests de primalit
e : th
eorie et pratique
Avanc
ees r
ecentes
Le elliptic curve primality proving algorithm
(?)
Tests de primalit
e : th
eorie et pratique
Avanc
ees r
ecentes
Le elliptic curve primality proving algorithm
Theor`eme (Cassels)
Si E est une courbe elliptique et p un nombre premier. Alors
E (Z/pZ) est un groupe commutatif fini.
Ce groupe est cyclique ou cest le produit de deux groupes
cycliques.
Theor`eme (Hasse)
Tests de primalit
e : th
eorie et pratique
Avanc
ees r
ecentes
Le elliptic curve primality proving algorithm
Le point cle
Tests de primalit
e : th
eorie et pratique
Avanc
ees r
ecentes
Le elliptic curve primality proving algorithm
Quelques records
Nombres premiers ordinaires
Tests de primalit
e : th
eorie et pratique
Conclusion
Cas particuliers
Les plus grands nombres premiers prouves sont des nombres de
Mersenne, de la forme p = 2q 1 pour q premier.
On utilise des methodes adaptees `a la forme particuli`ere de p.
E. Lucas a prouve la primalite de 2127 1 `a la main, ce qui lui a
pris 19 ans.
Le record actuel correspond `a q = 43 112 609 (p est un nombre de
12 978 189 chiffres decimaux).
Tests de primalit
e : th
eorie et pratique
Conclusion
En resume
Litterature
I
R. Crandall et C. Pomerance.
Prime numbers.
Springer-Verlag, New York, 2001.
R. Schoof.
Four primality testing algorithms.
Dans Algorithmic number theory: lattices, number fields, curves
and cryptography, Math. Sci. Res. Inst. Publ. 44, pages
101126. Cambridge Univ. Press, Cambridge, 2008.