New bounds for some small multicolor Ramsey numbers
arXiv:2509.03784
Abstract
The Ramsey number is the smallest such that every -coloring of the edges of contains a monochromatic copy of in color . Ramsey numbers are challenging to compute, and few are known exactly. We use Boolean satisfiability (SAT) solvers to search for structured colorings that give lower bounds, and we show and . Moreover, we tighten some recent upper bounds for multicolor Ramsey numbers for cycles and show . Finally, we enumerate critical graphs for the numbers and .
Comments welcome