Lattice algorithms
Hoe dichtbij kunnen we het dichtstbijzijnde roosterpunt vinden?
Denk aan een regelmatig rooster in veel dimensies. Welk roosterpunt ligt het dichtst bij een gegeven punt? De vraag is eenvoudig, maar zelfs een goede benadering kan moeilijk zijn.
Formeel bewijs gemeld↗