Гипотеза четырех красок

Гипотеза четырех красок (Graph colouring conjecture) - каждый планарный граф 4-раскрашиваем.

Первоначальная формулировка гипотезы гласит: любая карта на плоскости или на сфере может быть раскрашена четырьмя красками так, что никакие две смежные страны не были одного и того же цвета. Гипотеза имеет интересную историю, но в ее появлении остается много непонятного. Имеются сообщения, что А. Мебиус был знаком с этой проблемой в 1840 г., но точно известно лишь то, что о данной проблеме Гутри сообщал О. де Моргану примерно в 1850 г.

Сформулировал гипотезу британский математик А. Кэли в 1879 г. в статье, посвященной проблеме раскраски карт в первом томе Трудов Лондонского географического общества.

Первое из многих ошибочных "доказательств" было дано А. Кемпе в 1879 г. Новую фазу в истории гипотезы открыло машинное доказательство В. Хакена и К. Апеля, появившееся в 1976 г. Это доказательство не было принято математической общественностью и породило новую проблему --- проблему методологии и корректности доказательств математических теорем с помощью ЭВМ.

Литература

[Лекции]