Inmathematics, themex (minimum excluded value) of asubset of awell-ordered set is the smallest value from the whole set that does not belong to the subset. That is, it is theminimum value of thecomplement set.
Beyond sets,subclasses of well-orderedclasses have minimum excluded values. Minimum excluded values of subclasses of theordinal numbers are used incombinatorial game theory to assignnim-values toimpartial games.According to theSprague–Grundy theorem, the nim-value of a game position is the minimum excluded value of the class of values of the positions that can be reached in a single move from the given position.[1]
Minimum excluded values are also used ingraph theory, ingreedy coloring algorithms. These algorithms typically choose an ordering of the vertices of a graph and choose a numbering of the available vertex colors. They then consider the vertices in order, for each vertex choosing its color to be the minimum excluded value of the set of colors already assigned to its neighbors.[2]
The following examples all assume that the given set is a subset of the class ofordinal numbers:
whereω is thelimit ordinal for the natural numbers.
In theSprague–Grundy theory the minimum excluded ordinal is used to determine thenimber of anormal-play impartial game. In such a game, either player has the same moves in each position and the last player to move wins. The nimber is equal to 0 for a game that is lost immediately by the first player, and is equal to the mex of the nimbers of all possible next positions for any other game.
For example, in a one-pile version ofNim, the game starts with a pile ofn stones, and the player to move may take any positive number of stones. Ifn is zero stones, the nimber is 0 because the mex of theempty set of legal moves is the nimber 0. Ifn is 1 stone, the player to move will leave 0 stones, andmex({0}) = 1, gives the nimber for this case. Ifn is 2 stones, the player to move can leave 0 or 1 stones, giving the nimber 2 as the mex of the nimbers{0, 1}. In general, the player to move with a pile ofn stones can leave anywhere from 0 ton − 1 stones; the mex of the nimbers{0, 1, …,n − 1} is always the nimbern. The first player wins in Nimif and only if the nimber is not zero, so from this analysis we can conclude that the first player wins if and only if the starting number of stones in a one-pile game of Nim is not zero; the winning move is to take all the stones.
If we change the game so that the player to move can take up to 3 stones only, then withn = 4 stones, the successor states have nimbers{1, 2, 3}, giving a mex of 0. Since the nimber for 4 stones is 0, the first player loses. The second player's strategy is to respond to whatever move the first player makes by taking the rest of the stones. Forn = 5 stones, the nimbers of the successor states of 2, 3, and 4 stones are the nimbers 2, 3, and 0 (as we just calculated); the mex of the set of nimbers{0, 2, 3} is the nimber 1, so starting with 5 stones in this game is a win for the first player.
Seenimbers for more details on the meaning of nimber values.