Teorema celor patru culori
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8a/Four_Colour_Map_Example.svg/220px-Four_Colour_Map_Example.svg.png)
Teorema celor patru culori a fost prima teoremă demonstrată cu ajutorul calculatorului.
Teorema spune că pentru a colora o hartă conținând granițe de țări sau state ("hartă politică") în așa fel încât să nu existe două țări cu granițe comune și de aceeași culoare, 4 culori diferite sunt întotdeauna suficiente.
Condițiile în care teorema e adevărată sunt următoarele:
- Harta trebuie să se afle pe o suprafață euclidiană;
- „Țările” să fie conexe (dintr-o singură bucată, fără exclave);
- Vârfurile (punctele) unde se întâlnesc mai multe țări nu sunt considerate graniță.