A294676-组织环境信息系统

A294676型

Ramsey-Comer数：a（n）是1 mod 2n的最小素数p同余，因此对于每一个素数q>=p（也与1 mod 2 n同余），指数n的（Z/qZ）*的乘法子群H包含x+y=Z的解。

3, 13, 19, 73, 131, 313, 547, 193, 613, 1201, 1453, 1249, 547, 2857, 2971, 1601, 4217, 3169, 2243, 4441, 9661, 10957, 7039, 7873, 8951, 11701, 14419, 18257, 11311, 29641

(列表;图表;参考;听;历史;文本;内部格式)

抵消

1,1

a（n）<=n^4+5（参见Alm，2017）。

子群H及其n-1陪集在K_q上诱导循环着色。将顶点标记为0到q-1，用包含u-v（mod q）陪集的颜色对应边uv。因此，如果q>=a（n），H及其陪集诱导的着色必须包含一个单色三角形。事实上，它在每个颜色类中包含许多单色三角形。

迄今为止收集的数据表明，对于某些c>1，绑定n^4+5可以用cn^3替换，但没有证据。

a（n）>A263308型（n） ●●●●。原因A263308型（8）可以认为a（8）非常小；类似地，a（13）很小，所以A263308型(13)=0.

链接

n=1..30时的n，a（n）表。

杰里米·阿尔姆，401及以后：Ramsey代数搜索的改进边界和算法《整数序列杂志》，第20卷（2017年），第17.8.4条。（另请参阅：arXiv:1609.01817年[math.NT]，2016年。）

交叉参考

囊性纤维变性。2008年2月.

上下文中的顺序：A055202号 A158016型 A281998型*A293465型 A353251型 A271924型

相邻序列：A294673型 2094674英镑 A294675型*A294677号 A294678号 A294679号

关键词

非n,更多

作者

杰里米·F·阿尔姆2017年11月6日

状态

经核准的