Conjugacy in Baumslag's group, generic case complexity, and division in power circuits

Volker Diekert, Alexei Miasnikov, Armin Weiß

The conjugacy problem belongs to algorithmic group theory. It is the following question: given two words x, y over generators of a fixed group G, decide whether x and y are conjuga…