Αναγωγή Λένστρα–Λένστρα–Λοβάς

Η αναγωγή βάσης ενός πλέγματος κατά Lenstra–Lenstra–Lovasz (LLL)  είναι ένας αλγόριθμος πολυωνυμικού χρόνου που επινοήθηκε από τους Άριεν Λένστρα, Χέντρικ Λένστρα και Λάσλο Λοβάς το 1982. Αν μας δοθεί μία βάση 
 με  
 ενός πλέγματος , ο LLL αλγόριθμος υπολογίζει μία δ-ΛΛΛ-ανηγμένη βάση (μικρά μήκη διανυσμάτων, σχεδόν ορθογώνια) σε πολυωνυμικό χρόνο.

Ορισμός δ-LLL ανηγμένης βάσης ενός πλέγματος 

Ο ακριβής ορισμός της ανηγμένης βάσης στον LLL είναι ο ακόλουθος:  

Δεδομένης μιας βάσης

ορίζουμε τη διαδικασία Gram-Schimdt για ορθογώνια βάση

και τους συντελεστές Gram-Schimdt
, για κάθε .
Η βάση  είναι ανηγμένη κατά LLL αν υπάρχει μια παράμετρος  στο (0.25,1] τέτοια ώστε να ισχύει το εξής:
 Για . Εξ ορισμού, αυτή η ιδιότητα εξασφαλίζει τη μείωση του μήκους της διατεταγμένης βάσης (size-reduced) .
 Για k = 1,2,..,n  (συνθήκη Λοβάς) .
Στα παραπάνω, εκτιμώντας την τιμή της παραμέτρου , μπορούμε να συμπεράνουμε πόσο καλά είναι ανηγμένη η βάση. Μεγαλύτερες τιμές του   οδηγούν σε ισχυρότερη αναγωγή της βάσης.

Αρχικά, οι Α. Λένστρα, Χ. Λένστρα και Λ. Λοβάς απέδειξαν τον αλγόριθμο LLL για  .
Ας σημειωθεί ότι αν και ο αλγόριθμος είναι καλά ορισμένος για , η πολυπλοκότητα πολυωνυμικού χρόνου εξασφαλίζεται μόνο για   στο (0.25,1).
Ο αλγόριθμος LLL υπολογίζει LLL ανηγμένες βάσεις. Δεν υπάρχει γνωστός αποδοτικός αλγόριθμος που υπολογίζει μια βάση της οποία τα διανύσματα είναι όσο το δυνατόν μικρά για πλέγματα με διάσταση μεγαλύτερη από 4. Ωστόσο, μια ανηγμένη κατά LLL βάση είναι σχεδόν όσο το δυνατόν μικρότερη, με την έννοια ότι υπάρχουν όρια  τέτοια ώστε το πρώτο διάνυσμα της βάσης δεν είναι παραπάνω από  φορές το μικρότερο διάνυσμα του πλέγματος, για το δεύτερο διάνυσμα υπάρχει αντίστοιχα ένα , και ούτω καθεξής.

Αλγόριθμος αναγωγής κατά LLL με χρήση Ευκλείδειας νόρμας 

Η ακόλουθη περιγραφή βασίζεται στον Γκαλμπρέιθ .

 ΔΕΔΟΜΕΝΑ:  (μια βάση του πλέγματος), παράμετρος ,  τυπική τιμή 
 ΑΠΟΤΕΛΕΣΜΑΤΑ: Βάση ανηγμένη κατά LLL: 
 
 ΑΛΓΟΡΙΘΜΟΣ:
 Υπολόγισε την Gram-Schmidt βάση  και τους συντελεστές , για .
 Υπολόγισε  για .
 
 
 Όσο  επανάλαβε
 {
     Για  μέχρι  με βήμα  επανάλαβε
     {
         
         
         Επανυπολόγισε τα  για 
     }
     Αν  τότε
         
     Αλλιώς
     {
         Εναλλαγή  με 
         Επανυπολόγισε τα  και  για , και  για 
         
     }
 }

Παραδείγματα ανηγμένων κατά LLL βάσεων

Χρονική πολυπλοκότητα του αλγορίθμου LLL

Εφαρμογές του LLL

Παραπομπές 

Θεωρία αριθμών
Αλγόριθμοι