置换组算法的最新进展？

我对GAP包中实现的有限组算法感兴趣。似乎该领域中所有已知的算法都处理置换组/矩阵组。两个基本的是Schreier-Sims [1970]和Butler [1979]，请参见例如Alice Niemeyer的“置换组算法”作为可能的参考（？）。

因此，我想知道过去50年中该领域是否取得了重大进展。我已经看到用户NisaiVloot提出了有关编织组的一些问题，这些问题可能构成了有关排列组的已知结果的有趣扩展，尽管我不清楚目前这个领域的研究状态是什么，因为数学/算法社区似乎有所发展同步-现在。

当然已经取得了许多进步！（如果您真的想问一下过去的50年，那么其中包括您已经提到的Schreier-Sims和Butler的算法...）

$\mathsf{NC}$$n$$O(2^{n} |G|)$$n! \cdot poly(n)$

[1] Seress，Ákos 置换组算法。剑桥数学领域152，剑桥大学出版社，剑桥，2003年

[2]巴拜，拉斯洛；坎特尔，威廉·M。Pálfy，PéterP .；Seress，Ákos 通过元素阶数的统计来对Lie类型的有限简单组进行黑盒识别。J.Group Theory 5（2002），第1期。4，383–401。

[3]LászlóBabai，Paolo Codenotti，Qiaoming Qiao：无阿贝尔正态子群的群的多项式时间同构检验（扩展摘要）。在：Proc。第39届国际会议。Colloq。自动机，语言和程序设计（ICALP'12），Springer LNCS 7391，2012，第51-62页。