Когомологии групп кос и сложность алгоритмов

Доказано, что минимальное число ветвлений алгоритмов, вычисляющих корни многочленов степени $n$, асимптотически равно $n$. Этот результат основан на изучении когомологии групп кос с нетривиальными коэффициентами.