graph theory

The Balanced Four-Color Theorem

arXiv:2607.13025

summary

The paper proves that every planar graph with at least three vertices can be 4‑colored so that each color class contains fewer than half of the vertices, and provides an O(n log n) algorithm to find such a coloring, with extensions to more colors and graphs on other surfaces.

Abstract

We show that every planar graph with vertices admits a 4-coloring in which each color is used on fewer than vertices. This bound is the best possible. Moreover, such a coloring can be found in time. We also extend these results to five or more colors and to graphs on general surfaces.

Topics & keywords

#planar graphs#graph coloring#balanced coloring#algorithmic complexity#surface embeddingsfour-color theorembalanced 4‑coloringO(n log n) algorithmplanar graphgraph coloring algorithmcombinatorial optimization
The Balanced Four-Color Theorem · wovepaper