Hallottál már a "Négyszín-tétel"-ről?
Francis Guthrie matematikus 1852-ben Nagy-Britannia megyékre osztott térképét próbálta kiszínezni úgy,
hogy a határszakaszban szomszédos megyéket különböző szín jelölje. A munka közben vetődött fel benne a kérdés:
vajon legkevesebb hány szín szükséges egy tetszés szerinti térkép kiszínezéséhez? Bárki könnyen találhat példát arra,
hogy három szín nem elegendő. Guthrie azt tapasztalta, hogy négy szín már mindig elég, de a probléma megoldása nem
sikerült neki, s Möbius sem boldogult vele. Hogy öt szín biztosan elegendő, 1890-ben bizonyították be
(Heawood).
A négyszín-sejtést általánosan Kenneth Appel és Wolfgang Haken bizonyította be 1976-ban.
Eljárásuk során számítógéppel ellenőriztek számos elrendezést, ezért vannak, akik nem fogadják el a
bizonyításuk érvényességét.
Hálós kapcsolatban lásd hozzá pl.:
Matematikusok, akikről geometria órákon hallottunk