中文

Ramsey数 $R_k(k+1,k+1)$ 的下界

组合数学 2026-04-27 v4

摘要

我们将证明 Rk(k+1,k+1)4twk/43(2)R_k(k+1,k+1)\geq 4 tw_{\lfloor k/4\rfloor -3}(2),其中 twtw 为塔函数,定义为 tw1(x)=x{tw}_1(x)=xtwi+1(x)=2twi(x){tw}_{i+1}(x)=2^{{tw}_i(x)}。我们还给出了 Rk(k+1,k+2)4twk7(2)R_k(k+1,k+2)\geq 4 tw_{k-7}(2)Rk(k+1,2k+1)4twk3(2)R_k(k+1,2k+1)\geq 4 tw_{k-3}(2) 以及 Rk(k+2,k+2)4twk4(2)R_k(k+2,k+2)\geq 4 tw_{k-4}(2) 的证明。

关键词

引用

@article{arxiv.2412.16637,
  title  = {A lower bound on the Ramsey number $R_k(k+1,k+1)$},
  author = {Pavel Pudlák and Vojtěch Rödl and William J. Wesley},
  journal= {arXiv preprint arXiv:2412.16637},
  year   = {2026}
}

备注

In this version we have replaced the 2-coloring of the bridge hypergraph found by a SAT-solver with a coloring defined by two equation in Z_3 found by Jack Wesley, who is now a coauthor