Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf ·...

40
Game Theory -- Lecture 3 Patrick Loiseau EURECOM Fall 2016 1

Transcript of Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf ·...

Page 1: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

GameTheory--

Lecture3

PatrickLoiseauEURECOMFall2016

1

Page 2: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Lecture2 recap

• DefinedParetooptimality– Coordinationgames

• Studiedgameswithcontinuousactionspace– AlwayshaveaNashequilibriumwithsomeconditions– Cournot duopolyexample

à CanwealwaysfindaNashequilibriumforallgames?à How?

2

Page 3: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Outline

1. Mixedstrategies– BestresponseandNashequilibrium

2. MixedstrategiesNashequilibriumcomputation3. Interpretationsofmixedstrategies

3

Page 4: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Outline

1. Mixedstrategies– BestresponseandNashequilibrium

2. MixedstrategiesNashequilibriumcomputation3. Interpretationsofmixedstrategies

4

Page 5: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Example:installingcheckpoints

• Tworoad,Policechooseonwhichtocheck,Terroristschooseonwhichtopass

5

R1 R2

R1

R2

1,-1 -1,1

1,-1-1,1

Police

Terrorist• CanyoufindaNashequilibrium?

à Playersmustrandomize

Page 6: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Matchingpennies

• Similarexamples:– Checkpointplacement– Intrusiondetection– Penaltykick– Tennisgame

• Needtobeunpredictable

6

heads tails

heads

tails

1,-1 -1,1

1,-1-1,1

Player1

Player2

Page 7: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Purestrategies/Mixedstrategies

• Game• Ai:setofactionsofplayeri (whatwecalledSibefore)

• Action=purestrategy• Mixedstrategy:distributionoverpurestrategies

– Includepurestrategyasspecialcase– Support:

• Strategyprofile:7

N, Ai( )i∈N , ui( )i∈N( )

si ∈ Si = Δ(Ai )

s = (s1,, sn )∈ S = S1 ×× Sn

supp si = {ai ∈ Ai : si (ai )> 0}

Page 8: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Matchingpennies:payoffs• WhatisPlayer1’spayoffifPlayer2

playss2 =(1/4,3/4)andheplays:

– Heads?

– Tails?

– s1 =(½,½)?

8

heads tails

heads

tails

1,-1 -1,1

1,-1-1,1

Player1

Player2

Page 9: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Payoffsinmixedstrategies:generalformula

• Game,let• Ifplayersfollowamixed-strategyprofiles,theexpectedpayoffofplayeri is:

• a:purestrategy(oraction)profile• Pr(a|s):probabilityofseeingagiventhemixedstrategyprofiles

9

ui (s) = uia∈A∑ (a)Pr(a | s) where Pr(a | s) = si (ai )

i∈N∏

N, Ai( )i∈N , ui( )i∈N( ) A = ×i∈N

Ai

Page 10: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Matchingpennies:payoffscheck• WhatarethepayoffsofPlayer1

andPlayer2ifs=((½,½),(¼,¾))?

• DoesthatlooklikeitcouldbeaNashequilibrium?

10

heads tails

heads

tails

1,-1 -1,1

1,-1-1,1

Player1

Player2

Page 11: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Bestresponse

• Thedefinitionformixedstrategiesisunchanged!

• BRi(s-i):setofbestresponsesofi tos-i11

Definition: Best ResponsePlayeri’s strategyŝi isaBRtostrategys-i ofotherplayersif:

ui(ŝi ,s-i)≥ui(s’i ,s-i)for alls’i inSi

Page 12: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Matchingpennies:bestresponse• Whatisthebestresponseof

Player1tos2 =(¼,¾)?

• Foralls1,u1(s1,s2)liebetweenu1(heads,s2)andu1(tails,s2)(theweightedaverageliesbetweenthepurestrategiesexp.Payoffs)

à Bestresponseistails!

12

heads tails

heads

tails

1,-1 -1,1

1,-1-1,1

Player1

Player2

Page 13: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Importantproperty

• Ifamixedstrategyisabestresponsetheneachofthepurestrategiesinthemixmustbebestresponses

è Theymustyieldthesameexpectedpayoff

13

Proposition:Forany (mixed)strategys-i,if,then

.

Inparticular,ui(ai,s-i) isthesameforallai suchthat

si ∈ BRi (s−i )ai ∈ BRi (s−i ) for all ai such that si (ai )> 0

si (ai )> 0

Page 14: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Wordyproof• Supposeitwerenottrue.Thentheremustbeatleastone

purestrategyai thatisassignedpositiveprobabilitybymybest-responsemixandthatyieldsalowerexpectedpayoffagainstsi

• Ifthereismorethanone,focusontheonethatyieldsthelowestexpectedpayoff.SupposeIdropthat(low-yield)purestrategyfrommymix,assigningtheweightIusedtogiveittooneoftheother(higher-yield)strategiesinthemix

