Showing 1–1 of 1 results for author: Sénizergues, G

The isomorphism problem for finite extensions of free groups is in PSPACE

Authors: Géraud Sénizergues, Armin Weiß

Abstract: We present an algorithm for the following problem: given a context-free grammar for the word problem of a virtually free group $G$, compute a finite graph of groups $\mathcal{G}$ with finite vertex groups and fundamental group $G$. Our algorithm is non-deterministic and runs in doubly exponential time. It follows that the isomorphism problem of context-free groups can be solved in doubly exponenti… ▽ More We present an algorithm for the following problem: given a context-free grammar for the word problem of a virtually free group $G$, compute a finite graph of groups $\mathcal{G}$ with finite vertex groups and fundamental group $G$. Our algorithm is non-deterministic and runs in doubly exponential time. It follows that the isomorphism problem of context-free groups can be solved in doubly exponential space. Moreover, if, instead of a grammar, a finite extension of a free group is given as input, the construction of the graph of groups is in NP and, consequently, the isomorphism problem in PSPACE. △ Less

Submitted 20 February, 2018; originally announced February 2018.

MSC Class: 68Q45; 68Q25; 05C25; 20E08; 20F10; 20F65 ACM Class: F.4.3; F.2.2; G.2.2