Keturių spalvų teorema
Keturių spalvų teorema (arba Keturių spalvų žemėlapio teorema) – matematinė teorema, teigianti, kad norint bet kokį į bet kiek regionų suskirstytą planą (žemėlapį) nuspalvinti taip, kad du šalia esantys regionai niekada nebūtų vienodos spalvos, užtenka keturių skirtingų spalvų. „Šalia esantys“ šiuo atveju reiškia besiliečiantys kraštais, t. y. ne tik viename taške. Be to, kiekvienas regionas turi būti vientisas.
Keturių spalvų teorema buvo pirmoji teorema, įrodyta kompiuterio pagalba. Jos įrodymą pripažįsta ne visi matematikai, kadangi jį nėra lengva pakartoti žmogui rankiniu būdu. Kitaip tariant, kad laikyti įrodymą patikimu, taip pat reikia patikimomis laikyti ir pagalbines įrodinėjimo priemones: kompiuterį, programinę įrangą ir panašiai.
| ||||||