games with perfect information - computer science · perfect-information extensive-form games i...

43
Games with Perfect Information Yiling Chen September 10, 2012

Upload: others

Post on 21-May-2020

9 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Games with Perfect Information

Yiling Chen

September 10, 2012

Page 2: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Non-Cooperative Game Theory

I What is it?

Mathematical study of interactions between rational andself-interested agents.

I Non-Cooperative

Focus on agents who make their own individual decisionswithout coalition

Page 3: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Perfect Information

I All players know the game structure.

I Each player, when making any decision, is perfectlyinformed of all the events that have previously occurred.

Page 4: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Definition of Normal-Form Game

I A finite n-person game, G =< N ,A, u >

I N = {1, 2, ..., n} is the set of players.

I A = {A1,A2, ...,An} is a set of available actions.a = (a1, a2, ..., an) ∈ A is an action profile (or a purestrategy profile).

I u = {u1, u2, ...un} is a set of utility functions for nagents.

I A strategy is a complete contingent plan that defines theaction an agent will take in all states of the world. Purestrategies (as opposed to mixed strategies) are the sameas actions of agents.

I Players move simultaneously.

I Matrix representation for 2-person games

Page 5: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Example: Battle of the Sexes

I A husband and wife want to go to movies. They canselect between “Devils wear Parada” and ”Iron Man”.They prefer to go to the same movie, but while the wifeprefers “Devils wear Parada” the husband prefers “IronMan”. They need to make the decision independently.

10, 5 0, 0

0, 0 5, 10

DWP

IM

DWP IM

Wife

Husband

Page 6: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Example: Battle of the Sexes

I A husband and wife want to go to movies. They canselect between “Devils wear Parada” and ”Iron Man”.They prefer to go to the same movie, but while the wifeprefers “Devils wear Parada” the husband prefers “IronMan”. They need to make the decision independently.

10, 5 0, 0

0, 0 5, 10

DWP

IM

DWP IM

Wife

Husband

Page 7: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Best-Response Correspondences

I The best-response correspondence BRi(a−i) ∈ Ai are theset of strategies that maximizes agent i ’s utility givenother agents’ strategy a−i .

I Compute every agent’s best-response correspondences.The fixed points of the best-response correspondences,i.e. a∗ ∈ BR(a∗), are the NEs of the game.

Page 8: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Example: Continuous Strategy Space

Cournot Competition

I Two suppliers producing a homogeneous good need tochoose their production quantity, qi and q2. The demandthat they are facing is p(Q) = 1000− Q, whereQ = q1 + q2. Unit cost c > 0.

I Utility: u1(q1, q2) = q1 ∗ [p(q1 + q2)− c]

I Best-response of supplier 1 isBR1(q2) = arg maxq1 u1(q1, q2)

Page 9: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Example: Matching Pennies

I Each of the two players has a penny. They independentlychoose to display either heads or tails. If the two penniesare the same, player 1 takes both pennies. If they aredifferent, player 2 takes both pennies.

1, -1 -1, 1

-1, 1 1, -1

Heads

Tails

Heads Tails

Page 10: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Mixed Strategies

I A mixed strategy of agent i , σi ∈ ∆(Ai), defines aprobability, σi(ai) for each pure strategy ai ∈ Ai .

I Agent i ’s expected utility of of mixed strategy profile σ is

ui(σ) =∑a∈A

ui(a)Pσ(a) =∑a∈A

ui(a) (Πjσj(aj))

I The support of σi is the set of pure strategies{ai : σ(ai) > 0}.

I Pure strategies are special cases of mixed strategies.

Page 11: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Mixed Strategy Nash Equilibrium

I Mixed-strategy profile σ∗ = {σ∗1, σ∗2, ..., σ∗n} is a Nashequilibrium in a game if, for all i ,

ui(σ∗i , σ

∗−i) ≥ ui(σi , σ

∗−i), ∀σi ∈ ∆(Ai).

I Theorem (Nash 1951): Every game with a finite numberof players and action profiles has at least one Nashequilibrium.

I All pure strategies in the support of agent i at a mixedstrategy Nash Equilibrium have the same expected utility.

Page 12: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Finding Mixed Strategy Nash Equilibrium

1, -1 -1, 1

-1, 1 1, -1

Heads

Tails

Heads Tails

I Find the fixed point of theBest-Responsecorrespondences.

Page 13: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Fixed Point

p∗(r)

r∗(p)Player 1 r

Heads

TailsTails Heads Player 2 p

Page 14: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Extensive-Form Game with Perfect Information

Page 15: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Example: The Sharing Game

