CM Game Theory
CM Game Theory
CM Game Theory
Vincent Conitzer
[email protected]
“2/3 of the average” game
• Everyone writes down a number between 0 and 100
• Person closest to 2/3 of the average wins
• Example:
– A says 50
– B says 10
– C says 90
– Average(50, 10, 90) = 50
– 2/3 of average = 33.33
– A is closest (|50-33.33| = 16.67), so A wins
Rock-paper-scissors
Column player aka.
player 2
(simultaneously)
chooses a column
0, 0 -1, 1 1, -1
Row player
aka. player 1
chooses a row 1, -1 0, 0 -1, 1
A row or column is
called an action or
-1, 1 1, -1 0, 0
(pure) strategy
Row player’s utility is always listed first, column player’s second
L R
L 1, -1 -1, 1
R -1, 1 1, -1
“Chicken”
• Two players drive cars towards each other
• If one player goes straight, that player wins
• If both go straight, they both die
S D
D S
D S
D 0, 0 -1, 1 not zero-sum
S 1, -1 -5, -5
Rock-paper-scissors – Seinfeld variant
MICKEY: All right, rock beats paper!
(Mickey smacks Kramer's hand for losing)
KRAMER: I thought paper covered rock.
MICKEY: Nah, rock flies right through paper.
KRAMER: What beats rock?
MICKEY: (looks at hand) Nothing beats rock.
0, 0 1, -1 1, -1
-1, 1 0, 0 -1, 1
-1, 1 1, -1 0, 0
Dominance
• Player i’s strategy si strictly dominates si’ if
– for any s-i, ui(si , s-i) > ui(si’, s-i)
-i = “the player(s)
• si weakly dominates si’ if other than i”
– for any s-i, ui(si , s-i) ≥ ui(si’, s-i); and
– for some s-i, ui(si , s-i) > ui(si’, s-i)
strict dominance 0, 0 1, -1 1, -1
weak dominance -1, 1 0, 0 -1, 1
-1, 1 1, -1 0, 0
Prisoner’s Dilemma
• Pair of criminals has been caught
• District attorney has evidence to convict them of a minor crime (1 year in
jail); knows that they committed a major crime together (3 years in jail)
but cannot prove it
• Offers them a deal:
– If both confess to the major crime, they each get a 1 year reduction
– If only one confesses, that one gets 3 years reduction
cost: 5 cost: 5
1/2 3, 0 0, 0
Usage:
1/2 0, 0 3, 0 σi denotes a
mixed strategy,
1, 0 1, 0 si denotes a pure
strategy
Checking for dominance by mixed strategies
• Linear program for checking whether strategy si* is
strictly dominated by a mixed strategy:
• maximize ε
• such that:
– for any s-i, Σsi psi ui(si, s-i) ≥ ui(si*, s-i) + ε
– Σsi psi = 1
0, 0 1, -1 1, -1
0, 0 1, -1
-1, 1 0, 0 -1, 1
-1, 1 0, 0
-1, 1 1, -1 0, 0
“2/3 of the average” game revisited
100
dominated
(2/3)*100
dominated after removal of
(originally) dominated strategies
(2/3)*(2/3)*100
0
Iterated dominance: path (in)dependence
Iterated weak dominance is path-dependent:
sequence of eliminations may determine which
solution we get (if any)
(whether or not dominance by mixed strategies allowed)
0, 1 0, 0 0, 1 0, 0 0, 1 0, 0
1, 0 1, 0 1, 0 1, 0 1, 0 1, 0
0, 0 0, 1 0, 0 0, 1 0, 0 0, 1
• Minimax theorem:
maxσi mins-i ui(σi, s-i) = minσ-i maxsi ui(si, σ-i)
20, -20 0, 0
0, 0 10, -10
0, 0 3, 1
1, 0 2, 1
• If Column was trying to hurt Row, Column would play Left, so Row
should play Down
• In reality, Column will play Right (strictly dominant), so Row should
play Up
• Is there a better generalization of minimax strategies in zero-sum
games to general-sum games?
Nash equilibrium
[Nash 50]
D S
D S
D 0, 0 -1, 1
S 1, -1 -5, -5
• (D, S) and (S, D) are Nash equilibria
– They are pure-strategy Nash equilibria: nobody randomizes
– They are also strict Nash equilibria: changing your strategy will make
you strictly worse off
• No other pure-strategy Nash equilibria
Nash equilibria of “chicken”…
D S
D 0, 0 -1, 1
S 1, -1 -5, -5
• Is there a Nash equilibrium that uses mixed strategies? Say, where player 1 uses a mixed strategy?
• Recall: if a mixed strategy is a best response, then all of the pure strategies that it randomizes over must also be best responses
• So we need to make player 1 indifferent between D and S
• Player 1’s utility for playing D = -p cS
• Player 1’s utility for playing S = p cD - 5pcS = 1 - 6pcS
• So we need -pcS = 1 - 6pcS which means pcS = 1/5
• Then, player 2 needs to be indifferent as well
• Mixed-strategy Nash equilibrium: ((4/5 D, 1/5 S), (4/5 D, 1/5 S))
– People may die! Expected utility -1/5 for each player
The presentation game
Presenter
Put effort into Do not put effort into
presentation (E) presentation (NE)
Pay
Audience
attention (A) 4, 4 -16, -14
Do not pay
attention (NA) 0, -2 0, 0
• Pure-strategy Nash equilibria: (A, E), (NA, NE)
• Mixed-strategy Nash equilibrium:
((1/10 A, 9/10 NA), (4/5 E, 1/5 NE))
– Utility 0 for audience, -14/10 for presenter
– Can see that some equilibria are strictly better for both players than other
equilibria, i.e., some equilibria Pareto-dominate other equilibria
The “equilibrium selection problem”
• You are about to play a game that you have never
played before with a person that you have never met
• According to which equilibrium should you play?
• Possible answers:
– Equilibrium that maximizes the sum of utilities (social
welfare)
– Or, at least not a Pareto-dominated equilibrium
– So-called focal equilibria
• “Meet in Paris” game - you and a friend were supposed to meet in
Paris at noon on Sunday, but you forgot to discuss where and you
cannot communicate. All you care about is meeting your friend.
Where will you go?
– Equilibrium that is the convergence point of some learning
process
– An equilibrium that is easy to compute
–…
• Equilibrium selection is a difficult problem
Some properties of Nash equilibria
• If you can eliminate a strategy using strict
dominance or even iterated strict dominance, it
will not occur in any (i.e., it will be played with
probability 0 in every) Nash equilibrium
– Weakly dominated strategies may still be played in
some Nash equilibrium
• In 2-player zero-sum games, a profile is a Nash
equilibrium if and only if both players play
minimax strategies
– Hence, in such games, if (σ1, σ2) and (σ1’, σ2’) are
Nash equilibria, then so are (σ1, σ2’) and (σ1’, σ2)
• No equilibrium selection problem here!
How hard is it to compute one
(any) Nash equilibrium?
• Complexity was open for a long time
– [Papadimitriou STOC01]: “together with factoring […] the most important concrete open question on the boundary of P today”
• Recent sequence of papers shows that computing one (any) Nash equilibrium is PPAD-complete (even in 2-player games)
[Daskalakis, Goldberg, Papadimitriou 2006; Chen, Deng 2006]
• All known algorithms require exponential time (in the worst case)
What if we want to compute a Nash
equilibrium with a specific property?
• For example:
– An equilibrium that is not Pareto-dominated
– An equilibrium that maximizes the expected social welfare (= the
sum of the agents’ utilities)
– An equilibrium that maximizes the expected utility of a given player
– An equilibrium that maximizes the expected utility of the worst-off
player
– An equilibrium in which a given pure strategy is played with positive
probability
– An equilibrium in which a given pure strategy is played with zero
probability
– …
• All of these are NP-hard (and the optimization questions are
inapproximable assuming P ≠ NP), even in 2-player games
[Gilboa, Zemel 89; Conitzer & Sandholm IJCAI-03/GEB-08]
Search-based approaches (for 2 players)
• Suppose we know the support Xi of each
player i’s mixed strategy in equilibrium
– That is, which pure strategies receive positive
probability
• Then, we have a linear feasibility problem:
– for both i, for any si Si - Xi, pi(si) = 0
– for both i, for any si Xi, Σp-i(s-i)ui(si, s-i) = ui
– for both i, for any si Si - Xi, Σp-i(s-i)ui(si, s-i) ≤ ui
• Thus, we can search over possible supports
– This is the basic idea underlying methods in
[Dickhaut & Kaplan 91; Porter, Nudelman, Shoham AAAI04/GEB08]
• Dominated strategies can be eliminated
Solving for a Nash equilibrium
using MIP (2 players)
[Sandholm, Gilpin, Conitzer AAAI05]
• maximize whatever you like (e.g., social welfare)
• subject to
– for both i, for any si, Σs-i ps-i ui(si, s-i) = usi
– for both i, for any si, ui ≥ usi
– for both i, for any si, psi ≤ bsi
– for both i, for any si, ui - usi ≤ M(1- bsi)
– for both i, Σsi psi = 1