Teorema celor patru culori

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare

Teorema celor patru culori a fost prima teoremă demonstrată cu ajutorul calculatorului.

Teorema spune că pentru a colora o hartă conținând graniți de țări sau state ("hartă politică") în așa fel incâ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:

  • 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ță.