Minimal obstructions to -polarity in cographs
arXiv:2104.07856 · doi:10.1016/j.dam.2018.11.028
Abstract
Let be nonnegative integers. A graph is -polar if its vertex set admits a partition such that induces a complete multipartite graph with at most parts, and induces a disjoint union of at most cliques with no other edges. A graph is a cograph if it does not contain as an induced subgraph. It is known that -polar cographs can be characterized through a finite family of forbidden induced subgraphs, for any fixed choice of and . The problem of determining the exact members of such family for was posted by Ekim, Mahadev and de Werra, and recently solved by Hell, Linhares-Sales and the second author of this paper. So far, complete lists of such forbidden induced subgraphs are known for ; notice that, in particular, -polar graphs are precisely split graphs. In this paper, we focus on this problem for -polar cographs. As our main result, we provide a recursive complete characterization of the forbidden induced subgraphs for -polar cographs, for every non negative integer . Additionally, we show that cographs having an -partition for some integer (here is not fixed) can be characterized by forbidding a family of four graphs.