A lower bound on the number of edges in DP-critical graphs. II. Four colors
Abstract
A graph G is k-critical (list k-critical, DP k-critical) if (G)= k ((G)= k, DP(G)= k) and for every proper subgraph G' of G, (G')<k ((G')< k, DP(G')<k). Let f(n, k) (f(n, k), fDP(n,k)) denote the minimum number of edges in an n-vertex k-critical (list k-critical, DP k-critical) graph. The main result of this paper is that if n≥ 6 and n∈\7,10\, then fDP(n,4)>(3 + 15 ) n2. This is the first bound on fDP(n,4) that is asymptotically better than the well-known bound f(n,4)≥ (3 + 113 ) n2 by Gallai from 1963. The result also yields a better bound on f(n,4) than the one known before.
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.