loading...
The Complexity of the Covering Radius Problem on Lattices and Codes
Amherst, Massachusetts June 21-June 24
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CCC.2004.131383119th Annual IEEE Conference on Comput ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Venkatesan Guruswami, University of Washington
Daniele Micciancio, University of California at San Diego
Oded Regev, Tel-Aviv University

We initiate the study of the computational complexity of the covering radius problem for point lattices, and approximation versions of the problem for both lattices and linear codes. We also investigate the computational complexity of the shortest linearly independent vectors problem, and its relation to the covering radius problem for lattices.

For the covering radius on n-dimensional lattices, we show that the problem can be approximated within any constant factor \gamma(n) > 1 in random exponential time 2^O(n), it is in AM for \gamma(n) = 2, in coAM for \gamma(n) = \sqrt {n\log n} and in NP ∩ coNP for \gamma (n) = \sqrt n.

For the covering radius on n-dimensional linear codes, we show that the problem can be solved in deterministic polynomial time for approximation factor \gamma (n) = log n, but cannot be solved in polynomial time for some \gamma (n) = \Omega (\log \log n) unless NP can be simulated in deterministic n^{0(\log \log \log n)} time. Moreover, we prove that the problem is NP-hard for every constant approximation factor, it is \prod 2-hard for some constant approximation factor, and it is in AM for approximation factor 2. So, it is unlikely to be \prod 2-hard for approximation factors larger than 2. This is a natural hardness of approximation result in the polynomial hierarchy.

For the shortest independent vectors problem, we give a coAM protocol achieving approximation factor \gamma (n) = \sqrt {n/\log n} , solving an open problem of Blömer and Seifert (STOC'99), and prove that the problem is also in coNP for \gamma (n) = \sqrt n. Both results are obtained by giving a gap-preserving non-deterministic polynomial time reduction to the closest vector problem.

Citation:
Venkatesan Guruswami, Daniele Micciancio, Oded Regev, "The Complexity of the Covering Radius Problem on Lattices and Codes," ccc, pp.161-173, 19th Annual IEEE Conference on Computational Complexity (CCC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.