In combinatorial game theory, a subtraction game is an abstract strategy game whose state can be represented by a natural number or vector of numbers and in which the allowed moves reduce these numbers. Often, the moves of the game allow any number to be reduced by subtracting a value from a specified subtraction set, and different subtraction games vary in their subtraction sets. These games also vary in whether the last player to move wins or loses. Another winning convention that has also been used is that a player who moves to a position with all numbers zero wins, but that any other position with no moves possible is a draw.
Examples
Examples of notable subtraction games include the following:
Nim is a game whose state consists of multiple piles of tokens, such as coins or matchsticks, and a valid move removes any number of tokens from a single pile. Nim has a well-known optimal strategy in which the goal at each move is to reach a set of piles whose nim-sum is zero, and this strategy is central to the Sprague–Grundy theorem of optimal play in impartial games. However, when playing only with a single pile of tokens, optimal play is trivial.
Subtract a square is a variation of nim in which only square numbers of tokens can be removed in a single move. The resulting game has a non-trivial strategy even for a single pile of tokens; the Furstenberg–Sárközy theorem implies that its winning positions have density zero among the integers.
Fibonacci nim is another variation of nim in which the allowed moves depend on the previous moves to the same pile of tokens. On the first move to a pile, it is forbidden to take the whole pile, and on subsequent moves, the amount subtracted must be at most twice the previous amount removed from the same pile.
Wythoff's game is played by placing a chess queen on a large chessboard and, at each step, moving it towards the bottom side, left side, or bottom left corner of the board. This game may be equivalently described with two piles of tokens, from which each move may remove any number of tokens from one or both piles, removing the same amount from each pile when both piles are reduced. It has an optimal strategy involving Beatty sequences and the golden ratio.
Theory
Subtraction games are generally impartial games, meaning that the set of moves available in a given position does not depend on the player whose turn it is to move. For such a game, the states can be divided up into -positions and -positions, and an optimal game playing strategy consists of moving to a -position whenever this is possible. For instance, with the normal play convention and a single pile of tokens, every number in the subtraction set is an -position, because a player can win from such a number by moving to zero. For normal-play subtraction games in which there are multiple numbers, in which each move reduces only one of these numbers, and in which the reductions that are possible from a given number depend only on that number and not on the rest of the game state, the Sprague–Grundy theorem can be used to calculate a "nim value" of each number, a number representing an equivalent position in the game of nim, such that the value of the overall game state is the nim-sum of its nim-values. In this way, the optimal strategy for the overall game can be reduced to the calculation of nim-values for a simplified set of game positions, those in which there is only a single number. The nim-values are zero for -positions, and nonzero for -positions; according to a theorem of Tom Ferguson, the single-number positions with nim-value one are exactly the numbers obtained by adding the smallest value in the subtraction set to a -position. Ferguson's result leads to an optimal strategy in multi-pile misère subtraction games, with only a small amount of change from the normal play strategy. For a subtraction game with a single pile of tokens and a fixed subtraction set, if the subtraction set has arbitrarily large gaps between its members, then the set of -positions of the game is necessarily infinite. For every subtraction game with a finite subtraction set, the nim-values are bounded and both the partition into -positions and -positions and the sequence of nim-values are eventually periodic. The period may be significantly larger than the maximum value in the subtraction set, but is at most. However, there exist infinite subtraction sets that produce bounded nim-values but an aperiodic sequence of these values.
Complexity
For subtraction games with a fixed subtraction set, such as subtract a square, the partition into P-positions and N-positions of the numbers up to a given value may be computed in time. The nim-values of all numbers up to may be computed in time where denotes the size of the subtraction set and denotes the largest nim-value occurring in this computation. For generalizations of subtraction games, played on vectors of natural numbers with a subtraction set whose vectors can have positive as well as negative coefficients, it is an undecidable problem to determine whether two such games have the same P-positions and N-positions.
