Négyszínsejtés, négyszíntétel

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.