R(5,5)≤46

20260 citationsJournal Articlehybrid Open Access

Authors

Vigleik Angeltveit · Australian National University

Brendan D. McKay · Australian National University

Abstract

ABSTRACT We prove that the Ramsey number 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 computational parts of the proof were independently implemented by both authors, with consistent results.

Topics & Keywords

Limits and Structures in Graph Theory Computability, Logic, AI Algorithms Complexity and Algorithms in Graphs

Publication Details

Published in: Journal of Graph Theory

DOI: 10.1002/jgt.70029

Field-Weighted Citation Impact: 0.00

Command Palette

R(5,5)≤46

Authors

Abstract

Topics & Keywords

Publication Details