This repository contains several unpublished Ramsey graphs discovered in 2016. The method used to establish the new lower bound for the Ramsey number R(12,12) is described in "On the Ramsey Number R(12,12)". The other graphs are constructed using the techniques similar to those described in the article "New Lower Bounds for 28 Classical Ramsey Numbers".
| Ramsey number | Old Bound | New Bound |
|---|---|---|
| R(7,8) | 217 | 219 |
| R(6,11) | 256 | 262 |
| R(4,15) | 155 | 158 |
| R(4,16) | 166 | 170 |
| R(12,12) | 1639 | 1640 |
All constructions are available here.