$R(5,5)\le 46$

Vigleik Angeltveit,Brendan D. McKay
2024-09-24
Abstract:We prove that the Ramsey number $R(5,5)$ is less than or equal to~$46$. The proof uses a combination of linear programming and checking a large number of cases by computer. All of the computations were independently replicated.
Combinatorics
What problem does this paper attempt to address?