Можно ли топологическую теорему "четырёх красок" решить опытным путём: контурная карта + четыре цветных карандаша?

Question

Теорема о "Четырёх красках" утверждает, что всякую расположенную на плоскости или сфере карту можно раскрасить не более, чем четырьмя цветами так, чтобы любые две области с общим участком границы были раскрашены в разные цвета. При этом области должны быть односвязными, а под общим участком понимается часть линии, то есть стыки нескольких областей в одной точке не считаются общей границей для них.

Answer 1

Карту раскрасить можно. Сама задача появилась при раскрашивании карты графств Англии. Только это не доказательство, точнее не математическое доказательство. Из раскраски одной карты  никак не следует утверждение - не существует такой карты, которую нельзя раскрасить четырьмя цветами. Судя по тому что задаче 200 лет, а она ещё не решена, это сложная топологическая задачка.
Решения на всё более мощных компьютерах (больше мощность - больше карт) мне не нравятся. Хотя компьютерное моделирование нынче в тренде.

Answer 2

Когда были страны «соцлагеря» и Иже сними, то их красили красной краской, «вражеские» страны - чёрной, невнятные и непонятные - зелёной. Хватало как-то и трёх цветов.