ÍÈÓ Âûñøàÿ øêîëà ýêîíîìèêè Ôàêóëüòåò ïðèêëàäíîé ïîëèòîëîãèè Òåîðèÿ èãð 2011/2012 ó÷åáíûé ãîä

реклама
ÍÈÓ Âûñøàÿ øêîëà ýêîíîìèêè
Ôàêóëüòåò ïðèêëàäíîé ïîëèòîëîãèè
(Ä. À.
Òåîðèÿ èãð
2011/2012 ó÷åáíûé ãîä
Äàãàåâ, À. Â. Ìèõàéëîâè÷, Ê. È. Ñîíèí, È. À. Õîâàíñêàÿ, È. Â. Ùóðîâ
)
Ëåêöèÿ 7.
9. (Íå)îñòîðîæíûå ñòðàòåãèè
Ñóùåñòâóþò ðàçëè÷íûå êîíöåïöèè ðåøåíèÿ èãð. Íà ïðåäûäóùèõ ëåêöèÿõ ìû îáñóäèëè ñëåäóþùèå ñïîñîáû ðåøåíèÿ èãð â íîðìàëüíîé ôîðìå:
• ðàâíîâåñèå â äîìèíèðóþùèõ ñòðàòåãèÿõ;
• ðàâíîâåñèå, ïîëó÷àåìîå èñêëþ÷åíèåì äîìèíèðóåìûõ ñòðàòåãèé;
• ðàâíîâåñèå Íýøà.
 ðàìêàõ êàæäîé êîíöåïöèè ïðåäïîëàãàåòñÿ, ÷òî èãðîê âåäåò ñåáÿ òåì èëè èíûì
îáðàçîì. Íàïðèìåð, ìû ãîâîðèì, ÷òî ïðîôèëü ñòðàòåãèé ÿâëÿåòñÿ ðàâíîâåñèåì â äîìèíèðóþùèõ ñòðàòåãèÿõ, åñëè ó êàæäîãî èãðîêà åñòü äîìèíèðóþùàÿ ñòðàòåãèÿ, ïðè÷åì êàæäûé èãðîê èãðàåò èìåííî åå.
Ñåãîäíÿ ìû ðàññìîòðèì åùå îäèí âîçìîæíûé ðàçóìíûé âàðèàíò ïîâåäåíèÿ èãðîêà. Íà÷íåì ñ ïðèìåðà.
Ïðèìåð 1.
Ïîèñê ìàêñèìèííûõ è ìèíèìàêñíûõ ñòðàòåãèé.
Ïðåäïîëîæèì, ÷òî ó íàñ åñòü èãðà
t1
t2
t3
v1
4;1
3;0
2;2
v2
2;1
1;3
3;4
v3
0;2
5;2
2;3
Êàêîé ãàðàíòèðîâàííûé âûèãðûø ìîæåò îáåñïå÷èòü ñåáå ïåðâûé èãðîê? Åñëè îí
ñûãðàåò ñòðàòåãèþ t1 , òî îí âíå çàâèñèìîñòè îò òîãî, êàêóþ ñòðàòåãèþ âûáåðåò ñîïåðíèê, ïîëó÷èò ïëàòåæ, íå ìåíüøèé 0. Åñëè ïåðâûé èãðîê ñûãðàåò ñòðàòåãèþ t2 , òî
îí âíå çàâèñèìîñòè îò òîãî, êàêóþ ñòðàòåãèþ âûáåðåò ñîïåðíèê, ïîëó÷èò ïëàòåæ, íå
ìåíüøèé 1. Íàêîíåö, åñëè ïåðâûé èãðîê âûáåðåò ñòðàòåãèþ t3 , òî îí âíå çàâèñèìîñòè îò òîãî, êàêóþ ñòðàòåãèþ ñûãðàåò âòîðîé èãðîê, ïîëó÷èò ïëàòåæ, íå ìåíüøèé 2.
Ñëåäîâàòåëüíî, åñëè ïåðâûé èãðîê õî÷åò îáåñïå÷èòü ñåáå ìàêñèìàëüíûé ãàðàíòèðîâàííûé âûèãðûø, òî åìó ðàçóìíî ñûãðàòü ñòðàòåãèþ t3 . Ýòà ñòðàòåãèÿ íàçûâàåòñÿ
îñòîðîæíîé èëè ìàêñèìèííîé.
1
Îïðåäåëèì ôîðìàëüíî ïîíÿòèå îñòîðîæíîé ñòðàòåãèè. Ñíà÷àëà äëÿ i-ãî èãðîêà,
i = 1, ..., n, è ëþáîé åãî ñòðàòåãèè s ∈ Si îïðåäåëèì âåëè÷èíó ui (s). Ïîëîæèì
ui (s, s−i ).
ui (s) = min
s
−i
Âåëè÷èíà ui (s) ÿâëÿåòñÿ ãàðàíòèðîâàííûì ïëàòåæîì, êîòîðûé ìîæåò îáåñïå÷èòü ñåáå
i-ûé èãðîê, åñëè îí ñûãðàåò ñòðàòåãèþ s.
Äàëåå äëÿ i-ãî èãðîêà, i = 1, ..., n, îïðåäåëèì âåëè÷èíó αi . Ïîëîæèì
ui (s, s−i ).
αi = max ui (s) = max min
s
s
s
−i
Âåëè÷èíà αi íàçûâàåòñÿ ìàêñèìèíîì è ïîêàçûâàåò ìàêñèìàëüíûé ïëàòåæ, êîòîðûé
ìîæåò ãàðàíòèðîâàííî îáåñïå÷èòü ñåáå i-ûé èãðîê.
Ñòðàòåãèÿ i-ãî èãðîêà, îáåñïå÷èâàþùàÿ åìó ðåçóëüòàò αi , íàçûâàåòñÿ îñòîðîæíîé
èëè ìàêñèìèííîé.
Ïðîôèëü ñòðàòåãèé (s1 , ..., sn ) íàçûâàåòñÿ ðàâíîâåñèåì â ìàêñèìèííûõ ñòðàòåãèÿõ,
åñëè si ìàêñèìèííàÿ ñòðàòåãèÿ i-ãî èãðîêà.
 îïèñàííîì âûøå ïðèìåðå
