Hardness of finding independent sets in 2-colorable and almost 2-colorable hypergraphs

Subhash Khot, Rishi Saket

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This work studies the hardness of finding independent sets in hypergraphs which are either 2-colorable or are almost 2-colorable, i.e. can be 2-colored after removing a small fraction of vertices and the incident hyperedges. To be precise, say that a hypergraph is (1 - ε)-almost 2-colorable if removing an ε fraction of its vertices and all hyperedges incident on them makes the remaining hypergraph 2-colorable. In particular we prove the following results. • For an arbitrarily small constant γ > 0, there is a constant ξ > 0, such that, given a 4-uniform hypergraph on n vertices which is (1 - ε)-almost 2- colorable for ε = 2-(logn) ξ it is quasi-NP-hard1 to find an independent set of n/ (2 (logn)1-γ) vertices. • For any constants ε δ > 0, given as input a 3- uniform hypergraph on n vertices which is (1 - ε)-aImost 2-colorable, it is NP-hard to find an independent set of δn vertices. • Assuming the d-to-1 Games Conjecture the following holds. For any constant δ > 0. given a 2- colorable 3-uniform hypergraph on n vertices, it is NP-hard to find an independent set of δn vertices. The hardness result on independent set in almost 2- colorable 3-uniform hypergraphs was earlier known only assuming the Unique Games Conjecture. In this work we prove the result unconditionally, combining Fourier analytic techniques with the Multi-Layered PCP of [11]. For independent sets in 2-colorable 3-uniform hy- pergaphs we prove the first strong hardness result, albeit assuming the d-to-1 Games Conjecture. Our reduction uses the d-to-1 Game as a starting point to construct a Multi-Layered PCP with the smoothness property. We use analytical techniques based on the Invariance Principle of Mossel [36], The smoothness property is crucially exploited in a manner similar to recent work of Hastad [20] and Wenner [45], Our result on almost 2-colorable 4-uniform hypergraphs gives the first nearly polynomial hardness factor for independent set in hypergraphs which are (almost) colorable with constantly many colors. It partially bridges the gap between the previous best lower bound of poly(log n) and the algorithmic upper bounds of nΩ(1). This also exhibits a bottleneck to improving the algorithmic techniques for hypergraph coloring.

Original languageEnglish (US)
Title of host publicationProceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014
PublisherAssociation for Computing Machinery
Pages1607-1625
Number of pages19
ISBN (Print)9781611973389
StatePublished - 2014
Event25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014 - Portland, OR, United States
Duration: Jan 5 2014Jan 7 2014

Other

Other25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014
CountryUnited States
CityPortland, OR
Period1/5/141/7/14

Fingerprint

Independent Set
Hypergraph
Hardness
Uniform Hypergraph
Game
Coloring
Invariance
Smoothness
NP-complete problem
Polynomials
Color
Invariance Principle
Colouring
Lower bound
Upper bound
Polynomial

ASJC Scopus subject areas

  • Software
  • Mathematics(all)

Cite this

Khot, S., & Saket, R. (2014). Hardness of finding independent sets in 2-colorable and almost 2-colorable hypergraphs. In Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014 (pp. 1607-1625). Association for Computing Machinery.

Hardness of finding independent sets in 2-colorable and almost 2-colorable hypergraphs. / Khot, Subhash; Saket, Rishi.

Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014. Association for Computing Machinery, 2014. p. 1607-1625.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Khot, S & Saket, R 2014, Hardness of finding independent sets in 2-colorable and almost 2-colorable hypergraphs. in Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014. Association for Computing Machinery, pp. 1607-1625, 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014, Portland, OR, United States, 1/5/14.
Khot S, Saket R. Hardness of finding independent sets in 2-colorable and almost 2-colorable hypergraphs. In Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014. Association for Computing Machinery. 2014. p. 1607-1625
Khot, Subhash ; Saket, Rishi. / Hardness of finding independent sets in 2-colorable and almost 2-colorable hypergraphs. Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014. Association for Computing Machinery, 2014. pp. 1607-1625
@inproceedings{f6917e6ba12c42e5ad21f754d4a5bfaa,
title = "Hardness of finding independent sets in 2-colorable and almost 2-colorable hypergraphs",
abstract = "This work studies the hardness of finding independent sets in hypergraphs which are either 2-colorable or are almost 2-colorable, i.e. can be 2-colored after removing a small fraction of vertices and the incident hyperedges. To be precise, say that a hypergraph is (1 - ε)-almost 2-colorable if removing an ε fraction of its vertices and all hyperedges incident on them makes the remaining hypergraph 2-colorable. In particular we prove the following results. • For an arbitrarily small constant γ > 0, there is a constant ξ > 0, such that, given a 4-uniform hypergraph on n vertices which is (1 - ε)-almost 2- colorable for ε = 2-(logn) ξ it is quasi-NP-hard1 to find an independent set of n/ (2 (logn)1-γ) vertices. • For any constants ε δ > 0, given as input a 3- uniform hypergraph on n vertices which is (1 - ε)-aImost 2-colorable, it is NP-hard to find an independent set of δn vertices. • Assuming the d-to-1 Games Conjecture the following holds. For any constant δ > 0. given a 2- colorable 3-uniform hypergraph on n vertices, it is NP-hard to find an independent set of δn vertices. The hardness result on independent set in almost 2- colorable 3-uniform hypergraphs was earlier known only assuming the Unique Games Conjecture. In this work we prove the result unconditionally, combining Fourier analytic techniques with the Multi-Layered PCP of [11]. For independent sets in 2-colorable 3-uniform hy- pergaphs we prove the first strong hardness result, albeit assuming the d-to-1 Games Conjecture. Our reduction uses the d-to-1 Game as a starting point to construct a Multi-Layered PCP with the smoothness property. We use analytical techniques based on the Invariance Principle of Mossel [36], The smoothness property is crucially exploited in a manner similar to recent work of Hastad [20] and Wenner [45], Our result on almost 2-colorable 4-uniform hypergraphs gives the first nearly polynomial hardness factor for independent set in hypergraphs which are (almost) colorable with constantly many colors. It partially bridges the gap between the previous best lower bound of poly(log n) and the algorithmic upper bounds of nΩ(1). This also exhibits a bottleneck to improving the algorithmic techniques for hypergraph coloring.",
author = "Subhash Khot and Rishi Saket",
year = "2014",
language = "English (US)",
isbn = "9781611973389",
pages = "1607--1625",
booktitle = "Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014",
publisher = "Association for Computing Machinery",

}

