Algorithme LLL

Exemple d'une réduction de base de réseau, objectif de l'algorithme LLL. les vecteurs noirs sont les vecteurs de base et les rouges sont ceux de la base réduite.

L’algorithme LLL, des initiales de A. Lenstra, H. Lenstra et L. Lovász, est un algorithme de réduction de réseau qui s'exécute en temps polynomial.

Présentation

L'algorithme LLL procède à une réduction de base de réseau. Il prend en entrée un nombre d de vecteurs de base d'un réseau, tels que ces vecteurs soient de dimension n et de norme inférieure à B, et retourne en sortie une base de réseau LLL-réduite, c'est-à-dire presque orthogonale, en temps $O(d^{5}n{\log }^{3}B)$.

Pseudo-code

L'algorithme LLL repose sur l'algorithme de réduction faible de bases, qui permet de rendre une base presque orthogonale.

Entrée : Une base $B=(e_1,...,e_n)$
Sortie : Une base réduite issue de $B$
LLL(B):
  B = $(e_1,...,e_n)\leftarrow$ ReducFaible(B)

  *On fait Gram-Schmidt*
  Pour i=1 à n :                      
     Pour j= 1 à i-1 :
        $a_{i,j}\leftarrow \frac{<e_i,e_j>}{<e_j,e_j>}$
      $e_i\leftarrow e_i-\sum _{j<i}{a}_{i,j}{e}_j$

  Si B est réduite
    retourne B
  Sinon
    $i\leftarrow min(\{||j\in [1,n]|e_j+a_{j+1,j}{e}_{j+1}|{|}^2<\frac{3}{4}||e_j|{|}^2\})$
    echanger($e_i$,$e_{i+1}$)
    retourne LLL(B)

Applications

À l'origine, les applications consistaient en la production d'un algorithme de factorisation des polynômes à coefficients rationnels en produits de polynômes irréductibles, ainsi qu'en la résolution des problèmes d'optimisation linéaire avec solutions entières et dimensions fixes. D'autres applications ont été découvertes en cryptographie, notamment en cryptographie à clé publique, par exemple avec RSA, les cryptosystèmes basés sur le problème du sac à dos et NTRUEncrypt. En particulier l'algorithme LLL a rendu inefficaces tous les cryptosystèmes utilisant le problème du sac à dos. Il sert également dans le cas des réseaux euclidiens.

Bibliographie

• Modèle:Article
• Modèle:En Peter Borwein, Computational Excursions in Analysis and Number Theory, Springer, 2002 Modèle:ISBN : contient une description complète de l'algorithmes ainsi que des implémentations en pseudocode
• Modèle:Article