Détermination des scénarios de qualification pour les séries éliminatoires de la LNH à l'aide de la programmation par contraintes

Le centre d'innovation en IA générative d'AWS a créé un système automatisé pour déterminer les scénarios de qualification pour les séries éliminatoires de la LNH. Le système utilise la programmation par contraintes (PC) et une recherche arborescente personnalisée pour produire des scénarios de qualification mathématiquement garantis. Il se compose d'un solveur à zéro jour, qui utilise le solveur CP-SAT de Google OR-Tools pour déterminer si une équipe a déjà assuré sa place, et d'un solveur à horizon de n jours, qui utilise la recherche arborescente pour trouver quels résultats des matchs à venir permettraient à une équipe de se qualifier. L'approche a été validée sur quatre saisons régulières de la LNH (2021-2022 à 2024-2025) en utilisant les données de l'API publique de la LNH, et tous les scénarios correspondaient exactement. Le système offre une valeur pratique pour la LNH, les médias, les fans et l'analyse sportive, et fait partie des solutions plus larges d'optimisation mathématique d'AWS.