Привет, друзья! На географии в школе мы часто имели дело с картами. Среди них были и те, на которых обозначены государства ( или регионы государств) и их границы. На таких картах, для лучшего восприятия размеров государств или регионов, соседние области раскрашивались разными цветами. Как вы думаете, сколько различных цветов достаточно для создания карт регионов России или стран мира? Оказывается, что для любой карты достаточно всего четырёх красок👍. В 1852 году Фрэнсис Гутри при раскрашивании карты Британии выдвинул гипотезу, что любую карту можно раскрасить четырьмя цветами, при условии, что любые соседние государства(имеющие общую границу) окрашиваются разными цветами. Сам доказать предположение он не смог, но передал его известному математику Августу Де Моргану. Так задача о красках стала известна в математических кругах. Теорему в 1976 году доказали Кеннет Аппель и Вольфганг Хакер. Данная теорема была первой, для доказательства которой использовался компьютер. Первоначально
Задача о четырех красках и увлекательные логические раскраски
17 сентября 202417 сен 2024
61
2 мин