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 pasitelkiant kompiuterį. Jos įrodymą pripažįsta ne visi matematikai, kadangi jį nėra lengva pakartoti žmogui rankiniu būdu. Kitaip tariant, kad įrodymas būtų laikomas patikimu, taip pat reikia patikimomis laikyti ir pagalbines įrodinėjimo priemones: kompiuterį, programinę įrangą ir panašiai.
This article uses material from the Wikipedia Lietuvių article Keturių spalvų teorema, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Turinys pateikiamas pagal CC BY-SA 4.0 jei nėra nurodyta kitaip. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Lietuvių (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.