一种用于计算 $\mathbb{Z}/p\mathbb{Z}$ 上 Comer 关系代数圈结构的快速陪集-翻译算法
组合数学
2018-01-09 v2 数据结构与算法
摘要
使用 Comer 提出的方法，可以以 作为基础集来构造正常关系代数。通常，此类代数的圈结构必须\emph{事后}确定，一般需要借助计算机。在本文中，我们给出了一种改进的圈结构检查算法，将时间复杂度从 降低到了 。
引用
@article{arxiv.1708.04974,
title = {A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over $\mathbb{Z}/p\mathbb{Z}$},
author = {Jeremy F. Alm and Andrew Ylvisaker},
journal= {arXiv preprint arXiv:1708.04974},
year = {2018}
}