I Alice and Bob try to split two indivisible and identical gifts.First, Alice suggests a split: which can be “Alice keeps both”,“they each keep one”, and “Bob keeps both”. Then, Bobchooses whether to Accept or Reject the split. If Bob acceptsthe split, they each get what the split specifies. If Bob rejects,they each get nothing.

Alice

Bob Bob Bob

2-0 1-1 0-2

A R A R A R

(2,0) (0,0) (1,1) (0,0) (0,2) (0,0)

Page 16: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Loosely Speaking...

I Extensive FormI A detailed description of the sequential structure of

the decision problems encountered by the players in agame.

I Often represented as a game tree

I Perfect InformationI All players know the game structure (including the

payoff functions at every outcome).

I Each player, when making any decision, is perfectlyinformed of all the events that have previouslyoccurred.

Page 17: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Def. of Perfect-Information Extensive-Form Games

I A perfect-information extensive-form game,G = (N ,H ,P , u)

I N = {1, 2, ..., n} is the set of players.

N={Alice, Bob}

Alice

Bob Bob Bob

2-0 1-1 0-2

A R A R A R

(2,0) (0,0) (1,1) (0,0) (0,2) (0,0)

Page 18: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Def. of Perfect-Information Extensive-Form GamesI A perfect-information extensive-form game,

G = (N ,H ,P , u)I H is a set of sequences (finite or infinite)

I Φ ∈ HI h = (ak)k=1,...,K ∈ H is a historyI If (ak)k=1,...,K ∈ H and L < K , then

(ak)k=1,...,L ∈ HI (ak)∞k=1 ∈ H if (ak)k=1,...,L ∈ H for all positive LI Z is the set of terminal histories.

H = {Φ, 2− 0, 1− 1, 0− 2, (2− 0,A), (2− 0,R), (1−1,A), (1− 1,R), (0− 2,A), (0− 2,R)}

Alice

Bob Bob Bob

2-0 1-1 0-2

A R A R A R

(2,0) (0,0) (1,1) (0,0) (0,2) (0,0)

Page 19: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Def. of Perfect-Information Extensive-Form GamesI A perfect-information extensive-form game,

G = (N ,H ,P , u)I P is the player function, P : H\Z → N.

P(Φ)=AliceP(2− 0)=BobP(1− 1) = BobP(0− 2) = Bob

Alice

Bob Bob Bob

2-0 1-1 0-2

A R A R A R

(2,0) (0,0) (1,1) (0,0) (0,2) (0,0)

Page 20: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Def. of Perfect-Information Extensive-Form GamesI A perfect-information extensive-form game,

G = (N ,H ,P , u)I u = {u1, u2, ...un} is a set of utility functions,

ui : Z → R.

u1((2− 0,A)) = 2u2((2− 0,A)) = 0...

Alice

Bob Bob Bob

2-0 1-1 0-2

A R A R A R

(2,0) (0,0) (1,1) (0,0) (0,2) (0,0)

Page 21: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Pure Strategies inPerfect-Information Extensive-Form Games

I A pure strategy of player i ∈ N in an extensive-form gamewith perfect information, G = (N ,H ,P , u), is a functionthat assigns an action in A(h) to each non-terminalhistory h ∈ H\Z for which P(h) = i .

I A(h) = {a : (h, a) ∈ H}

I A pure strategy is a contingent plan that specifies theaction for player i at every decision node of i .

Page 22: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Pure Strategies for the Sharing Game

Alice

Bob Bob Bob

2-0 1-1 0-2

A R A R A R

(2,0) (0,0) (1,1) (0,0) (0,2) (0,0)

S = {S1, S2}E.g. s1 = (2− 0 if h = Φ),

s2 = (A if h = 2− 0; R if h = 1-1; R if h = 0− 2).

Page 23: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Pure Strategies

Alice

Bob Bob

Alice

A B

C D E F

J K(3,8) (8,3) (5,5)

(2,10) (1,0)

S = {S1, S2}E.g. s1 = (A if h = Φ; J if h = BF )

s2 = (C if h = A; F if h = B)

Page 24: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Normal-Form Representation

A perfect-information extensive-form game ⇒ A normal-formgame

Alice

Bob Bob Bob

2-0 1-1 0-2

A R A R A R

(2,0) (0,0) (1,1) (0,0) (0,2) (0,0)

2-0

1-1

0-2

(A,A,A) (A,A,R) (A,R,A) (A,R,R) (R,A,A) (R,A,R) (R,R,A) (R,R,R)

2,0 2,0 2,0 2,0 0,0 0,0 0,0 0,0

1,1 1,1 0,0 0,0 1,1 1,1 0,0 0,0

0,2 0,0 0,2 0,0 0,2 0,0 0,2 0,0

