Abstract
We study various SDP formulations for Vertex Cover by adding different constraints to the standard formulation. We rule out approximations better than \(2-\Omega(\sqrt{1 / \log n})\). We further show the surprising fact that by strengthening the SDP with the (intractable) requirement that the metric interpretation of the solution embeds into ℓ1 with no distortion, we get an exact relaxation (integrality gap is 1), and on the other hand if the solution is arbitrarily close to being ℓ1 embeddable, the integrality gap is 2 − o(1). Finally, inspired by the above findings, we use ideas from the integrality gap construction of Charikar to provide a family of simple examples for negative type metrics that cannot be embedded into ℓ1 with distortion better than 8/7 − ε. To this end we prove a new isoperimetric inequality for the hypercube.
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
Dinur, I., Safra, S.: On the hardness of approximating minimum vertex-cover. Annals of Mathematics 162(1), 439–486 (2005)
Khot, S.: On the power of unique 2-prover 1-round games. In: Proceedings of the Thirty-Fourth Annual ACM Symposium on Theory of Computing (electronic), pp. 767–775. ACM Press, New York (2002)
Khot, S., Regev, O.: Vertex cover might be hard to approximate to within 2 − ε. In: Proceedings of the 18th IEEE Conference on Computational Complexity, pp. 379–386. IEEE Computer Society Press, Los Alamitos (2003)
Goemans, M.X., Williamson, D.P.: Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J. Assoc. Comput. Mach. 42(6), 1115–1145 (1995)
Halperin, E.: Improved approximation algorithms for the vertex cover problem in graphs and hypergraphs. SIAM J. Comput (electronic) 31(5), 1608–1623 (2002)
Karakostas, G.: A better approximation ratio for the vertex cover problem. In: Proceedings of the Thirty-Second International Colloquium on Automata, Languages and Programming (2005)
Kleinberg, J., Goemans, M.X.: The Lovász theta function and a semidefinite programming relaxation of vertex cover. SIAM J. Discrete Math (electronic) 11(2), 196–204 (1998)
Charikar, M.: On semidefinite programming relaxations for graph coloring and vertex cover. In: SODA 2002. Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms, Philadelphia, PA, USA, Society for Industrial and Applied Mathematics, pp. 616–620 (2002)
Arora, S., Rao, S., Vazirani, U.: Expander flows, geometric embeddings and graph partitioning. In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing (electronic), pp. 222–231. ACM Press, New York (2004)
Chawla, C., Gupta, A., Räcke, H.: Embeddings of negative-type metrics and an improved approximation to generalized sparsest cut. In: SODA 2005. Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms, Vancouer, BC, Canada, pp. 102–111. ACM Press, New York (2005)
Arora, S., Lee, J., Naor, A.: Euclidean distortion and the sparsest cut [extended abstract]. In: STOC 2005. Proceedings of the 37th Annual ACM Symposium on Theory of Computing, pp. 553–562. ACM Press, New York (2005)
Khot, S., Vishnoi, N.: The unique games conjecture, integrality gap for cut problems and embeddability of negative type metrics into ℓ1. In: Proceedings of The 46-th Annual Symposium on Foundations of Computer Science (2005)
Devanur, N., Khot, S., Saket, R., Vishnoi, N.: Integrality gaps for sparsest cut and minimum linear arrangement problems. In: Proceedings of the thirty-eighth annual ACM symposium on Theory of computing, ACM Press, New York (2006)
Georgiou, K., Magen, A., Pitassi, T., Tourlakis, I.: Integrality gaps of 2 − o(1) for vertex cover sdps in the lovász-schrijver hierarchy. In: ECCCTR: Electronic Colloquium on Computational Complexity, technical reports, TR06-152 (2006)
Agarwal, A., Charikar, M., Makarychev, K., Makarychev, Y.: \(O(\sqrt{\log n})\) approximation algorithms for min UnCut, min 2CNF deletion, and directed cut problems. In: STOC 2005. Proceedings of the thirty-seventh annual ACM symposium on Theory of computing, pp. 573–581. ACM Press, New York (2005)
Deza, M., Laurent, M.: Geometry of cuts and metrics, p. 587. Springer-Verlag, Berlin (1997)
Krauthgamer, R., Rabani, Y.: Improved lower bounds for embeddings into l 1. In: Proceedings of the ACM-SIAM Symposium on Discrete Algorithms, ACM Press, New York (2006)
Frankl, P., Rödl, V.: Forbidden intersections. Trans. Amer. Math. Soc. 300(1), 259–286 (1987)
Lovász, L., Schrijver, A.: Cones of matrices and set-functions and 0-1 optimization. SIAM Journal on Optimization 1(2), 166–190 (1991)
Arora, S., Alekhnovich, M., Tourlakis, I.: Towards strong nonapproximability results in the lovász-schrijver hierarchy. In: STOC 2005. Proceedings of the thirty-seventh annual ACM symposium on Theory of computing, ACM Press, New York (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hatami, H., Magen, A., Markakis, E. (2007). Integrality Gaps of Semidefinite Programs for Vertex Cover and Relations to ℓ1 Embeddability of Negative Type Metrics. In: Charikar, M., Jansen, K., Reingold, O., Rolim, J.D.P. (eds) Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. APPROX RANDOM 2007 2007. Lecture Notes in Computer Science, vol 4627. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74208-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-74208-1_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74207-4
Online ISBN: 978-3-540-74208-1
eBook Packages: Computer ScienceComputer Science (R0)