firefarve-problemet

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.

Kommentarer

Din kommentar publiceres her. Redaktionen svarer, når den kan.

Du skal være logget ind for at kommentere.

eller registrer dig