The graph with vertices in GF(16), whose edges connect points having difference equal to a cube, which was known to be extremal for the Ramsey numbers R(3,3,3) and R(K_3, K_6-e), is shown to be extremal for R(K_4-e, K_6-e). The proof is obtained by using computer algorithms to analyze the properties of the family of graphs having no K_4-e and having no K_5-e in the complement. It is also shown that there is a unique graph, up to graph isomorphism, which is extremal for R(K_4-e, K_7-e), viz., the strongly regular Schlafli graph on 27 vertices, which has an automorphism group of size 51840. This follows easily from the result that R(K_4-e, K_6-e) is 17.

Publication Date



Note: imported from RIT’s Digital Media Library running on DSpace to RIT Scholar Works in February 2014.

Document Type


Department, Program, or Center

Center for Advancing the Study of CyberInfrastructure


RIT – Main Campus