Engineering a Fast Probabilistic Isomorphism Test

11/18/2020
by   Markus Anders, et al.
0

We engineer a new probabilistic Monte-Carlo algorithm for isomorphism testing. Most notably, as opposed to all other solvers, it implicitly exploits the presence of symmetries without explicitly computing them. We provide extensive benchmarks, showing that the algorithm outperforms all state-of-the-art solutions for isomorphism testing on most inputs from the de facto standard benchmark library for isomorphism testing. On many input types, our data not only show improved running times by an order of magnitude, but also reflect a better asymptotic behavior. Our results demonstrate that, with current algorithms, isomorphism testing is in practice easier than the related problems of computing the automorphism group or canonically labeling a graph. The results also show that probabilistic algorithms for isomorphism testing can be engineered to outperform deterministic approaches, even asymptotically.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/24/2021

The probabilistic Weisfeiler-Leman algorithm

A probabilistic version of the Weisfeiler-Leman algorithm for computing ...
research
12/18/2018

Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs

Probabilistic programming is a programming paradigm for expressing flexi...
research
10/12/2011

Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations

Most classical scheduling formulations assume a fixed and known duration...
research
11/08/2022

Note on generalized group testing

In this note, we present a new adaptive algorithm for generalized group ...
research
08/10/2021

Parallel Computation of Combinatorial Symmetries

In practice symmetries of combinatorial structures are computed by trans...
research
06/03/2019

Probabilistic Existence Results for Parent-Identifying Schemes

Parent-identifying schemes provide a way to identify causes from effects...
research
07/21/2022

On the Optimal Pairwise Group Testing Algorithm

Originally suggested for the blood testing problem by Dorfman in 1943, a...

Please sign up or login with your details

Forgot password? Click here to reset