The min-cut and vertex separator problem

Franz Rendl, Renata Sotirov

Research output: Contribution to journalArticleScientificpeer-review

Abstract

We consider graph three-partitions with the objective of minimizing the number of edges between the first two partition sets while keeping the size of the third block small. We review most of the existing relaxations for this min-cut problem and focus on a new class of semidefinite relaxations, based on matrices of order 2n+1 which provide a good compromise between quality of the bound and computational effort to actually compute it. Here, n is the order of the graph. Our numerical results indicate that the new bounds are quite strong and can be computed for graphs of medium size ( n≈300 ) with reasonable effort of a few minutes of computation time. Further, we exploit those bounds to obtain bounds on the size of the vertex separators. A vertex separator is a subset of the vertex set of a graph whose removal splits the graph into two disconnected subsets. We also present an elegant way of convexifying non-convex quadratic problems by using semidefinite programming. This approach results with bounds that can be computed with any standard convex quadratic programming solver.
Original languageEnglish
Pages (from-to)159-187
JournalComputational Optimization and Applications
Volume69
Issue number1
DOIs
Publication statusPublished - Jan 2018

Fingerprint

Min-cut
Separator
Separators
Quadratic programming
Graph in graph theory
Vertex of a graph
Convex Quadratic Programming
Semidefinite Relaxation
Set Partition
Subset
Semidefinite Programming
Partition
Numerical Results

Keywords

  • vertex separator
  • minimum cut
  • semidefinite programming
  • convexication

Cite this

@article{359787a89b634e64a5837f601ab3abb7,
title = "The min-cut and vertex separator problem",
abstract = "We consider graph three-partitions with the objective of minimizing the number of edges between the first two partition sets while keeping the size of the third block small. We review most of the existing relaxations for this min-cut problem and focus on a new class of semidefinite relaxations, based on matrices of order 2n+1 which provide a good compromise between quality of the bound and computational effort to actually compute it. Here, n is the order of the graph. Our numerical results indicate that the new bounds are quite strong and can be computed for graphs of medium size ( n≈300 ) with reasonable effort of a few minutes of computation time. Further, we exploit those bounds to obtain bounds on the size of the vertex separators. A vertex separator is a subset of the vertex set of a graph whose removal splits the graph into two disconnected subsets. We also present an elegant way of convexifying non-convex quadratic problems by using semidefinite programming. This approach results with bounds that can be computed with any standard convex quadratic programming solver.",
keywords = "vertex separator, minimum cut, semidefinite programming, convexication",
author = "Franz Rendl and Renata Sotirov",
year = "2018",
month = "1",
doi = "10.1007/s10589-017-9943-4",
language = "English",
volume = "69",
pages = "159--187",
journal = "Computational Optimization and Applications",
issn = "0926-6003",
publisher = "Springer Netherlands",
number = "1",

}

The min-cut and vertex separator problem. / Rendl, Franz; Sotirov, Renata.

In: Computational Optimization and Applications, Vol. 69, No. 1, 01.2018, p. 159-187.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - The min-cut and vertex separator problem

AU - Rendl, Franz

AU - Sotirov, Renata

PY - 2018/1

Y1 - 2018/1

N2 - We consider graph three-partitions with the objective of minimizing the number of edges between the first two partition sets while keeping the size of the third block small. We review most of the existing relaxations for this min-cut problem and focus on a new class of semidefinite relaxations, based on matrices of order 2n+1 which provide a good compromise between quality of the bound and computational effort to actually compute it. Here, n is the order of the graph. Our numerical results indicate that the new bounds are quite strong and can be computed for graphs of medium size ( n≈300 ) with reasonable effort of a few minutes of computation time. Further, we exploit those bounds to obtain bounds on the size of the vertex separators. A vertex separator is a subset of the vertex set of a graph whose removal splits the graph into two disconnected subsets. We also present an elegant way of convexifying non-convex quadratic problems by using semidefinite programming. This approach results with bounds that can be computed with any standard convex quadratic programming solver.

AB - We consider graph three-partitions with the objective of minimizing the number of edges between the first two partition sets while keeping the size of the third block small. We review most of the existing relaxations for this min-cut problem and focus on a new class of semidefinite relaxations, based on matrices of order 2n+1 which provide a good compromise between quality of the bound and computational effort to actually compute it. Here, n is the order of the graph. Our numerical results indicate that the new bounds are quite strong and can be computed for graphs of medium size ( n≈300 ) with reasonable effort of a few minutes of computation time. Further, we exploit those bounds to obtain bounds on the size of the vertex separators. A vertex separator is a subset of the vertex set of a graph whose removal splits the graph into two disconnected subsets. We also present an elegant way of convexifying non-convex quadratic problems by using semidefinite programming. This approach results with bounds that can be computed with any standard convex quadratic programming solver.

KW - vertex separator

KW - minimum cut

KW - semidefinite programming

KW - convexication

U2 - 10.1007/s10589-017-9943-4

DO - 10.1007/s10589-017-9943-4

M3 - Article

VL - 69

SP - 159

EP - 187

JO - Computational Optimization and Applications

JF - Computational Optimization and Applications

SN - 0926-6003

IS - 1

ER -