Keturių spalvų teorema

Straipsnis iš Vikipedijos, laisvosios enciklopedijos.
Peršokti į: navigacija, paiešką
 NoFonti.svg  Šiam straipsniui ar jo daliai trūksta šaltinių ar nuorodų į juos.
Jūs galite padėti Vikipedijai įrašydami tinkamas išnašas ar nuorodas į šaltinius.
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 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.