The vertex separator problem: a polyhedral investigation

Abstract.The vertex separator (VS) problem in a graph G=(V,E) asks for a partition of V into nonempty subsets A, B, C such that there is no edge between A and B, and |C| is minimized subject to a bound on max{|A|,|B|}. We give a mixed integer programming formulation of the problem and investigate the vertex separator polytope (VSP), the convex hull of incidence vectors of vertex separators. Necessary and sufficient conditions are given for the VSP to be full dimensional. Central to our investigation is the relationship between separators and dominators. Several classes of valid inequalities are investigated, along with the conditions under which they are facet defining for the VSP. Some of our proofs combine in new ways projection with lifting.In a companion paper we develop a branch-and-cut algorithm for the (VS) problem based on the inequalities discussed here, and report on computational experience with a wide variety of (VS) problems drawn from the literature and inspired by various applications.

[1]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[2]  Laurence A. Wolsey,et al.  Integer and Combinatorial Optimization , 1988, Wiley interscience series in discrete mathematics and optimization.

[3]  R. Tarjan,et al.  A Separator Theorem for Planar Graphs , 1977 .

[4]  Hristo Djidjev.  Partitioning Planar Graphs with Vertex Costs: Algorithms and Applications , 2000, Algorithmica.

[5]  W. Greub.  Linear Algebra , 1981 .

[6]  S. Vavasis,et al.  Geometric Separators for Finite-Element Meshes , 1998, SIAM J. Sci. Comput..

[7]  Egon Balas,et al.  The vertex separator problem: algorithms and computations , 2005, Math. Program..

[8]  Robert E. Tarjan,et al.  Applications of a planar separator theorem , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[9]  Michael T. Heath,et al.  Parallel Algorithms for Sparse Linear Systems , 1991, SIAM Rev..

[10]  Vijay V. Vazirani,et al.  Finding Separator Cuts in Planar Graphs within Twice the Optimal , 1999, SIAM J. Comput..

[11]  Laurence A. Wolsey,et al.  Integer and Combinatorial Optimization , 1988 .