2024/10/04 by Wesley, William J. · 2 citations
#Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.2410.03625
We prove new bounds for Ramsey numbers for book graphs Bn. In particular, we show that R(Bn-1,Bn) = 4n-1 for an infinite family of n using a block-circulant construction similar to Paley graphs. We obtain improved bounds for several other values of R(Br,Bs) using different block-circulant graphs from SAT and integer programming (IP) solvers. Finally, we enumerate the number of critical graphs for R(Br,Bs) for small r and s using SAT modulo symmetries (SMS).