Skip to content

Extensive-Form Game


Definition

An extensive-form game (with complete information) specifies:

  1. a finite set of players NN;
  2. a game tree, the rooted and directed version of a tree: a set of nodes with a unique root x0x_0, edges pointing away from the root, and every other node having exactly one immediate predecessor; nodes without successors are terminal nodes, the others are decision nodes;
  3. for every decision node, the player who moves there (possibly Nature, which chooses according to a fixed probability distribution);
  4. for every decision node, the set of actions available there, each action leading to one immediate successor;
  5. for each player, a partition of her decision nodes into information sets, with the same actions available at all nodes in an information set;
  6. a payoff vi(z)v_i(z) for every player ii at every terminal node zz.

The whole structure is common knowledge. The game has perfect information if every information set is a single node, and imperfect information otherwise.


Interpretation

The normal-form game lists strategies and payoffs; the extensive form adds the order of moves and what each player knows when she moves. Because each terminal node is reached by a unique path from the root, a terminal node is the same thing as a complete play of the game.

Two game trees: the entry game with its root x_0, the incumbent's decision node and payoff vectors at the terminal nodes, and a tree in which player 2's two nodes form one information set.

On the left is the entry game of the Examples (Acc. = Accommodate): the entrant EE moves at the root x0x_0, the incumbent II moves only after In, and each terminal node carries the payoff vector (vE,vI)(v_E,v_I). Every information set is a single node, so the game has perfect information. On the right, player 2 does not observe whether player 1 chose OO or FF: the dashed line puts her two nodes into one information set h2h_2 with the same actions at both, and the tree represents the simultaneous Battle of the Sexes.

"Simultaneous" does not need to mean "at the same time": a move counts as simultaneous with an earlier one when it is made without observing it. This is drawn by placing the later mover's nodes in one information set (a dashed line or oval). Hence a static game can be written in extensive form, and the order in which the simultaneous movers are drawn is irrelevant.

The extra structure is what allows one to ask whether threats are credible. The normal form of an extensive-form game keeps the same Nash equilibria but loses the timing, so it cannot distinguish credible from non-credible behaviour.


Key Results

  • Every extensive-form game has a normal-form representation whose pure strategies are the strategies of the extensive form; different extensive forms can have the same normal form.
  • If player ii has information sets h1,…,hmh_1,\ldots,h_m with k1,…,kmk_1,\ldots,k_m actions, she has k1k2⋯kmk_1k_2\cdots k_m pure strategies.
  • Nash equilibria of an extensive-form game are defined as those of its normal form.
  • Every finite game of perfect information has a pure-strategy Nash equilibrium, obtained by backward induction (Zermelo, Kuhn).
  • Each decision node with a singleton information set whose successors do not cut an information set starts a subgame.

Examples

Entry game. An entrant EE chooses Out, giving payoffs (0,2)(0,2) to (E,I)(E,I), or In. After In, the incumbent II chooses Accommodate, (1,1)(1,1), or Fight, (−1,−1)(-1,-1). The incumbent has one information set with two actions, so the normal form is 2×2:

Accommodate Fight
Out (0,2)(0,2) (0,2)(0,2)
In (1,1)(1,1) (−1,−1)(-1,-1)

Its pure Nash equilibria are (In, Accommodate) and (Out, Fight). In the second, the threat to fight is never tested because entry does not occur.

Sequential Battle of the Sexes. Player 1 chooses OO or FF; player 2 observes the choice and then chooses OO or FF. Player 2 has two singleton information sets with two actions each, hence 2⋅2=42\cdot2=4 strategies, while player 1 has 22. If player 2 does not observe player 1's move, her two nodes form one information set and she has only 22 strategies: the game becomes the simultaneous Battle of the Sexes.


Prerequisites



Sources

Aliases: extensive form, game tree, dynamic game, extensive-form representation, game in extensive form, sequential-move game, sequential game Keywords: decision node, terminal node, root, perfect information, imperfect information, entry game, move of Nature, Battle of the Sexes

Last updated: 17 October 2026 21:53