Проблема четырёх красок
Материал из Википедии — свободной энциклопедии
Проблема четырёх красок — математическая задача, предложенная Ф. Госри (англ. Francis Guthrie) в 1852 году.
|
Выяснить, можно ли всякую, расположенную на сфере карту, раскрасить четырьмя красками так, чтобы любые две области, имеющие общий участок границы в виде дуги, были раскрашены в разные цвета. |
К. Аппель и В. Хакен доказали в 1976 г., что так можно раскрасить любую карту. Это была первая крупная математическая теорема, для доказательства которой был применён компьютер.
[править] Ссылки
- Проблема четырех красок: неоконченная история доказательства Самохин А. В. // СОЖ, 2000, No 7, с. 91-96.
 |
Это незавершённая статья по математике. Вы можете помочь проекту, исправив и дополнив её. |
