Статья 368

Поставлена она была в середине прошлого века, когда одни из лондонских студентов обнаружил, что для раскраски графств на карте Англии достаточно четырех цветов, и предположил, что данного количества цветов хватит для раскраски любой карты.

Несколько десятилетий спустя удалось доказать, что пяти красок во всяком случае достаточно. Но вот можно ли обойтись четырьмя.
Убедиться в том, что задачу о раскраске карты нельзя решить, пользуясь лишь тремя цветами, нетрудно.
Несмотря на простоту формулировки, проблема четырех красок не поддавалась усилиям математиков более 100 лет.

Даже после работы Аллеля и Хакена некоторые математики отказывались признать, что проблема действительно решена.

Причина возникших разногласий была связана с существенным использованием ЭВМ в процессе решения, исключавшим возможность проверки вычислений человеком из-за непомерно большого объема работы.