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.

Infinite Families of k-Vertex-Critical ( , )-Free Graphs

Infinite families of $k$-vertex-critical ($P_5$, $C_5$)-free graphs

Vertex-critical graphs in co-gem-free graphs

Some Results on Critical ($P_5,H$)-free Graphs

On the finiteness of $k$-vertex-critical $2P_2$-free graphs with forbidden induced squids or bulls

Neighbourhoods of Independent Sets for (A, B, K)-Critical Graphs

Structure and coloring of a family of ($P_7, C_5$)-free graphs

Some New Methods for Constructing 4-critical Planar Graphs

Critical $(P_5,dart)$-Free Graphs

Minimizing the number of edges in $(C_4, K_{1,k})$-co-critical graphs

A new infinite family of 4-regular crossing-critical graphs

A Note Related to Graph Theory

Graphs that are critical for the packing chromatic number

Constructing A Family of 4-Critical Planar Graphs with High Edge Density

Minimum number of arcs in $k$-critical digraphs with order at most $2k-1$

Extremal Problems for a Matching and Any Other Graph

The minimum degree of $(K_s, K_t)$-co-critical graphs

Stability Number and Minimum Degree for (a, B, K)-Critical Graphs.

Some sufficient conditions for a graph with minimum degree to be k -factor-critical

The maximum number of triangles in $F_k$-free graphs

The Feasibility Problem -- the family ${\cal F}$$(G)$ of all induced $G$-free graphs