View source for Extensive-form game

{{short description|Wide-ranging representation of a game in game theory}}

In [[game theory]], an '''extensive-form game''' is a specification of a [[game]] allowing for the explicit representation of a number of key aspects, like the sequencing of players' possible moves, their [[Information set (game theory)|choices at every decision point]], the (possibly [[imperfect information|imperfect]]) information each player has about the other player's moves when they make a decision, and their payoffs for all possible game outcomes. Extensive-form games also allow for the representation of [[incomplete information]] in the form of chance events modeled as "[[moves by nature]]". Extensive-form representations differ from [[Normal-form game|normal-form]] in that they provide a more complete description of the game in question, whereas normal-form simply boils down the game into a payoff matrix.

== Finite extensive-form games ==
Some authors, particularly in introductory textbooks, initially define the extensive-form game as being just a [[game tree]] with payoffs (no imperfect or incomplete information), and add the other elements in subsequent chapters as refinements. Whereas the rest of this article follows this gentle approach with motivating examples, we present upfront the finite extensive-form games as (ultimately) constructed here. This general definition was introduced by [[Harold W. Kuhn]] in 1953, who extended an earlier definition of [[John von Neumann|von Neumann]] from 1928. Following the presentation from {{harvtxt|Hart|1992}}, an ''n''-player extensive-form game thus consists of the following:
* A finite set of ''n'' (rational) players
* A [[rooted tree]], called the ''game tree''
* Each terminal (leaf) node of the game tree has an [[tuple|''n''-tuple]] of ''payoffs'', meaning there is one payoff for each player at the end of every possible play
* A [[Partition of a set|partition]] of the non-terminal nodes of the game tree in ''n''+1 subsets, one for each (rational) player, and with a special subset for a fictitious player called Chance (or Nature). Each player's subset of nodes is referred to as the "nodes of the player". (A game of complete information thus has an empty set of Chance nodes.)
* Each node of the Chance player has a [[probability distribution]] over its outgoing edges.
* Each set of nodes of a rational player is further partitioned in [[Information set (game theory)|information set]]s, which make certain choices indistinguishable for the player when making a move, in the sense that:
** there is a one-to-one correspondence between outgoing edges of any two nodes of the same information set&mdash;thus the set of all outgoing edges of an information set is partitioned in [[equivalence class]]es, each class representing a possible choice for a player's move at some point&mdash;, and
** every (directed) path in the tree from the root to a terminal node can cross each information set at most once
* the complete description of the game specified by the above parameters is [[Common knowledge (logic)|common knowledge]] among the players

A play is thus a path through the tree from the root to a terminal node. At any given non-terminal node belonging to Chance, an outgoing branch is chosen according to the probability distribution. At any rational player's node, the player must choose one of the equivalence classes for the edges, which determines precisely one outgoing edge except (in general) the player doesn't know which one is being followed. (An outside observer knowing every other player's choices up to that point, and the [[realization (probability)|realization]] of Nature's moves, can determine the edge precisely.) A [[pure strategy]] for a player thus consists of a [[Choice function|selection]]&mdash;choosing precisely one class of outgoing edges for every information set (of his). In a game of perfect information, the information sets are [[Singleton (mathematics)|singletons]]. It's less evident how payoffs should be interpreted in games with Chance nodes. It is assumed that each player has a [[von Neumann–Morgenstern utility function]] defined for every game outcome; this assumption entails that every rational player will evaluate an [[a priori probability|a priori]] random outcome by its [[Expected value|expected]] utility.
<!-- The above text is supported  by Hart (1992) with the observation about equivalence classes from Shoham and Leyton-Brown (2009) -->

The above presentation, while precisely defining the mathematical structure over which the game is played, elides however the more technical discussion of formalizing statements about how the game is played like "a player cannot distinguish between nodes in the same information set when making a decision". These can be made precise using [[epistemic modal logic]]; see {{harvtxt|Shoham|Leyton-Brown|2009|loc=chpt. 13}} for details.

