Graph bisection algorithms with good average case behavior

Thang Nguyen Bui, S. Chaudhuri, F. T. Leighton, M. Sipser

Research output: Contribution to journalArticle

164 Citations (Scopus)

Abstract

In the paper, we describe a polynomial time algorithm that, for every input graph, either outputs the minimum bisection of the graph or halts without output. More importantly, we show that the algorithm chooses the former course with high probability for many natural classes of graphs. In particular, for every fixed d≧3, all sufficiently large n and all b=o(n 1-1/[(d+1)/2]), the algorithm finds the minimum bisection for almost all d-regular labelled simple graphs with 2 n nodes and bisection width b. For example, the algorithm succeeds for almost all 5-regular graphs with 2 n nodes and bisection width o(n 2/3). The algorithm differs from other graph bisection heuristics (as well as from many heuristics for other NP-complete problems) in several respects. Most notably: (i) the algorithm provides exactly the minimum bisection for almost all input graphs with the specified form, instead of only an approximation of the minimum bisection, (ii) whenever the algorithm produces a bisection, it is guaranteed to be optimal (i.e., the algorithm also produces a proof that the bisection it outputs is an optimal bisection), (iii) the algorithm works well both theoretically and experimentally, (iv) the algorithm employs global methods such as network flow instead of local operations such as 2-changes, and (v) the algorithm works well for graphs with small bisections (as opposed to graphs with large bisections, for which arbitrary bisections are nearly optimal).

Original languageEnglish (US)
Pages (from-to)171-191
Number of pages21
JournalCombinatorica
Volume7
Issue number2
DOIs
StatePublished - Jun 1 1987

Fingerprint

Bisection
Graph in graph theory
Output
Heuristics
Network Flow
Vertex of a graph
Regular Graph
Simple Graph
Computational complexity
Polynomial-time Algorithm
Polynomials
NP-complete problem
Choose

All Science Journal Classification (ASJC) codes

  • Discrete Mathematics and Combinatorics
  • Computational Mathematics

Cite this

Bui, Thang Nguyen ; Chaudhuri, S. ; Leighton, F. T. ; Sipser, M. / Graph bisection algorithms with good average case behavior. In: Combinatorica. 1987 ; Vol. 7, No. 2. pp. 171-191.
@article{f20063ea7f63454f97cb5a42ec532952,
title = "Graph bisection algorithms with good average case behavior",
abstract = "In the paper, we describe a polynomial time algorithm that, for every input graph, either outputs the minimum bisection of the graph or halts without output. More importantly, we show that the algorithm chooses the former course with high probability for many natural classes of graphs. In particular, for every fixed d≧3, all sufficiently large n and all b=o(n 1-1/[(d+1)/2]), the algorithm finds the minimum bisection for almost all d-regular labelled simple graphs with 2 n nodes and bisection width b. For example, the algorithm succeeds for almost all 5-regular graphs with 2 n nodes and bisection width o(n 2/3). The algorithm differs from other graph bisection heuristics (as well as from many heuristics for other NP-complete problems) in several respects. Most notably: (i) the algorithm provides exactly the minimum bisection for almost all input graphs with the specified form, instead of only an approximation of the minimum bisection, (ii) whenever the algorithm produces a bisection, it is guaranteed to be optimal (i.e., the algorithm also produces a proof that the bisection it outputs is an optimal bisection), (iii) the algorithm works well both theoretically and experimentally, (iv) the algorithm employs global methods such as network flow instead of local operations such as 2-changes, and (v) the algorithm works well for graphs with small bisections (as opposed to graphs with large bisections, for which arbitrary bisections are nearly optimal).",
author = "Bui, {Thang Nguyen} and S. Chaudhuri and Leighton, {F. T.} and M. Sipser",
year = "1987",
month = "6",
day = "1",
doi = "10.1007/BF02579448",
language = "English (US)",
volume = "7",
pages = "171--191",
journal = "Combinatorica",
issn = "0209-9683",
publisher = "Janos Bolyai Mathematical Society",
number = "2",

}

Bui, TN, Chaudhuri, S, Leighton, FT & Sipser, M 1987, 'Graph bisection algorithms with good average case behavior', Combinatorica, vol. 7, no. 2, pp. 171-191. https://doi.org/10.1007/BF02579448

Graph bisection algorithms with good average case behavior. / Bui, Thang Nguyen; Chaudhuri, S.; Leighton, F. T.; Sipser, M.

In: Combinatorica, Vol. 7, No. 2, 01.06.1987, p. 171-191.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Graph bisection algorithms with good average case behavior

AU - Bui, Thang Nguyen

AU - Chaudhuri, S.

AU - Leighton, F. T.

AU - Sipser, M.

PY - 1987/6/1

Y1 - 1987/6/1

N2 - In the paper, we describe a polynomial time algorithm that, for every input graph, either outputs the minimum bisection of the graph or halts without output. More importantly, we show that the algorithm chooses the former course with high probability for many natural classes of graphs. In particular, for every fixed d≧3, all sufficiently large n and all b=o(n 1-1/[(d+1)/2]), the algorithm finds the minimum bisection for almost all d-regular labelled simple graphs with 2 n nodes and bisection width b. For example, the algorithm succeeds for almost all 5-regular graphs with 2 n nodes and bisection width o(n 2/3). The algorithm differs from other graph bisection heuristics (as well as from many heuristics for other NP-complete problems) in several respects. Most notably: (i) the algorithm provides exactly the minimum bisection for almost all input graphs with the specified form, instead of only an approximation of the minimum bisection, (ii) whenever the algorithm produces a bisection, it is guaranteed to be optimal (i.e., the algorithm also produces a proof that the bisection it outputs is an optimal bisection), (iii) the algorithm works well both theoretically and experimentally, (iv) the algorithm employs global methods such as network flow instead of local operations such as 2-changes, and (v) the algorithm works well for graphs with small bisections (as opposed to graphs with large bisections, for which arbitrary bisections are nearly optimal).

AB - In the paper, we describe a polynomial time algorithm that, for every input graph, either outputs the minimum bisection of the graph or halts without output. More importantly, we show that the algorithm chooses the former course with high probability for many natural classes of graphs. In particular, for every fixed d≧3, all sufficiently large n and all b=o(n 1-1/[(d+1)/2]), the algorithm finds the minimum bisection for almost all d-regular labelled simple graphs with 2 n nodes and bisection width b. For example, the algorithm succeeds for almost all 5-regular graphs with 2 n nodes and bisection width o(n 2/3). The algorithm differs from other graph bisection heuristics (as well as from many heuristics for other NP-complete problems) in several respects. Most notably: (i) the algorithm provides exactly the minimum bisection for almost all input graphs with the specified form, instead of only an approximation of the minimum bisection, (ii) whenever the algorithm produces a bisection, it is guaranteed to be optimal (i.e., the algorithm also produces a proof that the bisection it outputs is an optimal bisection), (iii) the algorithm works well both theoretically and experimentally, (iv) the algorithm employs global methods such as network flow instead of local operations such as 2-changes, and (v) the algorithm works well for graphs with small bisections (as opposed to graphs with large bisections, for which arbitrary bisections are nearly optimal).

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

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

U2 - 10.1007/BF02579448

DO - 10.1007/BF02579448

M3 - Article

VL - 7

SP - 171

EP - 191

JO - Combinatorica

JF - Combinatorica

SN - 0209-9683

IS - 2

ER -