Firfarveproblemet: Forskelle mellem versioner
Content deleted Content added
m robot Ændrer: ur:چار رنگی مسئلہ |
MGA73bot (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:
[[
'''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.
{{
[[Kategori:Matematik]]
|