Графики и СетиMaps

В 1852 году студент-ботаник Фрэнсис Гатри должен был раскрасить карту графств Англии. Он заметил, что четырех цветов, по-видимому, достаточно для любой карты, которую он пробовал, но он не смог найти доказательства, подходящего для всех карт. Это оказалось чрезвычайно трудной проблемой и стало известно как теорема о четырех цветах .

В течение следующих 100 лет многие математики публиковали «доказательства» теоремы о четырех цветах только для ошибок, которые будут обнаружены позже. Некоторые из этих недействительных доказательств были настолько убедительными, что потребовалось более 10 лет, чтобы обнаружить ошибки.

Долгое время математики не могли ни доказать, что четырех цветов достаточно, либо найти карту, для которой требовалось более четырех цветов.