Abstract
In this paper we present semidefinite programming (SDP) gap instances for the following variants of the Label-Cover problem, closely related to the Unique Games Conjecture: (i) 2-to-1 Label-Cover; (ii) 2-to-2 Label-Cover; (iii) α-constraint Label-Cover. All of our gap instances have perfect SDP solutions. For alphabet size K, the integral optimal solutions have value: (i) \(O(1/\sqrt{\log K})\); (ii) O(1/logK); (iii) \(O(1/\sqrt{\log K})\).
Prior to this work, there were no known SDP gap instances for any of these problems with perfect SDP value and integral optimum tending to 0.
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
Bulatov, A., Dalmau, V.: A simple algorithm for Mal’tsev constraints. SICOMP 36(1), 16–27 (2006)
Charikar, M., Makarychev, K., Makarychev, Y.: Near-optimal algorithms for unique games. In: Proc. 38th ACM STOC, pp. 205–214 (2006)
Dinur, I., Mossel, E., Regev, O.: Conditional hardness for approximate coloring. SICOMP 39(3), 843–873 (2009)
Dinur, I., Safra, S.: On the hardness of approximating minimum vertex cover. Ann. Math. 162(1), 439–486 (2005)
Guruswami, V., Manokaran, R., Raghavendra, P.: Beating the random ordering is hard: Inapproximability of maximum acyclic subgraph. In: Proc. 49th IEEE FOCS, pp. 573–582 (2008)
Guruswami, V., Sinop, A.K.: Improved inapproximability results for maximum k-colorable subgraph. In: Dinur, I., Jansen, K., Naor, J., Rolim, J. (eds.) APPROX 2009 and RANDOM 2009. LNCS, vol. 5687, pp. 163–176. Springer, Heidelberg (2009)
Khot, S.: Hardness results for coloring 3-colorable 3-uniform hypergraphs. In: Proc. 43rd IEEE FOCS, pp. 23–32 (2002)
Khot, S.: On the power of unique 2-prover 1-round games. In: Proc. 34th ACM STOC, pp. 767–775 (2002)
Khot, S., Saket, R.: SDP integrality gaps with local ℓ1-embeddability. In: Proc. 50th IEEE FOCS, pp. 565–574 (2009)
Khot, S., Vishnoi, N.: The Unique Games Conjecture, integrality gap for cut problems and embeddability of negative type metrics into ℓ1. In: Proc. 46th IEEE FOCS, pp. 53–62 (2005)
O’Donnell, R., Wu, Y.: Conditional hardness for satisfiable CSPs. In: Proc. 41st ACM STOC, pp. 493–502 (2009)
Raghavendra, P.: Optimal algorithms and inapproximability results for every CSP? In: Proc. 40th ACM STOC, pp. 245–254 (2008)
Raghavendra, P., Steurer, D.: Integrality gaps for strong SDP relaxations of unique games. In: Proc. 50th IEEE FOCS, pp. 575–585 (2009)
Schoenebeck, G.: Linear level Lasserre lower bounds for certain k-CSPs. In: Proc. 49th IEEE FOCS, pp. 593–602 (2008)
Talagrand, M.: On Russo’s approximate zero-one law. Ann. Prob. 22(3), 1576–1587 (1994)
Tang, L.: Conditional hardness of approximating satisfiable Max 3CSP-q. In: Dong, Y., Du, D.-Z., Ibarra, O. (eds.) ISAAC 2009. LNCS, vol. 5878, pp. 923–932. Springer, Heidelberg (2009)
Tulsiani, M.: CSP gaps and reductions in the Lasserre hierarchy. In: Proc. 41st ACM STOC, pp. 303–312 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guruswami, V., Khot, S., O’Donnell, R., Popat, P., Tulsiani, M., Wu, Y. (2010). SDP Gaps for 2-to-1 and Other Label-Cover Variants. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds) Automata, Languages and Programming. ICALP 2010. Lecture Notes in Computer Science, vol 6198. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14165-2_52
Download citation
DOI: https://doi.org/10.1007/978-3-642-14165-2_52
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14164-5
Online ISBN: 978-3-642-14165-2
eBook Packages: Computer ScienceComputer Science (R0)