На протяжении десятилетий теория функциональных систем была преимущественно «чистой» математикой, развивавшейся в тесной связи с универсальной алгеброй и логикой. Её приложения в информатике не всегда были очевидны широкой публике. Всё изменилось в начале 2000-х годов, когда выяснилось, что язык замкнутых классов функций и сохраняемых ими отношений — это тот самый ключ, который отпирает одну из величайших загадок теории сложности вычислений. Загадка носит название задачи удовлетворения ограничений (ЗУО)...