Почему задача четырех красок оказалась такой сложной для математиков?

Задача о четырёх красках оказалась сложной для математиков из-за большого объёма вариантов раскраски. science-start.ru

С ростом числа рассматриваемых стран на карте лавинообразно росло число вариантов их раскраски, что затрудняло проверить правильность решения. science-start.ru

Теорема о четырёх красках была доказана в 1976 году Кеннетом Аппелем и Вольфгангом Хакеном из Иллинойского университета с помощью компьютера. ru.wikipedia.org ru.ruwiki.ru Это была первая крупная математическая теорема, доказанная с помощью компьютера. ru.wikipedia.org