中文

Ramsey 数 $R(3,K_{10}-e)$ 及 $R(3,G)$ 的计算界

组合数学 2013-11-19 v2 离散数学

摘要

利用计算机算法,我们确定 Ramsey 数 R(3,K10e)R(3,K_{10}-e) 等于 37,从而解决了此类 Ramsey 数中最小的未决情形。我们还获得了 11k1611 \le k \le 16R(3,Kke)R(3,K_k-e) 的新上界,并通过构造展示了新下界 55R(3,K13e)55 \le R(3,K_{13}-e)R(3,Kke)R(3,K_k-e) 的新上界是通过利用 lkl \le ke(3,Kle,n)e(3,K_l-e,n) 的值和下界获得的,其中 e(3,Kke,n)e(3,K_k-e,n) 是补图中不含 KkeK_k-enn 顶点无三角形图中的最小边数。我们完成了对所有 nnk10k \leq 10 以及 n34n \leq 34k=11k = 11e(3,Kke,n)e(3,K_k-e,n) 精确值的计算,并为更高的 kk 值建立了许多 e(3,Kke,n)e(3,K_k-e,n) 的新下界。利用最大无三角形图生成方法,我们确定了另外两个此前未知的 Ramsey 数,即 R(3,K10K3e)=31R(3,K_{10}-K_3-e)=31R(3,K10P3e)=31R(3,K_{10}-P_3-e)=31。对于 10 顶点的图 GG,除 G=K10G=K_{10} 外,还剩 6 个 R(3,G)R(3,G) 形式的未决情形。其中最难的情形似乎是 G=K102K2G=K_{10}-2K_2,对此我们确立了界 31R(3,K102K2)3331 \le R(3,K_{10}-2K_2) \le 33

关键词

引用

@article{arxiv.1309.0038,
  title  = {The Ramsey Number $R(3,K_{10}-e)$ and Computational Bounds for $R(3,G)$},
  author = {Jan Goedgebeur and Stanisław P. Radziszowski},
  journal= {arXiv preprint arXiv:1309.0038},
  year   = {2013}
}

备注

25 pages