«Չորս գույների թեորեմ»–ի խմբագրումների տարբերություն

[[Պատկեր:Four Colour Map Example.svg|աջից|մինի|160px|Չորս գույների օգտագործման օրինակ։]]

[[Պատկեր:Map of United States vivid colors shown.png|աջից|մինի|160px|Նահանգների գունավորումը ԱՄՆ քարտեզի վրա։]]

== Պատմությունը ==

Թեորեմը 1852 թ. ձևակերպել է [[:en:Francis Guthrie|Ֆրենսիս Գութրին]], սակայն ապացուցել են միայն ավելի քան հարյուր տարի անց` 1976 թ. Քենեթ Ափելը և Վոլֆգանգ Հաքենը [[Իլինոյս]]ի համալսարանից։ Այն դարձավ համակարգչի օգնությամբ ապացուցված առաջին խոշոր թեորեմը և դրա համար երկու գիտնականներն ստեղծել էին հատուկ համակարգչային ծրագիր։<br />