Linear programming in some ramsey problems
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
We derive new upper bounds for the classical two-color Ramsey numbers R(4, 5) ≤ 27, R(5, 5) ≤ 52, and R(4, 6) ≤ 43; the previous best upper bounds known for these numbers were 28, 53, and 44, respectively. The new bounds are obtained by solving large integer linear programs and with the help of other computer algorithms.
Description
Keywords
Citation
Collections
Source
Journal of Combinatorial Theory. Series B