On Small Faces in 4-critical Planar Graphs

Abstract

It is shown that a $4$-critical planar graph must contain a cycle of length $4$ or $5$ or a face of size $k$, where $6\le k\le 11$.