Computing the Ramsey Number $R(K_5-P_3,K_5)$

Jesse A. Calvert, Michael J. Schuster, Stanisław P. Radziszowski

We give a computer-assisted proof of the fact that $R(K_5-P_3,K_5)=25$. This solves one of the three remaining open cases in Hendry's table, which listed the Ramsey numbers for pa…