4792f6efadc11c65.tex
1: \begin{abstract}
2: Let $G$ be a word-hyperbolic group with given finite generating set,
3: for which various standard structures and constants have been pre-computed.
4: A (non-practical) algorithm is described that,
5: given as input two lists $A$ and $B$, each composed of $m$ words in the
6: generators and their inverses, determines whether or not the lists are
7: conjugate in $G$, and returns a conjugating element should one exist.
8: The algorithm runs in time $O(m\mu)$, where $\mu$ is an upper bound on
9: the lengths of elements in the two lists. Similarly, an algorithm is outlined
10: that computes generators of the centraliser of $A$,
11: with the same bound on running time.
12: \end{abstract}
13: