Lattice algorithms
Peut-on approcher efficacement le point de réseau le plus proche ?
Dans une grille régulière de grande dimension, on cherche le point le plus proche d’une position donnée. Même une approximation assez précise peut être difficile à calculer.
Preuve formelle annoncée↗