arXiv++ Combinatorics

The $3$-colorability problem is a well-known NP-complete problem and it remains NP-complete for $(claw, diamond, K_4)$-free graphs. Recently, $3$-colorability has been also considered for $(claw, N_{1,1,1})$-free graphs. Here, a generalised net $N_{i, j, k}$ is the graph obtained by identifying each vertex of a triangle with an endvertex of one of three vetex-disjont paths of lengths $i, j, k$. We study the class of $(claw, diamond, N_{i, j, k})$-free graphs for $(i, j, k) \in \{(1, 1, 3),$ $ (1, 2, 2), $ $(2, 2, 2) \}$. We show that these graphs are $3$-colorable or contain a $K_4$ or belong to some well-defined class of non $3$-colorable graphs. Moreover, we prove that there are only finitely many non $3$-colorable $N_{1, 2, k}$-free graphs for any $k \geq 2$, but there exist infinitely many non $3$-colorable $N_{i, j, k}$-free graphs for any $2 \leq i \leq j \leq k.$

In this paper, we establish an optimal $χ$-binding function for $(P_2\cup P_4,\text{ diamond})$-free graphs. We prove that for any graph $G$ in this class, $χ(G)\le 4$ when $ω(G)=2$, $χ(G)\le 6$ when $ω(G)=3$, and $χ(G)=ω(G)$ when $ω(G)\ge 4$, where $χ(G)$ and $ω(G)$ denote the chromatic number and clique number of $G$, respectively. This result extends the known chromatic bounds for $(P_2\cup P_3,\text{ diamond})$-free graphs by showing that $(P_2\cup P_4,\text{ diamond})$-free graphs admit the same $χ$-binding function. It also refines the chromatic bound obtained by Angeliya, Karthick and Huang [arXiv:2501.02543v3 [math.CO], 2025] for $(P_2\cup P_4,\text{ diamond})$-free graphs.

We denote a path on $t$ vertices as $P_t$ and a cycle on $t$ vertices as $C_t$. For two vertex-disjoint graphs $G_1$ and $G_2$, the {\em union} $G_1\cup G_2$ is the graph with $V(G_1\cup G_2)=V(G_1)\cup V(G_2)$ and $E(G_1\cup G_2)=E(G_1)\cup E(G_2)$. A {\em diamond} (resp. {\em gem}) is a graph consisting of a $P_3$ (resp. $P_4$) and a new vertex adjacent to all vertices of the $P_3$ (resp. $P_4$), and a {\em butterfly} is a graph consisting of two triangles that share one vertex. In this paper, we show that $χ(G)\le 3ω(G)-2$ if $G$ is a ($P_2\cup P_4$, gem)-free graph, $χ(G)\le \frac{ω(G)^2+3ω(G)-2}{2}$ if $G$ is a ($P_2\cup P_4$, butterfly)-free graph. We also study the class of ($P_2\cup P_4$, diamond)-free graphs, and show that, for such a graph $G$, $χ(G)\leq4$ if $ω(G)=2$, $χ(G)\leq7$ if $ω(G)=3$, $χ(G)\leq9$ if $ω(G)=4$, and $χ(G)\leq2ω(G)-1$ if $ω(G)\ge 5$. Moreover, we prove that $G$ is perfect if $G$ is ($P_2\cup P_4$, diamond, $C_5$)-free with $ω(G)\geq5$.

The reconfiguration graph of the $k$-colorings of a graph $G$, denoted $R_{k}(G)$, is the graph whose vertices are the $k$-colorings of $G$ and two colorings are adjacent in $R_{k}(G)$ if they differ in color on exactly one vertex. A graph $G$ is said to be recolorable if $R_{\ell}(G)$ is connected for all $\ell \geq χ(G)$+1. We demonstrate how to use the modular decomposition of a graph class to prove that the graphs in the class are recolorable. In particular, we prove that every ($P_5$, diamond)-free graph, every ($P_5$, house, bull)-free graph, and every ($P_5$, $C_5$, co-fork)-free graph is recolorable. A graph is prime if it cannot be decomposed by modular decomposition except into single vertices. For a prime graph $H$, we study the complexity of deciding if $H$ is $k$-colorable and the complexity of deciding if there exists a path between two given $k$-colorings in $R_{k}(H)$. Suppose $\mathcal{G}$ is a hereditary class of graphs. We prove that if every blowup of every prime graph in $\mathcal{G}$ is recolorable, then every graph in $\mathcal{G}$ is recolorable.

