Hardness of bipartite expansion

Subhash Khot, Rishi Saket

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

Abstract

We study the natural problem of estimating the expansion of subsets of vertices on one side of a bipartite graph. More precisely, given a bipartite graph G(U, V, E) and a parameter β, the goal is to find a subset V′ ⊆ V containing β fraction of the vertices of V which minimizes the size of N(V), the neighborhood of V′. This problem, which we call Bipartite Expansion, is a special case of submodular minimization subject to a cardinality constraint, and is also related to other problems in graph partitioning and expansion. Previous to this work, there was no hardness of approximation known for Bipartite Expansion. In this paper we show the following strong inapproximability for Bipartite Expansion: for any constants τ, γ > 0 there is no algorithm which, given a constant β > 0 and a bipartite graph G(U, V, E), runs in polynomial time and decides whether • (YES case) There is a subset S ⊆ V s.t. S| ≥ β |V| satisfying | N(S)| ≤ γ |U|, or • (NO case) Any subset S ⊆ V s.t. |S| ≥ τβ|V| satisfies | N(S)| ≥ (1 - γ|U|, unless NP ⊆ ∩ϵoDTIME (2) i.e. NP has subexponential time algorithms. We note that our hardness result stated above is a vertex expansion analogue of the Small Set (Edge) Expansion Conjecture of Raghavendra and Steurer [23].

Original languageEnglish (US)
Title of host publication24th Annual European Symposium on Algorithms, ESA 2016
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Volume57
ISBN (Electronic)9783959770156
DOIs
StatePublished - Aug 1 2016
Event24th Annual European Symposium on Algorithms, ESA 2016 - Aarhus, Denmark
Duration: Aug 22 2016Aug 24 2016

Other

Other24th Annual European Symposium on Algorithms, ESA 2016
CountryDenmark
CityAarhus
Period8/22/168/24/16

Fingerprint

Hardness
Polynomials

Keywords

  • Bipartite expansion
  • Inapproximability
  • PCP
  • Submodular minimization

ASJC Scopus subject areas

  • Software

Cite this

Khot, S., & Saket, R. (2016). Hardness of bipartite expansion. In 24th Annual European Symposium on Algorithms, ESA 2016 (Vol. 57). [55] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2016.55

Hardness of bipartite expansion. / Khot, Subhash; Saket, Rishi.

24th Annual European Symposium on Algorithms, ESA 2016. Vol. 57 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. 55.

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

Khot, S & Saket, R 2016, Hardness of bipartite expansion. in 24th Annual European Symposium on Algorithms, ESA 2016. vol. 57, 55, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24th Annual European Symposium on Algorithms, ESA 2016, Aarhus, Denmark, 8/22/16. https://doi.org/10.4230/LIPIcs.ESA.2016.55
Khot S, Saket R. Hardness of bipartite expansion. In 24th Annual European Symposium on Algorithms, ESA 2016. Vol. 57. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2016. 55 https://doi.org/10.4230/LIPIcs.ESA.2016.55
Khot, Subhash ; Saket, Rishi. / Hardness of bipartite expansion. 24th Annual European Symposium on Algorithms, ESA 2016. Vol. 57 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016.
@inproceedings{b7cb21f750bd44b5911a195dff2f9d23,
title = "Hardness of bipartite expansion",
abstract = "We study the natural problem of estimating the expansion of subsets of vertices on one side of a bipartite graph. More precisely, given a bipartite graph G(U, V, E) and a parameter β, the goal is to find a subset V′ ⊆ V containing β fraction of the vertices of V which minimizes the size of N(V), the neighborhood of V′. This problem, which we call Bipartite Expansion, is a special case of submodular minimization subject to a cardinality constraint, and is also related to other problems in graph partitioning and expansion. Previous to this work, there was no hardness of approximation known for Bipartite Expansion. In this paper we show the following strong inapproximability for Bipartite Expansion: for any constants τ, γ > 0 there is no algorithm which, given a constant β > 0 and a bipartite graph G(U, V, E), runs in polynomial time and decides whether • (YES case) There is a subset S∗ ⊆ V s.t. S∗| ≥ β |V| satisfying | N(S∗)| ≤ γ |U|, or • (NO case) Any subset S ⊆ V s.t. |S| ≥ τβ|V| satisfies | N(S)| ≥ (1 - γ|U|, unless NP ⊆ ∩ϵoDTIME (2nϵ) i.e. NP has subexponential time algorithms. We note that our hardness result stated above is a vertex expansion analogue of the Small Set (Edge) Expansion Conjecture of Raghavendra and Steurer [23].",
keywords = "Bipartite expansion, Inapproximability, PCP, Submodular minimization",
author = "Subhash Khot and Rishi Saket",
year = "2016",
month = "8",
day = "1",
doi = "10.4230/LIPIcs.ESA.2016.55",
language = "English (US)",
volume = "57",
booktitle = "24th Annual European Symposium on Algorithms, ESA 2016",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

}

TY - GEN

T1 - Hardness of bipartite expansion

AU - Khot, Subhash

AU - Saket, Rishi

PY - 2016/8/1

Y1 - 2016/8/1

N2 - We study the natural problem of estimating the expansion of subsets of vertices on one side of a bipartite graph. More precisely, given a bipartite graph G(U, V, E) and a parameter β, the goal is to find a subset V′ ⊆ V containing β fraction of the vertices of V which minimizes the size of N(V), the neighborhood of V′. This problem, which we call Bipartite Expansion, is a special case of submodular minimization subject to a cardinality constraint, and is also related to other problems in graph partitioning and expansion. Previous to this work, there was no hardness of approximation known for Bipartite Expansion. In this paper we show the following strong inapproximability for Bipartite Expansion: for any constants τ, γ > 0 there is no algorithm which, given a constant β > 0 and a bipartite graph G(U, V, E), runs in polynomial time and decides whether • (YES case) There is a subset S∗ ⊆ V s.t. S∗| ≥ β |V| satisfying | N(S∗)| ≤ γ |U|, or • (NO case) Any subset S ⊆ V s.t. |S| ≥ τβ|V| satisfies | N(S)| ≥ (1 - γ|U|, unless NP ⊆ ∩ϵoDTIME (2nϵ) i.e. NP has subexponential time algorithms. We note that our hardness result stated above is a vertex expansion analogue of the Small Set (Edge) Expansion Conjecture of Raghavendra and Steurer [23].

AB - We study the natural problem of estimating the expansion of subsets of vertices on one side of a bipartite graph. More precisely, given a bipartite graph G(U, V, E) and a parameter β, the goal is to find a subset V′ ⊆ V containing β fraction of the vertices of V which minimizes the size of N(V), the neighborhood of V′. This problem, which we call Bipartite Expansion, is a special case of submodular minimization subject to a cardinality constraint, and is also related to other problems in graph partitioning and expansion. Previous to this work, there was no hardness of approximation known for Bipartite Expansion. In this paper we show the following strong inapproximability for Bipartite Expansion: for any constants τ, γ > 0 there is no algorithm which, given a constant β > 0 and a bipartite graph G(U, V, E), runs in polynomial time and decides whether • (YES case) There is a subset S∗ ⊆ V s.t. S∗| ≥ β |V| satisfying | N(S∗)| ≤ γ |U|, or • (NO case) Any subset S ⊆ V s.t. |S| ≥ τβ|V| satisfies | N(S)| ≥ (1 - γ|U|, unless NP ⊆ ∩ϵoDTIME (2nϵ) i.e. NP has subexponential time algorithms. We note that our hardness result stated above is a vertex expansion analogue of the Small Set (Edge) Expansion Conjecture of Raghavendra and Steurer [23].

KW - Bipartite expansion

KW - Inapproximability

KW - PCP

KW - Submodular minimization

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

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

U2 - 10.4230/LIPIcs.ESA.2016.55

DO - 10.4230/LIPIcs.ESA.2016.55

M3 - Conference contribution

VL - 57

BT - 24th Annual European Symposium on Algorithms, ESA 2016

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

ER -