arXiv++ Combinatorics

A graph $G$ is $k$-vertex-critical if $χ(G) = k$ but $χ(G-v)<k$ for all $v \in V(G)$. A graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ nor $H_2$. A $W_4$ is the graph consisting of a $C_4$ plus an additional vertex adjacent to all the vertices of the $C_4$. We show that there are finitely many $k$-vertex-critical $(P_5,W_4)$-free graphs for all $k \ge 1$ and we characterize all $5$-vertex-critical $(P_5,W_4)$-free graphs. Our results imply the existence of a polynomial-time certifying algorithm to decide the $k$-colorability of $(P_5,W_4)$-free graphs for each $k \ge 1$ where the certificate is either a $k$-coloring or a $(k+1)$-vertex-critical induced subgraph.

Given two graphs $H_1$ and $H_2$, a graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ nor $H_2$. A graph $G$ is $k$-vertex-critical if every proper induced subgraph of $G$ has chromatic number less than $k$, but $G$ has chromatic number $k$. The study of $k$-vertex-critical graphs for specific graph classes is an important topic in algorithmic graph theory because if the number of such graphs that are in a given hereditary graph class is finite, then there exists a polynomial-time certifying algorithm to decide the $k$-colorability of a graph in the class. In this paper, we show that: (1) for $k \ge 1$, there are finitely many $k$-vertex-critical $(P_5,K_{1,4}+P_1)$-free graphs; (2) for $s \ge 1$, there are finitely many 5-vertex-critical $(P_5,K_{1,s}+P_1)$-free graphs; (3) for $k \ge 1$, there are finitely many $k$-vertex-critical $(P_5,\overline{K_3+2P_1})$-free graphs. Moreover, we characterize all $5$-vertex-critical $(P_5,H)$-free graphs where $H \in \{K_{1,3}+P_1,K_{1,4}+P_1,\overline{K_3+2P_1}\}$ using an exhaustive graph generation algorithm.

Given two graphs $H_1$ and $H_2$, a graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ nor $H_2$. Let $P_t$ be the path on $t$ vertices. A dart is the graph obtained from a diamond by adding a new vertex and making it adjacent to exactly one vertex with degree 3 in the diamond. In this paper, we show that there are finitely many $k$-vertex-critical $(P_5,dart)$-free graphs for $k \ge 1$ To prove these results, we use induction on $k$ and perform a careful structural analysis via Strong Perfect Graph Theorem combined with the pigeonhole principle based on the properties of vertex-critical graphs. Moreover, for $k \in \{5, 6, 7\}$ we characterize all $k$-vertex-critical $(P_5,dart)$-free graphs using a computer generation algorithm. Our results imply the existence of a polynomial-time certifying algorithm to decide the $k$-colorability of $(P_5,dart)$-free graphs for $k \ge 1$ where the certificate is either a $k$-coloring or a $(k+1)$-vertex-critical induced subgraph.

Given two graphs $H_1$ and $H_2$, a graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ and $C_t$ be the path and the cycle on $t$ vertices, respectively. A bull is the graph obtained from a triangle with two disjoint pendant edges. In this paper, we show that there are finitely many 5-vertex-critical ($P_5$,bull)-free graphs.