Subgame Perfect Equilibrium
848 words
4 min read
Visual companion
Python
Type and operator map
Python Week 1: the first filter for runtime behavior
View
Revision summary
What this note is really saying
Short form
# Subgame Perfect Equilibrium ## ๐ฏ Learning Objectives - Apply **backward induction** to solve perfect-information extensive-form games - Define **subgame perfect Nash equilibrium (SPNE)** - Distinguish credible from non-credible threats - Solve entry deterrence and Stackelberg competition games - Represent SPNE st...

Subgame Perfect Equilibrium
๐ฏ Learning Objectives
- Apply backward induction to solve perfect-information extensive-form games
- Define subgame perfect Nash equilibrium (SPNE)
- Distinguish credible from non-credible threats
- Solve entry deterrence and Stackelberg competition games
- Represent SPNE strategies as a complete plan of action
5.1 Intuition: The Logic of Foresight
In sequential games, what will happen depends on what players expect to happen later. The key insight: look forward, reason backward.
๐ Key Insight: A threat is only credible if it would be rational to carry out when the moment arrives. SPNE eliminates empty threats.
Example: The Ultimatum Game
- Player 1 proposes a split of 10(e.g.,6 for self, $4 for P2)
- Player 2 accepts (both get the split) or rejects (both get $0) Backward induction:
- If P2 gets a positive offer, accepting gives > $0, so P2 should accept
- Knowing this, P1 offers the minimum positive amount ($1)
- SPNE: P1 offers $1, P2 accepts But in experiments, P2 often rejects "unfair" offers! This shows that fairness preferences matter beyond pure self-interest.
5.2 Formal Definition
Subgame
A subgame is a subset of an extensive-form game that:
- Begins at a single decision node (singleton information set)
- Contains all subsequent nodes
- Does not cut across information sets
Subgame Perfect Nash Equilibrium (SPNE)
A strategy profile is a subgame perfect Nash equilibrium if it specifies a Nash equilibrium in every subgame of the original game.
(Diagram)
5.3 Backward Induction Algorithm
Algorithm:
- Start at the last decision nodes (just before terminal payoffs)
- At each node, the player chooses the action that maximises their payoff
- Replace that node with the resulting payoff
- Move up the tree, repeating until the root
Example: Entry Deterrence
(Diagram)
Step 1 (last node): If Entrant enters, Incumbent chooses between Fight (payoff 2) and Accommodate (payoff 4). Accommodate is chosen.
Step 2 (root): Entrant chooses between:
- Enter โ (2, 4) [knowing Incumbent will accommodate]
- Stay Out โ (0, 8) Enter gives Entrant 2 > 0. Enter is chosen. SPNE: Entrant enters, Incumbent accommodates. Payoffs: (2, 4). Note: "If you enter, I'll fight!" is a non-credible threat โ once entry occurs, fighting hurts the incumbent too.
5.4 Stackelberg Competition
Two firms: Leader chooses quantity q1โ first, then Follower chooses q2โ.
Market price: P(Q)=aโQ where Q=q1โ+q2โ Costs: Ciโ(qiโ)=cqiโ
Backward induction:
Step 1 (Follower): Given q1โ, Follower maximises:
FOC: aโq1โโ2q2โโc=0โนq2โโ(q1โ)=2aโq1โโcโ
This is the Follower's reaction function.
Step 2 (Leader): Knowing q2โโ(q1โ), Leader maximises:
FOC: 2aโ2q1โโcโ=0โนq1โโ=2aโcโ
Then q2โโ=2aโ2aโcโโcโ=4aโcโ
Stackelberg outcome: q1โ=2aโcโ, q2โ=4aโcโ, Q=43(aโc)โ
Compare to Cournot (simultaneous): q1โ=q2โ=3aโcโ, Q=32(aโc)โ
The first-mover advantage: Stackelberg leader produces more and earns higher profit than in Cournot.
5.5 Credible vs. Non-Credible Threats
| Type | Definition | Example |
|---|---|---|
| Credible threat | Rational to carry out when the time comes | "I'll lower price if you enter" (if it's profitable) |
| Non-credible threat | Would harm the threatener if carried out | "I'll fight to the death" (if fighting is costly) |
SPNE eliminates non-credible threats by requiring optimal play in every subgame.
5.6 Limitations of Backward Induction
| Limitation | Description |
|---|---|
| Perfect information required | Cannot apply directly with information sets |
| Uniqueness | Ties may produce multiple equilibria |
| Computational complexity | Large game trees are unwieldy |
| Behavioural violations | Humans don't always backward-induct (Ultimatum Game) |
๐ Formula Summary
| Concept | Definition |
|---|---|
| SPNE | Nash equilibrium in every subgame |
| Backward induction | Solve from terminal nodes to root |
| Stackelberg leader quantity | q1โโ=2aโcโ |
| Stackelberg follower quantity | q2โโ=4aโcโ |
โ Practice Questions
Q1: Find the SPNE:
(Diagram)
SolutionAt P2's node: B gives 2 > 0 from A โ P2 chooses B. P1 anticipates this: L gives 3, R gives 2 โ P1 chooses L. SPNE: P1 plays L, P2 plays B (if reached). Payoffs: (3, 1). Q2: In entry deterrence, what happens if the incumbent's payoffs change to: Fight (0, 5), Accommodate (2, 4)? SolutionAt the last node: Incumbent chooses Fight (payoff 5) over Accommodate (payoff 4). Now the threat is credible! Entrant anticipates: Enter gives (-1, 5), Stay Out gives (0, 8). Entrant chooses Stay Out. SPNE: Entrant stays out, Incumbent fights if entered. Q3: Stackelberg with a=100, c=20. Find quantities and price. Solutionq1โโ=2100โ20โ=40 q2โโ=2100โ40โ20โ=20 Q=60 P=100โ60=40 Profits: ฯ1โ=(40โ20)40=800, ฯ2โ=(40โ20)20=400 The leader earns twice the follower's profit. Join Discord PreviousExtensive Form AdvancedNextRepeated Games