El Teorema de los Cuatro Colores es un teorema matemático en el campo de la teoría de grafos y la cartografía. Afirma que, en un plano subdividido en regiones, es posible colorear todas las regiones de manera que no haya dos regiones adyacentes con el mismo color, utilizando como máximo cuatro colores diferentes.

El codigo proporcionado da una representación al teorema mismo por medio de un algoritmo Greedy, donde se recorre cada uno de los vertices para asignarle un color, y por cada uno de ellos, se establece el color minimo que sea distinto a sus conexiones.