Teorema celor patru culori

De la Wikipedia, enciclopedia liberă

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ţă.