Натолкнулся в Интернете на задачу, которая называется "Теорема о четырех красках".
Вот ее страница в Википедии. Если не знаете эту задачу, то прочтите - интересная история.

Сама задача звучит так: сколько минимум нужно красок, чтобы раскрасить государства на карте, и при этом чтобы все граничащие территории имели разный цвет?

Многократные попытки решить эту задачу в течение последних ста лет интригуют, а итоговое ее решение исключительно благодаря компьютерам и некоему "специальному программному обеспечению" звучит как-то не очень убедительно. Поэтому попробуем разобраться самостоятельно.

Приступим.