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

Небольшой прогресс был достигнут по проблеме четырех цветов до 1976 года, когда Вольфганг Хакен и Кеннет Аппель использовали компьютер, чтобы наконец решить ее. Они сократили бесконечное количество возможных карт до 1936 особых случаев, каждая из которых проверялась компьютером, что занимало в общей сложности более 1000 часов.