Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence
The checker beside this page replays the
enumeration and capacity inequalities documented on
the enumeration page,
which 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.
Linked from (1)
Graph