А не подскажут ли уважаемые мехматяне литературу для не-тополога по следующей теме: Комбинаторная теория групп, в частности группы кос.
Особенно интересует алгоритмический подход, в частности алгоритмы проверки сопряженности и эквивалентности, их сложность и реализация. Если есть что-то на русском - просто здорово, на английском - не беда.