Firfarveproblemet: Forskelle mellem versioner
Content deleted Content added
m Stavefejl: tilstand -> stilstand |
sprog |
||
Linje 1:
'''Firfarveproblemet''' er fra [[1852]], hvor en englænder ved navn [[Francis Guthrie]] opdagede at man øjensynlig kunne nøjes med 4 farver når man skulle farvelægge [[landkort]] således at to tilstødende områder ikke får samme farve.
Francis Guthrie var fascineret af problemstillingen, og fortalte om det til sin yngre broder Frederick, der læste på University College i London. Francis’ bror bragte problemet videre til hans professor [[August de Morgan]], som igen bragte det videre til den irske matematiker og fysiker [[William Rowan Hamilton]]. Problemet cirkulerede nu rundt blandt matematikere i hele Europa, men dette var et hård nød at knække ingen kunne løse det. Men i 1879 publicerede den engelske matematiker [[Alfred Bray Kempe]] en artikel, hvori han hævdede at have fundet en løsning. Dette vakte anerkendelse han blev slået til ridder og medlem af Royal Society.
Men i 1890 skrev [[Percy John Heawood]],
Efter en længere
I 1970 begynder to matematiker ved University of Illinois, [[Wolgang Haken]] og [[Kenneth Appel]] at arbejde med problemet. De fandt frem til at alle kort kunne konstrueres ud fra et endeligt antal grundtyper af kort, der var 1482 typer af kort hvorfra alle kort kunne tegnes. Nu var det bare at gå alle disse grundtyper igennem for firfarveproblemet. Men dette var et uoverkommeligt arbejde for selv de bedste matematiker-teams. Selv for computere ville det være en meget stor opgave, det ville tage 100 år at gennemgå alle muligheder. Haken og Appel begyndte at tænke andre strategier og genveje, således at problemet eventuelt kunne løses via computer. Det lykkedes og i juni 1976 blev problemet løst med 1200 timers computerarbejde – det første matematiske bevis udført via computer.
|