Mathematical Programming

, Volume 103, Issue 3, pp 609–631 | Cite as

The vertex separator problem: algorithms and computations

  • Cid de Souza
  • Egon Balas


This is a companion paper to our polyhedral study [1] of the Vertex Separator (VS) Problem. Given an undirected graph G, the VS problem consists in identifying a minimum-weight vertex set whose removal disconnects G, subject to bounds on the size of the resulting components. In this paper, we describe versions of a branch-and-cut algorithm based on the results of that polyhedral study. It uses two families of cuts, symmetric and asymmetric, for which we develop polynomial-time greedy separation routines. A heuristic to generate feasible separators is also used. A computational experiment on several data sets from the literature compares the performance of three versions of our algorithm to that of the commercial MIP solver XPRESS. This experiment throws a sharp light on the role of cut density, known to software developers but never before documented in the literature. It convincingly shows that the practical usefulness of cuts in integer programming depends not only on their strength, but also on their sparsity: everything else being equal, the smaller the cut support, the better. The power of the inequalities proposed here is well illustrated by the computational tests on dense graphs. This is in accordance with the previous observation, since the support of these cuts tends to decrease with graph density.


Mathematical Method Integer Programming Computational Experiment Undirected Graph Companion Paper 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Balas, E., de Souza, C.: The Vertex Separator Problem: A Polyhedral Investigation. Math. Programming 103, 583–608 (2005)Google Scholar
  2. 2.
    Lipton, R.J., Tarjan, R.J.: A Separator Theorem for Planar Graphs. SIAM Journal on Applied Math. 36, 177–189 (1979)CrossRefGoogle Scholar
  3. 3.
    George, J.A.: Nested dissection of a nested finite element mesh. SIAM J. Numerical Anal. 10, 345–367 (1973)CrossRefGoogle Scholar
  4. 4.
  5. 5.
  6. 6.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Cid de Souza
    • 1
  • Egon Balas
    • 2
  1. 1.Universidade Estadual de CampinasCampinasBrazil
  2. 2.Carnegie Mellon UniversityPittsburghUSA

Personalised recommendations