Combinatorial game theory
From Academic Kids

Combinatorial game theory (CGT) is a mathematical theory that studies a certain kind of game. These games are all twoplayer games which have a position, which the players take turns changing in certain welldefined ways or moves, trying to achieve a welldefined winning condition. CGT does not study games of chance (like poker), but restricts itself to games whose position is public to both players, and in which the set of available moves is also public.
In simple terms, by applying CGT to a position you are attempting to determine the optimum sequence of moves for both players until the game ends, and by doing so discovering the optimum move in the current position. In practice, this process is tortuously difficult unless the game is very simple.
CGT should not be confused with another mathematical theory, traditionally called game theory, used in the theory of economic competition and cooperation: this other theory does involve chance and imperfect knowledge, and has the players deciding their moves simultaneously.
The modern CGT tradition goes back to the solution of Nim. It can, in principle, be applied to games like Chess, checkers, Go, Hex, and similar board games, but these games are mostly too complicated to allow complete analysis. The theory has had some recent successes in analyzing Go endgames, however.
The founders of the general theory were Elwyn Berlekamp, John Conway and Richard Guy, in collaborative work during the 1960s that took some time to be published fully.
For a pedagogical discussion, see Combinatorial game theory (pedagogy). For its history, see Combinatorial game theory (history).
Contents 
Formal definitions
A structure <math>\langle\mathcal{C},L,R\rangle<math> is called a collection of games if
 <math>L:\mathcal{C}\rightarrow 2^\mathcal{C}<math>
and
 <math>R:\mathcal{C}\rightarrow 2^\mathcal{C}<math>
where <math>2^\mathcal{C}<math> is the power set of <math>\mathcal{C},<math>
and
<math>\forall G,H\in\mathcal{C}\,[L(G)=L(H)\land R(G)=R(H)]\Rightarrow G=H.<math>
The elements of <math>\mathcal{C}<math> are called games and the convention here is that they would be denoted by the upper case Latin letters G,H,K,... .
Define the binary relation, R (for reachable) between <math>\mathcal{C}<math> and itself by
 <math>GRH\,\!<math> iff <math>G\in L(H)\cup R(H)<math>.
<math>\mathcal{C}<math> is called loopy if <math>\exists G\in\mathcal{C}\,G\bar{R}G<math> where <math>\bar{R}<math> is the transitive closure of R. Otherwise, it's called nonloopy.
If there exists an element 0 of <math>\mathcal{C}<math>, with <math>L(0)=R(0)=\emptyset<math>, then we call it the zero element. The zero element, if it exists, is unique.
If <math>\langle\mathcal{C},L,R\rangle<math> is a collection of games and <math>G_0\in\mathcal{C}<math> then the game <math>G_0<math> can be 'played' as follows: There are two players, called Left and Right. First, Left chooses an element <math>G_1\in L(G_0)<math> (if one exists). Then Right chooses an element <math>G_2\in R(G_1)<math> (if one exists). Then Left chooses an element <math>G_3\in L(G_2)<math> and so on. If a player cannot move (i.e. the relevant <math>L<math> or <math>R<math> set is empty) then, by definition, they lose the game.
Finite nonloopy games
If <math>\mathcal{C}<math> is finite and nonloopy, then it contains a zero element.
Let <math>\mathcal{C}_{fin}<math> be the smallest collection of games containing 0 and such that
 For all finite <math>\mathcal{L},\mathcal{R}\subset\mathcal{C}_{fin}<math>, there exists <math>K\in\mathcal{C}_{fin}<math> such that <math>L(K)=\mathcal{L},R(K)=\mathcal{R}<math>.
Then all finite nonloopy games are isomorphic to a subcollection of <math>\mathcal{C}_{fin}<math>. We can work solely with <math>\mathcal{C}_{fin}<math>.
Define a binary operator
 <math>+:\mathcal{C}_{fin}\times\mathcal{C}_{fin}\rightarrow\mathcal{C}_{fin}<math>
recursively by
 <math>L(G+H)=(L(G)+H)\cup(G+L(H))<math> and <math>R(G+H)=(R(G)+H)\cup(G+R(H))<math>.
This definition of addition of games is welldefined and unique; and it is commutative. Intuitively, one should think of the game <math>G+H<math> as consisting of the two games <math>G<math> and <math>H<math> being played "side by side": On his turn, Left can either make a move in <math>G<math> and leave <math>H<math> alone, or vice versa, and likewise for Right.
The negative of a game is defined recursively as follows:
 <math>\forall G\in\mathcal{C}_{fin} L(G)=\{K:K\in R(G)\}\land R(G)=\{K:K\in L(G)\}<math>.
This definition is welldefined and unique. Intuitively, G is just "G with Left and Right reversed".
Define a set of games <math>P_L\subset\mathcal{C}_{fin}<math> recursively as follows:
 <math>G\in P_L<math> iff <math>\forall H\in L(G): H\notin P_L<math>.
A player loses precisely when they run out of moves. The above definition characterizes games such that no matter what the left player does, the right player can force them to eventually run out of moves. One might call them "Left to play and lose" games.
One can similarly define <math>P_R<math>, and we note that <math>P_R = \{G : G\in P_L\}<math>. Next, define
 <math>P = P_L \cap P_R<math>.
<math>P<math> is the set of secondplayerwin games (whoever moves first, the second player can force a win). A useful exercise at this point is to show that <math>\forall G\in\mathcal{C}_{fin}: G + (G)\in P<math>. This observation motivates the following:
Define a relation <math>\simeq<math> by <math>G\simeq H<math> iff <math>G+(H)\in P<math>. This is an equivalence relation; and it respects the addition and negative operations. Therefore, the operations + and  can be defined on the quotient set defined by the equivalence relation <math>\simeq<math>. Finally one can show that the addition is an abelian group operation.
Nimbers
An impartial game is one where <math>\forall G\in\mathcal{C}\, L(G)=R(G)<math>.
The set of nimbers is defined as the smallest subcollection containing 0 and containing <math>\{G\cup L(G)G\cup R(G)\}<math> for every G in the subcollection.
Nimbers are the combinatorial game theoretic analogue of the ordinal numbers. A function from the ordinals to nimbers is defined. The SpragueGrundy theorem states that every impartial game is <math>\simeq<math>equivalent to a nimber.
Domineering
An example of a partial game is Domineering. In this game, a grid is drawn, on which Left can play vertical dominoes and Right can play horizontal dominoes. Various interesting Games, such as hot games, appear in Domineering, due to the fact that there is sometimes an incentive to move, and sometimes not.