arXiv++ Combinatorics

A graph $G$ is {\em perfectly divisible} if, for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. A {\em bull} is a graph consisting of a triangle with two disjoint pendant edges. Hoàng [Discrete Math. 349 (2026) 114809] proposed four conjectures: 1. $P_5$-free graphs are perfectly divisible; 2. Odd hole-free graphs are perfectly divisible; 3. Even hole-free graphs are perfectly divisible; and 4. $4K_1$-free graphs are perfectly divisible. Karthick et al. [Electron. J. Combin. 29 (2022) P3.19] proposed a conjecture: Fork-free graphs are perfectly divisible. In this paper, we prove that all of five conjectures above hold for bull-free graphs. Our results also generalize some results of Chudnovsky and Sivaraman [J. Graph Theory 90 (2019) 54--60] and Karthick et al. [Electron. J. Combin. 29 (2022) P3.19]. We say that a class ${\cal C}$ is {\em perfect-Pollyanna} if ${\cal C}\cap {\cal G}$ is perfectly divisible for any hereditary class ${\cal G}$ in which each triangle-free graph is 3-colorable. Let $H\in\{\text{house, hammer, diamond}\}$. In this paper, we prove that the class of $(\text{bull}, H)$-free graphs is perfect-Pollyanna. Let ${\cal C}$ be the class of $(\text{bull}, H)$-free graphs. This implies that ${\cal C}\cap {\cal G}$ is perfectly divisible if and only if all of triangle-free graphs in ${\cal G}$ are perfectly divisible. As corollaries, we show that $(\text{bull},{\cal H})$-free graphs are perfectly divisible, where ${\cal H}$ is one of $\{P_{11},C_4\},\{P_{14},C_5,C_4\}$, and $\{P_{17},C_6,C_5,C_4\}$.

A graph $G$ is {\em perfectly divisible} if, for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. A {\em bull} is a graph consisting of a triangle with two disjoint pendant edges, a {\em fork } is a graph obtained from $K_{1,3}$ by subdividing an edge once, and an {\em odd torch} is a graph obtained from an odd hole by adding an edge $xy$ such that $x$ is non-adjacent to any vertex on the odd hole and the set of neighbors of $y$ on the odd hole is a stable set. Chudnovsky and Sivaraman [J. Graph Theory 90 (2019) 54-60] proved that every (odd hole, bull)-free graph and every ($P_5$, bull)-free graph are perfectly divisible. Karthick {\em et al.} [The Electron. J. of Combin. 29 (2022) P3.19.] proved that every (fork, bull)-free graph is perfectly divisible. Chen and Xu [Discrete Appl. Math. 372 (2025) 298-307.] proved that every ($P_7,C_5$, bull)-free graph is perfectly divisible. Let $H\in$\{\{odd~torch\}, $\{P_8,C_5\}\}$. In this paper, we prove that every ($H$, bull)-free graph is perfectly divisible. We also prove that a ($P_6$, bull)-free graph is perfectly divisible if and only if it contains no Mycielski-Grötzsch graph as an induced subgraph. As corollaries, these graphs are $\binom{ω+1}{2}$-colorable. Notice that every odd torch contains an odd hole, an induced $P_5$, and an induced fork. Therefore, our results generalize their findings. Moreover, we prove that every ($P_6$, bull)-free graph $G$ satisfies $χ(G)\leqω(G)^7$.

Randerath {\em et al.} [Discrete Math. 251 (2002) 137-153] proved that every $(P_6,C_3)$-free graph $G$ satisfies $χ(G)\leq4$. Pyatkin [Discrete Math. 313 (2013) 715-720] proved that every $(2P_3,C_3)$-free graph $G$ satisfies $χ(G)\leq4$. In this paper, we prove that for a connected $(P_2\cup P_4, C_3)$-free graph $G$, either $G$ has two nonadjacent vertices $u,v$ such that $N(u)\subseteq N(v)$, or $G$ is 3-colorable, or $G$ contains Grőtzsch graph as an induced subgraph and is an induced subgraph of Clebsch graph. Consequently, we have determined the chromatic number of $(P_2\cup P_4, C_3)$-free graph is 4. A graph $G$ is {\em perfectly divisible} if, for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. A {\em bull} is a graph consisting of a triangle with two disjoint pendant edges. Deng and Chang [Graphs Combin. (2025) 41: 63] proved that every ($P_2\cup P_3$, bull)-free graph $G$ with $ω(G)\geq3$ has a partition $(X,Y)$ such that $G[X]$ is perfect and $G[Y]$ has clique number less than $ω(G)$ if $G$ admits no homogeneous set; Chen and Wang [arXiv:2507.18506v2] proved that such property is also true for ($P_2\cup P_4$, bull)-free graphs. In this paper, we prove that a ($P_2\cup P_4$, bull)-free graph is perfectly divisible if and only if it contains no Grőtzsch graph.

