Euler's formula for a connected plane graph is . If the graph is triangle-free, every face has boundary length at least four, so
Euler's formula then gives , so the average degree is less than four. There is a vertex of degree at most three. Delete it, color the remaining graph inductively with four colors, and restore it using a color absent from its at most three neighbors. Thus

Articles by others on the same topic (0)

There are currently no matching articles.