Firfarveproblemet: Forskelle mellem versioner

Content deleted Content added
BenzolBot (diskussion | bidrag)
m Retter {{Commonscat}} til {{Commonskat}} I forbindelse med skift af layout - fjern gerne denne ændring hvis fladt layout ser bedre ud; kosmetiske ændringer
Linje 1:
[[BilledeFil:Four Colour Map Example.svg|right|thumb|Et kort med fire farver]]
'''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.
 
Linje 8:
 
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.
{{CommonscatCommonskat|Four color theorem}}
 
[[Kategori:Matematik]]