Heawoodin lause

Tasokuvio on väritetty viidellä värillä. Vierekkäiset alueet ovat aina eriväriset.

Heawoodin lause on graafiteoriaan liittyvä lause, jonka mukaan jokainen tasograafi on väritettävissä viidellä värillä. On myös todistettavissa, että tasograafit ovat väritettävissä enintään viidellä värillä. Kyseinen todistus on heikompi kuin neliväriongelman todistus ja perustuukin epäonnistuneeseen neliväriongelman todistusyritykseen.

Katso myös

• Neliväriongelma