$R(5,5)\le 46$
Combinatorics
2025-09-03 v2
Abstract
We prove that the Ramsey number is less than or equal to~. The proof uses a combination of linear programming and checking a large number of cases by computer. All of the computations were independently implemented by both authors, with consistent results.
Keywords
Cite
@article{arxiv.2409.15709,
title = {$R(5,5)\le 46$},
author = {Vigleik Angeltveit and Brendan D. McKay},
journal= {arXiv preprint arXiv:2409.15709},
year = {2025}
}