1: \begin{abstract}

2: For a finitely presented group, the word problem asks for an algorithm

3: which declares whether or not words on the generators represent the

4: identity.  The Dehn function is a complexity measure of a direct attack

5: on the word problem by applying the defining relations. Dison \& Riley showed that a ``hydra phenomenon'' gives rise to novel groups with extremely fast

6: growing (Ackermannian) Dehn functions.  Here we show that nevertheless, there are efficient (polynomial time) solutions to the word problems of these groups.  Our main innovation is a means of computing efficiently with enormous integers which are represented in compressed forms by  strings of Ackermann functions.

7: 

8:  

9:  \ms

10: 

11: \footnotesize{\ni \textbf{2010 Mathematics Subject

12: Classification:  20F10, 20F65, 68W32, 68Q17}  \\ \ni \emph{Key words and phrases:} Ackermann functions,  subgroup distortion, Dehn function, hydra, word problem, membership problem, polynomial time}

13: \end{abstract}

14: