DeepAI AI Chat
Log In Sign Up

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

12/24/2021

The probabilistic Weisfeiler-Leman algorithm

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

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

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

Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations

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

Note on generalized group testing

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

Parallel Computation of Combinatorial Symmetries

In practice symmetries of combinatorial structures are computed by trans...
08/27/2021

Group Testing with Non-identical Infection Probabilities

We consider a zero-error probabilistic group testing problem where indiv...
03/13/2023

Multilevel Skeletonization Using Local Separators

In this paper we give a new, efficient algorithm for computing curve ske...