Random generation of finitely generated subgroups of a free group
Résumé
We give an efficient algorithm to randomly generate finitely generated subgroups of a given size, in a finite rank free group. Here, the size of a subgroup is the number of vertices of its representation by a reduced graph such as can be obtained by the method of Stallings foldings. Our algorithm randomly generates a subgroup of a given size $n$, according to the uniform distribution over size $n$ subgroups. In the process, we give estimates of the number of size $n$ subgroups, of the average rank of size $n$ subgroups, and of the proportion of such subgroups that have finite index. Our algorithm has average case complexity $\O(n)$ in the RAM model and $\O(n^2\log^2n)$ in the bitcost model.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...