Title :
The inapproximability of lattice and coding problems with preprocessing
Author :
Feige, Uriel ; Micciancio, Daniele
Author_Institution :
Weizmann Inst. of Sci., Rehovot, Israel
fDate :
6/24/1905 12:00:00 AM
Abstract :
We prove that the closest vector problem with preprocessing (CVPP) is NP-hard to approximate within any factor less than √5/3. More specifically, we show that there exists a reduction from an NP-hard problem to the approximate closest vector problem such that the lattice depends only on the size of the original problem, and the specific instance is encoded solely, in the target vector. It follows that there are lattices for which the closest vector problem cannot be approximated within factors γ < √5/3 in polynomial time, no matter how the lattice is represented, unless NP is equal to P (or NP is contained in P/poly, in case of nonuniform sequences of lattices). The result easily extends to any lp norm, for p ⩾ 1, showing that CVPP in the lp norm is hard to approximate within any factor γ < p √5/3. As an intermediate step, we establish analogous results for the nearest codeword problem with preprocessing (NCPP), proving that for any finite field GF(q), NCPP over GF(q) is NP-hard to approximate within any factor less than 5/3
Keywords :
computational complexity; cryptography; NP-hard problem; closest vector problem with preprocessing; coding problems; computational complexity; cryptographic functions; inapproximability; lattice problems; nearest codeword problem with preprocessing; polynomial time; Application software; Computational complexity; Computer science; Cryptography; Galois fields; Lattices; Mathematics; NP-hard problem; Polynomials; Vectors;
Conference_Titel :
Computational Complexity, 2002. Proceedings. 17th IEEE Annual Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-7695-1468-5
DOI :
10.1109/CCC.2002.1004338