Izrek štirih barv: Razlika med redakcijama

[[Slika:Four Colour Map ExampleFourcolorsmap.svg|thumb|right|Primer »zemljevida«Tri sbarve štirimine barvamizadoščajo!]]

[[Slika:EuropaObcine zemljevidSlovenija 2007 4col.pngsvg|thumb|right|Zemljevid Evropeslovenskih občin (2006) pobarvan s štirimi barvami]] <!-- gre s tremi? -->

'''IzrèkIzrek štírihštirih bárvbarv''' [[izjava|izjavlja]], da lahko vsako [[ravnina|ravnino]] razdeljeno na področja, kot je na primer politični [[zemljevid]] držav, grofij, ali karkoli že, pobarvamo z največ [[4 (število)|štirimi]] [[barva]]mi tako da nobeno izmed sosednjih področij ni pobarvano z isto barvo. Dve področji sta ''sosednji'', če njuna meja ni le [[točka]]. Vsako področje se mora stikati z drugim, kar pomeni, da nima [[eksklava|eksklav]] kot jih imata npr. [[Michigan]] in [[Azerbajdžan]].

Izrek štirih barvah je bil prvi veliki [[izrek]], ki so ga (leta [[1976]]) dokazali s pomočjo [[računalnik]]a. Njegovega dokaza vsi matematiki ne sprejemajo, saj ga človek ne more preveriti na roko. Navsezadnje moramo verjeti v pravilnost [[prevajalnik]]aprevajalnika in [[strojna oprema|strojne opreme]], ki sta izvršila program za dokaz.