Abstract
In this paper, we study the approximation complexity of the Minimum Integral Solution Problem with Preprocessing introduced by Alekhnovich et al. (FOCS, pp. 216–225, 2005). We show that the Minimum Integral Solution Problem with Preprocessing over \(\ell _\infty \) norm (\(\hbox {MISPP}_\infty \)) is NP-hard to approximate to within a factor of \((\log n)^{1/2-\epsilon },\) unless \(\mathbf{NP}\subseteq \mathbf{DTIME}(2^{poly log(n)}).\) This improves on the best previous result. The best result so far gave \(\sqrt{2}-\epsilon \) factor hardness for any \(\epsilon >0.\)
Similar content being viewed by others
References
Ajtai M (1996) Generating hard instances of lattice problems. In: Proceedings of the 28th annual ACM symposium on theory of computing, pp 99–108
Alekhnovich M, Khot S, Kindler G, Vishnoi N (2005) Hardness of approximating the closest vector problem with pre-processing. In: Proceedings of the 46th IEEE symposium on FOCS, pp 216–225
Arora S (1994) Probabilistic checking of proofs and the hardness of approximation problems. PhD Thesis, UC Berkeley
Arora S, Babai L, Stern J, Sweedyk EZ (1997) The hardness of approximate optima in lattices, codes, and systems of linear equations. J Comput Syst Sci 54(2):317–331
Ausiello G, Crescenzi P, Protasi M (1995) Approximation solutions of NP-optimization problems. Theor Comput Sci 150:1–55
Bellare M, Goldwasser S, Lund C, Russel A (1993) Efficient probabilistically checkable proofs with applications to approximation problems. In: Proceedings of the 25th ACM symposium on theory of computing, pp 294–304
Bollobás B (1986) Combinatorics. Cambridge University Press, Cambridge
Bruck J, Naor M (1990) The hardness of decoding linear codes with preprocessing. IEEE Trans Inf Theory 36(2):381–385
Chen W, Peng L, Wang J, Li F, Tang M, Xiong W, Wang S (2013) In approximability results for the minimum integral solution problem with preprocessing over infinity norm. Theor Comput Sci 478:127–131
Chen WB, Meng JT (2006) The hardness of the closest vector problem with preprocessing over \(\ell _\infty \) norm. IEEE Trans Inf Theory 52(10):4603–4606
Chen W, Meng J, Yin D (2008) An improved lower bound for approximating minimum GCD multiplier in \(\ell _\infty \) norm (GCDM\(_\infty \)). Theor Comput Sci 396(1–3):1–9
Dinur I (2000) Approximating SVP\(_\infty \) to within almost-polynomial factors is NP-hard. In: Proceedings of the 4th Italian conference on algorithms and complexity. LNCS, vol 1767. Springer, Berlin
Dinur I, Kindler G, Raz R, Safra S (2003) Approximating CVP to within almost-polynomial factors is NP-hard. Combinatorica 23(2):205–243
Feige U, Micciancio D (2004) The inapproximability of lattice and coding problems with preprocessing. J Comput Syst Sci 69(1):45–67
Feige U, Goldwasser S, Lovász L, Safra S, Szegedy M (1996) Interactive proofs and the hardness of approximating cliques. J ACM 43(2):268–292
Garey MR, Johnson DS (1979) Computers and intractability: a guide to the theory NP-completeness. W. H. Freeman and Company, San Francisco
Lobstein A (1990) The hardness of solving subset sum with preprocessing. IEEE Trans Inf Theory 36(4):943–946
Micciancio D (2001) The hardness of the closest vector problem with preprocessing. IEEE Trans Inf Theory 47:1212–1215
Regev O (2003) Improved inapproximability of lattice and coding problem with preprocessing. Proc Annu IEEE Conf Comput Complex 18:363–370
Regev O, Rosen R (2006) Lattice problems and norm embeddings. In: Proceedings of STOC
Acknowledgments
We would like to thank the anonymous referees for their careful readings of the manuscripts and many useful suggestions. Wenbin Chen’s research has been supported by the National Natural Science Foundation of China (NSFC) under Grant No. 11271097, faculties’ starting funding of Guangzhou University, the Research Project of Guangzhou Education Bureau under Grant No. 2012A074, the Project IIPL-2011-001 from Shanghai Key Laboratory of Intelligent Information Processing, and the Project KFKT2012B01 from State Key Laboratory for Novel Software Technology, Nanjing University. Lingxi Peng’s research has been also partly supported by the National Natural Science Foundation of China (NSFC) under Grant No. 61100150 and the Research Project of Guangzhou Education Bureau under Grant No. 2012A077. Jianxiong Wang’s research was partially supported under Guangzhou City Council’s Science and Technology Projects funding scheme (Project No. 12C42011622) and under Guangdong Provincial Education Department’s Yumiao early career researchers development funding scheme (2012WYM0105 and 2012LYM0105) and the Research Project of Guangzhou Education Bureau under Grant No. 2012A143. Fufang Li’s research was partially supported by Natural Science Foundation of Guangdong Province of China under Grant No. S2011040003843. Maobin Tang’s research has been also partly supported under Guangdong Province’s Science and Technology Projects under Grant Nos. 2011B020313023 and 2012A020602065 and the Research Project of Guangzhou Education Bureau under Grant No. 2012A075. Wei Xiong’s research was partially supported by Natural Science Foundation of Guangdong Province of China under Grant No. 10451009101004574.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Chen, W., Peng, L., Wang, J. et al. An improved lower bound for approximating the Minimum Integral Solution Problem with Preprocessing over \(\ell _\infty \) norm. J Comb Optim 30, 447–455 (2015). https://doi.org/10.1007/s10878-013-9646-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10878-013-9646-4