u1 (t1 ) = 0, u1 (t2 ) = 1, u1 (t3 ) = 2;
u2 (v1 ) = 0, u2 (v2 ) = 1, u2 (v3 ) = 2;
α1 = max{u1 (t1 ), u1 (t2 ), u1 (t3 )} = max{0, 1, 2} = 2;
α2 = max{u2 (v1 ), u2 (v2 ), u2 (v3 )} = max{0, 1, 2} = 2.
Ïîýòîìó ïåðâûé èãðîê èìååò îäíó ìàêñèìèííóþ ñòðàòåãèþ t3 , à âòîðîé èãðîê èìååò îäíó ìàêñèìèííóþ ñòðàòåãèþ v3 . Ñëåäîâàòåëüíî, â äàííîé èãðå ñóùåñòâóåò îäíî
ðàâíîâåñèå â ìàêñèìèííûõ ñòðàòåãèÿõ ïðîôèëü (t3 , v3 ).
Ñíîâà îáðàòèìñÿ ê íàøåìó ïðèìåðó, íî çàäàäèìñÿ òåïåðü äðóãèì âîïðîñîì. Ïðåäïîëîæèì, ÷òî âòîðîé èãðîê èãðàåò ñòðàòåãèþ v1 . Íà êàêîé ìàêñèìàëüíûé ïëàòåæ
òîãäà ìîæåò ðàññ÷èòûâàòü ïåðâûé èãðîê? Î÷åâèäíî, ÷òî îí íå ñìîæåò ïîëó÷èòü áîëüøå, ÷åì 4, à ðîâíî 4 îí ïîëó÷èòü ìîæåò. Åñëè âòîðîé èãðîê èãðàåò ñòðàòåãèþ v2 , òî
ìàêñèìàëüíûé ïëàòåæ, íà êîòîðûé ìîæåò ðàññ÷èòûâàòü ïåðâûé èãðîê, ðàâåí 3. Åñëè âòîðîé èãðîê èãðàåò ñòðàòåãèþ v3 , òî ìàêñèìàëüíûé ïëàòåæ, íà êîòîðûé ìîæåò
ðàññ÷èòûâàòü ïåðâûé èãðîê, ðàâåí 5. Ïðåäïîëîæèì, ÷òî âòîðîé èãðîê èãðàåò òàêèì
îáðàçîì, ÷òîáû ìèíèìèçèðîâàòü ìàêñèìàëüíûé ïëàòåæ ïåðâîãî èãðîêà (ïîêà îñòàâèì
â ñòîðîíå âîïðîñ, çà÷åì âòîðîé èãðîê äåëàåò ýòî). Òîãäà âòîðîé èãðîê ñûãðàåò ñòðàòåãèþ v2 , è ïåðâûé èãðîê ñìîæåò ðàññ÷èòûâàòü òîëüêî íà ïëàòåæ, ðàâíûé 3. Ñòðàòåãèÿ
t3 ïîçâîëèò ïåðâîìó èãðîêó ïîëó÷èòü 3. Ýòà ñòðàòåãèÿ íàçûâàåòñÿ ìèíèìàêñíîé. Îíà
îáåñïå÷èâàåò ïåðâîìó èãðîêó íàèáîëüøèé ïëàòåæ â ñëó÷àå, åñëè âòîðîé èãðîê ñòðåìèòñÿ ìèíèìèçèðîâàòü ìàêñèìàëüíî âîçìîæíûé ïëàòåæ ïåðâîãî èãðîêà.
Ïðèâåäåì ôîðìàëüíûå îïðåäåëåíèÿ. Äëÿ i-ãî èãðîêà, i = 1, ..., n, è ëþáîãî íàáîðà
ñòðàòåãèé îñòàëüíûõ èãðîêîâ s−i ∈ S−i îïðåäåëèì âåëè÷èíó ui (s−i ). Ïîëîæèì
ui (s−i ) = max ui (s, s−i ).
s
2
Âåëè÷èíà ui (s−i ) ÿâëÿåòñÿ ìàêñèìàëüíûì ïëàòåæîì, êîòîðûé ìîæåò ïîëó÷èòü i-ûé
èãðîê, åñëè îñòàëüíûå èãðàþò ñòðàòåãèè s−i .
Äàëåå äëÿ i-ãî èãðîêà, i = 1, ..., n, îïðåäåëèì âåëè÷èíó βi . Ïîëîæèì
βi = min
ui (s−i ) = min
max ui (s, s−i ).
s
s
−i
−i
s
Âåëè÷èíà βi íàçûâàåòñÿ ìèíèìàêñîì. Îíà ðàâíà ìàêñèìàëüíîìó âûèãðûøó ïåðâîãî èãðîêà â ñëó÷àå, åñëè îñòàëüíûå èãðîêè ñòðåìÿòñÿ ìèíèìèçèðîâàòü ìàêñèìàëüíî
âîçìîæíûé ïëàòåæ ïåðâîãî èãðîêà.
Ñòðàòåãèÿ i-ãî èãðîêà, îáåñïå÷èâàþùàÿ åìó ðåçóëüòàò βi , íàçûâàåòñÿ ìèíèìàêñíîé.
Ïðîôèëü ñòðàòåãèé (s1 , ..., sn ) íàçûâàåòñÿ ðàâíîâåñèåì â ìèíèìàêñíûõ ñòðàòåãèÿõ,
åñëè si ìèíèìàêñíàÿ ñòðàòåãèÿ i-ãî èãðîêà.
Íàéäåì ðàâíîâåñèå â ìèíèìàêñíûõ ñòðàòåãèÿõ â ïðèâåäåííîé â íà÷àëå ëåêöèè
èãðå. Ëåãêî âèäåòü, ÷òî
u1 (v1 ) = 4, u1 (v2 ) = 3, u1 (v3 ) = 5;
u2 (t1 ) = 2, u2 (t2 ) = 3, u2 (t3 ) = 4;
β1 = min{u1 (v1 ), u1 (v2 ), u1 (v3 )} = min{4, 3, 5} = 3;
β2 = min{u2 (t1 ), u2 (t2 ), u2 (t3 )} = min{2, 3, 4} = 2.
Ïîýòîìó ïåðâûé èãðîê èìååò îäíó ìèíèìàêñíóþ ñòðàòåãèþ t3 , à âòîðîé èãðîê èìååò
îäíó ìèíèìàêñíóþ ñòðàòåãèþ v3 . Ñëåäîâàòåëüíî, â äàííîé èãðå ñóùåñòâóåò îäíî ðàâíîâåñèå â ìèíèìàêñíûõ ñòðàòåãèÿõ ïðîôèëü (t3 , v3 ). Âîîáùå ãîâîðÿ, â íåêîòîðûõ
èãðàõ ìîæåò áûòü íåñêîëüêî ìàêñèìèííûõ è/èëè ìèíèìàêñíûõ ñòðàòåãèé.
Îòìåòèì ñâÿçü ìåæäó ââåäåííûìè âåëè÷èíàìè ìèíèìàêñîì è ìàêñèìèíîì1 .
Äëÿ ëþáîé ôóíêöèè f (x, y), îïðåäåëåííîé íà ëþáîì ïîäìíîæåñòâå R2 è ïðèíèìàþùåé
âåùåñòâåííûå çíà÷åíèÿ, à òàêæå ëþáîé òî÷êè (x0 , y0 ) èç îáëàñòè îïðåäåëåíèÿ ôóíêöèè
f (x, y) âûïîëíÿþòñÿ ñîîòíîøåíèÿ
min f (x0 , y) 6 f (x0 , y0 ) 6 max f (x, y0 ).
y
x
Ñëåäîâàòåëüíî, äàæå ìàêñèìàëüíîå (ïî x0 ) èç ÷èñåë miny f (x0 , y) íå ïðåâîñõîäèò äàæå
ìèíèìàëüíîãî (ïî y0 ) èç ÷èñåë maxx f (x, y0 ), ïîýòîìó
max min f (x0 , y) 6 min max f (x, y0 ).
x0
y
y0
x
Ïðèìåíÿÿ ýòî ñâîéñòâî äëÿ ôóíêöèè âûèãðûøà i-ãî èãðîêà ui , ïîëó÷èì íåðàâåíñòâî
αi 6 βi .
Ýòî îçíà÷àåò, ÷òî ìàêñèìèí íå ïðåâîñõîäèò ìèíèìàêñà: èãðàÿ îñòîðîæíóþ ñòðàòåãèþ
è ïûòàÿñü ãàðàíòèðîâàòü ñåáå íåêîòîðûé ìèíèìàëüíûé âûèãðûø, ìû ïîëó÷èì â èòîãå
1 Ïðèâîäèìîå
íèæå äîêàçàòåëüñòâî âçÿòî èç êíèãè
Â. È. Äàíèëîâ. Ëåêöèè ïî òåîðèè èãð. Ïðåïðèíò ÐÝØ, 2002. Ëåêöèÿ 6. Ñ. 3335.
3
íå áîëüøå, ÷åì åñëè ìû ïîãîíèìñÿ çà ñàìûì áîëüøèì âûèãðûøåì ïðè ñàìîé ïëîõîé
äëÿ íàñ èãðå îñòàëüíûõ èãðîêîâ.
Êàæäûé èãðîê ìîæåò îïðåäåëèòü ñâîþ ìàêñèìèííóþ è ìèíèìàêñíóþ ñòðàòåãèè,
çíàÿ ëèøü ñîáñòâåííûå ïëàòåæè. Ïëàòåæè îïïîíåíòà â äàííîì ñëó÷àå íå èãðàþò ðîëè.
Îäíàêî äëÿ îäíîãî ñïåöèàëüíîãî êëàññà èãð äâóõ ëèö ñóùåñòâóåò ãîðàçäî áîëåå òåñíàÿ ñâÿçü ìåæäó ìàêñèìèííûìè è ìèíèìàêñíûìè ñòðàòåãèÿìè îáîèõ èãðîêîâ. Ðå÷ü
èäåò îá àíòàãîíèñòè÷åñêèõ èãðàõ èãðàõ, â êîòîðûõ ïðè ëþáîì èñõîäå ïëàòåæè äâóõ
èãðîêîâ ïðîòèâîïîëîæíû.
Ïðèìåð 2.
(Íå)îñòîðîæíûå ñòðàòåãèè â àíòàãîíèñòè÷åñêèõ èãðàõ.
Ðàññìîòðèì èãðó
t1
t2
v1
1;-1
3;-3
v2
4;-4
2;-2
Î÷åâèäíî, ÷òî ýòî àíòàãîíèñòè÷åñêàÿ èãðà, ïðè÷åì
α1 = 2, α2 = −3, β1 = 3, β2 = −2.
Îêàçûâàåòñÿ, ÷òî â àíòàãîíèñòè÷åñêèõ èãðàõ âñåãäà âûïîëíÿþòñÿ ðàâåíñòâà
α1 = −β2 , α2 = −β1 .
Äîêàæèòå ýòî â êà÷åñòâå óïðàæíåíèÿ.
4
Скачать