Firefarve-problemet er et 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
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.