Compressed decision problems in hyperbolic groups

Derek Holt,Markus Lohrey,Saul Schleimer
2024-03-21
Abstract:We prove that the compressed word problem and the compressed simultaneous conjugacy problem are solvable in polynomial time in hyperbolic groups. In such problems, group elements are input as words defined by straight line programs defined over a finite generating set for the group. We prove also that, for any infinite hyperbolic group $G$, the compressed knapsack problem in $G$ is ${\mathsf{NP}}$-complete.
Group Theory
What problem does this paper attempt to address?