Почему любую обычную карту достаточно раскрасить четырьмя цветами
Почему любую обычную карту достаточно раскрасить четырьмя цветами Представьте карту, где соседние области должны иметь разные цвета. Сколько красок понадобится в самом сложном случае? Не больше четырёх. Теорема о четырёх красках утверждает: любую плоскую карту можно раскрасить четырьмя цветами так, чтобы области с общей границей имели разные цвета. Если территории соприкасаются только в одной точке, они соседними не считаются. Задачу сформулировали ещё в 1852 году. Формулировка была почти детской, а доказательство искали больше века. Лишь в 1976 году Кеннет Аппель и Вольфганг Хакен представили доказательство с существенным использованием компьютера. Это стало историческим событием: одна из знаменитых математических теорем впервые была доказана благодаря масштабной компьютерной проверке множества случаев. Четыре карандаша оказались достаточны. Доказать это было куда сложнее, чем раскрасить карту.