Let $P_t$ and $C_t$ be a path and a cycle on $t$ vertices, respectively. In 2021, Choudum {\em et al.} [Disc. Math. 344 (2021) 112244] determined the structures of $(P_7,C_7,C_4$, diamond)-free and $(P_7,C_7,C_4$, gem)-frees, and gave correspondingly tight upper bounds to the chromatic numbers of these graphs. In this paper, we study the structure of $(P_7, C_5$, kite, paraglider)-free graphs, which is a superfamily of $(P_7, C_5$, diamond)-free graphs. We show that there is a unique connected imperfect $(P_7, C_5$, kite, paraglider)-free graph with $δ(G)\geqω(G)+1$, which has no clique cutsets, no universal cliques, and no pair of vertices of which one's neighborhoods contains the other's. As a consequence, we show that $(P_7, C_5$, kite, paraglider)-free graphs are $χ$-polydet with a binding function $ω(G)+1$. Where a {\em diamond} (resp. {\em gem}) consists of a $P_3$ (resp. $P_4$) and a new vertex adjacent to all vertices of the $P_3$ (resp. $P_4$), a {\em kite} consists of a $P_4$ and a new vertex adjacent to consecutive three vertices of the $P_4$, and a {\em paraglider} consists of a $C_4$ and a new vertex adjacent to three vertices of the $C_4$.

Let $G$ be a graph. We use $P_t$ and $C_t$ to denote a path and a cycle on $t$ vertices, respectively. A {\em diamond} is a graph obtained from two triangles that share exactly one edge. A {\em kite} is a graph consists of a diamond and another vertex adjacent to a vertex of degree 2 of the diamond. A {\em gem} is a graph that consists of a $P_4$ plus a vertex adjacent to all vertices of the $P_4$. In this paper, we prove some structural properties to $(P_7, C_4,$ diamond)-free graphs, $(P_7, C_4,$ kite)-free graphs and $(P_7, C_4,$ gem)-free graphs. As their corollaries, we show that (\romannumeral 1) $χ(G)\leq \max\{3,ω(G)\}$ if $G$ is $(P_7, C_4,$ diamond)-free, (\romannumeral 2) $χ(G)\leq ω(G)+1$ if $G$ is $(P_7, C_4,$ kite)-free and (\romannumeral 3) $χ(G)\leq 2ω(G)-1$ if $G$ is $(P_7, C_4,$ gem)-free. These conclusions generalize some results of Choudum {\em et al} and Lan {\em et al}.

A diamond is the graph that is obtained from removing an edge from the complete graph on $4$ vertices. A ($C_4$,diamond)-free graph is a graph that does not contain a diamond or a cycle on four vertices as induced subgraphs. Let $G$ be a connected ($C_4$,diamond)-free graph on $n$ vertices. Let $1 \le k \le n-1$ be an integer. The $k$-token graph, $F_k(G)$, of $G$ is the graph whose vertices are all the sets of $k$ vertices of $G$; two of which are adjacent if their symmetric difference is a pair of adjacent vertices in $G$. Let $F$ be a graph isomorphic to $F_k(G)$. In this paper we show that given only $F$, we can construct in polynomial time a graph isomorphic to $G$. Let $\operatorname{Aut}(G)$ be the automorphism group of $G$. We also show that if $k\neq n/2$, then $\operatorname{Aut}(G) \simeq \operatorname{Aut}(F_k(G))$; and if $k = n/2$, then $\operatorname{Aut}(G) \simeq \operatorname{Aut}(F_k(G)) \times \mathbb{Z}_2$.

A hole in a graph $G$ is an induced cycle of length at least four, and an even hole is a hole of even length. The diamond is the graph obtained from the complete graph $K_4$ by removing an edge. A pyramid is a graph consisting of a triangle called the base, a vertex called the apex, and three internally disjoint paths starting at the apex and disjoint otherwise, each joining the apex to a vertex of the base. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Cameron, da Silva, Huang, and Vušković proved that (even hole, triangle)-free graphs have treewidth at most five, which motivates studying the treewidth of even-hole-free graphs of larger clique number. Sintiari and Trotignon provided a construction of (even hole, pyramid, $K_4$)-free graphs of arbitrarily large treewidth. Here, we show that for every $t$, (even hole, pyramid, diamond, $K_t$)-free graphs have bounded treewidth. The graphs constructed by Sintiari and Trotignon contain diamonds, so our result is sharp in the sense that it is false if we do not exclude diamonds. Our main result is in fact more general, that treewidth is bounded in graphs excluding certain wheels and three-path-configurations, diamonds, and a fixed complete graph. The proof uses "non-crossing decompositions" methods similar to those in previous papers in this series. In previous papers, however, bounded degree was a necessary condition to prove bounded treewidth. The result of this paper is the first to use the method of "non-crossing decompositions" to prove bounded treewidth in a graph class of unbounded maximum degree.

