Проблема четырех красок
Проблема четырех красок Годом рождения проблемы четырех красок считается 1878 год (в некоторых изданиях указывается 1879). Именно тогда на одном из заседаний Британского географического общества выдающийся английский математик А.Кэли четко сформулировал поставленную задачу: "Доказать, что любую географическую карту на плоскости (или на глобусе) можно правильно закрасить четырьмя красками". Раскраска карты называется правильной, если любые две страны, имеющие на карте общую границу, окрашены в различные цвета. Именно с этого момента проблема привлекла к себе внимание многих крупных математиков. Проблема четырех красок В 1890 году английский математик П. Хивуд доказал, что любую карту на плоскости можно раскрасить пятью красками. Однако долгое время проблема четырех красок не поддавалась решению. В 1968 году американские математики Оре и Стемпл показали, что любую карту, имеющую не более 40 стран, можно раскрасить четырьмя красками. В 1976 году американскими учеными К. Аппелем и В. Хакеном было получено решение проблемы четырех красок. С помощью компьютера они просматривали различные типы карт, и для каждого из них компьютер решал, может ли в данном типе найтись карта, которая не раскрашивается четырьмя красками. Было просмотрено почти 2000 типов карт, и для всех был получен ответ: "Нет", - что и позволило объявить о компьютерном решении проблемы четырех красок.