< 1 >
Vierkleurenstelling
De vierkleurenstelling zegt, dat het mogelijk is een landkaart met slechts vier kleuren zo in te kleuren, dat geen twee aangrenzende landen dezelfde kleur krijgen.
Uitleg
De stelling geldt alleen als de landen elk een geheel vormen, en op een oppervlak liggen dat topologisch gelijkwaardig is aan een plat vlak of een bol.
Vijf landen met hun structuur als grafen
Het probleem werd gereduceerd tot 1.936 specifieke gevallen, en deze werden vervolgens allen door een computer doorgerekend. Daarmee leverden ze het eerste computer-geassisteerde bewijs in de wiskunde - een mijlpaal die destijds tot veel discussie leidde.
GeschiedenisDe vierkleurenstelling werd in 1976 bewezen door Kenneth Appel en Wolfgang Haken. |