CFDP 946

Let F(x) be a convex function deﬁned in Rn, which is symmetric about the origin and homogeneous of degree 1, and let L be the lattice of integers Zn. A deﬁnition of a reduced basis, b1, …, bn, of the lattice with respect to the distance function F is presented, and we describe an algorithm which yields a reduced basis in polynomial time, for ﬁxed n. In the special case in which the bodies {x: F(x) < t} are ellipsoids, the deﬁnition of a reduced basis is identical with that given by Lenstra, Lenstra and Lovasz (1982) and the algorithm is the well known basis reduction algorithm.

We show that the basis vector b1, in a reduced basis, is an approximation to a shortest non-zero lattice point with respect to F and relate the basis vectors bi to Minkowski’s successive minima. The results lead to an algorithm for integer programming which executes in polynomial time for ﬁxed n, but which avoids the ellipsoidal approximation required by Lenstra’s algorithm. We also discuss the properties of a Korkine-Zolotarev basis for the lattice.