Keturių spalvų teorema

Straipsnis iš Vikipedijos, laisvosios enciklopedijos.
Peršokti į: navigaciją, paiešką
Keturių spalvų plano pavyzdys

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.