A normal-form game ; A perfect-information extensive-formgame

Page 25: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Normal-Form Representation: Example 2

A perfect-information extensive-form game ⇒ A normal-formgame

Alice

Bob Bob

Alice

A B

C D E F

J K(3,8) (8,3) (5,5)

(2,10) (1,0)

(A, J)

(A, K)

(B, J)

(B, K)

(C, E) (C, F) (D, E) (D, F)

3, 8

3, 8

5, 5

5, 5

3, 8

3, 8

2,10

1, 0

8, 3

8, 3

5, 5

5, 5

8, 3

8, 3

1, 10

1, 0

A normal-form game ; A perfect-information extensive-formgame

Page 26: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Pure Strategy Nash Equilibrium inPerfect-Information Extensive-Form Games

I A pure strategy profile s is a weak Nash Equilibrium if, for allagents i and for all strategies s ′i 6= si , ui (si , s−i ) ≥ ui (s

′i , s−i ).

(Same as in normal-form games)

Alice

Bob Bob

Alice

A B

C D E F

J K(3,8) (8,3) (5,5)

(2,10) (1,0)

(A, J)

(A, K)

(B, J)

(B, K)

(C, E) (C, F) (D, E) (D, F)

3, 8

3, 8

5, 5

5, 5

3, 8

3, 8

2,10

1, 0

8, 3

8, 3

5, 5

5, 5

8, 3

8, 3

1, 10

1, 0

Page 27: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Pure Strategy Nash Equilibrium inPerfect-Information Extensive-Form Games

I A pure strategy profile s is a weak Nash Equilibrium if, for allagents i and for all strategies s ′i 6= si , ui (si , s−i ) ≥ ui (s

′i , s−i ).

(Same as in normal-form games)

Alice

Bob Bob

Alice

A B

C D E F

J K(3,8) (8,3) (5,5)

(2,10) (1,0)

(A, J)

(A, K)

(B, J)

(B, K)

(C, E) (C, F) (D, E) (D, F)

3, 8

3, 8

5, 5

5, 5

3, 8

3, 8

2,10

1, 0

8, 3

8, 3

5, 5

5, 5

8, 3

8, 3

1, 10

1, 0

Page 28: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Pure Strategy Nash Equilibrium inPerfect-Information Extensive-Form Games

I A pure strategy profile s is a weak Nash Equilibrium if, for allagents i and for all strategies s ′i 6= si , ui (si , s−i ) ≥ ui (s

′i , s−i ).

(Same as in normal-form games)

Alice

Bob Bob

Alice

A B

C D E F

J K(3,8) (8,3) (5,5)

(2,10) (1,0)

(A, J)

(A, K)

(B, J)

(B, K)

(C, E) (C, F) (D, E) (D, F)

3, 8

3, 8

5, 5

5, 5

3, 8

3, 8

2,10

1, 0

8, 3

8, 3

5, 5

5, 5

8, 3

8, 3

1, 10

1, 0

Page 29: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Pure Strategy Nash Equilibrium inPerfect-Information Extensive-Form Games

I A pure strategy profile s is a weak Nash Equilibrium if, for allagents i and for all strategies s ′i 6= si , ui (si , s−i ) ≥ ui (s

′i , s−i ).

(Same as in normal-form games)

Alice

Bob Bob

Alice

A B

C D E F

J K(3,8) (8,3) (5,5)

(2,10) (1,0)

(A, J)

(A, K)

(B, J)

(B, K)

(C, E) (C, F) (D, E) (D, F)

3, 8

3, 8

5, 5

5, 5

3, 8

3, 8

2,10

1, 0

8, 3

8, 3

5, 5

5, 5

8, 3

8, 3

1, 10

1, 0

Page 30: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Pure Strategy Nash Equilibrium inPerfect-Information Extensive-Form Games

I A pure strategy profile s is a weak Nash Equilibrium if, for allagents i and for all strategies s ′i 6= si , ui (si , s−i ) ≥ ui (s

′i , s−i ).

(Same as in normal-form games)

Alice

Bob Bob

Alice

A B

C D E F

J K(3,8) (8,3) (5,5)

(2,10) (1,0)

(A, J)

(A, K)

(B, J)

(B, K)

(C, E) (C, F) (D, E) (D, F)

3, 8

3, 8

5, 5

5, 5

3, 8

3, 8

2,10

1, 0

8, 3

8, 3

5, 5

5, 5

8, 3

8, 3

1, 10

1, 0

Page 31: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Nash Equilibrium and Non-Credible Threat

I Nash Equilibrium is not a very satisfactory solution conceptfor perfect-information extensive-form games.

