Lau koloreen teorema
Lau koloreen teorema grafoak koloreztatzeko teorema bat da eta honek ondorengoa dio: eskualde auzokidez osaturiko edozein mapa, oso korapilatsua izanda ere, lau kolorez margo daiteke, aldameneko bi eskualdek beti kolore ezberdinak dituztela.
Hiru kolorerekin ordea, ezin da edozein mapa margotu. Bost kolorerekin berriz, bai, teorema frogatzeko errazagoa izanik.
Lau koloreen problema lehenengo aldiz Francis Guthriek planteatu zuen 1852. urtean. Planteatu eta mende bat igaro ostean, 1976. urtean, Kenneth Appelek eta Wolfgang Hakenek problema frogatu zuten konputagailu baten laguntzarekin.
Frogapen eztabaidatua[aldatu | aldatu iturburu kodea]
Lau koloreen teorema ordenagailu bidez frogatua izan da. Hala ere, matematikari batzuek ez dute frogapena onartzen eskuz pertsona batek egiaztatu ezin dituen xehetasun kopuru handia dela eta.
 |
Wikimedia Commonsen badira fitxategi gehiago, gai hau dutenak: Lau koloreen teorema  |
