The Voronoi cell computation algorithm of
solves the Closest Vector Problem (CVP) (and a number of other related lattice problems, including SVP and SIVP) deterministically using time and space .
The algorithm was the first one to solve CVP in single exponential time , improving the previous upper bound based on enumeration methods. The algorithm of (1) is still the theoretically fastest deterministic algorithm to solve CVP and SVP, but its running time has been improved to using randomization by combinatorial algorithms.
The algorithm of (1) is simple enough to be implemented and run in low dimension (say, ), but not competitive in practice with other methods based on Sieving or Enumeration techniques, due to its high space complexity and the fact that its actual running time is close to the theoretical worst-case upper bound.
The method of (1) to solve CVP after the Voronoi cell of the lattice has been computed is a variant of an algorithm first proposed in (2). The method is further studied in (3), and it is also related to the method used in (4) to solve CVP in certain lattices with special structure.
Finding the closest lattice point by iterative slicing
(Sommer, Feder & Shalvi - SIAM J. Disc. Math. 2009)
Short paths on the Voronoi graph and closest vector problem with preprocessing
(Dadush & Bonifas - SODA 2015)
Finding a closest point in a lattice of Voronoi’s first kind
(McKilliam, Grant & Clarkson - SIAM J. Disc. Math. 2014)
The algorithm of (1) is specific to the Euclidean norm, but it has been used in
Enumerative Lattice Algorithms in any Norm Via M-ellipsoid Coverings
(Dadush, Peikert & Vempala - FOCS 2011) [arXiv]
Deterministic construction of an approximate M-ellipsoid and its applications to derandomizing lattice algorithms
(Dadush & Vempala - SODA 2012) [arXiv]
Near-optimal deterministic algorithms for volume computation via M-ellipsoids
(Dadush & Vempala - PNAS 2013) [arXiv]
to solve SVP deterministically in time -time with respect to any norm, providing a deterministic alternative to SVP sieving algorithms.