Redaktion og opdatering af indholdet på denstoredanske.dk er indstillet pr. 24. august 2017. Artikler og andet indhold er tilgængeligt i den form, der var gældende ved redaktionens afslutning.

  • Artiklens indhold er godkendt af redaktionen

firefarve-problemet

Oprindelig forfatter MELa Seneste forfatter Redaktionen

firefarve-problemet, matematisk problem, der består i at bevise, at det mindste antal farver, der kræves for at farvelægge et vilkårligt landkort, så nabolande får forskellige farver, er fire farver (lande, der ikke støder sammen, må gerne have samme farve).

Problemet blev rejst i 1852 af briten Francis Guthrie (1831-99), og i 1879 publicerede Arthur B. Kempe (1849-1922) en løsning. I 1890, da Percy J. Heawood (1861-1955) fandt en fejl i beviset, blev problemet berømt. Kenneth Appel (1932-2013) og Wolfgang Haken (f. 1928) publicerede i 1976 et bevis for, at fire farver er nok. Beviset tiltrak sig stor opmærksomhed, fordi det anvendte computerberegninger i udstrakt grad, men har aldrig vundet tillid blandt matematikere.

Først i 1994 fandt P. Seymour, N. Robertson, R. Thomas og D. Sanders et computerbevis, der er halvt så kompliceret som Appels og Hakens, og som anses for sandsynligvis korrekt.

Annonce

Referér til denne tekst ved at skrive:
Mogens Esrom Larsen: firefarve-problemet i Den Store Danske, Gyldendal. Hentet 23. april 2019 fra http://denstoredanske.dk/index.php?sideId=76283