We show that the problem of deciding whether a given rational lattice L has
a vector of length less than some given value r is NP-hard, even under the
promise that L has exactly zero or one vector of length less than r. (C) 2
001 Published by Elsevier Science B.V.