2 problems

Let $F_2=\langle x,y\rangle$ be the free group of rank two, and let $u(x,y),v(x,y)$ be normal generators of $F_2$. For a finite factor group $G$ of $F_2$, write $\bar x,\bar y$ and…

Let $G$ be a black box group and let $N\lhd G$. The Andrews--Curtis graph $\Delta_k(G,N)$ supports a nearest-neighbour random walk, and the AC-replacement algorithm $ACR_k(G,N)$ ru…