Математические этюды выпустили еще одно приложение для iГаджетов: "4 краски". Русская и бесплатная версия здесь, с бОльшим количеством карт и двуязычная тут.
Игрушка посвящена теореме о 4-х красках, доказанной в 1976 году математиками Кеннетом Аппелем (Kenneth Appel) и Вольфгангом Хакеном (Wolfgang Haken):
— Любую карту на плоскости можно раскрасить в четыре цвета так, что никакие области, имеющие общую границу (отличную от точки), не были раскрашены в один цвет.
Считается, что это первое доказательство, существенно использовавшее компьютер.
Мы предлагаем забавы ради раскрасить некоторые карты. На географических картах сделаны краткие подсказки по регионам.
