A KBO teve sua primeira matemática exata de playoffs quando uma equipe da Mines reconstruiu números mágicos para empates

Em março de 2020, a maioria dos esportes profissionais do mundo havia parado por causa da COVID — com a notável exceção do beisebol coreano, que planejava jogar. A mídia esportiva coreana, diferentemente de suas congêneres nos EUA, não tinha veículos respaldados por modelos matemáticos rigorosos para a pergunta dos playoffs que mais importa aos torcedores: minha equipe já garantiu a vaga ou está eliminada?

Uma equipe da Colorado School of Mines havia construído modelos de programação inteira para a Major League Baseball que respondem exatamente a essa pergunta. Em vez de executá-los novamente, eles traduziram os modelos para o regulamento da Korean Baseball Organization — onde a diferença crítica é que os jogos podem terminar empatados, algo que a matemática de números mágicos ao estilo da MLB nunca trata e que corrompe silenciosamente qualquer transposição direta.

Os modelos adaptados calculam, para cada equipe e cada jogo restante, se uma vaga nos playoffs está garantida sob todos os resultados ou é impossível sob todos os resultados, levando em conta a classificação e a estrutura de desempates da KBO. Os resultados foram publicados em um site que os torcedores podiam consultar para obter perspectivas precisas e atualizadas sobre os playoffs.

Jornalistas esportivos e torcedores coreanos adotaram o site, dando à cobertura do beisebol coreano algo que ela nunca tivera: chamadas exatas de classificação e eliminação respaldadas por modelos, entregues pela primeira vez durante a temporada em que nenhuma outra liga profissional estava jogando.

Fórmulas importadas quebram diante de uma regra local: os empates

A regra de empates não é um caso isolado na KBO — ela ocorre regularmente e altera a aritmética de eliminação, de modo que importar fórmulas da MLB sem modificação produziria respostas erradas que os torcedores poderiam detectar.

A COVID criou o momento: o beisebol coreano era a única grande liga em atividade na primavera de 2020, então a atenção dos torcedores à classificação estava excepcionalmente alta e o vazio na cobertura exata ficou totalmente exposto.

Os modelos já existiam para a MLB; o trabalho marginal era a tradução do regulamento, um esforço pequeno que produziu uma cobertura única para o mercado coreano.

A publicação gratuita e sempre atualizada em um site correspondia ao caso de uso do torcedor — verificar "minha equipe está viva hoje à noite" — melhor do que qualquer análise de fim de temporada faria.

Portar um produto de análise entre mercados é um problema de tradução de regulamento, não de reexecução: uma regra local (os empates) invalida a fórmula importada, e essa única diferença é o projeto inteiro.

O trabalho sobre a KBO foi publicado no INFORMS Journal on Applied Analytics em julho de 2024 (volume 54, edição 4) por Sam Sung Ho Kim, Mark A. Husted, Eli V. Olinick e Alexandra M. Newman, ampliando os modelos anteriores da equipe de eliminação nos playoffs da NBA (publicados em março de 2021). Os resultados foram descritos no artigo como inéditos para a mídia coreana, com o site para torcedores atraindo a atenção de jornalistas esportivos coreanos.