Вопросы к Поиску с Алисой
Теорема о четырёх красках оказалась сложной для доказательства из-за большого объёма задачи: с ростом числа рассматриваемых стран на карте лавинообразно росло число вариантов их раскраски, что затрудняло проверить правильность решения. school-science.ru science-start.ru
Более ста лет математикам не удавалось получить доказательство. infourok.ru Лишь в 1976 году Кеннет Аппель и Вольфганг Хакен из Иллинойского университета смогли доказать гипотезу, применив компьютер. school-science.ru infourok.ru