An {\em odd hole} in a graph is an induced subgraph which is a cycle of odd length at least five. An {\em odd parachute} is a graph obtained from an odd hole $H$ by adding a new edge $uv$ such that $x$ is adjacent to $u$ but not to $v$ for each $x\in V(H)$. A graph $G$ is perfectly divisible if for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. A vertex of a graph is {\em trisimplicial} if its neighbourhood is the union of three cliques. In this paper, we prove that $χ(G)\leq \binom{ω(G)+1}{2}$ if $G$ is a (fork, odd parachute)-free graph by showing that $G$ contains a trisimplicial vertex when $G$ is nonperfectly divisible. This generalizes some results of Karthick, Kaufmann and Sivaraman [{\em Electron. J. Combin.} \textbf{29} (2022) \#P3.19], and Wu and Xu [{\em Discrete Math.} \textbf{347} (2024) 114121]. As a corollary, every nonperfectly divisible claw-free graph contains a trisimplicial vertex.

The Borodin-Kostochka Conjecture states that for a graph $G$, if $Δ(G)\geq9$, then $χ(G)\leq\max\{Δ(G)-1,ω(G)\}$. We use $P_t$ and $C_t$ to denote a path and a cycle on $t$ vertices, respectively. Let $C=v_1v_2v_3v_4v_5v_1$ be an induced $C_5$. A {\em $C_5^+$} is a graph obtained from $C$ by adding a $C_3=xyzx$ and a $P_2=t_1t_2$ such that (1) $x$ and $y$ are both exactly adjacent to $v_1,v_2,v_3$ in $V(C)$, $z$ is exactly adjacent to $v_2$ in $V(C)$, $t_1$ is exactly adjacent to $v_4,v_5$ in $V(C)$ and $t_2$ is exactly adjacent to $v_1,v_4,v_5$ in $V(C)$, (2) $t_1$ is exactly adjacent to $z$ in $\{x,y,z\}$ and $t_2$ has no neighbors in $\{x,y,z\}$. In this paper, we show that the Borodin-Kostochka Conjecture holds for ($P_6,C_4,H$)-free graphs, where $H\in \{K_7,C_5^+\}$. This generalizes some results of Gupta and Pradhan in \cite{GP21,GP24}.

A hereditary class $\cal G$ of graphs is {\em $χ$-bounded} if there is a {\em $χ$-binding function}, say $f$, such that $χ(G)\le f(ω(G))$ for every $G\in\cal G$, where $χ(G)(ω(G))$ denotes the chromatic (clique) number of $G$. It is known that for every $(P_3\cup P_2)$-free graph $G$, $χ(G)\le \frac{1}{6}ω(G)(ω(G)+1)(ω(G)+2)$ \cite{BA18}, and the class of $(2K_2, 3K_1)$-free graphs does not admit a linear $χ$-binding function\cite{BBS19}. In this paper, we prove that (\romannumeral 1) $χ(G)\le2ω(G)$ if $G$ is ($P_3\cup P_2$, kite)-free, (\romannumeral 2) $χ(G)\leω^2(G)$ if $G$ is ($P_3\cup P_2$, hammer)-free, (\romannumeral 3) $χ(G)\le\frac{3ω^2(G)+ω(G)}{2}$ if $G$ is ($P_3\cup P_2, C_5$)-free. Furthermore, we also discuss $χ$-binding functions for $(P_3\cup P_2, K_4)$-free graphs.

For two vertex disjoint graphs $H$ and $F$, we use $H\cup F$ to denote the graph with vertex set $V(H)\cup V(F)$ and edge set $E(H)\cup E(F)$, and use $H+F$ to denote the graph with vertex set $V(H)\cup V(F)$ and edge set $E(H)\cup E(F)\cup\{xy\;|\; x\in V(H), y\in V(F)$$\}$. A $W_4$ is the graph $K_1+C_4$. In this paper, we prove that $χ(G)\le 2ω(G)$ if $G$ is a ($P_3\cup P_2, W_4$)-free graph. This bound is tight when $ω=2$ and $3$, and improves the main result of Wang and Zhang. Also, this bound partially generalizes some results of Prashant {\em et al.}.

Let $G$ and $H$ be two vertex disjoint graphs. The {\em union} $G\cup H$ is the graph with $V(G\cup H)=V(G)\cup V(H)$ and $E(G\cup H)=E(G)\cup E(H)$. We use $P_k$ to denote a {\em path} on $k$ vertices, use {\em house} to denote the complement of $P_5$. In this paper, we show that $χ(G)\le2ω(G)$ if $G$ is ($P_3\cup P_2$, house)-free. Moreover, this bound is optimal when $ω(G)\ge2$.

Let $G$ and $H$ be two vertex disjoint graphs. The {\em union} $G\cup H$ is the graph with $V(G\cup H)=V(G)\cup (H)$ and $E(G\cup H)=E(G)\cup E(H)$. The {\em join} $G+H$ is the graph with $V(G+H)=V(G)+V(H)$ and $E(G+H)=E(G)\cup E(H)\cup\{xy\;|\; x\in V(G), y\in V(H)$$\}$. We use $P_k$ to denote a {\em path} on $k$ vertices, use {\em fork} to denote the graph obtained from $K_{1,3}$ by subdividing an edge once, and use {\em crown} to denote the graph $K_1+K_{1,3}$. In this paper, we show that (\romannumeral 1) $χ(G)\le\frac{3}{2}(ω^2(G)-ω(G))$ if $G$ is (crown, $P_5$)-free, (\romannumeral 2) $χ(G)\le\frac{1}{2}(ω^2(G)+ω(G))$ if $G$ is (crown, fork)-free, and (\romannumeral 3) $χ(G)\le\frac{1}{2}ω^2(G)+\frac{3}{2}ω(G)+1$ if $G$ is (crown, $P_3\cup P_2$)-free.

Borodin and Kostochka conjectured that every graph $G$ with $Δ\ge9$ satisfies $χ\le$ max $\{ω, Δ-1\}$. Gupta and Pradhan proved the Borodin-Kostochka conjecture for ($P_5$, $C_4$)-free graphs [{\em J. Appl. Math. Comp.} \textbf{65} (2021) 877-884]. In this paper, we prove the Borodin-Kostochka conjecture for ($P_6$, apple, torch)-free graphs, that is, graphs with no induced $P_6$, no induced $C_5$ with a hanging edge, and no induced $C_5$ and $C_4$ sharing exactly an induced $P_3$. This generalizes the result of Gupta and Pradhan from the perspective of allowing the existence of $P_5$.

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 $hole$ is an induced cycle of length at least four, and an odd hole is a hole of odd length. A {\em fork} is a graph obtained from $K_{1,3}$ by subdividing an edge once. An {\em odd balloon} is a graph obtained from an odd hole by identifying respectively two consecutive vertices with two leaves of $K_{1, 3}$. A {\em gem} is a graph that consists of a $P_4$ plus a vertex adjacent to all vertices of the $P_4$. A {\em butterfly} is a graph obtained from two traingles by sharing exactly one vertex. A graph $G$ is perfectly divisible if for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. In this paper, we show that (odd balloon, fork)-free graphs are perfectly divisible (this generalizes some results of Karthick {\em et al}). As an application, we show that $χ(G)\le\binom{ω(G)+1}{2}$ if $G$ is (fork, gem)-free or (fork, butterfly)-free.

A hole is an induced cycle of length at least 4. Let $ł\ge 2$ be a positive integer, let ${\cal G}_l$ denote the family of graphs which have girth $2ł+1$ and have no holes of odd length at least $2ł+3$, and let $G\in {\cal G}_ł$. For a vertex $u\in V(G)$ and a nonempty set $S\subseteq V(G)$, let $d(u, S)=\min\{d(u, v):v\in S\}$, and let $L_i(S)=\{u\in V(G) \mbox{ and } d(u, S)=i\}$ for any integer $i\ge 0$. We show that if $G[S]$ is connected and $G[L_i(S)]$ is bipartite for each $i\in\{1, \ldots, \lfloor{ł\over 2}\rfloor\}$, then $G[L_i(S)]$ is bipartite for each $i>0$, and consequently $χ(G)\le 4$, where $G[S]$ denotes the subgraph induced by $S$. Let $θ^-$ be the graph obtained from the Petersen graph by deleting three vertices which induce a path, let $θ^+$ be the graph obtained from the Petersen graph by deleting two adjacent vertices, and let $θ$ be the graph obtained from $θ^+$ by removing an edge incident with two vertices of degree 3. For a graph $G\in{\cal G}_2$, we show that if $G$ is 3-connected and has no unstable 3-cutset then $G$ must induce either $θ$ or $θ^-$ but does not induce $θ^+$. As corollaries, $χ(G)\le 3$ for every graph $G$ of ${\cal G}_2$ that induces neither $θ$ nor $θ^-$, and minimal non-3-colorable graphs of ${\cal G}_2$ induce no $θ^+$.

The concept of monochromatic connection of graphs was introduced by Caro and Yuster in 2011. Recently, a lot of results have been published about it. In this survey, we attempt to bring together all the results that dealt with it. We begin with an introduction, and then classify the results into the following categories: monochromatic connection coloring of edge-version, monochromatic connection coloring of vertex-version, monochromatic index, monochromatic connection coloring of total-version.

A tree $T$ in an edge-colored graph $H$ is called a \emph{monochromatic tree} if all the edges of $T$ have the same color. For $S\subseteq V(H)$, a \emph{monochromatic $S$-tree} in $H$ is a monochromatic tree of $H$ containing the vertices of $S$. For a connected graph $G$ and a given integer $k$ with $2\leq k\leq |V(G)|$, the \emph{$k$-monochromatic index $mx_k(G)$} of $G$ is the maximum number of colors needed such that for each subset $S\subseteq V(G)$ of $k$ vertices, there exists a monochromatic $S$-tree. In this paper, we prove that for any connected graph $G$, $mx_k(G)=|E(G)|-|V(G)|+2$ for each $k$ such that $3\leq k\leq |V(G)|$. A tree $T$ in a vertex-colored graph $H$ is called a \emph{vertex-monochromatic tree} if all the internal vertices of $T$ have the same color. For $S\subseteq V(H)$, a \emph{vertex-monochromatic $S$-tree} in $H$ is a vertex-monochromatic tree of $H$ containing the vertices of $S$. For a connected graph $G$ and a given integer $k$ with $2\leq k\leq |V(G)|$, the \emph{$k$-monochromatic vertex-index $mvx_k(G)$} of $G$ is the maximum number of colors needed such that for each subset $S\subseteq V(G)$ of $k$ vertices, there exists a vertex-monochromatic $S$-tree. We show that for a given a connected graph $G$, and a positive integer $L$ with $L\leq |V(G)|$, to decide whether $mvx_k(G)\geq L$ is NP-complete for each integer $k$ such that $2\leq k\leq |V(G)|$. We also obtain some Nordhaus-Gaddum-type results for the $k$-monochromatic vertex-index.

A path in a total-colored graph is called \emph{total rainbow} if its edges and internal vertices have distinct colors. For an $\ell$-connected graph $G$ and an integer $k$ with $1\leq k \leq\ell$, the \emph{total rainbow $k$-connection number} of $G$, denoted by $trc_k(G)$, is the minimum number of colors used in a total coloring of $G$ to make $G$ \emph{total rainbow $k$-connected}, that is, any two vertices of $G$ are connected by $k$ internally vertex-disjoint total rainbow paths. In this paper, we study the computational complexity of total rainbow $k$-connection number of graphs. We show that it is NP-complete to decide whether $trc_k(G)=3$.

A path in a vertex-colored graph is called a \emph{vertex-monochromatic path} if its internal vertices have the same color. A vertex-coloring of a graph is a \emph{monochromatic vertex-connection coloring} (\emph{MVC-coloring} for short), if there is a vertex-monochromatic path joining any two vertices in the graph. For a connected graph $G$, the \emph{monochromatic vertex-connection number}, denoted by $mvc(G)$, is defined to be the maximum number of colors used in an \emph{MVC-coloring} of $G$. These concepts of vertex-version are natural generalizations of the colorful monochromatic connectivity of edge-version, introduced by Caro and Yuster. In this paper, we mainly investigate the Erdős-Gallai-type problems for the monochromatic vertex-connection number $mvc(G)$ and completely determine the exact value. Moreover, the Nordhaus-Gaddum-type inequality for $mvc(G)$ is also given.

A path in an edge-colored graph is called a \emph{monochromatic path} if all the edges on the path are colored the same. An edge-coloring of $G$ is a \emph{monochromatic connection coloring} (MC-coloring, for short) if there is a monochromatic path joining any two vertices in $G$. The \emph{monochromatic connection number}, denoted by $mc(G)$, is defined to be the maximum number of colors used in an MC-coloring of a graph $G$. These concepts were introduced by Caro and Yuster, and they got some nice results. In this paper, we will study two kinds of Erdős-Gallai-type problems for $mc(G)$, and completely solve them.