Teorema celor patru culori

De la Wikipedia, enciclopedia liberă

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

Teorema spune că orice hartă (politică) poate fi colorată folosind doar patru culori, în aşa fel incât să nu existe două state cu graniţe comune şi care sa fie colorate la fel.