Alice

Bob Bob

Alice

A B

C D E F

J K(3,8) (8,3) (5,5)

(2,10) (1,0)

(A, J)

(A, K)

(B, J)

(B, K)

(C, E) (C, F) (D, E) (D, F)

3, 8

3, 8

5, 5

5, 5

3, 8

3, 8

2,10

1, 0

8, 3

8, 3

5, 5

5, 5

8, 3

8, 3

1, 10

1, 0

Page 32: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Subgame Perfect Equilibrium

I Sequential Rationality: A player’s equilibrium strategyshould specify optimal actions at every point in the gametree.

I A Subgame Perfect Equilibrium (SPE) of aperfect-information extensive-form game G is a strategyprofile s such that for any subgame G ′ of G , therestriction of s to G ′ is a NE.

I Every SPE is a NE, but not vice versa.

I Thm: Every finite extensive-form game with perfectinformation has a subgame perfect equilibrium.

I Finite: The set of sequences H is finite.

Page 33: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Let’s play a game now

I You are part of a fictitious pride of lions that has a stricthierarchy.

I You are ordered from largest (left) to smallest (right)

I All lions prefer to become larger and can do so by eatingthe next largest lion if that lion is asleep

I Lions sleep after eating

One day a deer passes by the pride. The largest lion would liketo eat it, but is afraid of being eaten by the second largest liononce he falls asleep. Should the largest lion eat the deer?

Page 34: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Find A SPE: Backward Induction

Alice

Bob Bob

Alice

A B

C D E F

J K(3,8) (8,3) (5,5)

(2,10) (1,0)

Page 35: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Find A SPE: Backward Induction

Alice

Bob Bob

Alice

A B

C D E F

J K(3,8) (8,3) (5,5)

(2,10) (1,0)

(2,10)

Page 36: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Find A SPE: Backward Induction

Alice

Bob Bob

Alice

A B

C D E F

J K(3,8) (8,3) (5,5)

(2,10) (1,0)

(2,10)

(2,10)

Page 37: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Find A SPE: Backward Induction

Alice

Bob Bob

Alice

A B

C D E F

J K(3,8) (8,3) (5,5)

(2,10) (1,0)

(2,10)

(2,10)(3,8)

Page 38: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Find A SPE: Backward Induction

Alice

Bob Bob

Alice

A B

C D E F

J K(3,8) (8,3) (5,5)

(2,10) (1,0)

(2,10)

(2,10)(3,8)

(3,8)

Page 39: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Note on Computational Complexity

I Finding NE for general normal-form games requires timeexponential in the size of the normal form.

I The induced normal form of an extensive-form game isexponentially larger than the original representation.

I Algorithm of backward induction requires time linear inthe size of the extensive-form game. (Depth-firsttransverse)

I For zero-sum extensive-form games, we can slightlyimprove the running time.

Page 40: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

A Bargaining Game: Split-the-Pie

I Two players trying to split a desirable pie. The set of allpossible agreements X is the set of all divisions of the pie,

X = {(x1, x2) : xi ≥ 0 for i = 1, 2 and x1 + x2 = 1}.

I The first move of the game occurs in period 0, whenplayer 1 makes a proposal x0 ∈ X , then player 2 eitheraccepts or rejects. Acceptance ends the game whilerejection leads to period 1, in which player 2 makes aproposal x1 ∈ X , which player 1 has to accept or reject.Again, acceptance ends the game; rejection leads toperiod 2, in which it is once again player 1’s turn to makea proposal. The game continues in this fashion so long asno offer has been accepted.

I ui(x , t) = δtxi if proposal x has been accepted in periodt, δ ∈ (0, 1).

I ui = 0 if no agreement has reached.

Page 41: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Split-the-Pie as A Perfect-Information Extensive-FormGame

1

2

x0

(x01 , x

02 )

2

1

x1

R A

(δx11 , δx

12 )R A

Page 42: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

Nash Equilibria of the Split-the-Pie Game

I The set of NEs is very large. For example, forany x ∈ X there is a NE in which the playersimmediately agree on x .

E.g. Player 1 always propose (0.99, 0.01) andonly accepts a proposal (0.99, 0.01).

Page 43: Games with Perfect Information - Computer Science · Perfect-Information Extensive-Form Games I Apure strategyof player i 2N in an extensive-form game with perfect information, G

SPE of the Split-the-Pie Game

The unique SPE of the game is

I Player 1 always proposes ( 11+δ ,

δ1+δ) and accepts

proposals that has x1 ≥ δ1+δ .

I Player 2 always proposes ( δ1+δ ,

11+δ) and accepts

proposals that has x2 ≥ δ1+δ .