Abstract
During the past decade we have had much success in proving (using probabilistically checkable proofs or PCPs) that computing approximate solutions to NP-hard optimization problems such as CLIQUE, COLORING, SET-COVER etc. is no easier than computing optimal solutions.
After the above notable successes, this effort is now stuck for many other problems, such as METRIC TSP, VERTEX COVER, GRAPH EXPANSION, etc.
In a recent paper with Béla Bollobás and László Lovász we argue that NP-hardness of approximation may be too ambitious a goal in these cases, since NP-hardness implies a lowerbound – assuming P ≠ NP – on all polynomial time algorithms. A less ambitious goal might be to prove a lowerbound on restricted families of algorithms. Linear and semidefinite programs constitute a natural family, since they are used to design most approximation algorithms in practice. A lowerbound result for a large subfamily of linear programs may then be viewed as a lowerbound for a restricted computational model, analogous say to lowerbounds for monotone circuits
The above paper showed that three fairly general families of linear relaxations for vertex cover cannot be used to design a 2-approximation for Vertex Cover. Our methods seem relevant to other problems as well.
This talk surveys this work, as well as other open problems in the field. The most interesting families of relaxations involve those obtained by the so-called lift and project methods of Lovász-Schrijver and Sherali-Adams.
Proving lowerbounds for such linear relaxations involve elements of combinatorics (i.e., strong forms of classical Erdős theorems), proof complexity, and the theory of convex sets.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Arora, S., Bollobás, B., Lovász, L.: Proving integrality gaps without knowing the linear program. In: Proc. IEEE FOCS 2002 (2002)
Arora, S., Lund, C.: Hardness of approximations. In: [3]
Hochbaum, D. (ed.): Approximation Algorithms for NP-hard problems. PWS Publishing, Boston (1996)
Lovász, L., Schrijver, A.: Cones of matrices and setfunctions, and 0-1 optimization. SIAM Journal on Optimization 1, 166–190 (1990)
Sherali, H.D., Adams, W.P.: A hierarchy of relaxations between the continuous and convex hull representations for zeroone programming problems. SIAM J. Optimization 3, 411–430 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arora, S. (2003). Proving Integrality Gaps without Knowing the Linear Program. In: Lingas, A., Nilsson, B.J. (eds) Fundamentals of Computation Theory. FCT 2003. Lecture Notes in Computer Science, vol 2751. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45077-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-45077-1_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40543-6
Online ISBN: 978-3-540-45077-1
eBook Packages: Springer Book Archive