English

Decomposition techniques applied to the Clique-Stable set Separation problem

Combinatorics 2017-07-27 v2 Discrete Mathematics

Abstract

In a graph, a Clique-Stable Set separator (CS-separator) is a family C\mathcal{C} of cuts (bipartitions of the vertex set) such that for every clique KK and every stable set SS with KS=K \cap S = \emptyset, there exists a cut (W,W)( W,W') in C\mathcal{C} such that KWK \subseteq W and SWS \subseteq W'. Starting from a question concerning extended formulations of the Stable Set polytope and a related complexity communication problem, Yannakakis [17] asked in 1991 the following questions: does every graph admit a polynomial-size CS-separator? If not, does every perfect graph do? Several positive and negative results related to this question were given recently. Here we show how graph decomposition can be used to prove that a class of graphs admits a polynomial CS-separator. We apply this method to apple-free graphs and cap-free graphs.

Keywords

Cite

@article{arxiv.1703.07106,
  title  = {Decomposition techniques applied to the Clique-Stable set Separation problem},
  author = {Nicolas Bousquet and Aurélie Lagoutte and Frédéric Maffray and Lucas Pastor},
  journal= {arXiv preprint arXiv:1703.07106},
  year   = {2017}
}
R2 v1 2026-06-22T18:52:10.021Z