Решение проблемы равенства в группах классов отображений за квазилинейное время

Я расскажу о свежей работе Белла и Шляймера, в которой они предложили решение проблемы равенства в группе классов отображений произвольной компактной ориентированной поверхности (в том числе, замкнутой) за время $O(n\log^3(n))$. Зависимость от сложности поверхности при этом полиномиальная. Эта работа существенно развивает и обобщает подход из моей работы о подсчете пересечений нормальных кривых и использует быстрый алгоритм умножения натуральных чисел, предложенный недавно Харви и ван дер Ховеном.