New refiners for permutation group search
Group Theory
2017-12-05 v3 Discrete Mathematics
Abstract
We describe how orbital graphs can be used to improve the practical performance of many algorithms for permutation groups, including intersection and stabilizer problems. First we explain how orbital graphs can be integrated in partition backtracking, the current state of the art algorithm for many permutation group problems. We then show how our algorithms perform in practice, demonstrating improvements of several orders of magnitude for some problems.
Cite
@article{arxiv.1608.08489,
title = {New refiners for permutation group search},
author = {Christopher Jefferson and Markus Pfeiffer and Rebecca Waldecker},
journal= {arXiv preprint arXiv:1608.08489},
year = {2017}
}