Visualizations

Bound updates over time

Each mark is a published improvement to a bound. Rows are constants, grouped by problem. Hover for a constant's history.

Lower bound Upper bound Bounds meet (exact)

Closing the gap

Each column is a constant, and its bar spans the values still possible. The bottom and top lines are its first lower and upper bounds, and the middle line is its true value. Each later improvement moves a bound one step toward the middle, so the spacing counts improvements, not their size. Steps are even on each side: once the true value is known, the last bound lands on the middle; until then, the true value counts as one more step. A bar running off the edge has no bound on that side yet.