Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_06_26_ducz_varga: An arXiv preprint proving that some finite planar unit-distance graph has independence ratio below 1/4, so f(n) < n/4 for all large n and the particular question has answer no; partial, with Lean proofs, unreviewed.
Linked from (1)
Graph