Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the seven-root linear-band obstruction
Run uv run --no-sync python wiki/theory/extremal_graph_theory/L240_seven_root_linear_band_obstruction/evidence/main.py
from the repository root. The entry point runs the
shared profile-envelope evidence,
which retains the graph construction, automorphisms, Boolean rules and
exact branch checker. The full run takes several minutes. The --quick
mode omits the Higman–Sims clauses and therefore does not verify the whole
claim.
The lower bound used by L240 is , checked with integer and rational arithmetic. Separately labeled floating-point optimality reports about a stronger value are not premises of this claim.
Graph