{"title":"格的不可逼近性与预处理的编码问题","authors":"U. Feige, Daniele Micciancio","doi":"10.1109/CCC.2002.1004338","DOIUrl":null,"url":null,"abstract":"We prove that the closest vector problem with preprocessing (CVPP) is NP-hard to approximate within any factor less than /spl radic/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 /spl gamma/ < /spl radic/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 /spl ges/ 1, showing that CVPP in the lp norm is hard to approximate within any factor /spl gamma/ < /sup p//spl radic/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.","PeriodicalId":193513,"journal":{"name":"Proceedings 17th IEEE Annual Conference on Computational Complexity","volume":"52 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"56","resultStr":"{\"title\":\"The inapproximability of lattice and coding problems with preprocessing\",\"authors\":\"U. Feige, Daniele Micciancio\",\"doi\":\"10.1109/CCC.2002.1004338\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We prove that the closest vector problem with preprocessing (CVPP) is NP-hard to approximate within any factor less than /spl radic/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 /spl gamma/ < /spl radic/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 /spl ges/ 1, showing that CVPP in the lp norm is hard to approximate within any factor /spl gamma/ < /sup p//spl radic/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.\",\"PeriodicalId\":193513,\"journal\":{\"name\":\"Proceedings 17th IEEE Annual Conference on Computational Complexity\",\"volume\":\"52 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-05-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"56\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 17th IEEE Annual Conference on Computational Complexity\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CCC.2002.1004338\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 17th IEEE Annual Conference on Computational Complexity","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CCC.2002.1004338","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The inapproximability of lattice and coding problems with preprocessing
We prove that the closest vector problem with preprocessing (CVPP) is NP-hard to approximate within any factor less than /spl radic/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 /spl gamma/ < /spl radic/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 /spl ges/ 1, showing that CVPP in the lp norm is hard to approximate within any factor /spl gamma/ < /sup p//spl radic/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.