Проблема четырёх красок
Материал из Википедии — свободной энциклопедии
Проблема четырёх красок — задача, предложенная Ф. Госри в 1852 г.:
Выяснить, можно ли всякую, расположенную на сфере карту, раскрасить четырьмя красками так, чтобы любые две области, имеющие общий участок границы в виде дуги, были раскрашены в разные цвета. |
К. Аппель и В. Хакен доказали в 1976 г., что так можно раскрасить любую карту.