TY - GEN

T1 - Hardness of finding independent sets in 2-colorable and almost 2-colorable hypergraphs

AU - Khot, Subhash

AU - Saket, Rishi

PY - 2014

Y1 - 2014

N2 - This work studies the hardness of finding independent sets in hypergraphs which are either 2-colorable or are almost 2-colorable, i.e. can be 2-colored after removing a small fraction of vertices and the incident hyperedges. To be precise, say that a hypergraph is (1 - ε)-almost 2-colorable if removing an ε fraction of its vertices and all hyperedges incident on them makes the remaining hypergraph 2-colorable. In particular we prove the following results. • For an arbitrarily small constant γ > 0, there is a constant ξ > 0, such that, given a 4-uniform hypergraph on n vertices which is (1 - ε)-almost 2- colorable for ε = 2-(logn) ξ it is quasi-NP-hard1 to find an independent set of n/ (2 (logn)1-γ) vertices. • For any constants ε δ > 0, given as input a 3- uniform hypergraph on n vertices which is (1 - ε)-aImost 2-colorable, it is NP-hard to find an independent set of δn vertices. • Assuming the d-to-1 Games Conjecture the following holds. For any constant δ > 0. given a 2- colorable 3-uniform hypergraph on n vertices, it is NP-hard to find an independent set of δn vertices. The hardness result on independent set in almost 2- colorable 3-uniform hypergraphs was earlier known only assuming the Unique Games Conjecture. In this work we prove the result unconditionally, combining Fourier analytic techniques with the Multi-Layered PCP of [11]. For independent sets in 2-colorable 3-uniform hy- pergaphs we prove the first strong hardness result, albeit assuming the d-to-1 Games Conjecture. Our reduction uses the d-to-1 Game as a starting point to construct a Multi-Layered PCP with the smoothness property. We use analytical techniques based on the Invariance Principle of Mossel [36], The smoothness property is crucially exploited in a manner similar to recent work of Hastad [20] and Wenner [45], Our result on almost 2-colorable 4-uniform hypergraphs gives the first nearly polynomial hardness factor for independent set in hypergraphs which are (almost) colorable with constantly many colors. It partially bridges the gap between the previous best lower bound of poly(log n) and the algorithmic upper bounds of nΩ(1). This also exhibits a bottleneck to improving the algorithmic techniques for hypergraph coloring.

AB - This work studies the hardness of finding independent sets in hypergraphs which are either 2-colorable or are almost 2-colorable, i.e. can be 2-colored after removing a small fraction of vertices and the incident hyperedges. To be precise, say that a hypergraph is (1 - ε)-almost 2-colorable if removing an ε fraction of its vertices and all hyperedges incident on them makes the remaining hypergraph 2-colorable. In particular we prove the following results. • For an arbitrarily small constant γ > 0, there is a constant ξ > 0, such that, given a 4-uniform hypergraph on n vertices which is (1 - ε)-almost 2- colorable for ε = 2-(logn) ξ it is quasi-NP-hard1 to find an independent set of n/ (2 (logn)1-γ) vertices. • For any constants ε δ > 0, given as input a 3- uniform hypergraph on n vertices which is (1 - ε)-aImost 2-colorable, it is NP-hard to find an independent set of δn vertices. • Assuming the d-to-1 Games Conjecture the following holds. For any constant δ > 0. given a 2- colorable 3-uniform hypergraph on n vertices, it is NP-hard to find an independent set of δn vertices. The hardness result on independent set in almost 2- colorable 3-uniform hypergraphs was earlier known only assuming the Unique Games Conjecture. In this work we prove the result unconditionally, combining Fourier analytic techniques with the Multi-Layered PCP of [11]. For independent sets in 2-colorable 3-uniform hy- pergaphs we prove the first strong hardness result, albeit assuming the d-to-1 Games Conjecture. Our reduction uses the d-to-1 Game as a starting point to construct a Multi-Layered PCP with the smoothness property. We use analytical techniques based on the Invariance Principle of Mossel [36], The smoothness property is crucially exploited in a manner similar to recent work of Hastad [20] and Wenner [45], Our result on almost 2-colorable 4-uniform hypergraphs gives the first nearly polynomial hardness factor for independent set in hypergraphs which are (almost) colorable with constantly many colors. It partially bridges the gap between the previous best lower bound of poly(log n) and the algorithmic upper bounds of nΩ(1). This also exhibits a bottleneck to improving the algorithmic techniques for hypergraph coloring.

UR - http://www.scopus.com/inward/record.url?scp=84902095947&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84902095947&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84902095947

SN - 9781611973389

SP - 1607

EP - 1625

BT - Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014

PB - Association for Computing Machinery

ER -