AWS Generative AI Innovation Centerが、NHLのプレーオフ進出確定条件を自動算出するシステムを構築した。制約プログラミングと独自の木探索を組み合わせ、公式発表と一致する結果を過去4シーズン分検証。この成果は、複雑なリーグ運営業務の自動化が実用段階に入ったことを示している。

プレーオフ確定判定という組合せ爆発問題

NHLは32チームが2カンファレンス4ディビジョンに分かれ、各チーム82試合を戦う。順位決定には勝ち点のほか、レギュレーション勝ち数や直接対決の成績など7段階のタイブレーク規則が適用される。シーズン終盤、あるチームが「数学的にプレーオフ進出が保証される」条件を人手で特定することは、残り数百試合の全結果パターンを考慮する必要があり、ミスが生じやすい業務だった。AWSのチームはこれを制約充足問題として定式化し、「当該チームがプレーオフを逃す全試合結果の組合せが存在するか」を解くアプローチをとった。

0-dayソルバーとn-day先読みの二段構成

システムの中核はGoogle OR-ToolsのCP-SATソルバーを用いた制約プログラミングモデルである。まず「0-dayソルバー」が現時点の順位と残り試合を入力とし、対象チームがプレーオフを逃すシナリオの有無を判定する。その上で「n-day先読みソルバー」が、直近n日間の試合結果のどの分岐で確定条件が成立するかを木探索で列挙する。この二段構成により、単なるクリンチ有無の判定だけでなく、リーグが日常的に発表する「Aチームが最低1ポイント獲得かつBチームが敗北」といった具体的なシナリオ文の自動生成まで実現した。

クラウド事業者の技術が示す運用自動化の方向性

今回のシステムはAWSの研究開発部門が手がけたものであり、特定のスポーツ向け製品として発表されたわけではない。しかし、制約プログラミングという汎用技術を複雑なリーグ運営業務に適用し、公式結果と4シーズン分の完全一致を検証した事実は、メディア企業やスポーツリーグのデータ運用部門にとって重要な示唆となる。日本市場においても、プロ野球やJリーグの順位シミュレーション、複雑な大会フォーマットの自動管理などに応用しうる。クラウド上で動作する数理最適化ソルバーが、これまで属人的な専門知識に依存してきた業務領域に浸透する可能性を示している。