The vertex separator problem: a polyhedral investigation

• 成果类型: Article
• 署名作者: Balas, E; de Souza, CC
• 署名单位: Carnegie Mellon University; Universidade Estadual de Campinas
• 刊物名称: MATHEMATICAL PROGRAMMING
• ISSN/ISSBN: 0025-5610
• DOI: 10.1007/s10107-005-0574-7
• 发表日期: 2005
• 页码: 583-608
• 关键词: planar graphs; algorithms; THEOREM

摘要

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.