Ostatnie postępy w algorytmach grup permutacji?

Interesują mnie algorytmy dla grup skończonych zaimplementowane w pakiecie GAP. Wydaje się, że wszystkie znane algorytmy w tej dziedzinie dotyczą grup permutacji / grup matryc; dwa podstawowe to Schreier-Sims [1970] i Butler [1979], patrz np. „Algorytmy dla grup permutacyjnych” Alice Niemeyer jako możliwy odnośnik (?)

Dlatego zastanawiałem się, czy w ciągu ostatnich 50 lat nastąpił znaczący postęp w tej dziedzinie. Widziałem, że użytkownik NisaiVloot zadał kilka pytań na temat grup oplotów, które mogą stanowić interesujące rozszerzenie znanych wyników na temat grup permutacji, chociaż nie jest dla mnie jasne, jaki jest obecny stan badań w tej dziedzinie, ponieważ społeczności matematyczne / algorytmiczne wydają się nieco nieobecne -of-synchronizacji w dzisiejszych czasach.

Na pewno było mnóstwo postępów! (A jeśli naprawdę chciałeś zapytać o ostatnie 50 lat, to obejmuje to algorytmy Schreiera-Simsa i Butlera, o których już wspominałeś ...)

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

[1] Seress, Ákos Algorytmy grup permutacyjnych . Cambridge Tracts in Mathematics, 152. Cambridge University Press, Cambridge, 2003

[2] Babai, László; Kantor, William M .; Pálfy, Péter P .; Seress, Ákos Rozpoznawanie czarnych skrzynek skończonych prostych grup typu Lie według statystyk zamówień elementów . J. Group Theory 5 (2002), no. 4, 383–401.

[3] László Babai, Paolo Codenotti, Youming Qiao: Test izomorfizmu w czasie wielomianowym dla grup bez normalnych podgrup abelowych (streszczenie rozszerzone) . W: Proc. 39. Internat. Colloq. w sprawie automatów, języków i programowania (ICALP'12), Springer LNCS 7391, 2012, s. 51–62.