Mathematical Programming

, Volume 103, Issue 3, pp 609–631

# The vertex separator problem: algorithms and computations

• Cid de Souza
• Egon Balas
Article

## Abstract.

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.

## Keywords

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.

## References

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)
3. 3.
George, J.A.: Nested dissection of a nested finite element mesh. SIAM J. Numerical Anal. 10, 345–367 (1973)
4. 4.
5. 5.
6. 6.