AWS 생성형 AI 이노베이션 센터가 제약 프로그래밍(constraint programming)과 커스텀 트리 탐색을 결합해 NHL 플레이오프 진출 확정 시나리오를 수학적으로 산출하는 자동화 시스템을 개발했다. Google OR-Tools의 CP-SAT 솔버로 특정 팀이 남은 경기 결과와 무관하게 이미 플레이오프에 진출했는지 판별하는 '0일 솔버'와, 향후 n일간 경기 결과에 따른 진출 확정 조건을 트리 탐색으로 계산하는 'n일 예측 솔버'를 결합했다. 2021-22시즌부터 2024-25시즌까지 4개 시즌 데이터로 검증한 결과 NHL이 공식 발표한 시나리오와 100% 일치했으며, 가지치기 효율이 대부분 100%에 가까워 하루치 계산이 수 분 내에 끝났다. 복잡한 타이브레이커 규칙 탓에 수작업으로는 오래 걸리던 문제를 자동화해 스포츠 분석 등 다른 리그·분야로도 확장 가능한 프레임워크를 제시했다는 점에서 의미가 있다.

• •AWS가 CP-SAT 솔버 기반 '0일 솔버'와 트리 탐색 기반 'n일 예측 솔버'로 NHL 플레이오프 확정 시나리오를 자동 산출
• •NHL은 7단계 타이브레이커 규칙을 적용하며 32개 팀 중 16개 팀이 플레이오프에 진출
• •2021-22~2024-25시즌 검증 결과 NHL 공식 발표와 100% 일치
• •가지치기 전략 덕분에 하루치 시나리오 계산이 수 분 내 완료돼 수작업 대비 큰 시간 절감
• •스포츠 분석 등 다른 리그·다른 마일스톤(디비전 우승, 탈락 등)으로 확장 가능한 프레임워크