Abstract:In this paper, we show that the constant-dimensional Weisfeiler-Leman algorithm for groups (Brachter & Schweitzer, LICS 2020) can be fruitfully used to improve parallel complexity upper bounds on isomorphism testing for several families of groups. In particular, we show: - Groups with an Abelian normal Hall subgroup whose complement is $O(1)$-generated are identified by constant-dimensional Weisfeiler-Leman using only a constant number of rounds. This places isomorphism testing for this family of groups into $\textsf{L}$; the previous upper bound for isomorphism testing was $\textsf{P}$ (Qiao, Sarma, & Tang, STACS 2011). - We use the individualize-and-refine paradigm to obtain a $\textsf{quasiSAC}^{1}$ isomorphism test for groups without Abelian normal subgroups, previously only known to be in $\textsf{P}$ (Babai, Codenotti, & Qiao, ICALP 2012). - We extend a result of Brachter & Schweitzer (arXiv, 2021) on direct products of groups to the parallel setting. Namely, we also show that Weisfeiler-Leman can identify direct products in parallel, provided it can identify each of the indecomposable direct factors in parallel. They previously showed the analogous result for $\textsf{P}$. We finally consider the count-free Weisfeiler-Leman algorithm, where we show that count-free WL is unable to even distinguish Abelian groups in polynomial-time. Nonetheless, we use count-free WL in tandem with bounded non-determinism and limited counting to obtain a new upper bound of $\beta_{1}\textsf{MAC}^{0}(\textsf{FOLL})$ for isomorphism testing of Abelian groups. This improves upon the previous $\textsf{TC}^{0}(\textsf{FOLL})$ upper bound due to Chattopadhyay, Torán, & Wagner (ACM Trans. Comput. Theory, 2013).

Bidirectional Collision Detection and Faster Deterministic Isomorphism Testing

A Parallel Collision Detection Algorithm Based On Hybrid Bounding Volume Hierarchy

Fast and Exact Continuous Collision Detection with Bernstein Sign Classification

Parallel Collision Detection Between Deformable Objects Using SIMD Instructions

Optimized Space Decomposition Algorithm for Parallel Continuous Collision Detection

ICCD: Interactive Continuous Collision Detection Between Deformable Models Using Connectivity-Based Culling

Conauto-2.0: Fast Isomorphism Testing and Automorphism Group Computation

IBCD: a Fast Collision Detection Algorithm Based on Image Space Using OBB.

Multi-core collision detection between deformable models

Efficient BVH-based Collision Detection Scheme with Ordering and Restructuring.

Faster Isomorphism for $p$-Groups of Class 2 and Exponent $p$

Algorithmic Advance: The Group Isomorphism Problem

Fast and accurate continuous collision detection between rigid bodies

Isomorphism for Tournaments of Small Twin Width

On the parallel complexity of Group Isomorphism via Weisfeiler-Leman

Revisiting Tree Isomorphism: An Algorithmic Bric-à-Brac

A Large-scale Benchmark and an Inclusion-based Algorithm for Continuous Collision Detection

Fast Collision Checking: From Single Robots to Multi-Robot Teams

Fast Isomorphism Testing of Graphs with Regularly-Connected Components

Beating the Generator-Enumeration Bound for $p$-Group Isomorphism

Improved Algorithms for Alternating Matrix Space Isometry: from Theory to Practice