Andrews–Curtis random-walk conjecture for black box normal subgroups
Andrews–Curtis black-box conjecture. A random walk on the Andrews–Curtis graph Δk(G,N)\Delta_k(G,N)Δk(G,N) provides a good' black box for NNN.