401 及以后：Ramsey 代数搜索的改进界与算法
数论
2017-09-12 v2 数据结构与算法
逻辑
摘要
在本文中，我们讨论了一种搜索素数 和 Z/pZ* 陪集划分算法的改进，这些划分能在 Z/pZ 上生成 Ramsey 代数。我们还证明了模数 关于陪集数目的上界。作为推论，不存在素数 使得 Z/pZ* 划分为 13 个陪集并生成 13 色 Ramsey 代数。因此 A263308(13) = 0。
引用
@article{arxiv.1609.01817,
title = {401 and beyond: improved bounds and algorithms for the Ramsey algebra search},
author = {Jeremy F. Alm},
journal= {arXiv preprint arXiv:1609.01817},
year = {2017}
}