Lecture III: Normal Form Games, Rationality and Iterated Deletion of Dominated Strategies
Lecture III: Normal Form Games, Rationality and Iterated Deletion of Dominated Strategies
i
E
i
(s
i
)
u
i
(s
i
, s
i
) ,
or alternatively
s
i
maximizes
s
i
u
i
(s
i
, s
i
)
i
(s
i
) .
Note, that player i faces a simple decision problem as soon as she has
formed her belief
i
.
Denition 3 Strategy s
i
is stricttly dominated for player i if there is some
s
i
S
i
such that
u
i
(s
i
, s
i
) > u
i
(s
i
, s
i
)
for all s
i
S
i
.
Note that the inequality is strict for all s
i
. A strategy is weakly domi-
nated if the inequality is weak for all s
i
and strict for at least one s
i
.
Proposition 1 If player i is rational he will not play a strictly dominated
strategy.
Proof: If strategy s
i
is strictly dominated by strategy s
i
we can deduce that
for any belief of player i we have E
i
(s
i
)
u
i
(s
i
, s
i
) > E
i
(s
i
)
u
i
(s
i
, s
i
).
5.2 Iterated Dominance
The hardest task in solving a game is to determine players beliefs. A lot of
games can be simplied by rationality and the knowledge that my opponent
is rational. To see that look at the Prisoners Dilemma.
Cooperating is a dominated strategy. A rational player would therefore
never cooperate. This solves the game since every player will defect. Notice
that I dont have to know anything about the other player. This prediction
is interesting because it is the worst outcome in terms of joint surplus and
it would be Pareto improving if both players would cooperate. This result
highlights the value of commitment in the Prisoners dilemma - commitment
consists of credibly playing strategy C. For example, in the missile defence
example the ABM treaty (prohibits missile defence) and the START II agree-
ment (prohibits building of new missiles) eectively restrict both countrys
strategy sets to strategy C.
Now look at the next game.
8
D
U
L M R
2,2 1,1 4,0
1,2 4,1 3,5
1. If the column player is rational he shouldnt play M
2. Row player should realize this if he know that the other player is ra-
tional. Thus he wont play D.
3. Column player should realize that R knows that C is rational. If he
knows that R is rational he knows that R wont play D. Hence he wont
play R. This leaves (U,L) as only outcome for rational players.
Its worth while to discuss the level of knowledge required by players.
R has to know that C is rational. C has to know that R knows that C is
rational. This latter knowledge is a higher order form of knowledge. Its
not enough to know that my opponent is rational - I also have to be sure
that my opponent knows that I am rational. There are even higher order
types of knowledge. I might know that my opponent is rational and that he
knows that I am. But maybe he doesnt know that I know that he knows.
The higher the order of knowledge the more often the process of elimi-
nation can be repeated. For example, the game in section 4 of our second
experiment can be solved by the iterated deletion of dominated strategies.
An important concept in game theory is common knowledge (see next
lecture). We will assume throughout the course that rationality is common
knowledge between both players. Therefore, the iteration process can be
repeated arbitrarily often. However, the experiment showed that this as-
sumption might be too strong.
5.3 Formal Denition Of Iterated Dominance
Step I: Dene S
0
i
= S
i
9
Step II: Dene
S
1
i
=
_
s
i
S
0
i
i
S
0
i
u
i
(s
i
, s
i
) > u
i
(s
i
, s
i
) s
i
S
0
i
_
Step k+1: Dene
S
k+1
i
=
_
s
i
S
k
i
i
S
k
i
u
i
(s
i
, s
i
) > u
i
(s
i
, s
i
) s
i
S
k
i
_
S
k+1
i
is the set still not strictly dominated when you know your oppo-
nent uses some strategy in S
k
i
.
Note restrictions S
0
i
, S
1
i
, ..
Players know that opponents are rational, know that opponents know
that they are rational ..., e.g. rationality is common knowledge.
Step : Let S
i
=
k=1
S
k
i
.
Note, that the process must stop after nitely many steps if the strategy
set is nite because the sets can only get smaller after each iteration.
Denition 4 G is solvable by pure strategy iterated strict dominance if S
is clearly non-empty because after each stage there must be some domi-
nant strategy left. For innite strategy sets this is not as obvious. However,
one can show that for compact strategy sets each nested subset S
k
i
is closed
and non-empty. Therefore the intersection of all nested subsets cannot be
empty.
Cournot competition with two rms can be solved by iterated deletion
in some cases. Specically, we look at a linear demand function p =
(q
i
+q
j
) and constant marginal cost c such that the total cost of producing
q
i
units is cq
i
. It will be usefull to calculate the best-response function
BR(q
j
) of each rm i to the quantity choice q
j
of the other rm. By taking
the rst-order condition of the prot function you can easily show that the
best-response function for both rms (there is symmetry!) is
BR
i
(q
j
) =
_
c
2
q
j
2
if q
j
c
0 otherwise
The best-response function is decreasing in my belief of the other rms
action. Note, that for q
j
>
c
with
q = 0 and q =
c
2
. All other strategies make negative prots, are therefore
dominated by some strategy inside this interval, and eliminated.
In the second stage only the strategies S
2
1
= S
2
2
= [BR
1
(q) , BR
1
_
q
_
]
survive, and in the third stage S
3
1
= S
3
2
= [BR
2
_
BR
1
_
q
__
, BR
2
(BR
1
(q))]
(note, that the BR function is decreasing!).
11
Therefore in the 2k + 1th stage only strategies in S
2k+1
1
= S
2k+1
2
=
[BR
2
_
..BR
1
_
q
__
, BR
2
(..BR
1
(q))] survive.
Its easy to show graphically that this interval shrinks in each iteration
and that the two limits converge to the intersection q
1
= q
2
of both best
response functions where q
2
= BR
2
(q
1
). Therefore, the Cournot game is
solvable through the iterated deletion of strictly dominated strategies.
Remark 3 It can be shown that the same game with three rms is NOT
dominance solvable. You have to show that on the problem set!
12