The geometry of the conjugacy problem in wreath products and free solvable groups. (Q2352891)

Let \(G\) be a recursively presented group with finite generating set \(X\), and \(|\cdot|\) denote word-length in \(G\) w.r.t. \(X\). The conjugacy length function \(\mathrm{CLF}\colon\mathbb N\to\mathbb N\) maps \(n\) to \(\max\{\min\{|w|:wu=vw\}:|u|+|v|\leq n\text{ and }u\) is conjugate to \(v\) in \(G\)