В 1852 году английский математик Фрэнсис Гутри сформулировал знаменитую Проблему четырех красок: можно ли раскрасить любую географическую карту так, чтобы никакие две соседние страны не имели одинакового цвета, используя не более четырех карандашей? Эта абстрактная топологическая загадка, решенная лишь век спустя с помощью суперкомпьютеров, заложила основы колоссального раздела исследования операций — Задачи раскраски графов (Graph Coloring Problem, GCP). Сегодня математический аппарат хроматических полиномов управляет распределением радиочастот в мобильных сетях, составляет расписания экзаменов в университетах и оптимизирует выделение регистров внутри микропроцессоров Intel и AMD.