Abstract
The search version for NP-complete combinatorial optimization problems asks for finding a solution of optimal value. Such a solution is called a witness. We follow a recent paper by Kumar and Sivakumar, and study a relatively new notion of approximate solutions that ignores the value of a solution and instead considers its syntactic representation (under some standard encoding scheme). The results that we present are of a negative nature. We show that for many of the well known NP-complete problems (such as 3-SAT, CLIQUE, 3-COLORING, SET COVER) it is NP-hard to produce a solution whose Hamming distance from an optimal solution is substantially closer than what one would obtain by just taking a random solution. In fact, we have been able to show similar results for most of Karp’s 21 original NP-complete problems. (At the moment, our results are not tight only for UNDIRECTED HAMILTONIAN CYCLE and FEEDBACK EDGE SET.)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Arora, C. Lund, R. Motwani, M. Sudan, M. Szegedy. Proofs Verification and Hardness of Approximation Problems. Journal of the ACM, Vol. 45(3), pp. 501–555, 1998.
S. Arora, S. Safra. Probabilistic Checking of Proofs: A new Characterization of NP. Journal of the ACM, Vol. 45(1), pp. 70–122, 1998.
T. H. Cormen, C. E. Leiserson, R. L. Rivest. Introduction to Algorithms. MIT press, 1990.
U. Feige, S. Goldwasser, L. Lovasz, S. Safra, M. Szegedy. Interactive Proofs and the Hardness of Approximating Cliques. Journal of ACM, Vol. 43(2), pp. 268–292, 1996.
A. Gal and S. Halevi and R. Lipton and E. Petrank. Computing from partial solutions. Proc. 14th IEEE Conference on Computational Complexity, pp. 34–45, 1999.
M.R. Garey and D.S. Johnson. Computers and Intractability: A guide to the theory of NP-Completeness. W.H. Freeman, 1979.
M.R. Garey, D.S. Johnson, L. Stockmeyer. Some simplified NP-complete graph problems. Theoretical Computer Science 1, pp.237–267, 1976.
O. Goldreich, D. Ron and M. Sudan. Chinese Remaindering with Errors. Proc. 31st Symp. Theory of Computing, pp. 225–234, 1999.
V. Guruswami and M. Sudan. List Decoding Algorithms for certain Concatenated Codes. Proc. 32nd Symp. Theory of Computing, pp. 181–190, 2000.
J. Håstad. Some optimal inapproximability results. Proc. 28th Symp. Theory of Computing, pp. 1–10, 1997.
R.M. Karp. Reducibility among Combinatorial Problems. Proc. Symp. Complexity of Computer Computations. Ed. R.E. Miller, J.W. Thatcher, pp. 85–103, 1972.
R. Kumar and D. Sivakumar. Proofs, Codes, and polynomial-Time Reducibilities. Proc. 14th IEEE Conference on Computational Complexity, pp. 46–53, 1999.
U. Schoning. A probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems. Proc. 40th IEEE Symp. on Foundations of Computer Science, pp. 410–414, 1999.
M. Sudan. Decoding of Reed Solomon codes beyond the error-correction bound. Journal of Complexity 13(1), pp. 180–193, 1997.
D. Zuckerman. On Unapproximable Versions of NP-Complete Problems. SIAM J.Comput. 25(6), pp. 1293–1304, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Feige, U., Langberg, M., Nissim, K. (2000). On the Hardness of Approximating NP Witnesses. In: Jansen, K., Khuller, S. (eds) Approximation Algorithms for Combinatorial Optimization. APPROX 2000. Lecture Notes in Computer Science, vol 1913. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44436-X_13
Download citation
DOI: https://doi.org/10.1007/3-540-44436-X_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67996-7
Online ISBN: 978-3-540-44436-7
eBook Packages: Springer Book Archive