Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence
The verification script beside this
page checks the finite rational bounds documented on
Lemma 3.2,
Theorem 1.2
and
the cell coloring;
the source card
states its command, expected runtime and failure behavior. Its inputs are
literal constants. Dependencies are the standard library and the root tools package of the
repository environment; every obligation is recorded through the shared
Checker, and any failure exits nonzero, including under python -O.
Graph