la taille des données d’entrée de l’algortihme.
Pour les algorithmes de factorisation, on exprimera la complexité en fonction
de N(l’entier que l’on veut factoriser) ou du plus petit facteur premier de N
(que l’on note souvent p).
Par exemple, l’algorithme de factorisation naïf (appelé trial division) qui
consiste à diviser par tous les premiers inférieurs à la racine de Nà une com-
plexité en O(p)(et donc O(√N)dans le pire cas), si l’on compte les divisions
comme des opérations élementaires.
1.1.2 Notation L
Pour simplifier les notations, on utilise souvent la fonction suivante pour
exprimer la complexité des algorithmes de factorisation.
Définition 1.1.1. On définit, pour toute constante cpositive et pour tout
α∈[0,1] la fonction (en la variable x) suivante :
Lx(α, c) = e((c+o(1))(ln x)α(ln ln x)1−α)
Remarque 1.1.2.Remarquons d’abord les deux cas particulier :
–α= 0 :Lx(0, c) = e((c+o(1)) ln ln x)= (ln x)(c+o(1)).
–α= 1 :Lx(1, c) = e((c+o(1)) ln x)=x(c+o(1)).
La valeur de αpermet de classer les algorithmes ayant un complexité en
LN(α, c). Dans le cas de α= 0 on parle de complexité polynomiale, pour α= 1
on parle de complexité exponentielle et pour 0< α < 1on parle de complexité
sous-exponentielle.
Dans la suite on utilisera cette notation pour exprimer la complexité des
algorithmes en fonction de Nou p. Par exemple, l’algorithme de factorisation
naïf à une complexité exponentielle (LN(1/2,1) = O(√N)) tandis que tous les
algorithmes qui seront présentés dans la partie suivante ont un complexité sous-
exponentielle. Il n’existe à ce jour aucun algorithme de factorisation ayant une
complexité polynomiale.
1.1.3 Friabilité
La notion de friabilité est une notion importante en factorisation, elle mesure,
en un certain sens, la difficulté d’un nombre à être factorisé.
Définition 1.1.3. Soit x, y ∈N. L’entier xest dit y-friable (ou y-lisse) si pour
tout premier pdivisant xalors pest inférieur à y. L’entier xest dit y-superfriable
si pour tout premier pet pour tout entier etels que pedivise xalors peest
inférieur à y.
Exemple 1.1.4.L’entier 424242 = 2 ·32·72·13 ·37 est 37-friable mais pas
37-superfriable.
Le théorème de Canfield, Erdős et Pomerance [6] donne une estimation
asymptoptique du nombre d’entier friable.
3