Groups
Category
Sprague–Grundy theory turns every finite impartial game (normal play) into an equivalent Nim heap with a size called the Grundy number.
Sprague–Grundy (SG) theory solves impartial, normal-play, terminating games by assigning each position a nonnegative integer called its Grundy value.