スプレイグ・グランディの定理

3行要約

1. 二人零和有限確定完全情報ゲームにおいて、各状態が「ニム数」で評価できるという定理。
2. 複数の独立したゲームの和を、単一のニムの山として計算することが可能になる。
3. 組合せゲーム理論における必勝戦略の解析に不可欠な道具である。