a_10。若他们基于的群是一个 formula_11 阶的循环群，则 formula_1 是方程 formula_13 的其中一个解。为求得 formula_6, formula_7, formula_8, formula_9， 该算法使用Floyd判圈算法在数列 formula_18 中寻找一个环。 假设映射 formula_19 是近似于随机的，则有可能在约 formula_20 步后发现一个环。可使用一下规则来生成一个此类映射：将 formula_5 分割为三个不相交的子集 formula_2