4634
правки
Гипотеза четырех красок: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Гипотеза четырех красок''' (''[[Graph colouring conjecture]]'') | '''Гипотеза четырех красок''' (''[[Graph colouring conjecture]]'') — ''каждый [[планарный граф]] 4-раскрашиваем''. | ||
Первоначальная формулировка гипотезы гласит: любая карта на плоскости или на сфере может быть раскрашена четырьмя красками так, что никакие две смежные страны не были одного и того же | Первоначальная формулировка гипотезы гласит: любая карта на плоскости или на сфере может быть раскрашена четырьмя красками так, что никакие две смежные страны не были одного и того же | ||
| Строка 7: | Строка 7: | ||
Сформулировал гипотезу британский математик А. Кэли в 1879 г. в статье, посвященной проблеме раскраски карт в первом томе Трудов Лондонского географического общества. | Сформулировал гипотезу британский математик А. Кэли в 1879 г. в статье, посвященной проблеме раскраски карт в первом томе Трудов Лондонского географического общества. | ||
Первое из многих ошибочных "доказательств" было дано А. Кемпе в 1879 г. Новую фазу в истории гипотезы открыло машинное доказательство В. Хакена и К. Апеля, появившееся в 1976 г. Это доказательство не было принято математической общественностью и породило новую проблему | Первое из многих ошибочных "доказательств" было дано А. Кемпе в 1879 г. Новую фазу в истории гипотезы открыло машинное доказательство В. Хакена и К. Апеля, появившееся в 1976 г. Это доказательство не было принято математической общественностью и породило новую проблему — проблему методологии и корректности доказательств математических теорем с помощью ЭВМ. | ||
==Литература== | ==Литература== | ||
* Лекции по теории графов / В.А.Емеличев, О.И.Мельников, В.И.Сарванов, Р.И.Тышкевич. — М.: Наука, 1990. | |||