irontwig
Veteran
I am not sure what you mean here. Are you saying that we already know how to create algorithms to solve 3-cycles which are of the form:
A B A' , where B is not a 3-cycle algorithm?
That can't be true since if (A B A')^3=I then B^3=I since the three A'A cancel out.