Vertex-critical graphs in co-gem-free graphs

TL;DR

This paper proves finiteness of $k$-vertex-critical graphs in certain co-gem-free classes, employing combinatorial theorems and computer search, and establishes polynomial-time algorithms for their colorability.

Contribution

It establishes finiteness results for $k$-vertex-critical graphs in classes defined by co-gem and other small graphs, using novel combinatorial and computational methods.

Findings

Finiteness of $k$-vertex-critical (co-gem, $H$)-free graphs for specific $H$ of order 4.

Finiteness results for classes with forbidden subgraphs like paw$+P_1$ and $P_5$.

Every $( ext{co-gem, }K_4)$-free graph is 4-colorable.

Abstract

A graph $G$ is $k$-vertex-critical if $\chi(G)=k$ but $\chi(G-v)<k$ for all $v\in V(G)$ and $(G,H)$-free if it contains no induced subgraph isomorphic to $G$ or $H$. We show that there are only finitely many $k$-vertex-critical (co-gem, $H$)-free graphs for all $k$ when $H$ is any graph of order $4$ by showing finiteness in the three remaining open cases, those are the cases when $H$ is $2P_2$, $K_3+P_1$, and $K_4$. For the first two cases we actually prove the stronger results: $\bullet$ There are only finitely many $k$-vertex-critical (co-gem, paw$+P_1$)-free graphs for all $k$ and that only finitely many $k$-vertex-critical (co-gem, paw$+P_1$)-free graphs for all $k\ge 1$. $\bullet$ There are only finitely many $k$-vertex-critical (co-gem, $P_5$, $P_3+cP_2$)-free graphs for all $k\ge 1$ and $c\ge 0$. To prove the latter result, we employ a novel application of Sperner's Theorem on the number of antichains in a partially ordered set. Our result for $K_4$ uses exhaustive computer search and is proved by showing the stronger result that every $(\text{co-gem, }K_4)$-free graph is $4$-colourable. Our results imply the existence of simple polynomial-time certifying algorithms to decide the $k$-colourability of (co-gem, $H$)-free graphs for all $k$ and all $H$ of order $4$ by searching the vertex-critical graphs as induced subgraphs.