There is a fundamental connection between the notions of game and of computation.
At its most basic level, this is implied by any game complexity result, but the connection
is deeper than this. One example is the concept of alternating nondeterminism,
which is intimately connected with two-player games.