Vertex-critical graphs in subfamilies of (P₄+ell P₁)-free graphs
Pith reviewed 2026-05-10 17:41 UTC · model grok-4.3
The pith
There are only finitely many k-vertex-critical graphs in several subfamilies of (P4 + ℓP1)-free graphs for every k.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For every k ≥ 1 and every ℓ, m ≥ 0 the class of (P4 + ℓP1, B4(m), B3(m)+)-free graphs contains only finitely many k-vertex-critical graphs. The three listed families are obtained by choosing appropriate m so that the extra forbidden graphs (chair, bull, cricket) become special cases of B4(m) or B3(m)+. The same finiteness supplies polynomial-time certifying algorithms for deciding whether any graph in these classes is k-colorable.
What carries the argument
The general finiteness theorem for (P4 + ℓP1, B4(m), B3(m)+)-free graphs, where B_n(m) is formed by attaching a star K_{1,m} to one end of a path on n vertices and B_n(m)+ augments it by identifying an edge of a triangle with a degree-2 / degree-m edge of B_n(m).
If this is right
- Polynomial-time certifying algorithms decide k-colorability for every fixed k in each of the listed families.
- χ(G) ≤ ℓ + 2 holds for all (P4 + ℓP1, K3)-free graphs.
- A general χ-bound of O(ℓ^{ω-1}) holds for arbitrary (P4 + ℓP1)-free graphs.
Where Pith is reading between the lines
- The same structural restrictions may force finiteness in other combinations of forbidden subgraphs that contain the chair, bull, or cricket as induced subgraphs.
- The improved χ-bounds suggest that the (P4 + ℓP1)-free class itself may admit tighter coloring bounds once triangle-free members are handled separately.
- The certifying algorithms could be made practical by computing the finite obstruction sets for small k.
Load-bearing premise
The extra forbidden subgraphs B4(m) and B3(m)+ (or the chair, bull, and cricket) impose enough structural control on (P4 + ℓP1)-free graphs that infinite families of k-vertex-critical graphs cannot exist.
What would settle it
An explicit infinite family of k-vertex-critical graphs that remain (P4 + ℓP1, B4(m), B3(m)+)-free for some fixed k, ℓ, m would disprove the claim.
Figures
read the original abstract
A graph $G$ is $k$-vertex-critical if $\chi(G)=k$ but $\chi(G-v)<k$ for all $v\in V(G)$. In this paper we make progress on the open problem of the finiteness of $k$-vertex-critical $(P_4+\ell P_1)$-free graphs by showing that there are only finitely many $k$-vertex-critical graphs in the following subfamilies of $(P_4+\ell P_1)$-free graphs for all $k\ge 1$ and $\ell\ge 0$: $\bullet$ $(P_4+\ell P_1,\text{chair})$-free graphs, $\bullet$ $(P_4+\ell P_1,P_5,\text{bull})$-free graphs, and $\bullet$ $(P_4+\ell P_1,P_5,\text{cricket})$-free graphs. In fact, all but the first of these are special cases of our general result that there are only finitely many $k$-vertex-critical $(P_4+\ell P_1,B_{4}(m),B_{3}(m)^{+})$-free graphs for all $k\ge 1$ and $\ell,m\ge 0$. Here $B_{n}(m)$ is the graph obtained from a path of order $n$ by identifying one of its leaves with the centre vertex of $K_{1,m}$ and $B_{n}(m)^{+}$ is the graph obtained by identifying an edge of $K_3$ with the edge of $B_{n}(m)$ with endpoints of degrees $2$ and $m$, respectively. Our results imply the existence of simple polynomial-time certifying algorithms to decide the $k$-colourability of all graphs in these subfamilies for every fixed $k$. We also show that $\chi(G)\le \ell+2$ for all $(P_4+\ell P_1,K_3)$-free graphs and all $\ell\ge 0$, improving the previously known upper bound of $2\ell+2$ that followed from Randerath and Schiermeyer's 2004 result on $(P_t,K_3)$-free graphs. More generally, we provide a $\chi$-bound in $O(\ell^{\omega-1})$ for $(P_4+\ell P_1)$-free graphs which improves the bound of $(2\ell+2)^{\omega-1}$ which followed from Gravier, Ho\`ang and Maffray in 2003 for $P_{t}$-free graphs.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves finiteness of the set of k-vertex-critical graphs for every fixed k ≥ 1 in three subfamilies of (P_4 + ℓ P_1)-free graphs: those that additionally forbid the chair, those that forbid P_5 and the bull, and those that forbid P_5 and the cricket. These are recovered as special cases of the general theorem that (P_4 + ℓ P_1, B_4(m), B_3(m)^+)-free graphs have only finitely many k-vertex-critical members for any ℓ, m ≥ 0. The manuscript also establishes the bound χ(G) ≤ ℓ + 2 for all (P_4 + ℓ P_1, K_3)-free graphs (improving the earlier 2ℓ + 2 bound) and the general bound O(ℓ^{ω-1}) for (P_4 + ℓ P_1)-free graphs.
Significance. The finiteness theorems supply concrete structural restrictions (via reductions that bound degree and eliminate certain path configurations) that imply polynomial-time certifying algorithms for k-colorability in each listed class. The explicit lemmas showing that the bull and cricket appear as induced subgraphs of B_4(m) for large m, together with the separate chair argument, give a uniform method that may extend to the full (P_4 + ℓ P_1)-free class. The chromatic-number improvements are quantitative and directly strengthen earlier results of Randerath–Schiermeyer and Gravier–Hoàng–Maffray.
minor comments (3)
- Abstract: the precise edge-identification used to form B_n(m)^+ from B_n(m) and K_3 is stated but would benefit from an accompanying diagram or one-sentence expansion for readers unfamiliar with the notation.
- Section containing the general finiteness theorem: the reduction eliminating high-degree vertices is load-bearing; a short statement of the resulting order bound in terms of k, ℓ and m would make the dependence explicit.
- χ-bound section: the inductive coloring argument for the (P_4 + ℓ P_1, K_3)-free case is described at a high level; inserting the precise induction hypothesis (e.g., every proper subgraph is (ℓ+1)-colorable) would improve readability.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our manuscript, the recognition of its significance in providing finiteness results for k-vertex-critical graphs in the specified subfamilies, and the recommendation for minor revision. We appreciate the connections drawn to certifying algorithms and prior chromatic bounds.
Circularity Check
No significant circularity identified
full rationale
The derivation proceeds via explicit structural lemmas that bound the order of k-vertex-critical graphs by eliminating high-degree vertices and forbidden path configurations in the presence of the additional subgraphs (chair; B4(m), B3(m)+). The general finiteness theorem for (P4+ℓP1, B4(m), B3(m)+)-free graphs is established first by these reductions; bull and cricket cases then follow directly from showing they appear as induced subgraphs of the B families for large m, while the chair case uses a separate but analogous argument. The χ ≤ ℓ+2 bound for (P4+ℓP1, K3)-free graphs is obtained by an inductive coloring procedure that exploits triangle-freeness and the limited P4+isolates structure. These steps are combinatorial and self-contained; they do not reduce by definition or construction to the claimed conclusions, nor rely on load-bearing self-citations or fitted inputs renamed as predictions. Prior bounds from Randerath-Schiermeyer and Gravier-Hoàng-Maffray are cited only for comparison, not as the foundation of the new results.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms of graph theory: graphs are finite undirected simple structures, chromatic number is the minimum colors needed for proper vertex coloring, and vertex-criticality is defined via deletion of single vertices.
Reference graph
Works this paper leans on
-
[1]
Abuadas, T., Cameron, B., Hoàng, C.T., Sawada, J.: Vertex-critical (P3 +ℓP 1)-free and vertex-critical (gem, co-gem)-free graphs. Discrete Appl. Math.344, 179–187 (2024).https://doi.org/https://doi.org/ 10.1016/j.dam.2023.11.042
-
[2]
Beaton, I., Cameron, B.: Vertex-critical graphs in co-gem-free graphs. The- oretical Computer Science1042, 115234 (2025).https://doi.org/https: //doi.org/10.1016/j.tcs.2025.115234
-
[3]
Brandstädt, A., Le, V.B., Spinrad, J.P.: Graph classes: a survey. SIAM (1999)
work page 1999
-
[4]
Brause, C., Geißer, M., Schiermeyer, I.: Homogeneous sets, clique- separators, critical graphs, and optimalχ-binding functions. Discrete Appl. Math.320, 211–222 (2022).https://doi.org/https://doi.org/ 10.1016/j.dam.2022.05.014
-
[5]
Cai, Q., Huang, S., Li, T., Shi, Y.: Vertex-critical(P5, banner)-free graphs. In: Frontiers in Algorithmics - 13th International Workshop, FAW 2019, Sanya, China, April 29 - May 3, 2019, Proceedings. vol. 11458, pp. 111–120. Springer (2019)
work page 2019
-
[6]
Cai, Q., Goedgebeur, J., Huang, S.: Some results onk-criticalP 5-free graphs. Discrete Appl. Math.334, 91–100 (2023).https://doi.org/ https://doi.org/10.1016/j.dam.2023.03.008
-
[7]
Cameron, B., Hoàng, C.T., Sawada, J.: Dichotomizingk-vertex-criticalH- free graphs forHof order four. Discrete Appl. Math.312, 106–115 (2022). https://doi.org/https://doi.org/10.1016/j.dam.2021.11.001
-
[8]
Cameron, B., Hoàng, C.T.: A refinement on the structure of vertex-critical (P5, gem)-free graphs. Theoret. Comput. Sci.961, 113936 (2023).https: //doi.org/https://doi.org/10.1016/j.tcs.2023.113936
-
[9]
Cameron, B., Hoàng, C.T.: Infinite families ofk-vertex-critical(P5, C5)-free graphs. Graphs Combin.40, 30 (2024)
work page 2024
-
[10]
Cameron, K., Goedgebeur, J., Huang, S., Shi, Y.:k-Critical graphs inP5- free graphs. Theoret. Comput. Sci.864, 80–91 (2021).https://doi.org/ https://doi.org/10.1016/j.tcs.2021.02.029
-
[11]
preprint, arXiv:2509.14135 [math.CO] (2025)
Chen, R., Wu, D., Zhang, X.: Structure, Perfect Divisibility and Coloring of(P 2 ∪P4, C 3)-Free Graphs. preprint, arXiv:2509.14135 [math.CO] (2025)
-
[12]
Chudnovsky, M., Goedgebeur, J., Schaudt, O., Zhong, M.: Obstructions for three-coloring and list three-coloringH-free graphs. SIAM J. Discrete Math.34(1), 431–469 (2020)
work page 2020
-
[13]
Combinatorica44(5), 1063–1068 (2024).https://doi.org/10
Chudnovsky, M., Hajebi, S., Spirkl, S.: List-k-ColoringH-Free Graphs for Allk >4. Combinatorica44(5), 1063–1068 (2024).https://doi.org/10. 1007/s00493-024-00106-2
work page 2024
-
[14]
Chudnovsky, M., Robertson, N., Seymour, P., Thomas, R.: The strong perfect graph theorem. Ann. of Math.164(1), 51–229 (2006).https: //doi.org/10.4007/annals.2006.164.51 Vertex-critical graphs in subfamilies of(P4 +ℓP 1)-free graphs 13
-
[15]
Chudnovsky, M., Spirkl, S., Zhong, M.: Four-ColoringP6-Free Graphs. I. Extending an Excellent Precoloring. SIAM Journal on Computing53(1), 111–145 (2024),https://doi.org/10.1137/18M1234837
-
[16]
Chudnovsky, M., Spirkl, S., Zhong, M.: Four-ColoringP6-Free Graphs. II. Finding an Excellent Precoloring. SIAM Journal on Computing53(1), 146– 187 (2024),https://doi.org/10.1137/18M1234849
-
[17]
Algorithmica71(1), 21–35 (2015).https: //doi.org/10.1007/s00453-013-9777-0
Couturier, J.F., Golovach, P.A., Kratsch, D., Paulusma, D.: List Coloring in the Absence of a Linear Forest. Algorithmica71(1), 21–35 (2015).https: //doi.org/10.1007/s00453-013-9777-0
-
[18]
Dhaliwal, H.S., Hamel, A.M., Hoàng, C.T., Maffray, F., McConnell, T.J.D., Panait, S.A.: On color-critical(P5,co-P5)-free graphs. Discrete Appl. Math. 216, 142–148 (2017).https://doi.org/10.1016/j.dam.2016.05.018
-
[19]
Gravier, S., Hoàng, C.T., Maffray, F.: Coloring the hypergraph of maximal cliques of a graph with no long path. Discrete Mathematics272(2), 285–290 (2003).https://doi.org/https://doi.org/10.1016/S0012-365X(03) 00197-3,https://www.sciencedirect.com/science/article/pii/ S0012365X03001973
-
[20]
Hajebi, S., Li, Y., Spirkl, S.: Complexity Dichotomy for List-5-Coloring with a Forbidden Induced Subgraph. SIAM J. Discrete Math.36(3), 2004–2027 (2022).https://doi.org/10.1137/21M1443352
-
[21]
Algorithmica57, 74–81 (2010).https://doi.org/10.1007/s00453-008-9197-8
Hoàng, C.T., Kamiński, M., Lozin, V., Sawada, J., Shu, X.: Decidingk- colorability ofP 5-free graphs in polynomial time. Algorithmica57, 74–81 (2010).https://doi.org/10.1007/s00453-008-9197-8
-
[22]
Hoàng, C.T., Moore, B., Recoskie, D., Sawada, J., Vatshelle, M.: Construc- tions ofk-criticalP 5-free graphs. Discrete Appl. Math.182, 91–98 (2015). https://doi.org/10.1016/j.dam.2014.06.007
-
[23]
Holyer, I.: The NP-completeness of edge-coloring. SIAM J. Comput.10(4), 718–720 (1981).https://doi.org/10.1137/0210055
-
[24]
Tree-depth, subgraph coloring and homomor- phism bounds
Huang, S.: Improved complexity results onk-coloringPt-free graphs. Euro- pean J. Combin.51, 336–346 (2016).https://doi.org/10.1016/j.ejc. 2015.06.005
-
[25]
Huang, S., Li, J., Xia, W.: Critical (P5, bull)-free graphs. Discrete Appl. Math.334, 15–25 (2023).https://doi.org/https://doi.org/10.1016/ j.dam.2023.02.019
work page 2023
-
[26]
Huang, S., Li, Z.: Vertex-Critical(P 5, chair)-free Graphs. Discrete Appl. Math.341, 9–15 (2023).https://doi.org/https://doi.org/10.1016/ j.dam.2023.07.014
work page 2023
-
[27]
preprint, arXiv:2504.14134 [math.CO] (2025)
Jua, Y., Jooken, J., Goedgebeur, J., Huang, S.: There are finitely many 5- vertex-critical (P6,bull)-free graphs. preprint, arXiv:2504.14134 [math.CO] (2025)
-
[28]
Kamiński, M., Lozin, V.: Coloring edges and vertices of graphs without short or long cycles. Contrib. Discrete Math.2(1), 61–66 (2007).https: //doi.org/10.11575/cdm.v2i1.61890
-
[29]
Kamiński, M., Pstrucha, A.: Certifying coloring algorithms for graphs without long induced paths. Discrete Appl. Math.261, 258–267 (2019). https://doi.org/10.1016/j.dam.2018.09.031 14 Iain Beaton and Ben Cameron
-
[30]
In: Complexity of computer computations (Proc
Karp, R.M.: Reducibility among combinatorial problems. In: Complexity of computer computations (Proc. Sympos., IBM Thomas J. Watson Res. Center, Yorktown Heights, N.Y., 1972). pp. 85–103 (1972)
work page 1972
-
[31]
Leven, D., Gail, Z.: NP completeness of finding the chromatic index of regular graphs. J. Algorithms4, 35–44 (1983)
work page 1983
-
[32]
Maffray, F., Morel, G.: On3-colorableP 5-free graphs. SIAM J. Discrete Math.26(4), 1682–1708 (2012).https://doi.org/10.1137/110829222
-
[33]
McConnell, R., Mehlhorn, K., Näher, S., Schweitzer, P.: Certifying algo- rithms. Comput. Sci. Rev.5(2), 119–161 (2011).https://doi.org/https: //doi.org/10.1016/j.cosrev.2010.09.009
-
[34]
Discrete Math- ematics313(5), 715–720 (2013).https://doi.org/https://doi.org/10
Pyatkin, A.V.: Triangle-free2P3-free graphs are4-colorable. Discrete Math- ematics313(5), 715–720 (2013).https://doi.org/https://doi.org/10. 1016/j.disc.2012.10.019
work page 2013
-
[35]
Ramsey, F.P.: On a problem of formal logic. Proc. Lond. Math. Soc. (s2-30), 264–286 (1928)
work page 1928
-
[36]
Graphs Combin.20(1), 1–40 (2004).https://doi.org/10.1007/ s00373-003-0540-1
Randerath, B., Schiermeyer, I.: Vertex colouring and forbidden subgraphs— a survey. Graphs Combin.20(1), 1–40 (2004).https://doi.org/10.1007/ s00373-003-0540-1
work page 2004
-
[37]
Sperner, E.: Ein Satz über Untermengen einer endlichen Menge. Math. Z. 27(1), 544–548 (1928).https://doi.org/10.1007/BF01171114
-
[38]
Journal of Graph Theory88(2), 312–336 (2018)
Trotignon, N., Pham, L.A.:χ-bounds, operations, and chords. Journal of Graph Theory88(2), 312–336 (2018)
work page 2018
-
[39]
Prentice Hall, Inc., Upper Sad- dle River, NJ (1996)
West, D.B.: Introduction to Graph Theory. Prentice Hall, Inc., Upper Sad- dle River, NJ (1996)
work page 1996
-
[40]
Xia, W., Jooken, J., Goedgebeur, J., Beaton, I., Cameron, B., Huang, S.: Vertex-Critical(P 5, W4)-FreeGraphs.In:Fomin,F.V.,Xiao,M.(eds.)Com- puting and Combinatorics. pp. 139–152. Springer Nature Singapore, Singa- pore (2026)
work page 2026
-
[41]
Xia, W., Jooken, J., Goedgebeur, J., Huang, S.: Critical(P 5, dart)-Free Graphs. In: Combinatorial Optimization and Applications: 16th Interna- tional Conference, COCOA 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings,PartII.p.390–402.Springer-Verlag,Berlin,Heidelberg(2023), https://doi.org/10.1007/978-3-031-49614-1{_}29
-
[42]
Theoretical Computer Science1051, 115411 (2025)
Xia, W., Jooken, J., Goedgebeur, J., Huang, S.: Some Results on Critical (P5, H)-free Graphs. Theoretical Computer Science1051, 115411 (2025). https://doi.org/https://doi.org/10.1016/j.tcs.2025.115411
-
[43]
preprint, arXiv:2512.12349 [math.CO] (2025)
Zhou, Y., Jooken, J., Shan, B., Goedgebeur, J., Huang, S.: Three- coloring triangle-free graphs without long forbidden paths. preprint, arXiv:2512.12349 [math.CO] (2025)
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.