Почему было так сложно доказать теорему о четырёх красках?

Доказательство теоремы о четырёх красках было сложно из-за большого объёма задачи: с ростом числа рассматриваемых стран на карте увеличивалось число вариантов их раскраски, что затрудняло проверку правильности решения. school-science.ru science-start.ru

Более ста лет математикам не удавалось получить доказательство. infourok.ru Проблема носила название «проблемы четырёх красок» и была известна как неприступная. school-science.ru infourok.ru

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