スプレイグ・グランディの定理
スプレイグ・グランディの定理(英: Sprague–Grundy theorem)とは、 組合せゲーム理論において、通常のプレイ規約下におけるすべての公平ゲームはニム数(英語版)と等価であることを意味する定理である。このとき、公平ゲームにおけるグランディ値やニム値はゲームと等価なユニークな数として定義される。位置(もしくは位置の加数)に自然数(例えばニムのようなゲームにおいて考えられるヒープのサイズ)によって添字が付けられているゲームの場合、連続したヒープサイズに対するニム数の列はゲームのニム列と呼ばれる。
この理論は R. P. Sprague(英語版) (1935) と P. M. Grundy(英語版) (1939) により別々に発見された。