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, 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.

The bipartite independence number of a graph $G$, denoted by $\widetildeα(G)$, is defined as the smallest integer $q$ for which there exist positive integers $s$ and $t$ with $s + t = q + 1$, such that for any two disjoint subsets $A, B \subseteq V(G)$ with $|A| = s$ and $|B| = t$, there exists an edge between $A$ and $B$. In this paper, we prove that for a 2-connected graph $G$ of order at least three, if $\max\{d_G(x), d_G(y)\} \ge \widetildeα(G)$ for every pair of nonadjacent vertices $x, y$ at distance two, then $G$ is hamiltonian. Moreover, we prove that if $G$ is 3-connected and $\max\{d_G(x), d_G(y)\} \ge \widetildeα(G)+1$ for every pair of nonadjacent vertices $x, y$ at distance two, then $G$ is hamiltonian-connected. Our results generalize the recent work by Li and Liu.

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}.