Solution to a problem of Grünbaum on the edge density of $4$-critical planar graphs

Abstract

We show that $\mathrm{limsup}|E(G)|/|V(G)|=2.5$ over all $4$-critical planar graphs $G$, answering a question of Grünbaum from 1988.

14 pages, 7 figures