• Thismustraisemyexpectedpayoff• Butthentheoriginalmixedstrategycannothavebeenabest

response:itdoesnotdoaswellasthenewmixedstrategy• Thisisacontradiction

14

Page 15: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Matchingpenniesagain• WhatisthebestresponseofPlayer1tos2 =(¼,¾)?

• WhatisthebestresponseofPlayer1tos2 =(½,½)?

15

heads tails

heads

tails

1,-1 -1,1

1,-1-1,1

Player1

Player2

Page 16: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Nashequilibriumdefinition

• Samedefinitionasforpurestrategies!– Butherethestrategiessi* aremixedstrategies

16

Definition: NashEquilibriumAstrategyprofile(s1*,s2*,…,sN*)isaNashEquilibrium(NE)if,foreachi,herchoicesi*isabestresponsetotheotherplayers’choicess-i*

Page 17: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Matchingpenniesagain

• Nashequilibrium:((½,½),(½,½))

17

heads tails

heads

tails

1,-1 -1,1

1,-1-1,1

Player1

Player2

Page 18: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Nashequilibriumexistencetheorem

• Inmixedstrategy!– Nottrueinpurestrategy

• Finitegame:finitesetofplayerandfiniteactionsetforallplayers– Botharenecessary!

• Proof:reductiontoKakutani’s fixed-pointthm18

Theorem: Nash(1951)EveryfinitegamehasaNashequilibrium.

Page 19: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Outline

1. Mixedstrategies– BestresponseandNashequilibrium

2. MixedstrategiesNashequilibriumcomputation3. Interpretationsofmixedstrategies

19

Page 20: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

ComputationofmixedstrategyNE

• Hardifthesupportisnotknown• Ifyoucanguessthesupport,itbecomesveryeasy,usingthepropertyshownearlier:

20

Proposition:Forany (mixed)strategys-i,if,then

.

Inparticular,ui(ai,s-i) isthesameforallai suchthat(i.e.,ai inthesupportofsi)

si ∈ BRi (s−i )ai ∈ BRi (s−i ) for all ai such that si (ai )> 0

si (ai )> 0

Page 21: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Example:battleofthesexes

• Wehaveseenthat(O,O)and(S,S)areNE

• IsthereanyotherNE(inmixedstrategies)?– Let’strytofindaNEwithsupport{O,S}foreachplayer

2,1 0,00,0 1,2

Opera

Soccer

Opera

Player1

Player2Soccer

21

Page 22: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Example:battleofthesexes(2)

• Lets2 =(p,1-p)• Ifs1 isaBRwithsupport{O,S},thenPlayer1mustbeindifferentbetweenOandS

à p=1/3

2,1 0,00,0 1,2

Opera

Soccer

Opera

Player1

Player2Soccer

22

Page 23: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Example:battleofthesexes(3)

• Similarly,lets1 =(q,1-q)• Ifs2 isaBRwithsupport{O,S},thenPlayer2mustbeindifferentbetweenOandS

à q=2/3

2,1 0,00,0 1,2

Opera

Soccer

Opera

Player1

Player2Soccer

23

Page 24: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Example:battleofthesexes(4)

• Conclusion:((2/3,1/3),(1/3,2/3))isaNE

2,1 0,00,0 1,2

Opera

Soccer

Opera

Player1

Player2Soccer

24

Page 25: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Example:prisoner’sdilemma

• Weknowthat(D,D)isNE• CanwefindaNEwithsupport{C,D}witheach?

• ANEinstrictlydominantstrategiesisunique! 25

D C

D

C

-5,-5 0,-6

-2,-2-6,0

Prisoner1

Prisoner2

Page 26: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

GeneralmethodstocomputeNashequilibrium

• Ifyouknowthesupport,writetheequationstranslatingindifferencebetweenstrategiesinthesupport(worksforanynumberofactions!)

• Otherwise:– TheLemke-Howson Algorithm(1964)– Supportenumerationmethod(Porteretal.2004)• Smartheuristicsearchthroughallsetsofsupport

• Exponentialtimeworstcasecomplexity

26

Page 27: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

ComplexityoffindingNashequilibrium

• IsitNP-complete?– No,weknowthereisasolution– Butmanyderivedproblemsare(e.g.,doesthereexistsastrictlyParetooptimalNashequilibrium?)

• PPAD(“PolynomialParityArgumentsonDirectedgraphs”)[Papadimitriou1994]

• Theorem:ComputingaNashequilibriumisPPAD-complete[Chen,Deng2006]

27

Page 28: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

ComplexityoffindingNashequilibrium(2)

28

P

NPPPAD

NP-complete

NP-hard

Page 29: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Outline

1. Mixedstrategies– BestresponseandNashequilibrium

2. MixedstrategiesNashequilibriumcomputation3. Interpretationsofmixedstrategies

