A graph is a cograph if it does not contain a 4-vertex path as an induced subgraph. An $(s, k)$-polar partition of a graph $G$ is a partition $(A, B)$ of its vertex set such that $A$ induces a complete multipartite graph with at most $s$ parts, and $B$ induces the disjoint union of at most $k$ cliques with no other edges. A graph $G$ is said to be $(s, k)$-polar if it admits an $(s, k)$-polar partition. The concepts of $(s, \infty)$-, $(\infty, k)$-, and $(\infty, \infty)$-polar graphs can be analogously defined. Ekim, Mahadev and de Werra pioneered in the research on polar cographs, obtaining forbidden induced subgraph characterizations for $(\infty, \infty)$-polar cographs, as well as for the union of $(\infty, 1)$- and $(1, \infty)$-polar cographs. Recently, a recursive procedure for generating the list of cograph minimal $(s,1)$-polar obstructions for any fixed integer $s$ was found, as well as the complete list of $(\infty, 1)$-polar obstructions. In addition to these results, complete lists of minimal $(s, k)$-polar cograph obstructions are known only for the pair $(2, 2)$. In this work we are concerned with the problem of characterizing $(\infty, k)$-polar cographs for a fixed $k$ through a finite family of forbidden induced subgraphs. As our main result, we provide complete lists of forbidden induced subgraphs for the cases $k=2$ and $k=3$. Additionally, we provide a partial recursive construction for the general case. By considering graph complements, these results extend to $(s, \infty)$-polar cographs.
翻译:如果它不包含一个 $4 overex 路径作为诱导子图, 则是一个图形。 $( s, k) $- polal 分割 $G$ 是其顶点设置的分区 $( A, B) 美元, 这样美元可以带来一个完整的多部分图, 大部分为美元零件, $B$ 导致最多为 $k cliques 的脱节。 据说, 美元是 $( s, k) 美元, 美元是 poal 分割 3$ 。 美元, 美元( in) 美元, 美元是 美元 美元 。 美元( ) cofty, k) 美元 和 美元 polar 图形可以类似地定义。 Ekim, Maha develop 和 developrefricated the commissional discrial $1, as the coilals a listal a prodeal.