順列グループアルゴリズムの最近の進歩？

GAPパッケージに実装されている有限グループのアルゴリズムに興味があります。この分野のすべての既知のアルゴリズムは順列グループ/行列グループを扱うようです。2つの基本的なものは、Schreier-Sims [1970]とButler [1979]です。たとえば、可能な参照（？）として、Alice Niemeyerによる「順列グループのアルゴリズム」を参照してください。

したがって、過去50年間にこの分野で大きな進歩があったのかと思いました。ユーザーNisaiVlootが組み換えグループについていくつかの質問をし、置換グループに関する既知の結果の興味深い拡張を構成している可能性があることを確認しました。 -最近の同期。

確かにたくさんの進歩がありました！（そして、もしあなたが本当に過去50年間について質問するつもりなら、それはあなたがすでに言及したシュライアー-シムズとバトラーのアルゴリズムを含みます...）

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

[1] Seress、Ákos 順列グループアルゴリズム。数学のケンブリッジトラクト、152。CambridgeUniversity Press、ケンブリッジ、2003

[2]ババイ、ラスロー; カンター、ウィリアム・M; Pálfy、PéterP.、要素次数の統計によるリー型の有限単純グループの Seress、Ákos ブラックボックス認識。J.グループ理論5（2002）、いいえ。4、383〜401。

[3]LászlóBabai、Paolo Codenotti、Youming Qiao：アーベル正規部分群を持たないグループの多項式時間同型検定（拡張抽象）。で：Proc。第39インターナショナル。Colloq。オートマトン、言語とプログラミング（ICALP'12）、Springer LNCS 7391、2012、51-62ページ。