NBA elimination math: a MIP crystal ball beat official standings by 4.1 games

Sports media tell fans when a team has clinched a playoff berth or been eliminated, usually with a simple magic-number count that assumes no complicated tiebreakers. The NBA's actual playbook includes a series of two-way tiebreaking criteria, so the simple count can be wrong in both directions — declaring things impossible that are still live, and vice versa.

Researchers at the Colorado School of Mines and SMU built mixed-integer programming models that treat the question exactly: over all possible completions of the remaining schedule, does the team reach the playoff position under every tiebreak outcome, or under none? The models output the precise game at which a spot is guaranteed or lost.

Checked against the officially posted 2017-18 NBA standings, the models detected clinches and eliminations an average of 4.1 games earlier when they disagreed. The paper documents the NBA erroneously reporting that the Boston Celtics had clinched a playoff spot — and, conversely, shows the Golden State Warriors had already clinched before the official announcement said so.

The point generalizes beyond basketball: whenever an organization publishes a rule-of-thumb answer to a combinatorial question, encoding its own rulebook as constraints produces an exact oracle against which the published answer can be audited in real time.

Tiebreaker rules are an optimization problem

Tiebreakers compound: the NBA's two-way criteria interact with every remaining game's outcome, so simple magic numbers that ignore them drift from the truth as the season winds down.

Remaining-schedule enumeration is exact: a MIP over all outcomes costs nothing to run nightly, while a human recounting scenarios makes the errors the paper documents.

Official standings made a perfect benchmark: comparing clinch dates game-by-game against the league's own postings turned a modeling exercise into a measurable audit with named errors.

The output is a story media can use: 'eliminated tonight' or 'clenched tonight' is checkable math, which is why the tool was framed for sports media rather than as an academic curiosity.

Any published rule of thumb for a combinatorial question can be beaten exactly: encode the full tiebreaker rulebook as constraints, and the heuristic gap becomes measurable — sometimes 4 games wide.

The team extended the same machinery to the Korean Baseball Organization, where the unique rule that games can end in a draw breaks standard MLB-style magic numbers; the KBO version, motivated by the 2020 pandemic season when Korean baseball kept playing while other leagues stopped, was published in the INFORMS Journal on Applied Analytics in July 2024 and disseminated through a fan website that drew attention from Korean sports writers. The NBA work itself appeared in the journal in March 2021 (volume 51, issue 2).