Быстрые алгоритмы для считающих функций на свободных группах и свободных моноидах

В работе строятся эффективные алгоритмы для проверки, находятся ли две данные считающие функции на неабелевых свободных группах (или моноидах) на ограниченном расстоянии друг от друга, и для проверки, являются ли два данных считающих квазиморфизма на свободных неабелевых группах когомологичными. В к... View More