arXiv++ Combinatorics

We provide a simplified proof of the following special case of Wegner's conjecture: every planar graph of maximum degree at most three admits a distance-2 coloring with at most eight colors. Our main contribution is significant simplification of the most technically challenging part of Wegner's proof: the case involving the removal of a 5-cycle.