利用约束编程确定NHL季后赛晋级情景

AWS生成式AI创新中心创建了一个自动化系统，用于确定NHL季后赛晋级情景。该系统采用约束编程（CP）和自定义树搜索，以生成数学上保证的晋级情景。它包含一个0天求解器，该求解器使用谷歌OR-Tools中的CP-SAT求解器来确定球队是否已经确保晋级，以及一个n天前瞻求解器，该求解器使用树搜索来找出即将进行的比赛结果中哪些会导致球队晋级。该方法已针对四个NHL常规赛赛季（2021-22至2024-25）使用NHL公共API的数据进行了验证，所有情景均完全匹配。该系统为NHL、媒体、球迷和体育分析提供了实用价值，并且是AWS更广泛的数学优化解决方案的一部分。