A [[perfect information]] two-player game over a [[game tree]] (as defined in [[combinatorial game theory]] and [[artificial intelligence]]) can be represented as an extensive form game with outcomes (i.e. win, lose, or [[Draw (chess)|draw]]). Examples of such games include [[tic-tac-toe]], [[chess]], and [[infinite chess]].<ref name="Infinite Games">[https://www.math.uni-hamburg.de/home/khomskii/infinitegames2010/Infinite%20Games%20Sofia.pdf https://www.math.uni-hamburg/Infinite Games, Yurii Khomskii (2010)] Infinite Games (section 1.1), Yurii Khomskii (2010)</ref><ref name="Infinite chess">[https://www.youtube.com/watch?v=PN-I6u-AxMg "Infinite Chess, PBS Infinite Series"] PBS Infinite Series. Perfect information defined at 0:25, with academic sources {{ArXiv|1302.4377}} and {{ArXiv|1510.08155}}.</ref> A game over an [[expectminimax tree]], like that of [[backgammon]], has no imperfect information (all information sets are singletons) but has moves of chance. For example, [[poker]] has both moves of chance (the cards being dealt) and imperfect information (the cards secretly held by other players). {{harv|Binmore|2007|loc=chpt. 2}}

===Perfect and complete information===

A complete extensive-form representation specifies:
# the players of a game
# for every player every opportunity they have to move
# what each player can do at each of their moves
# what each player knows for every move
# the payoffs received by every player for every possible combination of moves

[[File:Extensive-form tree.svg|thumb|A game represented in extensive form]]

The game on the right has two players: 1 and 2. The numbers by every non-terminal node indicate to which player that decision node belongs. The numbers by every terminal node represent the payoffs to the players (e.g. 2,1 represents a payoff of 2 to player 1 and a payoff of 1 to player 2). The labels by every edge of the graph are the name of the action that edge represents.

The initial node belongs to player 1, indicating that player 1 moves first. Play according to the tree is as follows: player 1 chooses between ''U'' and ''D''; player 2 observes player 1's choice and then chooses between ''U' '' and ''D' ''. The payoffs are as specified in the tree. There are four outcomes represented by the four terminal nodes of the tree: (U,U'), (U,D'), (D,U') and (D,D'). The payoffs associated with each outcome respectively are as follows (0,0), (2,1), (1,2) and (3,1).

If player 1 plays ''D'', player 2 will play ''U' '' to maximise their payoff and so player 1 will only receive 1. However, if player 1 plays ''U'', player 2 maximises their payoff by playing ''D' '' and player 1 receives 2. Player 1 prefers 2 to 1 and so will play ''U'' and player 2 will play ''D' ''. This is the [[subgame perfect equilibrium]].

===Imperfect information===

An advantage of representing the game in this way is that it is clear what the order of play is. The tree shows clearly that player 1 moves first and player 2 observes this move. However, in some games play does not occur like this. One player does not always observe the choice of another (for example, moves may be simultaneous or a move may be hidden). An '''[[information set (game theory)|information set]]''' is a set of decision nodes such that:
# Every node in the set belongs to one player.
# When the game reaches the information set, the player who is about to move cannot differentiate between nodes within the information set; i.e. if the information set contains more than one node, the player to whom that set belongs does not know which node in the set has been reached.

In extensive form, an information set is indicated by a dotted line connecting all nodes in that set or sometimes by a loop drawn around all the nodes in that set.

[[File:Extensive-form tree with uncertainty.svg|thumb|A game with imperfect information represented in extensive form]]

If a game has an information set with more than one member that game is said to have '''[[imperfect information]]'''. A game with '''perfect information''' is such that at any stage of the game, every player knows exactly what has taken place earlier in the game; i.e. every information set is a [[singleton (mathematics)|singleton]] set.<ref name="Infinite Games"/><ref name="Infinite chess"/> Any game without perfect information has imperfect information.

The game on the right is the same as the above game except that player 2 does not know what player 1 does when they come to play. The first game described has perfect information; the game on the right does not. If both players are rational and both know that both players are rational and everything that is known by any player is known to be known by every player (i.e. player 1 knows player 2 knows that player 1 is rational and player 2 knows this, etc. ''ad infinitum''), play in the first game will be as follows: player 1 knows that if they play ''U'', player 2 will play ''D' '' (because for player 2 a payoff of 1 is preferable to a payoff of 0) and so player 1 will receive 2. However, if player 1 plays ''D'', player 2 will play ''U' '' (because to player 2 a payoff of 2 is better than a payoff of 1) and player 1 will receive 1. Hence, in the first game, the equilibrium will be (''U'', ''D' '') because player 1 prefers to receive 2 to 1 and so will play ''U'' and so player 2 will play ''D' ''.

In the second game it is less clear: player 2 cannot observe player 1's move. Player 1 would like to fool player 2 into thinking they have played ''U'' when they have actually played ''D'' so that player 2 will play ''D' '' and player 1 will receive 3. In fact in the second game there is a [[perfect Bayesian equilibrium]] where player 1 plays ''D'' and player 2 plays ''U' '' and player 2 holds the belief that player 1 will definitely play ''D''. In this equilibrium, every strategy is rational given the beliefs held and every belief is consistent with the strategies played. Notice how the imperfection of information changes the outcome of the game.

To more easily solve this game for the '''[[Nash equilibrium]]''',<ref>{{Cite book|title=Strategy : an introduction to game theory|last=Watson, Joel.|isbn=978-0-393-91838-0|pages=97–100|oclc=1123193808|date = 2013-05-09}}</ref> it can be converted to the '''[[Normal-form game|normal form]]'''.<ref>{{Cite book|title=Strategy : an introduction to game theory|last=Watson, Joel.|isbn=978-0-393-91838-0|pages=26–28|oclc=1123193808|date = 2013-05-09}}</ref> Given this is a '''[[Simultaneous game|simultaneous]]/[[Sequential game|sequential]]''' game, player one and player two each have two '''[[Strategy (game theory)|strategies]]'''.<ref>{{Cite book|title=Strategy : an introduction to game theory|last=Watson, Joel.|isbn=978-0-393-91838-0|pages=22–26|oclc=1123193808|date = 2013-05-09}}</ref>

* Player 1's Strategies: {U , D}
* Player 2's Strategies: {U’ , D’}

{| class="wikitable"
|+
! {{diagonal split header|Player 1 | Player 2}}
!Up' (U')
!Down' (D')
|-
!Up (U)
|(0,0)
|(2,'''<u>1</u>''')
|-
!Down (D)
|  '''(<u>1</u>,<u>2</u>)'''
|(<u>'''3'''</u>,1)
|}