This paper discusses the complete structure of the (bull, diamond)-free graphs. As an application of that, we give the characterization of the partitionable (bull, diamond)-free graphs. Moreover, we show that such a partition for a partitionable (bull, diamond)-free graph can be found in polynomial time. Additionally, we show that the cop number of a (bull, diamond)-free graph containing a triangle is at most two less than its diameter. Furthermore, the cop number of a connected ($P_n$, bull, diamond)-free graph with a triangle, is at most $n-3$, for any natural number $n>3$. We also discuss a couple of applications of the structural theorem of the (bull, diamond)-free graphs in the conclusions.

The diamond is the graph obtained by removing an edge from the complete graph on 4 vertices. A graph is ($P_6$, diamond)-free if it contains no induced subgraph isomorphic to a six-vertex path or a diamond. In this paper we show that the chromatic number of a ($P_6$, diamond)-free graph $G$ is no larger than the maximum of 6 and the clique number of $G$. We do this by reducing the problem to imperfect ($P_6$, diamond)-free graphs via the Strong Perfect Graph Theorem, dividing the imperfect graphs into several cases, and giving a proper colouring for each case. We also show that there is exactly one 6-vertex-critical ($P_6$, diamond, $K_6$)-free graph. Together with the Lovász theta function, this gives a polynomial time algorithm to compute the chromatic number of ($P_6$, diamond)-free graphs.

We show that every connected induced subgraph of a graph $G$ is dominated by an induced connected split graph if and only if $G$ is $\cal{C}$-free, where $\cal{C}$ is a set of six graphs which includes $P_7$ and $C_7$, and each containing an induced $P_5$. A similar characterisation is shown for the class of graphs which are dominated by induced complete split graphs. Motivated by these results, we study structural descriptions of some classes of $\cal{C}$-free graphs. In particular, we give structural descriptions for the class of ($P_7$,$C_7$,$C_4$,gem)-free graphs and for the class of ($P_7$,$C_7$,$C_4$,diamond)-free graphs. Using these results, we show that every ($P_7$,$C_7$,$C_4$,gem)-free graph $G$ satisfies $χ(G) \leq 2ω(G)-1$, and that every ($P_7$,$C_7$,$C_4$,diamond)-free graph $H$ satisfies $χ(H) \leq ω(H)+1$. These two upper bounds are tight for any subgraph of the Petersen graph containing a $C_5$.

Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ be the path on $t$ vertices and $K_t$ be the complete graph on $t$ vertices. The diamond is the graph obtained from $K_4$ by removing an edge. In this paper we show that every ($P_6$, diamond)-free graph $G$ satisfies $χ(G)\le ω(G)+3$, where $χ(G)$ and $ω(G)$ are the chromatic number and clique number of $G$, respectively. Our bound is attained by the complement of the famous 27-vertex Schläfli graph. Our result unifies previously known results on the existence of linear $χ$-binding functions for several graph classes. Our proof is based on a reduction via the Strong Perfect Graph Theorem to imperfect ($P_6$, diamond)-free graphs, a careful analysis of the structure of those graphs, and a computer search that relies on a well-known characterization of 3-colourable $(P_6,K_3)$-free graphs.

We show that every ($P_6$, diamond, $K_4$)-free graph is $6$-colorable. Moreover, we give an example of a ($P_6$, diamond, $K_4$)-free graph $G$ with $χ(G) = 6$. This generalizes some known results in the literature.

The class of 2K2-free graphs and its various subclasses have been studied in a variety of contexts. In this paper, we are concerned with the colouring of (P3UP2)-free graphs, a super class of 2K2-free graphs. We derive a O(w^3) upper bound for the chromatic number of (P3UP2)-free graphs, and sharper bounds for (P3UP2), diamond)-free graphs, where w denotes the clique number. By applying similar proof techniques we obtain chromatic bounds for (2K2, diamond)-free graphs. The last two classes are perfect if w >=5 and >= 4 respectively.