Three-coloring triangle-free graphs without long forbidden paths
Abstract
A graph G is k-vertex-critical if (G)=k, but (G')<k for every proper induced subgraph G' of G. For a family of graphs F, G is F-free if no graph F ∈ F is an induced subgraph of G. We show that there are exactly three 4-vertex-critical \P7,C3\-free graphs containing an induced C7, thereby settling the first of the two cases of a conjecture by Goedgebeur and Schaudt [J.~Graph Theory, 87:188--207, 2018]. Moreover, we show that all \P5+P1,C3\-free graphs are 3-colorable and by combining our result with known results from the literature, we completely characterize the maximum chromatic number of \F,C3\-free graphs if F is a six-vertex induced subgraph of P7. Finally, we construct an infinite family of 4-vertex-critical \4K2,C3\-free graphs. These graphs are also \P11,C3\-free and this is the first value of t for which an infinite family of 4-vertex-critical \Pt,C3\-free graphs is known.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.