29

Page 30: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Mixedstrategiesinterpretations

• Playersrandomize• Beliefofothers’actions(thatmakeyouindifferent)

• Empiricalfrequencyofplayinrepeatedinteractions

• Fractionofapopulation– Let’sseeanexampleofthisone

30

Page 31: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

TheIncomeTaxGame(1)

• Assumesimultaneousmovegame• IsthereapurestrategyNE?• FindmixedstrategyNE

2,0 4,-104,0 0,4

A

N

Honest Cheat

q 1-q

p

(1-p)

Auditor

Taxpayer

31

Page 32: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

TheIncomeTaxGame:NEcomputation

• MixedstrategiesNE:

( )( )[ ]( )( )[ ]( )( )[ ]( )( )[ ] 7

2144)1(4101,,

01,,

32)1(42

)1(041,,)1(421,,

2

2

1

1

=Þ=þýü

-+-=-=-

=Þ-=þýü

-+=--+=-

ppppppCUE

ppHUE

qqqqqqqNUEqqqqAUE

Lookattaxpayerspayoffs

Tofindauditorsmixing

32

Page 33: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

TheIncomeTaxGame:mixedstrategyinterpretation

• Fromtheauditor’spointofview,he/sheisgoingtoauditasingletaxpayer2/7ofthetime

èThisisactuallyarandomization(which isappliedbylaw)

• Fromthetaxpayerperspective,he/sheisgoingtobehonest2/3ofthetime

è Thisinrealityimpliesthat2/3rdofpopulationisgoingtopaytaxeshonestly,i.e.,thisisafractionofalargepopulation payingtaxes

33

Page 34: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

TheIncomeTaxGame(6)

• Whatcouldeverbedoneifonepolicymaker(e.g.thegovernment)wouldliketoincreasetheproportionofhonesttaxpayers?

• Oneideacouldbeforexampleto“prevent”fraudbyincreasingthenumberofyearsataxpayerwouldspendinjailiffoundguilty

34

Page 35: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

TheIncomeTaxGame:Tryingtomakepeoplepay

• Howtomakepeoplepaytheirtaxes?

• Oneidea:increasepenaltyforcheating

• Whatisthenewequilibrium?

2,0 4,-204,0 0,4

A

N

Honest Cheat

q 1-q

p

(1-p)

Auditor

Taxpayer

35

Page 36: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

TheIncomeTaxGame:newNE

( )( )[ ]( )( )[ ]( )( )[ ]( )( )[ ] 7

261424

)1(4201,,01,,

32)1(42

)1(041,,)1(421,,

2

2

1

1

<=Þ=þýü

-+-=-=-

=Þ-=þýü

-+=--+=-

ppppppCUE

ppHUE

qqqqqqqNUEqqqqAUE

• Theproportionofhonesttaxpayersdidn’tchange!– Whatdeterminestheequilibriummixforthecolumnplayeristherowplayer’spayoffs

• Theprobabilityofauditdecreased– Stillgood,auditsareexpensive

• Tomakepeoplepaytax:changeauditor’spayoff– Makeauditscheaper,moreprofitable 36

Page 37: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Importantremark

• Rowplayer’sNEmixdeterminedbycolumnplayer’spayoffandviceversa

• Neutralizetheopponent(makehimindifferent)

• Insomesensetheoppositeofoptimization(mychoiceisindependentofmyownpayoff)

37

Page 38: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Thepenaltykickgame

• 2players:kickerandgoalkeeper• 2actionseach– Kicker:kickleft,kickright– Goalkeeper:jumpleft,jumpright

• Payoff:probabilitytoscoreforthekicker,probabilitytostopitforthegoalkeeper

• Scoringprobabilities:

38

58.30 94.9792.91 69.92

L

R

L R

Kicker

Goalkeeper

Page 39: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Thepenaltykickgame:results

• IgnacioPalacios-Huerta.ProfessionalsPlayMinimax.ReviewofEconomicsStudies(2003).

• Result:

• Foragivenkicker,hisstrategyisalsoseriallyindependent

39

41.99 58.01 38.54 61.46

42.31 57.69 39.98 60.02

NEprediction

Observedfreq.

GoalL GoalR KickerL KickerR

Page 40: Game Theory -- Lecture 3lig-membres.imag.fr/loiseapa/courses/GameTheory/slides/Lecture3.pdf · Wordy proof • Suppose it were not true. Then there must be at least one pure strategy

Summary

• Mixedstrategies:distributionoveractions– ANashequilibriuminmixedstrategiesalwaysexistsforfinitegames

– Computationiseasyifthesupportisknown• Allpurestrategiesinthesupportofabestresponsearealsobestresponses• Makesotherplayerindifferentinhissupport

– Computationishardifthesupportisnotknown– Severalinterpretationsdependingonthegameatstake

40