1852-ben, Angliában Francis Guthrie matematikus megpróbálta Britannia térképét kiszínezni. Ekkor botlott a problémába: Legkevesebb hány szín elegendő egy tetszőleges térkép kiszínezéséhez?
Az hamar kiderült, hogy három szín biztosan nem elegendő. Úgy tűnt számára, hogy négy szín már elegendő. Guthrie a problémát megfogalmazta, de megoldani nem tudta.
A négyszínsejtés bizonyítását először Möbius kísérelte meg, de nem járt sikerrel. 1879-ben Heawood bebizonyította, hogy öt szín biztosan elegendő.
Később bebizonyították, hogy 38-nál kevesebb tartomány esetén elegendő a négy szín. Sokáig megoldatlannak tűnt e kérdés.
1976-ban azonban Kenneth Appel és Wolfgang Haken bebizonyították a négyszínsejtést.
A bizonyítás módját azonban mind a mai napig sokan vitatják. Ugyanis a bizonyítás egy részénél több ezer esetet elektronikus számítógépen próbáltak végig.
Comments are closed, but trackbacks and pingbacks are open.