We will have a two by two matrix with a unique payoff for each combination of moves. Using the normal form game, it is now possible to solve the game and identify dominant strategies for both players.

* If player 1 plays Up (U), player 2 prefers to play Down (D’) (Payoff 1>0)
* If player 1 plays Down (D), player 2 prefers to play Up (U’) (Payoff 2>1)
* If player 2 plays Up (U’), player 1 prefers to play Down (D) (Payoff 1>0)
* If player 2 plays Down (D’), player 1 prefers to play Down (D) (3>2)

These preferences can be marked within the matrix, and any box where both players have a preference provides a nash equilibrium. This particular game has a single solution of (D,U’) with a payoff of (1,2).

In games with infinite action spaces and imperfect information, non-singleton information sets are represented, if necessary, by inserting a dotted line connecting the (non-nodal) endpoints behind the arc described above or by dashing the arc itself. In the [[Stackelberg game|Stackelberg competition]] described above, if the second player had not observed the first player's move the game would no longer fit the Stackelberg model; it would be [[Cournot competition]].

===Incomplete information===

It may be the case that a player does not know exactly what the payoffs of the game are or of what '''type''' their opponents are. This sort of game has '''[[incomplete information]]'''. In extensive form it is represented as a game with complete but imperfect information using the so-called '''[[John Harsanyi|Harsanyi]] transformation'''. This transformation introduces to the game the notion of ''[[move by nature|nature's choice]]'' or ''God's choice''. Consider a game consisting of an employer considering whether to hire a job applicant. The job applicant's ability might be one of two things: high or low. Their ability level is random; they either have low ability with probability 1/3 or high ability with probability 2/3. In this case, it is convenient to model nature as another player of sorts who chooses the applicant's ability according to those probabilities. Nature however does not have any payoffs.  Nature's choice is represented in the game tree by a non-filled node. Edges coming from a nature's choice node are labelled with the probability of the event it represents occurring.

[[File:Extensive form game 3.1.JPG|300px|left|thumb|A game with incomplete and imperfect information represented in extensive form]]

The game on the left is one of complete information (all the players and payoffs are known to everyone) but of imperfect information (the employer doesn't know what nature's move was.) The initial node is in the centre and it is not filled, so nature moves first. Nature selects with the same probability the type of player 1 (which in this game is tantamount to selecting the payoffs in the subgame played), either t1 or t2. Player 1 has distinct information sets for these; i.e. player 1 knows what type they are (this need not be the case). However, player 2 does not observe nature's choice. They do not know the type of player 1; however, in this game they do observe player 1's actions; i.e. there is perfect information. Indeed, it is now appropriate to alter the above definition of complete information: at every stage in the game, every player knows what has been played ''by the other players''. In the case of private information, every player knows what has been played by nature. Information sets are represented as before by broken lines.

In this game, if nature selects t1 as player 1's type, the game played will be like the very first game described, except that player 2 does not know it (and the very fact that this cuts through their information sets disqualify it from [[subgame]] status). There is one ''separating'' [[perfect Bayesian equilibrium]]; i.e. an equilibrium in which different types do different things.

If both types play the same action (pooling), an equilibrium cannot be sustained. If both play ''D'', player 2 can only form the belief that they are on either node in the information set with probability 1/2 (because this is the chance of seeing either type). Player 2 maximises their payoff by playing ''D' ''. However, if they play ''D' '', type 2 would prefer to play ''U''. This cannot be an equilibrium. If both types play ''U'', player 2 again forms the belief that they are at either node with probability 1/2. In this case player 2 plays ''D' '', but then type 1 prefers to play ''D''.

If type 1 plays ''U'' and type 2 plays ''D'', player 2 will play ''D' '' whatever action they observe, but then type 1 prefers ''D''. The only equilibrium hence is with type 1 playing ''D'', type 2 playing ''U'' and player 2 playing ''U' '' if they observe ''D'' and randomising if they observe ''U''. Through their actions, player 1 has [[signaling games|signalled]] their type to player 2.

=== Formal definition ===
Formally, a finite game in extensive form is a structure
<math> \Gamma = \langle\mathcal{K}, \mathbf{H}, [ (\mathbf{H}_i)_{i \in \mathcal{I} } ], \{ A(H) \}_{H  \in \mathbf{H} }, a , \rho, u \rangle</math>
where:
* <math>\mathcal{K} = \langle V, v^0, T, p\rangle</math> is a finite tree with a set of nodes <math> V </math>, a unique initial node <math>v^0 \in V</math>, a set of terminal nodes <math>T \subset V</math> (let <math>D = V \setminus T</math> be a set of decision nodes) and an immediate predecessor function <math> p: V \rightarrow D </math> on which the rules of the game are represented,
* <math>\mathbf{H}</math> is a partition of <math>D</math> called an information partition,
* <math> A(H) </math> is a set of actions available for each information set <math>H \in \mathbf{H}</math> which forms a partition on the set of all actions <math>\mathcal{A}</math>.
* <math>a: V \setminus \{ v^0 \} \rightarrow \mathcal{A}</math> is an action partition associating each node <math>v</math> to a single action <math>a(v)</math>, fulfilling:

<math> \forall H \in \mathbf{H}, \forall v \in H </math>, the restriction <math>a_v: s(v) \rightarrow A(H)</math> of <math>a</math> on <math>s(v)</math> is a bijection, with <math> s(v) </math> the set of successor nodes of <math>v</math>.
* <math>\mathcal{I} = \{ 1, ..., I \} </math> is a finite set of players, <math>0</math> is (a special player called) nature, and <math> (\mathbf{H}_i)_{i \in \mathcal{I} \cup \{ 0 \} }</math> is a player partition of information set <math>\mathbf{H}</math>. Let <math>\iota(v) = \iota(H)</math> be a single player that makes a move at node <math>v \in H</math>.
* <math>\rho = \{ \rho_H: A(H) \rightarrow [0, 1] | H \in \mathbf{H}_0 \}</math> is a family of probabilities of the actions of nature, and
* <math>u = (u_i)_{i \in \mathcal{I}}: T \rightarrow \mathbb{R}^\mathcal{I}</math> is a payoff profile function.

==Infinite action space==
It may be that a player has an infinite number of possible actions to choose from at a particular decision node. The device used to represent this is an arc joining two edges protruding from the decision node in question. If the action space is a continuum between two numbers, the lower and upper delimiting numbers are placed at the bottom and top of the arc respectively, usually with a variable that is used to express the payoffs. The infinite number of decision nodes that could result are represented by a single node placed in the centre of the arc. A similar device is used to represent action spaces that, whilst not infinite, are large enough to prove impractical to represent with an edge for each action.

[[File:Extensive form game 4.JPG|300px|thumbnail|left|A game with infinite action spaces represented in extensive form]]

The tree on the left represents such a game, either with infinite action spaces (any [[real number]] between 0 and 5000) or with very large action spaces (perhaps any [[integer]] between 0 and 5000). This would be specified elsewhere. Here, it will be supposed that it is the former and, for concreteness, it will be supposed it represents two firms engaged in [[Stackelberg competition]]. The payoffs to the firms are represented on the left, with {{tmath|q_1}} and {{tmath|q_2}} as the strategy they adopt and {{tmath|c_1}} and {{tmath|c_2}} as some constants (here marginal costs to each firm). The [[subgame perfect Nash equilibrium|subgame perfect Nash equilibria]] of this game can be found by taking the [[partial derivative|first partial derivative]]{{fact?|date=March 2016}} of each payoff function with respect to the follower's (firm 2) strategy variable ({{tmath|q_2}}) and finding its [[best response]] function, <math>q_2(q_1)=\tfrac{5000-q_1-c_2}2</math>. The same process can be done for the leader except that in calculating its profit, it knows that firm 2 will play the above response and so this can be substituted into its maximisation problem. It can then solve for {{tmath|q_1}} by taking the first derivative, yielding <math>q_1^*=\tfrac{5000+c_2-2c_1}2</math>. Feeding this into firm 2's best response function, <math>q_2^*=\tfrac{5000+2c_1-3c_2}4</math> and <math>(q_1^*,q_2^*)</math> is the subgame perfect Nash equilibrium.

== See also ==
* [[Axiom of determinacy]]
* [[Perfect information]]
* [[Combinatorial game theory]]
* [[Self-confirming equilibrium]]
* [[Sequential game]]
* [[Signaling games|Signalling]]
* [[Solution concept]]

==References==
{{Reflist}}
* {{cite book|last=Hart|first=Sergiu|author-link=Sergiu Hart|year=1992|chapter=Games in extensive and strategic forms|editor-last=Aumann|editor-first=Robert|editor-link=Robert Aumann|editor2-last=Hart|editor2-first=Sergiu|title=Handbook of Game Theory with Economic Applications|volume=1|publisher=Elsevier|isbn=978-0-444-88098-7}}
* {{cite book|last=Binmore|first=Kenneth | author-link=Kenneth Binmore|title=Playing for real: a text on game theory|year=2007|publisher=Oxford University Press US|isbn=978-0-19-530057-4}}
* [[Melvin Dresher|Dresher M.]] (1961). The mathematics of games of strategy: theory and applications (Ch4: Games in extensive form, pp74–78). Rand Corp. {{ISBN|0-486-64216-X}}
* Fudenberg D and [[Jean Tirole|Tirole J.]] (1991) Game theory (Ch3 Extensive form games, pp67–106). MIT press. {{ISBN|0-262-06141-4}}
* {{Citation | last2=Shoham | first2=Yoav | last1=Leyton-Brown | first1=Kevin | title=Essentials of Game Theory: A Concise, Multidisciplinary Introduction  | publisher=Morgan & Claypool Publishers | isbn=978-1-59829-593-1 | url=http://www.gtessentials.org | year=2008 | location=San Rafael, CA}}. An 88-page mathematical introduction; see Chapters 4 and 5. [http://www.morganclaypool.com/doi/abs/10.2200/S00108ED1V01Y200802AIM003 Free online] {{Webarchive|url=https://web.archive.org/web/20000815223335/http://www.economics.harvard.edu/~aroth/alroth.html |date=2000-08-15 }} at many universities.
* [[R. Duncan Luce|Luce R.D.]] and [[Howard Raiffa|Raiffa H.]] (1957). Games and decisions: introduction and critical survey. (Ch3: Extensive and Normal Forms, pp39–55). Wiley New York. {{ISBN|0-486-65943-7}}
* Osborne MJ and [[Ariel Rubinstein|Rubinstein A.]] 1994. A course in game theory (Ch6 Extensive game with perfect information, pp.&nbsp;89–115). MIT press. {{ISBN|0-262-65040-1}}
* {{Citation | last1=Shoham | first1=Yoav | last2=Leyton-Brown | first2=Kevin | title=Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations | publisher=[[Cambridge University Press]] | isbn=978-0-521-89943-7 | url=http://www.masfoundations.org | year=2009 | location=New York}}. A comprehensive reference from a computational perspective; see Chapter 5. [http://www.masfoundations.org/download.html Downloadable free online].

== Further reading ==
* {{cite book|author=Horst Herrlich|title=Axiom of choice|year=2006|publisher=Springer|isbn=978-3-540-30989-5}}, 6.1, "Disasters in Game Theory" and 7.2 "Measurability (The Axiom of Determinateness)", discusses problems in extending the finite-case definition to infinite number of options (or moves)

'''Historical papers'''
* {{Cite journal | last1 = Neumann | first1 = J. | doi = 10.1007/BF01448847 | title = Zur Theorie der Gesellschaftsspiele | journal = [[Mathematische Annalen]]| volume = 100 | pages = 295–320 | year = 1928 | s2cid = 122961988 }}
* {{cite book|author=Harold William Kuhn|title=Lectures on the theory of games|year=2003|publisher=Princeton University Press|isbn=978-0-691-02772-2}} contains Kuhn's lectures at Princeton from 1952 (officially unpublished previously, but in circulation as photocopies)

{{Game theory}}
{{Authority control}}

{{DEFAULTSORT:Extensive-Form Game}}
[[Category:Game theory game classes]]