computational complexity

, Volume 14, Issue 2, pp 90–121

The complexity of the covering radius problem

  • Venkatesan Guruswami
  • Daniele Micciancio
  • Oded Regev
Open AccessOriginal Paper

DOI: 10.1007/s00037-005-0193-y

Cite this article as:
Guruswami, V., Micciancio, D. & Regev, O. comput. complex. (2005) 14: 90. doi:10.1007/s00037-005-0193-y


We initiate the study of the computational complexity of the covering radius problem for 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 γ(n) > 1 in random exponential time 2O(n). We also prove that suitably defined gap versions of the problem lie in AM for λ(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^{{O(\log \log \log n)}} \) time. Moreover, we prove that the problem is NP-hard for any constant approximation factor, it is Π2-hard for some constant approximation factor, and that it is unlikely to be Π2-hard for approximation factors larger than 2 (by giving an AM protocol for the appropriate gap problem). 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 nondeterministic polynomial time reduction to the closest vector problem.


Latticeslinear codescovering radiusapproximation algorithmshardness of approximationcomplexity classespolynomial time hierarchyinteractive proofs

Subject classification.

Download to read the full article text

Copyright information

© Birkhäuser Verlag, Basel 2005

Authors and Affiliations

  • Venkatesan Guruswami
    • 1
  • Daniele Micciancio
    • 2
  • Oded Regev
    • 3
  1. 1.Department of Computer ScienceUniversity of WashingtonSeattleU.S.A
  2. 2.Department of Computer Science and EngineeringUniversity of CaliforniaSan Diego La JollaU.S.A
  3. 3.Department of Computer ScienceTel-Aviv UniversityTel-AvivIsrael