Описание
Можно ли карту Америки или Вашей страны раскрасить в четыре цвета так, чтобы никакие два соседних региона не были покрашены в один цвет? Оказывается, так можно раскрасить любую карту — это утверждение стало первым компьютерным доказательством в науке. Вы можете проверить это на картах разных стран, подучить немного географию, а также побывать в стране Мартина Гарднера.
Список стран, представленных в первой версии:
• Австралийский Союз,
• Австрийская Республика,
• Французская Республика,
• Федеративная Республика Германия,
• Мексиканские Соединенные Штаты,
• Республика Польша,
• Португальская Республика,
• Королевство Испания,
• Королевство Швеция,
• Швейцарская Конфедерация,
• Соединённые Штаты Америки,
• Соединённое Королевство Великобритании и Северной Ирландии.