Lattice algorithms
Wie gut lässt sich der nächste Gitterpunkt approximieren?
In einem hochdimensionalen regelmäßigen Gitter sucht man den Punkt mit dem kleinsten Abstand zu einem gegebenen Ort. Sogar eine gute Näherung kann schwierig sein.
Formaler Beweis gemeldet↗