A graph is {\em perfectly divisible} if, for each induced subgraph of , can be partitioned into and such that is perfect and . A {\em bull} is a graph consisting of a triangle with two disjoint pendant edges, a {\em fork } is a graph obtained from by subdividing an edge once, and an {\em odd torch} is a graph obtained from an odd hole by adding an edge such that is non-adjacent to any vertex on the odd hole and the set of neighbors of 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 (, 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 (, bull)-free graph is perfectly divisible. Let {{odd~torch}, . In this paper, we prove that every (, bull)-free graph is perfectly divisible. We also prove that a (, 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 -colorable. Notice that every odd torch contains an odd hole, an induced , and an induced fork. Therefore, our results generalize their findings. Moreover, we prove that every (, bull)-free graph satisfies .

生成讲解博客的中文版本

生成AI智能校验的中文版本