Остров пяти красок   ::   Гарднер Мартин

Проблема четырех красок была темой моей докторской диссертации. Еще до визита Сляпенарского в США мы обменялись с ним несколькими письмами, обсуждая различные аспекты этой трудной проблемы. Гипотеза о четырех красках утверждает, что для правильной раскраски любой карты (при которой любые две сопредельные страны, имеющие общий отрезок границы, будут выкрашены в различные цвета, и две страны не считаются сопредельными, если их границы имеют лишь одну общую точку) достаточно четырех красок. Страны на карте могут быть любых размеров и самых причудливых очертаний. Число их также может быть произвольным. Гипотеза четырех красок была впервые высказана одним из создателей топологии, Мебиусом, в 1860 г., и, хотя над решением ее бились лучшие умы в математике, ее не удавалось ни доказать, ни опровергнуть [рассказ написан в 1952 г.; положительное решение проблемы четырех красок было найдено в 1978 г.].

По странному стечению обстоятельств проблема четырех красок была решена для всех поверхностей, кроме сферы и плоскости. В 1890 г. Р.Дж.Хивуд доказал, что для раскраски поверхности тора (поверхности бублика) необходимо и достаточно семи красок, а в 1934 г. Филип Франклин доказал, что шести красок достаточно для раскраски карт на односторонних поверхностях типа листа Мебиуса и бутылки Клейна.

Открытие Сляпенарским нульсторонних поверхностей возымело далеко идущие последствия для изучения свойств бутылки Клейна и произвело подлинный переворот в исследованиях по проблеме четырех красок.