O Escalonador de Programação Linear Inteira Mista da Cornell Elimina Conflitos Diretos de Exames para 18 000 Estudantes por Semestre

Durante décadas, a Universidade de Cornell atribuiu os horários dos exames finais com base no horário letivo regular de cada disciplina, um método que produzia centenas de conflitos no mesmo dia ou em dias consecutivos todos os dezembros, à medida que os alunos conciliavam licenciaturas principais e secundárias sobrepostas.

A partir da primavera de 2022, a Equipa de Agendamento da universidade — liderada pelo professor de investigação operacional David Shmoys, juntamente com Tinghan Ye, Adam Jovine, Willem van Osselaer e Qihan Zhu — substituiu este método por um otimizador de programação inteira mista (MIP) que atribui cada um dos cerca de 540-600 exames finais a um de 19-24 horários por semestre, ponderando explicitamente a coinscrição em disciplinas para evitar a concentração de exames dos alunos.

Ao longo de cinco semestres consecutivos até à primavera de 2024 (abrangendo cerca de 16.000-18.000 alunos por período), o horário otimizado eliminou por completo os conflitos diretos no mesmo horário, uma redução face aos 376-790 do antigo método baseado no horário letivo, e reduziu as 'triplas' (três exames em 24 horas) em cerca de 60-75%. Os resultados foram aceites para publicação na revista científica com revisão por pares INFORMS Journal on Applied Analytics, e a complexidade subjacente do agendamento — mais de 2.500 exames e entregas no total ao longo de um período de 8 dias — está documentada de forma independente no blogue da disciplina de Ciência de Redes da própria Cornell.

A abordagem é puramente administrativa: não interfere no ensino nem no currículo, e o artigo não relata qualquer efeito medido nas notas ou nos resultados de aprendizagem, apenas no número de conflitos e nos custos operacionais da universidade.