AWS 以约束编程自动化生成 NHL 季后赛晋级情景

NHL 常规赛中，季后赛晋级情景用于判断球队在剩余赛程中锁定或失去季后赛资格的结果组合。AWS 生成式 AI 创新中心为此构建了一套自动化系统，核心采用约束编程来生成这些情景。

该系统的实现结合了 Google OR-Tools CP-SAT 求解器与自定义树搜索，输入数据来自 NHL 公共 API。在 2021-22 至 2024-25 四个赛季的回测中，系统生成的晋级情景与 NHL 官方发布结果完全一致；单日晋级情景判定的中位运行时间在分钟量级，且大多数实例的剪枝效率接近 100%。

这一结果说明，约束编程方案能够在判定结果与官方保持一致的同时，把单日计算时间控制在分钟级，具备实际可用的效率。需要留意的是，AWS 的文章提到一篇科学论文提供更多细节，但没有附上链接，因此仅凭这篇文章无法独立核查其方法论细节。