Professional Documents
Culture Documents
Mészáros József. Játékelmélet PDF
Mészáros József. Játékelmélet PDF
Játékelmélet
Mészáros József
Játékelmélet
Gondolat Kiadó
Budapest 2003
Minden jog fenntartva. Bármilyen másolás, sokszorosítás, illetve adatfeldolgozó
rendszerben való tárolás a kiadó el®zetes írásbeli hozzájárulásához van kötve.
i
ii
Tartalomjegyzék
El®szó i
Tartalomjegyzék iii
Bevezetés 1
2 Szekvenciális játékok 27
2.1. A játék extenzív formája . . . . . . . . . . . . . . . . . . . . . . . 27
2 Nash tétel 43
iii
iv TARTALOMJEGYZÉK
4 Racionalizálhatóság 55
5 Információfüggvény 59
5.1. Tudásfüggvény . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
5.2. Ismeret és megoldási koncepció . . . . . . . . . . . . . . . . . . . 63
5.3. Bayes-i játékok . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
6 Ismételt játékok 67
6.1. Végtelenszer ismételt játékok . . . . . . . . . . . . . . . . . . . . 67
6.2. Végtelen játék diszkontálás nélkül . . . . . . . . . . . . . . . . . . 68
6.3. Nash egyensúly diszkontálással . . . . . . . . . . . . . . . . . . . 70
6.4. Részjáték . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
6.5. Nash visszacsapás . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
6.6. Véges ismétl®dés¶ játékok . . . . . . . . . . . . . . . . . . . . . . 73
6.7. Alkalmazás . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
6.7.1. Ismételt Cournot-játék . . . . . . . . . . . . . . . . . . . . 75
6.7.2. Nash visszacsapás . . . . . . . . . . . . . . . . . . . . . . 75
6.7.3. Répa és bot stratégia . . . . . . . . . . . . . . . . . . . . . 76
7 Evolúciós egyensúly 79
7.1. Szelekció a válasz dinamikája . . . . . . . . . . . . . . . . . . . 79
7.2. Mutáció . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
2 Döntéselmélet 129
2.1. Döntéselmélet bizonytalanság esetén . . . . . . . . . . . . . . . . 130
6 Alkudozáselmélet 163
vi TARTALOMJEGYZÉK
Irodalom 167
Tárgymutató 172
0 Bevezetés
Bevezetés
Mi a játékelmélet?
Játsszuk a következ®t: Mindenki a teremben tippeljen egy számra 1 és 100
között oly módon, hogy tippjének a lehet® legközelebb kell kerülnie a többiek
tippjei átlagának 2/3-ához.
1
2 Bevezetés
elemzését értjük.
Csoport: Egy játékban egynél több döntéshozó szerepel, ®ket hívjuk játékosok-
nak. Ha csak egy játékos van, nem játékról, hanem döntési problémáról
beszélünk.
(0,1) Példa: Tegyük fel, hogy 10 ember vendégl®be megy. Mindenki külön zeti
a saját fogyasztását. Ez egy döntéselméleti probléma. Ha el®re megállapodnak a
számla közös zetésében és utólagos felosztásában, akkor ez játékelméleti kérdés.
A játékelmélet a közgazdaság tudományban, a szociológiában, a politológi-
ában és a pszichológiában gyakran alkalmazott diszciplína.
Néhány példa:
Hogyan szavazzunk?
A játékok osztályozása
Stratégiai játékok nagyon sok helyzetben fordulhatnak el®. Az alábbiakban
néhány szempont alapján kísérjük meg osztályozni a játékokat.
Bevezetés 3
3. A játékosok informáltsága.
A sakk esetén a játékosok pontosan ismerik helyzetüket (bábuik helyzetét)
a lehetséges lépéseiket, illetve az ellenfél lehetséges lépéseit. Ezeket a játékokat
teljes információs játékoknak nevezzük.
Általában ez a helyzet kivételes, többnyire néhány játékos olyan informáci-
óval is rendelkezik, amellyel a többiek nem. A kártyajátékok többsége esetén a
4 Bevezetés
Közös tudás, azaz mindegyik játékos tisztában van azzal, hogy a többi
játékos is teljes információval rendelkezik, s®t azt is tudja, hogy a többi
játékos ezt róla is tudja, és így tovább a végtelenségig.
Teljes emlékezet (Perfect recall). Egyik játékos sem felejti el a saját lépé-
seit a múltban.
Játékosok.
Stratégiák
Kizetések
Egy adott játék esetén egy játékos célja a gy®zelem, de néha nem olyan
egyszer¶ meghatározni, hogy mit is jelent ez. Gyakran célunk az, hogy például
egy adott terméket hamarabb dobjunk a piacra, vagy jobb min®ségben, mint a
konkurencia, azaz csak ritkán lehet a gy®ztesvesztes kategóriában gondolkodni.
Kizetésnek egy adott stratégiakombináció (azaz egy adott saját stratégia-
választás és az ellenfelek adott stratégiaválasztása) melletti eredményt értjük,
mely lehet numerikus érték, de nem feltétlenül az. Egy gazdasági játékban lehet
a kizetés az általunk elért prot, de az is, hogy a konkurens vállalat cs®dbe
megy.
A kizetések értelmezéséhez, meghatározásához érdemes a hasznosságfügg-
vények irodalmát áttekintenünk. Ezt az olvasó az 1.sz. függelékben találja.
Racionalitás
A társadalomtudományokban a racionalitás fogalmát nagyon sok értelemben
szokás használni, mi a továbbiakban egy nagyon korlátozott értelemben használ-
juk. A játékosok ismerik a rendelkezésre álló alternatíváikat (stratégiákat), az
egyes stratégiákhoz tartozó kizetéseket, a kizetéseket képesek legalább gyenge
értelemben rendezni, és ezen rendezés alapján el tudják dönteni, hogy melyik
(melyek) a számukra legkedvez®bb(ek), és azt akarják elérni. (A racionalitásról
a 2.sz. függelék tartalmaz b®vebb olvasnivalót.)
A leírtakból világos, hogy a fenti koncepció semmilyen morális feltevést
következtetést nem tartalmaz a cselekvésr®l, se azt nem gondoljuk, hogy játé-
kosaink önz®k, sem azt nem, hogy altruisták. A fenti koncepció a játékosok
id®horizontjáról sem tételez fel semmit, nem gondoljuk, hogy rövid távra és azt
sem, hogy hosszú távra diszkontálnak.
Ez a koncepció csak egyfajta konzisztenciát jelent: minden játékos a saját
értékrendszerének megfelel®en konzisztensen cselekszik.
Természetesen gyakran a játékosok különböz® értékrendszerrel rendelkeznek,
és nem feltétlenül ismerik egymás értékrendszerét. Ez a kérdés azonban ebben
a koncepcióban már az informáltság és nem a racionalitás kérdése.
A racionalitás feltételezése a cselekv®kr®l igen er®s feltevés, és gyakran nem
is teljesül, de számunkra (és a közgazdaságtan számára is) rendkívül fontos,
hogy a kés®bbiekben számolni tudjunk.
A játék szabályai
A játékelmélet tárgyalása során feltételezik, hogy a játékosok tisztában vannak
azzal, mi az a játék, amelyben részt vesznek, s®t tudják ezt a többi játékosról
8 Bevezetés
is, és a többi játékos is tudja ezt, azaz a játék szabályai a közös tudás részét
képezik.
A játék szabályai tartalmazzák:
a játékosok meghatározását,
Egyensúly
A következ®kben az egyensúly fogalmi keretei között járunk el. Mit jelent
ez? Az egyes stratégiai kombinációk közül azok valósulnak meg, amelyek a
legjobb válaszok a többiek lehetséges lépéseire. Ez, mint a közgazdaságtanból
már tudjuk, nem feltétlenül jelenti azt, hogy a döntéshozó mindig a legjobban
jár, s®t gyakran senki sem jár jól. Egyensúlynak egy olyan állapotot tekintünk,
ahol senkinek sem éri meg az adott stratégiakombinációtól eltérnie.
I. rész
9
1. fejezet
(1,1) Példa
Tekintsük a következ® játékot: két játékos, A és B snóbliznak, azaz hol
egyik, hol másik kezükben dugnak el pénzérméket. Ha A bal kezébe dugja a
pénzt, és B jobb kezébe, akkor A zet B -nek 2 forintot, ha A jobb kezébe dugja
a pénzt, B a bal kezébe, akkor B zet A-nak 2 forintot. Ha mindketten a bal
kezükbe dugják a pénzt, akkor A zet B -nek 3 forintot, ha mindketten a jobb
kezükbe, akkor pedig B zet A-nak 3 forintot.
A fenti játékot összefoglalhatjuk az alábbi táblázatban:
3. A játék lehetséges
Y kimenetelei, azaz az összes lehetséges stratégiai kom-
bináció: S = Si . A megel®z® példában (b, b)(b, j)(j, b)(j, j), 2 × 2 = 4
i
kimenet van.
11
12 1. JÁTÉKOK NORMÁL ALAKBAN
(1,3) Definíció: Véges összeg¶ játék: Egy játékot kétszemélyes véges összeg¶
játéknak nevezünk, ha |N | = 2 és |ui | < ∞ ∀ i.
ahol s < p < r < t és 2r < s+t ekkor létrejön a fogolydilemma, azaz a játékosok
domináns stratégiája a dezertálás (a nem kooperálás).
Általában a többszerepl®s fogolydilemma1 játékokat szokás közjószág-, közlegel®-
vagy társadalmicsapda-játékoknak nevezni.
Si1 = {si ∈ ski | ∃ s0i ∈ s0i ui (s0i , si ) > ui (si , s−i )∀ s−i ∈ S−i
0
}
k . lépés, legyen
Sik+1 = {si ∈ Sik | ∃ s0i ∈ Sik ui (s0i , si ) > ui (si , s−i )∀ si ∈ S−i
k
}
∞
\
legyen: Si∞ − Sik
i=1
(az eljárás véges lépésben befejez®dik, ha |Si | < ∞ ∀ i).
Ha |S ∞ | = 1, akkor a játékot iterált dominanciával megoldhatónak nevez-
zük.
1\2 s12
s31 ≥ s11 =⇒
s31 (5,3)
1\2 s22
S13 > s21 =⇒
s31 (4,3)
ci (qi ) = cqi p = a − bQ
a kizet® függvény
ui (qi ) = (a − c)qi − bqi q−i − b2 qi
(a − c)bqj − qbqi = 0
18 1. JÁTÉKOK NORMÁL ALAKBAN
Nash egyensúly
Bizonyítás: Indirekt módon bizonyítunk. Tegyük fel, hogy az állítás nem igaz.
Ekkor ∃ k , hogy s∗ ∈ S1k × . . . × Snk , de s∗ ∈ S1k+1 × . . . × Snk+1 .
Az iterált eljárásból adódóan ∃ s0i ∈ Sik ⊆ Si , melyre:
Így ∃ s0i ∈ Si , melyre ui (s0i , s∗−i ) > ui (s∗i , s−i ), ez ellentmond annak, hogy s∗
Nash egyensúly.
N = {1, 2}
si = qi s1 = s2 = R+
u1 (q1 , q2 ) = q1 p(q1 + q2 ) − c1 (q1 )
u2 (q1 , q2 ) = q2 p(q1 + q2 ) − c2 (q2 )
azaz
ui (q1 , q2 ) = p(s1 + s2 )si − ci (si )
20 1. JÁTÉKOK NORMÁL ALAKBAN
α1 = inf u(s∗1 , s2 ).
s2 ∈S2
α1 ≤ α2 .
(1,14 ) Példa:
és
u(s∗1 , s∗2 ) ≤ v ≤ u(s∗1 , s∗2 ) mivel v = u(s∗1 , s∗2 )
(1.1) és (1.2).
α deníciója miatt:
sup u(s1 , s∗2 ) ≥ α2 és
s1 ∈S1
inf u(s∗1 , s2 ) ≤ α1 .
s2 ∈S2
u1 (j1 ) = pc + (1 − p)d.
ú \ apa b2 j2
P 1−p
b1 w wp · a w(1 − p)b
j1 (1 − w) (1 − w)p · c (1 − w)(1 − p)d
A ú várható nyereménye:
Legyen K = kiugrik
T = továbbhalad
I\ II K T
K (10, 10) (25, 25)
T (25, 25) (10, 10)
min(−f ) = − max f
1. Ha (s∗1 , s∗2 ) G Nash egyensúlya, akkor s∗1 maxinimáló 1-re és s∗2 maxmini-
máló 2-re
Szekvenciális játékok
1. Élek
3. Élek
6. Az élek valószín¶ség-eloszlása
27
28 2. SZEKVENCIÁLIS JÁTÉKOK
(2,3) Definíció: Játék teljes emlékezettel: egy játékot teljes emlékezet¶ játék-
nak nevezünk, ha:
(2,1) Példa
A következ®kben megismerkedünk az úgynevezett Százlábú játékkal, melyet
még a kés®bbiekben tovább elemzünk. Két játékosunk van: (A, B), mindegyik
játékos 1-1 forintot helyez maga elé. Mindkét játékosnak két döntési alternatí-
vája van, vagy folytatja a játékot (F ), vagy leállítja (L). Amennyiben valame-
lyik játékos a leállítás mellett dönt, a játék befejez®dött, és mindenki megtartja
az addig szerzett nyereményét. Amennyiben valaki a folytatás mellett dönt,
zet 1 forintot, míg a másik játékos kap 2 forintot. A játék véget ér, ha valaki
eléri a 100 forintot.
Ábrázoljuk a játékot!
(2,2) Példa
Két játékos pénzfeldobást játszik,
A tippel: fej vagy írás, B tippel fej vagy írás.
Ha (fej, fej) vagy (írás, írás) az eredmény, akkor B ad A-nak 2 forintot,
egyébként pedig A ad B -nek 2 forintot.
(2,4) Megjegyzés: a (2,2) példájából látszik, hogy míg az els® példában a játéko-
sok egyszerre döntenek, addig a második esetben a döntéseknek van sorrendje.
Azaz míg ezt a játékot az eddig használt mátrix alakba írjuk:
A\B F I
F (2,2) (2,2)
I (2,2) (2,2)
(2,3) Példa
Szekvenciális galamb-héja játék, az els® madár már táplálkozik, így az oda-
érkez® második madárnak két stratégiája van: marad vagy távozik. A jelen lév®
1. madár ekkor vagy galamb- vagy héja-magatartást vehet fel.
33
1. fejezet
Jelölje
G = {N, Si , ui }
6 ∃ se ∈ SN : αi ≤ ui (e
s) ∀ i és
αi < ui (e
s) legalább egy i-re.
35
36 1. NEM KOOPERATÍV JÁTÉKOK NORMÁL ALAKBAN
(1,1) Megjegyzés: Próbáljunk egy tortát játékosaink között elosztani. Tegyük fel,
hogy i játékos optimálisan
X játszva, függetlenül a többiek játékától legalább αi
méret¶ szeletet nyer, αi = 1. Ekkor (α1 , . . . , αN ) a torta optimális felosztása.
i∈N
A hasznosságok viszont nem felcserélhet®k a játékosok között.
Egy stratégiai játék Nash egyensúlyán a következ®t értjük: G(N, S, ()) egy
s∗ ∈ S ahol ∀ i-re
(s∗−i , s∗i ) i (s∗−i , s∗i ) ∀ si ∈ Si .
1\2 K P O
K (0,0) (1,1) (1,1)
P 1,1) (0,0) (1,1)
O (1,1) (1,1) (0,0)
(1,3) Megjegyzés: Ha |S| < ∞, akkor a kevert b®vítés kizet® függvénye a régi
kizet® függvények lineáris kombinációja
X
ui (σi ) = σi (si )ui (σ−i , u(si )).
si ∈Si
ui (σi∗ , σ−i
∗ ∗
) ≥ ui (σi , σ−i ) ∀ i ∈ N és ∀ σi ∈ Σi .
ui (σi∗ , σ−i
∗ ∗
) ≥ ui (si , σ−i ) ∀i ∈ N és si ∈ Si .
(1,2) Állítás: Ha σ ∗ kevert stratégia Nash egyensúly és s0i , s00i ∈ supp(σi∗ ), akkor
ui (s0i , σ−i
∗
) = ui (s00i , σ−i
∗
).
(1,3) Példa:
(1,3) Állítás: Legyen σ ∗ G-Nash egyensúlya, tegyük fel σ ∗ (si ) > 0, akkor si
stratégiát nem eliminálja a dominált stratégiák eliminációja, azaz: si ∈ Si∞ .
Si0 = Si
Sik+1 = {si ∈ ski |6 ∃ σi ∈ Σ(ski ) | ui (σi , s−i ) > ui (si , s−i ) ∀ s−i ∈ S−i
k
}
\∞
Si∞ Sik
k=1
∞
S = S1∞ × . . . × SN
∞
i) BRi : Σ−i −→ Σi
ii) BRi (σ−i ) = arg max ui (σi , σ−i
σi ∈Σi
(1,4) Példa: Legyen két játékosunk, akik különböz® jelzéseket észlelnek, melyek
befolyásolják a másik magatartását, az észlelésük kapcsolódó azaz korrelált ,
de nem teljes mértékben.
A küls® jelek három állapotot vehetnek fel: x, y, z .
Az els® játékos azt tudja, hogy {x} vagy {y, z}, míg a második játékos
{x, y} vagy {z}. Ekkor a játékosok a fenti információk birtokában választják
meg stratégiáikat.
1\ 2 s12 s22
s11 (9,9) (6,10)
s21 (10,6) (0,0)
40 1. NEM KOOPERATÍV JÁTÉKOK NORMÁL ALAKBAN
1\ 2 s12 s22
s11 γ 1 − γ/2
s21 1 − γ/2 0
2γ 1−γ 2γ 1−γ
ekkor 9 1+γ +6 1+γ ≥ 10 1+γ +0 1+γ
igaz, ha γ ∈ [0, 3/4]
ha γ = 3/4, akkor a nyeremény 8,75, ami nagyobb, mint a kevert Nash
egyensúly.
(1,5) Állítás: Minden G(N, S, u) játék kevert stratégia Nash egyensúlyhoz léte-
zik olyan korrelált egyensúly ((Ω, π), (Pi ), (σi )), melyre minden i ∈ N játékosra
az si stratégiákhoz kapcsolódó eloszlás egyenl® σi -vel.
1.2. A JÁTÉKOK NORMÁL ALAKJA 41
N
Y
Bizonyítás: Legyen Ω = S és legyen π(s) = αj (si ) ∀ i ∈ N és bi ∈ si legyen
j=1
pi (s0i ) = {s ∈ S : si = s0i } és legyen Pi = {pi (ai )}. Legyen σi (s) = si ∀ s ∈
S . Ekkor ((Ω, π), (Pi ), (σi )) korrelált egyensúly, hiszen a deníció kívánalmai
teljesülnek.
(1,6) Állítás: Legyen G = (N, (si )(ui )) stratégiai játék, G bármely korrelált
egyensúlyi kizetésnek konvex kombinációja is korrelált egyensúlya G-nek.
Nash tétel
(2,1) Tétel: G véges stratégiai játéknak van Nash egyensúlya a kevert b®vítés-
ben.
{si }∞
i=1 si −→ s∗ i −→ ∞-b®l következik s∗ ∈ S,
43
44 2. NASH TÉTEL
Bizonyítás:
1. Σi nem üres, mivel egyik játékos stratégia halmaza sem üres. Mivel Σi
kompakt, a Σ = Σ1 × ΣN is kompakt. Ezért BR : Σ −→ Σ nem üres,
konvex és kompakt halmazon történ® hozzárendelés.
3. Legyen s1i és s2i az i játékos két legjobb válasza s−i -re, ekkor s1i és s2i
kizetése i-nek azonos, így lineáris kombinációjuk értéke is ugyanakkora.
Ebb®l sb∗i ∈ BRi (s∗−i ) és ezért sb∗ ∈ BR(s∗ ), azaz a gráf zárt.
1. N adott és |N | < ∞.
47
48 3. A JÁTÉKOK EXTENZÍV FORMÁJA
3. Kizet® függvények ui Z −→ R.
Tekintsük a deníciót:
1. |N | = 2,
2. s1 = s2 = {F, I},
3. a fa deniálja a végs® csomópontokat, és x2 és x3 , x1 rákövetkez®je,
4. h(x1 ) = x1 és h(x2 ) = h(x3 ) = {x2 x3 }.
a) a játékosok (N )
b) sorozatok halmaza (H), melyek kielégítik az alábbi követelményeket:
i) : ∅ ∈ H .
ii) : Ha (ak )k=1...K ∈ H és L < K , akkor (ak )k=1...L ∈ H .
iii) : Ha egy végtelen sorozatra (ak )k=1... -re (ak )k=1...L ∈ H ∀ L, akkor
(ak )k=1... ∈ H .
1\ FF FI IF II
F 11 +1,1 1,1 1,1
I 1,1 1,1 1,1 1,1
s1 = q1
(
1−q10
ha q1 = q10
s2 = 2
1− q10 ha q1 6= q10
3.2. Részjáték
(3,9) Definíció: Egy Γ extenzív formájú játék Γ0 részjátékán a következ®t
értjük:
(3,5) Példa:
52 3. A JÁTÉKOK EXTENZÍV FORMÁJA
q2∗ = 1/2
1 − q2
q1∗ (q2 ) =
2
A részjáték-kielégít® egyensúly, Nash egyensúly is, amikor az 1. cég q1 -t
dönt.
Ekkor q1∗ (q1 ) = arg max q1 [1 − (q2 + q2 )]. Ebb®l q1∗ (q2 ) = 1−q
2 .
1
3.3. INDUKCIÓ VISSZAFELÉ 53
1 − q1
u2 (q1 , q2∗ ) = q2 (1 − (q2 + q10 (q2 )) = q1
2
(3,11) Definíció: Egy extenzív formáról azt mondjuk, hogy teljes információs,
ha minden információhalmaz csak egy csomópontot tartalmaz.
2. lépés: oldjuk meg ezeket a játékokat, a Nash tétel miatt léteznek megol-
dások (hiszen végesek).
Racionalizálhatóság
(4,1) Megjegyzés: A fenti deníció lehet®vé teszi azt, hogy a játékosok többiekkel
kapcsolatos várakozása feltegye, hogy egyesek magatartása korrelált.
3. ∀ j ∈ N ∀ t ≥ 1 és ∀ sj ∈ Xjt µt+1
j (sj ) a játékos várakozása, melynek
t+1
támogatottsága az X−j részhalmaza és teljesül
55
56 4. RACIONALIZÁLHATÓSÁG
1. si ∈ Zi .
(4,4) Megjegyzés: Ha (Zj )j∈N és (Zj0 )j∈N kielégíti a deníciót, akkor (Zj ∪
Y
Zj0 )j∈N -is. Ezért a racionalizálható stratégiák halmaza a Zj legnagyobb
j∈N
részhalmaza, melyre (Zj )j∈N kielégíti a deníciót.
(4,2) Állítás: Minden olyan stratégia, melyet valamely véges G(N, S, u) játék
korrelált egyensúlyában pozitív valószín¶séggel játszanak, racionalizálható.
mivel van domináns stratégia, a (Nem Kooperál, Nem Kooperál), az el®z® állítás
miatt a többi lehetséges stratégiapár nem racionalizálható.
58 4. RACIONALIZÁLHATÓSÁG
5. fejezet
Információfüggvény
(5,1) Példa: Két szerepl®nk van, legyen Ω = {ω1 = esni fog ma, ω2 = borult
lesz az id®, ω3 = jó id® lesz}
mindegyik esemény egyenl® valószín¶ (eddigi ismereteink szerint).
59
60 5. INFORMÁCIÓFÜGGVÉNY
5.1. Tudásfüggvény
(5,3) Definíció: E ⊂ Ω eseménynek nevezzük.
(5,2) Megjegyzés: egy döntéshozó, aki tudja, hogy θ(ω) ⊆ E , tudja, hogy ω -ra
E el®fordul. Ebben az esetben azt mondjuk, hogy ω állapotban a döntéshozó
ismeri E -t.
Ki (E) = {ω ∈ Ω : θi (ω) ⊆ E} ,
(5,4) Megjegyzés: ez azt jelenti, hogy ha a két játékos tudja E -t, akkor azt is
tudják, hogy a másik tudja, etc.
Szokás a fenti deníciót más formában is kimondani.
|θi (ω)| = 1 .
Mi történik, ha senki nem emeli fel a kezét az els® fordulóban? Mindenki felújítja
információit, és megállapítja, hogy több mint egy piszkos arcnak kell lennie.
Ha a játék (a természeti állapot) k piszkos arcot tartalmaz, akkor a játék k
fordulós lesz.
(5,5) Példa. Két seregtest egymástól távolabb táborozik, nem messze az ellen-
ségt®l. Ha külön-külön támadnak, elvesztik a csatát, együttes támadás esetén
gy®znek. Egyik seregrész sem akarja ezért kockáztatni az önálló támadást.
Az egyik seregrész parancsnoka tárgyalásba bocsátkozott az ellenséggel. A
két seregtestparancsnok a tárgyalások megkezdése el®tt megegyezett, hogy ha
a tárgyalások eredménytelenül zárulnak, támadnak. Ekkor a tárgyaláson részt
vett parancsnok futárt küld közös támadás haditervével a másik parancsnoknak.
Annak valószín¶sége, hogy a futárt elfogják: p, p > 0.
Bekövetkezik-e a közös támadás?
A 2. sereg parancsnoka megkapja az üzenetet, err®l futárt kell 1.-nek kül-
denie, különben az nem lehet bizonyos abban, hogy 2. megkapta az üzenetet,
és így nem fog támadni. Miután 1. megkapta az üzenetet, futárt kell 2.-nak
küldeni, hogy megkapta az üzenetet, mert ennek hiányában 2. nem lehet biztos,
és ezért nem támad, etc. Mivel egyetlen információs állapotban sem válik közös
tudássá a támadás, így az elmarad.
Y
(5,7) Definíció: µi (ω)-t egy valószín¶ségi mértéket Si -n (Si = Sj ) az
j∈N \{i}
i játékos vélekedése ω állapotban a többi játékos stratégiaválasztásáról.
θi (ω) ⊆ {ω 0 ∈ Ω, µj (ω 0 ) = µj (ω)} j 6= i
64 5. INFORMÁCIÓFÜGGVÉNY
Ekkor az (α1 , α2 ) kevert stratégia (α1 , α2 ) = (µ2 (ω), µ1 (ω)) kevert stratégia
Nash egyensúly.
2. a játékosok racionálisak.
1. i ∈ N |N | < ∞,
5.3. BAYES-I JÁTÉKOK 65
2. ω ∈ Ω |Ω| < ∞,
3. ∀ i ∈ N si stratégiák,
1. (i, ti ) i ∈ N , ti ∈ T i ,
Ismételt játékok
67
68 6. ISMÉTELT JÁTÉKOK
∞
X
1. ui (vi ) = δ t−1 vi (t),
t=1
X
T
1
ui (vi ) = lim − vi (t).
T →∞ T
t=1
ekkor
6.2. VÉGTELEN JÁTÉK DISZKONTÁLÁS NÉLKÜL 69
(6,4) Definíció:
um
i := min max ui (δ).
(δ1 ,δi−1 ,δi+1 ) δi
D := {w | w ∈ c és wi ≥ um
i ∀ i}
(6,6) Definíció:
δ = ρλ.
Tegyük fel, hogy a játék T -ben befejez®dött, és az elért kizetés zérus (ez
csak normalizálás kérdése). Ekkor:
∞
" k
#
X X
t−1
prob(T = k) ρ vi (t)
k=1 t=1
∞
" k
#
X X
λk−1 (1 − λ) ρt−1 vi (t)
k=1 t=1
∞
X
(λρ)t−1 vi (t)
t=1
vi (t) = 3 ∀ t.
A diszkontált kizetés:
∞
X 3
3δ t−1 = .
1−δ
t=1
Vizsgáljunk most egy másik stratégiát. Az els® játékos válassza az 1. perió-
dusban az N C (nem kooperatív) stratégiát. Ez a játékos tudja, hogy a másik
N C -t fog játszani ekkor (hiszen ismeri a stratégiáját). Így számára is csak az
N C stratégia választása marad. Így a kizet® függvény:
4 t=1
vi (t) =
1 t>0
72 6. ISMÉTELT JÁTÉKOK
mivel:
3 δ
≥4+ ha δ ≥ 1/3.
1−δ 1−δ
Azaz csak megfelel®en nagy δ kényszeríti ki a kooperációt.
6.4. Részjáték
Az az egyensúly, amit eddig konstruáltunk, nem részjáték-kielégít®.
Az ellenfél kényszerítése nem hihet®, hiszen ha eltérünk az optimális straté-
giától, magunk is rosszul járunk.
A\B C NC
C (3,3) (0,4)
NC (4,1) (1,0)
(6,3) Tétel: Legyen G egy véges ismétl®déses játék. Tegyük fel, hogy elemi
játéknak van Nash egyensúlya, és az egyértelm¶. Ekkor részjáték-kielégít® Nash
egyensúlya G-nek, mely tartalmazza az elemi játék egyensúlyát.
74 6. ISMÉTELT JÁTÉKOK
A\B b1 b2 b3
a1 (4,4) (0,0) (10,5)
a2 (0,0) (3,3) (0,0)
a3 (5,0) (0,0) (1,1)
A játék szimmetrikus.
A játéknak két Nash egyensúlya van: (a2 , b2 ) és (a3 , b3 ), (a1 , b1 ) Pareto
legjobb, de nem Nash egyensúly.
Játsszuk le a játékot kétszer diszkontálás nélkül a következ® stratégiával:
az 1. periódusbana1
a2 ha az 1 periódusbn (a1 , b1 )
a 2. periódusban
a különben
3
Ez a stratégia világosan Nash egyensúly és részjáték-kielégit® is, hiszen mind-
egyik valódi részjátékra Nash egyensúlyt eredményez.
Bizonyítás: Indukcióval:
t = 1 az ismételt játék az alapjáték, így a feltétel miatt az állítás igaz.
Tegyük fel, hogy az állítás igaz t − 1-re, ekkor minden t-edik periódusban
induló játék tartalmazza a t − 1-szer ismételt játékot, melynek van egyértelm¶
egyensúlya. Ez az egyensúly legjobb válasz az alapjátékban, így ennek részjáték-
kielégít® egyensúlynak kell lennie az egész játékra.
6.7. Alkalmazás
6.7.1. Ismételt Cournot-játék
N = 2, a vállalatok a kibocsátást szabályozzák. A kibocsátás költsége konstans:
c . Az ár: q(P ) = a − bq .
a−c (a−c)2
Legyen q m = m
3b a monopoltermelés és u = 4b a monopolhaszon.
a−c (a−c)2
Legyen q c = c
3b a duopólium termelése és u = 9b az egyes cégek haszna.
qm
Tegyük fel, hogy az egyik cég 2 kibocsátására a másik cég olyan stratégiát
2
9 (a−c)
választ, hogy az maximalizálja protját. Ekkor a maximum prot: 64 b .
Minden ezt követ® periódusban a fenti cég kapja továbbra is a statikus Co-
urnot hasznát uc -t. Így az összes haszna:
9 (a − c)2 δ (a − c)2
+ .
64 b 1−δ 9b
ebb®l
9
δ≥ .
17
qL < qH .
ui (q L q L ) > ui (q H , q H ).
q L -re
ui (BRi (q L ), q L ) − ui (q L , q L ) ≤ δ[ui (q L , q L ) − ui (q H , q H )]
q H -ra
ui (BRi (q H ), q H ) − ui (q H , q H ) ≤ δ[ui (q L , q L ) − ui (q H , q H )]
6.7. ALKALMAZÁS 77
a−c
A répa a duopólium-kibocsátás, a bot a versenykibocsátás: így q L = 4b
q H = a−c
2b
behelyettesítve:
a−c (a − c)2
≤ δ
16b 8b
(a − c)2 (a − c)2
≤ δ
64b 8b
adódik: δ ≥ 1/2.
(6,10) Megjegyzés: mivel 1/2 < 9/17 ez a stratégia már alacsonyabb δ -ra is
hatékony, mint a Nash visszacsapás.
78 6. ISMÉTELT JÁTÉKOK
7. fejezet
Evolúciós egyensúly
79
80 7. EVOLÚCIÓS EGYENSÚLY
kizetése.
n
X
xi u(si , x) = u(x, x)
i=1
ẋi
= u(si , x) − u(x, x)
xi
n
X
(7,1) Állítás: xi = 1 minden id®periódusban.
i=1
P P P
Bizonyítás: P ẋi = xi u(si ; x) − xi u(x, x) = u(x, x) − u(x, x), így xi =
const, mivel xi = 1 kiinduláskor ezért const = 1.
dx
ha xi = σ(si )-re = 0.
dt
ẋs1
= ss2 − 2xs1 xs2 = (1 − xs1 )(1 − 2ss1 ).
xs1
Könnyen látható, hogy ẋs1 > 0 ha 0 < xs1 < 1/2 és ẋs1 < 0 1/2 < xs1 < 1,
ebb®l adódik xs1 = 1/2 stabilitása.
(7,4) Definíció: Egy "stabil" állapot stabil, ha ∀ ε > 0-hoz ∃ δ > 0 hogy ha a
folyamat δ távolságra indul a "stabil" állapottól, akkor mindig ε tartományban
marad.
|u(si , x) − u(si , σ)| |< k/4 és |u(x, x) − u(σ, σ)| < k/4.
Ebb®l:
|u(si , x0 ) − u(x, x)| > k/2.
Mivel σ stabil, ezért ha x σ -hoz elég közel van, konvergál. Így x(0) =
(1 − 1/2δ)x + 1/2δsi -vel számolva
dxi k δ/2k
= xi (u(si , x) − u(x, x)) ≥ xi ≥ ebb®l x(t) −→ ∞ .
dt 2 2
Ez ellentmondás.
K P O
K (0,0) (1,1) (1,1)
P (1,1) (0,0) (1,1)
O (-1,1) (1,-1) (0,0)
82 7. EVOLÚCIÓS EGYENSÚLY
Vizsgáljuk xK és xP arányokat xO − (1 − xK − xP )
ẋK
= −xP + xO
xK
ẋP
= xK − xO
xP
A kevert stratégia Nash egyensúly (1/3sK , 1/3sP , 1/3sO ) az egyedüli "stabil"
állapot. Némi vizsgálat után adódik, hogy ez nem stabil.
7.2. Mutáció
83
84 8. KOOPERATÍV JÁTÉKOK ÁTVIHET NYEREMÉNNYEL
(8,3) Megjegyzés:
" n
#
X
ν(N ) = max ui (s1 , . . . , sn ) i = 1, . . . , n.
si ∈Si
i=1
(8,1) Állítás:
1. páratlan számút dugott el, 2. páratlan számút dugott el, 3. páros számút
dugott el, akkor 2. zet 1.-nek és 3.-nak 1-1 forintot
1. páratlan számút dugott el, 2. páratlan számút dugott el, 3. páratlan
számút dugott el, akkor senki sem zet
3 s31 s32
1\2 s21 s22 s21 s22
s11 (0,0,0) (1,2,1) (1,1,2) (2,1,1)
s21 (2,1,1) (1,1,2) (1,2,1) (0,0,0)
ekkor
Hasonlóan u2 és u3 -ra.
Ha 2.-3. koalíciót alkot 1. ellen, akkor
és végül a
ν 0 (M ) ≥ ν(M )
(8,5) Megjegyzés: az elosztás fogalma azt jelenti, hogy minden játékos legalább
akkora nyereményt kap, mint egyedül kapott volna (2.). Csodás nyeremény
szaporítás pedig nincs (1.).
89
(8,7) Megjegyzés: Egy lényeges játéknak végtelen sok elosztása van. Egy nem
lényeges játéknak viszont csak egy (ν({i})).
X X
Elégségesség, ha y M x, ekkor: ν(M ) ≥ yi > xi .
i∈M i∈M
P X
Szükségesség: Tegyük fel, hogy xi < ν(M ), ekkor ∆ = ν(M )− xi > 0.
X i∈M
Fennáll továbbá a ν(N ) − ν(M ) ≥ ν(N − M ) ≥ ν({j}) egyenl®tlenség és
j∈N −M
X
így a ∆0 = ν(N ) − ν(M ) − ν({j}) ≥ 0 egyenl®tlenség is.
j∈N −M
Legyen
∆
xi + |M | , ha i ∈ M
yi =
ν({i}) + ∆0
ha i ∈ N − M,
|N −M | ,
ahol |M | és |N − M | az M , illetve
X az N − M halmazban lev® játékosok számát
jelöli. Azonnal látható, hogy yi = ν(M ) + ν(N ) − ν(M ) = ν(N ) és yi > xi ,
i∈N
ha i ∈ M . y = [y1 , . . . , yn ] ezáltal egy olyan elosztás, amelyik dominálja x-et.
0 = αν({i}) − βi α > 0
X
1 = αν(N ) + βi
i=1
egyenletrendszer megoldható.
X
Bizonyítás: a játék nem lényeges, így: ν({i}) = ν(N ). Ez el®z® tétel miatt
i∈N
xi = ν({i}) az egyetlen eleme a magnak.
∀ kiegyensúlyozott súlyra.
így a
{(1N , ν(N ) + ε) ∈ R|N |+1 ε > 0}
konvex halmaz, diszjunkt az:
( )
X
y ∈ R|N |+1 : y = λM (1M , ν(M )) ahol λM ≥ 0 ∀ M ∈ C ,
M ∈C
X
így (λM )M ∈C kiegyensúlyozott súlyok és λM ν(M ) > ν(N ).
M ∈C
Ekkor a két konvex diszjunkt halmaz között létezik elválasztó hipersík és olyan
nem nulla vektor: (αN , α) ∈ R|N | × R, melyre
αN
∀ y -ra és ε > 0. Az (1N , ν(N )) a kúpban van, ezért α < 0. Legyen x = −α .
Mivel (1M , ν(M )) ∀ M ∈ C -re a kúpban van,
Az x-hez egy megfelel® nem negatív vektort adva kapjuk ν(N ) = x(N )-t, így
megkaptunk egy elosztást, mely benne van a játék magjában.
(8,4) Példa: Tegyük fel, hogy 3 játékos egységnyi nyereményen osztozik. Oly
módon, hogy ha kett® közülük koalíciót alkot, kap α ∈ [0, 1]-t, míg a harmadik
semmit sem kap. Ekkor:
egy allokáció.
Ebben az esetben az ágensek érdekeltek lehetnek a kooperációban, ha terme-
lésük és inputjaik komplementerek, akkor az inputok cseréjére szükségük lehet.
Jelölje a fenti játékot: G(N, `, (ωi ), (fi ))
Az egyes lehetséges koalíciók nyeresége:
( )
X X
`
ν(M ) = max fi (zi ) zi ∈ R+ és zi = ωi
(xi )i∈M
i∈M i∈M
8.1. PIACI JÁTÉK ÁTVIHET NYEREMÉNNYEL 95
(8,21) Definíció: A piac kompetitív egyensúlya a (p∗ , (zi∗ )i∈N ) pár, ahol p∗ ∈
R`+ az input árvektor és
(8,22) Definíció: Ha (p∗ , (zi∗ )i∈N ) kompetitív egyensúly, akkor fi (zi∗ )−p∗ (zi∗ −
ωi ) az i játékos egyensúlyi kizetése.
és
! !
X
ν(N ) = |N |f ωi /|N | = |N |f (ω ∗ ) =
i∈N
X
= (N |g(ω ∗ ) = g(ωi ).
i∈N
A (g(ωi ))i∈N kizetést akkor lehet elérni, ha minden játékos p∗ -on cseréli be
inputját outputra, (egységnyi input p∗ outputba kerül). Ha ezen az áron létrejön
a csere, akkor az i játékos a maxz (f (z) − p∗ (z − ωi )) kifejezést z -re megoldva
ω ∗ -ban maximalizálhatja a kizetést. Azaz (p∗ , (ω ∗ )i∈N ) ∀ i ∈ N , a piac
kompetitív egyensúlya.
96 8. KOOPERATÍV JÁTÉKOK ÁTVIHET NYEREMÉNNYEL
(8,12) Megjegyzés: Egy adott játéknak csak egy magja létezik. Míg stabil hal-
maza több is lehet, vagy egy sem. Neumann úgy érvelt, hogy egy adott stabil
halmazhoz tartozó különböz® elosztások különböz® magatartásnak felelnek meg.
(8,5) Példa (folytatás): Három játékosunk van, egyszer¶ többségi játékot ját-
szanak. Mint azt már bemutattuk, a játék magja üres, stabil halmaza számos
van.
Az alkudozási halmaz egyelem¶ {1/3, 1/3, 1/3}.
Legyen x egy elosztás, tegyük fel, hogy (y, M ) i fenyegetése j -vel szemben.
Ekkor ∃ M = {i, h}, ahol h a 3. játékos és yh < 1 − xi (ha yi > xi =⇒ y(M ) =
ν(M ) = 1). Ahhoz, hogy j -nek legyen ellenlépése (y, M )-re, szükséges, hogy
∀ i, j és h játékosra yh < 1 − xj , ha yh < 1 − xi , ebb®l viszont következik, hogy
1 − xi ≤ 1 − xj vagy xj ≤ xi ∀ i, j így x = (1/3, 1/3, 1/3).
8.2.1. Kernel
(8,26) Definíció: Legyen x egy G kooperációs játék elosztása, legyen M tet-
sz®leges koalíció, ekkor az M koalíció többletén (excess) a következ®t értjük:
e(M, x) = ν(M ) − x(M ).
(8,14) Megjegyzés: Ha e(M, x) > 0, akkor az azt méri, hogy mekkora összegr®l
kellene M -nek lemondani, hogy x elosztás bevezethet® legyen és fordítva, ha
e(M, x) < 0, akkor ez az érték, amit M -nek meg kell kapnia, hogy x bevezethet®
legyen. Szokás az els® esetben M társadalmi rend érdekében tett áldozatáról a
másodikban pedig követelésér®l beszélni.
∃ K koalíció, melyre K ∈ Pk∗ (y), melyre ek∗ (y) = e(K, y) > e(K, x). Így
e(K, y) < e(M, x), így K ellenlépés (M, y)-ra. Mivel
∗ −1
k[
e(M, y) < eM (x) M ∈
/ Pk (x) és ek∗ (x) ≥ e(M, x),
k=1
mivel
e∗` (y) ≥ e∗k (x) így e(K, y) ≥ e(M, x).
Shapley érték
103
104 9. SHAPLEY ÉRTÉK
Ha a 3. csatlakozik, akkor:
Hasonlóan
X
ahol λL = λL (ν) = (−1)|L|−|R| ν(R).
R⊆L
Ennek belátásához legyen M ⊆ N tetsz®leges. Ekkor λL adott értékének
felhasználásával
X X X X
λL νL (M ) = λL = (−1)|L|−|R| ν(R)
∅6=L⊆N L⊆M L⊆M R⊆L
X X X |M |
X
|M |−|R| ν(R)
= ( (−1)|L|−|R| ν(R)) = (−1)i−|R|
i−|R|
R⊆M R⊆L⊆M R⊆M i=|R|
X
= (1 − 1)|M |−|R| · ν(R) + ν(M ) = ν(M ) ,
R⊂M
Legyen i ∈
/ L tetsz®leges, de rögzített eleme N -nek. Ekkor cνL ({i}) = 0
(c ≥ 0) νL (M ) alapján. Ha M ⊆ N tetsz®leges és i ∈ M , akkor nyilván
L ⊆ M -b®l L ⊆ M − ({i}) következik, és így
c
azaz α = . Ezzel a b) állítást is igazoltuk.
|L|
c) Ebben a pontban a ϕ függvény egyértelm¶ségét bizonyítjuk. A bizonyítás
az el®z®ek alapján már csak egyszer¶ algebrai átalakításokat igényel. Felhasz-
náljuk továbbá a binom együtthatók következ® összegképletét:
n
X
1 j−t n−t (n − t)!(t − 1)!
(−1) = , (1 ≤ t ≤ n) .
j j−t n!
j=t
X X 1 X X 1
= (−1)|L|−|R| ν(R)+ (−1)|L|−|R| ν(R)
|L| |L|
i∈R⊆N R⊆L⊆N i∈R⊆N
/ R∪(i)⊆L⊆N
X n
X
1 n − |R| ν(R)
= (−1)j−|R|
j j − |R|
i∈R⊆N j=|R|
X X 1
n − |R| − 1 ν(R)
+ (−1)j−|R|
n
j j − |R| − 1
i∈R⊆N
/ j=|R|
X (n − |R|)!(|R| − 1)!
= [ν(R) − ν(R − {i})] .
n!
i∈R⊆N
1
= ν({i})n = ν({i}) .
n
Továbbá egy elosztás komponenseinek összege ki kell adja a ν(N ) értékét.
n
X n
X X X X λM X
λM
ϕi (ν) = = = λM
|M | |M |
i=1 i=1 i∈M ⊆N ∅6=M ⊆N i∈M ∅6=M ⊆N
X
= λM νM (N ) = ν(N ) .
∅6=M ⊆N
A 2. feltétel teljesülése ϕπ(i) (ν) deníciója alapján látható be, ugyanis ekkor
az egyenl®tlenségek helyett mindenütt egyenl®ség érvényes.
Végül a 3. feltétel teljesülése közvetlenül a ϕi (ν) explicit alakjából adódik.
Ezzel a tételt teljesen igazoltuk.
9.1. Hatalom
A Shapley érték gyakori alkalmazási területei a hatalmi indexek számítása, po-
litikai, illetve szavazó testületekben:
A hatalmi index deniálásakor csak a gy®ztes koalíciónak tulajdonítunk ér-
téket. A gy®ztes koalíciók közül pedig a minimális koalíciókat tartjuk szem
el®tt.
El®ször vizsgáljuk az egyszer¶ szavazási játékokat!
Minden egyes játékos rendelkezzen azonos szavazási er®vel!
Így
ν(s) = 0 ha s ≤ m
ν(s) = 1 ha s ≥ m.
Így: ϕ2 = ϕ2 = ϕ3 = 1/3.
ahol (·) jelöli a pivot elemet. Ekkor az MSZP 12 esetben, a FIDESZ 4 esetben,
az MDF 4 esetben és az SZDSZ is 4 esetben pivot elem. Így a szavazási er®
megoszlása: MSZP: 1/2, FIDESZ, MDF, SZDSZ -1/6, -1/6, -1/6.
9.1. HATALOM 111
X
ni azon koalíciók száma, ahol i lényeges, nj az összes lényeges koalíciók
j
száma.
4. ha i-nek több szavazata van, mint j -nek (wi > wj ) =⇒ K(i) > K(j),
X
5. K(i) = 1.
i∈N
III. rész
Függelék
113
1. fejezet
i) vagy A-t jobbnak ítéljük B -nél, azaz A-t preferáljuk B -vel szemben,
iii) vagy egyenl® jónak ítéljük ®ket, azaz indierensek vagyunk a két alterna-
tíva viszonyában,
Választónk elvégzi a fenti megfontolást, így lesz egy sor páros összehasonlítá-
sunk (ha n alternatívánk van, akkor n(n − 1)/2 összehasonlítást kell elvégezni).
Ezeket a fenti összehasonlításokat aztán megpróbálja választónk a maga szá-
mára összerendezni. Könnyen lehet, hogy el®ször ellentmondásokat fedez fel
a véleményalkotásban. Mondjuk: A-t jobbnak ítélte B -nél, B -t pedig E -nél,
E -t pedig A-nál. Ez azért nem jó, hiszen hogyan adja le ebben az esetben a
szavazatát, hiszen sem A-ra nem szavazhat, mert E jobb nála, tehát E -re kell
115
116 1. PREFERENCIÁK ÉS PARETO ELVEK
szavaznia, de E -re sem szavazhat, mert B jobb E -nél, tehát B -re kell szavaznia,
de A jobb, mint B , és folytatódik elölr®l. Ilyenkor választónknak újra megfon-
tolás tárgyává kell tennie minden szempontot, és újra értékelnie, végül eljut egy
listához, melyen körülbelül ez áll:
A a legjobb, mert jobb mint B, C, D, E ,
C a második legjobb, mert jobb, mint B, D, E ,
E a harmadik legjobb, mert jobb mint B, D,
D a negyedik legjobb, mert jobb mint B ,
B a legrosszabb.
Vizsgáljuk meg a fenti listát; ebben a listában mindegyik alternatíva párt
összehasonlította választónk, ekkor azt mondjuk, hogy preferenciája teljes. Min-
den pár viszonyában azt is el tudta dönteni, hogy melyik a jobb, ilyenkor azt
mondjuk, hogy preferenciája aszimmetrikus. S®t, ha egyik alternatívát jobbnak
találta a másiknál, és az utóbbit egy harmadiknál, akkor minden esetben az els®
alternatívát jobbnak ítélte a harmadiknál.
Ebben az esetben azt mondjuk, hogy választónk képes volt er®s értelemben
rendezni az alternatívákat.
Természetesen választónk más gondolatmenettel is élhet, az elemeket a "leg-
alább olyan jó" elve szerint is összehasonlíthatja, azaz:
A legalább olyan jó, mint B stb.
Ha polgárunk a fenti elv szerint páronként mindegyik alternatíváról el tudja
dönteni, hogy legalább olyan jó, mint a másik, akkor azt mondjuk, hogy az adott
alternatívákat rendezte.
(1,1) Állítás:
i) tranzivitás−→konzisztencia, kvázitranzivitás, aciklicitás,
hármas aciklusosság
ii) konzisztencia−→aciklusosság, hármas aciklusosság
iii) kvázitranzivitás−→aciklusosság, hármas aciklusosság
iv) aciklusosság−→hármas aciklusosság
∞
(1,8) Definíció: Adott R(τ ) τ =1 R(1) = R Rτ = RR(τ −1) , (τ ≥ 2) akkor
∞
[
T (R) R(τ ) -t R tranzitív lezárásának nevezzük.
τ =1
µR (S) = {x ∈ X : ∀ y ∈ S (x, y) ∈ R}
σR (S) = {x ∈ µR (S) : ∀ y ∈ µR (S) : (y, x) ∈ R}
(1,2) Tétel:
i) S ∩ σR (S) = G(S, R)
ii) M (S, R) ⊃ G(S, R) és M (S, R) = G(S, R) ha R teljes és reexív
R1 ⊂ R2 ∧ P (R1 ) ⊂ P (R2 ).
Zorn lemma: Tegyük fel, hogy R kvázi rendezés és (S, R) induktív, ekkor R-re
maximális elem S -ben.
Jólrendezési elv: Legyen S egy halmaz. Ekkor ∃ egy bináris rendezés S -en,
hogy S minden nem üres részhalmazának van maximális eleme.
Racionalitás
Mi a racionalitás?
A társadalomtudományban igen gyakran használt fogalom a racionalitás,
amelyen a legkülönböz®bb fajta jelentéseket szokás érteni. A továbbiakban csak
a cselekvéselmélet racionalitás fogalmát kívánjuk használni. (Elég itt csak Max
Weber, Herbert Simon vagy Jürgen Habermas racionalitás fogalmára, racionali-
tás értelmezésére utalni.) Jóformán néhány cselekvéselmélet, annyi racionalitás
fogalom. A fenti elméletek ugyanolyan okból támaszkodnak a racionalitásra,
mint mi, az emberi cselekvéssel kapcsolatos szükséges minimális feltevés okából.
Ezen elméletek két aspektusa lesz fontos számunkra. A fogalom értelmezésé-
nek egyik aspektusa valamilyen konzisztenciakövetelmény, racionálisnak mon-
dunk egy cselekvést, egy intézményi m¶ködést, egy szabályt, ha önmagának
nem mond ellent. (Nem keveredik circulus vitiosusba, nem fordul el® benne a
22-es csapdája stb.). A fogalom másik aspektusa, amelyre szükségünk lesz, az
valamiféle maximalizáló elv, azaz a cselekv®t, az intézményt, a szabályt akkor
mondjuk racionálisnak, ha a jobb és a rosszabb lehet®ség közül a nem rosszabbat
választja. A fogalom fenti két aspektusán kívül természetesen a cselekvéselmé-
letek még számos aspektusát elemzik a racionalitásnak, és az általunk vizsgált
aspektusokat is természetesen sokkal árnyaltabban vizsgálják. Egyel®re azonban
számunkra elég e fogalom ilyen szint¶ vizsgálata.
A kinyilvánított preferenciák
A közgazdaságtanban igen elterjedt koncepció, mellyel a fogyasztói maga-
tartást szándékoznak leírni (Samuelson 1949, Arrow 1959).
El®ször deniáljunk egy választási szabály által létrehozott preferenciát: azt
mondjuk, hogy x alternatíva Rc értelemben preferált y -nal szemben, ha létezik
olyan alternatívaegyüttes az alternatívák különböz® halmazainak egy megha-
tározott halmazában, mely esetén x-t választották és y -t választották volna,
Rc∗ értelemben pedig akkor mondjuk x-t preferáltnak, ha x-t választották, bár
y -t is választhatták volna, de mégsem választották. E denícióval kapcsolatot
létesítünk a válogatási módszer és egy bináris reláció között.
A válogatási elvekre számos követelményt deniáltak, e követelmények mind-
egyike valamilyen konzisztenciakritériumot fogalmaz meg, vagy úgy, hogy ha egy
alternatívát valamely alternatívával szemben preferálunk, akkor az ellenkez®jét
ugyanakkor ne tegyük, vagy úgy, hogy ha egy alternatívát választunk, akkor
az általunk ennél az alternatívánál jobbnak ítélt alternatívát is válasszuk, ha
képesek vagyunk az összes alternatívaegyüttesb®l választani, akkor ezek a kö-
vetelmények ekvivalensek, s®t a követelmények azt jelentik, hogy a válogatási
szabály mögött egy rendezés áll.
A fentieknél gyengébb és nagyon értelmesnek látszó követelményeket is el-
várhatunk, ilyen többek között a Cherno Axióma és az útfüggetlenség. Az
el®bbit Sen úgy interpretálta, ha egy játékban a világbajnok pakisztáni, akkor
a világbajnoknak Pakisztán bajnokának is lennie kell, az utóbbit, az útfügget-
lenséget pedig a következ®képpen interpretálhatnánk, ha két csoportból külön
választunk, majd a választottakból újra választunk, akkor az így választottnak
meg kell egyeznie az összességb®l kiválasztottal.
A fenti gyengébb kívánalmak és még néhány kiegészít® kívánalom azt jelenti,
hogy válogatási eljárásunk mögött egy többé-kevésbé (kvázi-) tranzitív reláció
áll.
Pareto elvek
1.4. Racionalitás
(1,14) Definíció: Legyen S = {S : S ⊂ X S 6= ∅} és S 6= ∅.
124 1. PREFERENCIÁK ÉS PARETO ELVEK
(1,7) Tétel:
SCA −→ SA
SA −→ WA
W A −→ W CA
W A −→ AA
SA ←→ FR −→ QT R
l ↑ ↑
WA | |
l | |
W CA | |
l ↓ ↓
SCA ←→ AA −→ (CA + SU A + GC)
1.5. PARETO ELVEK 127
(1,11) Állítás: SP −→ P −→ W P .
\
(x, y) ∈ P (Ria ) −→ {x} = C a ({x, y}) ∀ a = (R1a , . . . , Rna ).
i∈M
(1,4) Megjegyzés: a fenti fogalmakat szokás lokális dönt®, majdnem dönt® stb.
nevezni.
(1,5) Megjegyzés: a blokkoló helyett szokás semidönt® szót használni, lásd Kelly
(1978).
(1,12) Állítás: gyenge Pareto elv azonos azzal, hogy N az egyének halmaza
globálisan majdnem dönt®.
(1,13) Állítás: Er®s Pareto elv azonos azzal, hogy N globálisan dönt®.
2. fejezet
Döntéselmélet
129
130 2. DÖNTÉSELMÉLET
(2,3) Megjegyzés: |A| < ∞ esetén is átlépünk a végtelen döntési térbe, hiszen
az eloszlások száma végtelen.
pe = {(p1 , q1 ), (p2 , 1 − q1 )}
és ( ! !)
n
X n
X
p2 = b, qi u(ai ) , w, 1 − qi u(ai )
i=1 i=1
2. Axióma miatt:
n
X n
X
pi u(ai ) ≤ qi u(ai ) azaz
i=1 i=1
F u(p1 ) ≤ F u(p2 ).
(2,2) Paradoxon
1. Döntési szituáció: 600 ember néz olyan fert®zés elé, amely halálos lehet.
a1 szérum 400 embert biztosan megment, míg 200 számára nem hatásos.
a2 szérum 1/3 valószín¶séggel senkinek nem használ és 2/3 valószín¶séggel
mindenkinek.
2. Döntési szituáció: 600 ember néz olyan fert®zés elé, amely halálos lehet.
b1 szérum 200 embert megöl, és 400-at bizonyosan megment. b2 szérum
2/3 valószín¶séggel senkit sem öl meg, és 1/3 valószín¶séggel mindenkit.
Jól látható, hogy a két döntési helyzet ekvivalens, mégis a helyzet nagymér-
tékben befolyásolja preferenciánkat.
3. fejezet
Gazdasági játékok
133
134 3. GAZDASÁGI JÁTÉKOK
ci (qi ) = cqi p = a − bQ
ui (qi ) = (a − c)qi − bqi q−i − bqi2
deriválva (a − c) − bq−i − 2bqi = 0
(a − c) q
BR(q) = max − ,0
2b 2
ekkor
dD(q−i
D(q 1 ) > 0 és = b(qi − BRi (q 1 )) < 0
dq−i
így q−i < q 1 , D(q−i ) > 0 ezért qi -t BRi (q 1 ) dominálja, a qi > BRi (q 0 )-ra is
hasonlóan igaz az állítás.
a−c
(3,2) Állítás: A fenti játék domináns megoldása a q = .
3b
Bizonyítás: Iterált eliminációval:
Legyen S = [0, ∞)
a−c
1. lépés: [0, BR(0))0, ahol BR(0) =
2b
2. lépés: [BR2 (0), BR(0)]
3. lépés: [BR2 (0), BR3 (0)] . . .
..
.
Az intervallumok alsó határa BR2t (0), fels® határa pedig: BR2t+1 (0), ahol
X
t 2
t a−c 1
BR (0) = − − .
b 2
j=1
3.1. COURNOT JÁTÉK (SZIMULTÁN TERMELÉSI VERSENY) 135
a−c
BR∞ (0) = .
3b
Lineáris Cournot 2-nél több azonos típusú céggel
A fenti
X állítást fogalmazzuk át! Jelölje q−i a többi cég összkibocsátását:
q−i = qj .
j,j6=i
Ekkor az iteratív elimináció:
Stratégiahalmaz S = [0, ∞)
Els® lépés [0, BR()]
Második lépés [BR(N.1)BR(0), BR(0)]
a−c
(N − 1)BR(0) ≥ így BR(N − 1)BR(0) = 0 ,
b
azaz az iteráció során nem történik semmi. Csak abban lehetünk biztosak, hogy
az egyes cégek nem termelnek a monopolkibocsátásnál többet.
N
X N
X
q = (q1 , . . . , qN ), Q = qi Q−i = qj
i=1 j=1
j6=i
Ekkor S = R+ .
Tegyük fel a továbbiakban, hogy ui (q) kvázikonkáv qi -ben i-re megoldva:
9 (a − c)2 δ (a − c)2
+ .
64 b 1−δ 9b
ui (q L , q L ) > ui (q H , q H ).
ha q L , akkor:
ui (BRi (q L ), q L ) − ui (q L , q L ) ≤ δ[ui (q L , q L ) − ui (q H , q H )]
ha q H , akkor
ui (BRi (q H ), q H ) − ui (q H , q H ) ≤ δ[ui (q L , q L ) − ui (q H , q H )]
Mivel Q(p)(p − c) p-ben szigorúan monoton növeked® [c, pm ]-n, azért nincs
olyan p1 ∈ (c, pm ], mely gyengén dominált lenne. Ha p2 > p1 , p1 kizetése
magasabb, ha p − i ∈ (p1 , p2 ). Ha p1 > p2 , akkor p1 kizetése magasabb, ha
p−i > p1 .
Azaz az elimináció után a (c, pm ] intervallum marad.
Bizonyítás: Tegyük fel, hogy (p∗1 , p∗2 , p∗N ) Nash egyensúly legyen
p = min p∗i
i
Ekkor ha:
p∗2 > p. Ekkor a 2. cég kizetése 0, viszont p2 ∈ (c, p) pozitív kizetést ad,
így az eredeti állapot nem lehetett egyszer¶
(3,6) Megjegyzés:
1
ha N = 2 δ=
2
ha N −→ ∞ δ −→ 1!
(3,7) Megjegyzés: Ebben a játékban δ csak N függvénye, azaz sem c-t®l, sem
p-t®l nem függ.
Nash egyensúly
4.1.1. Feltevések
A leképezéssel szemben, mint azt már megjegyeztük, nemcsak az értelmezési tar-
tományra és az értékkészletre direkt módon kirótt feltételek formájában teszünk
feltételeket, hanem egyéb feltevésekkel is fogunk élni e leképezésre vonatkozóan.
E feltevések a "józan paraszti ész" feltevései, természetesnek t¶nnek olyanok,
143
144 4. TÁRSADALMI VÁLASZTÁSOK ELMÉLETE
(4,3) Definíció: Társadalmi döntési függvény (SDF ) egy olyan CCR, melynek
képtere az olyan SCF -ek, melyek X fölött értelmezettek, értelmezési tartomá-
nya pedig az egyéni rendezések tere.
(4,4) Definíció: Társadalmi jóléti függvény (SW F ) egy olyan CCR, mely képe
rendezés, értelmezési tartománya pedig az egyéni rendelések.
P Pareto elv
D F nem diktatórikus
Bizonyítás:
4.2. Manipulálhatóság
Ebben az alfejezetben az eddig megismerteket alkalmazzuk a szavazások terüle-
tére.
Választóinkkal kapcsolatban természetesen adódik a feltevés, hogy szeret-
nék, hogy számukra kedvez® alternatíva legyen a gy®ztes, és eszerint szeretnék
szavazási stratégiájukat megválasztani. Mint az el®z® mondatból világos, má-
ris a játékelmélet területér®l ismer®s fogalmak, játékosok, stratégiák kerültek
elénk. A leggyakoribb játékelméleti fogalom az egyszer¶ játék, ennek deniálá-
sához csak a játékosok és a közülük gy®ztesek csoportjainak meghatározására
van szükség.
A szokásos játékelméleti fogalmakkal a diktatórikusságot akként határoz-
hatjuk meg, hogy létezik egy egyén, akinek a tagságától függ, hogy egy koalíció
gy®ztes lesz-e, avagy sem. Arrow tételét bizonyítjuk, megmutatva, hogy e fo-
galmi keretben milyen egyszer¶en belátható a tétel.
Választóink kedvez®bb pozícióba kerülésükhöz stratégiákat választanak, je-
len egyszer¶ esetünkben ez annyit jelent, hogy preferenciáikat manipulálják, és
4.2. MANIPULÁLHATÓSÁG 149
bizonyos szituációkban mást mondanak, mint amit gondolnak. Azaz valódi pre-
ferenciáik helyett valódi vagy vélt el®nyök reményében más preferenciát monda-
nak. Ez bizony nem túl dicséretes magatartás. Többeknek eszébe jutott, hogy
a közösségi döntési eljárást úgy kellene megalkotni, hogy legalábbis ne jutal-
mazza az ilyen magatartást, azaz legyen stratégiabiztos abban az értelemben,
hogy ha valaki nem az "igazi" preferenciáját mondja, ne járhasson jobban, mint
ha igazat mond.
Sajnos ismét negatív eredményhez jutunk. Gibbard és Satterthwaite tétele
kimondja, hogy ha egy társadalmi választási eljárás nem manipulálható, és az
eljárás legalább három alternatívát számba vesz, akkor diktatórikus. S®t, ennél
általánosabb állítás is igaz. Ha bevezetjük az ellenlépéssel nem manipulálható-
ság fogalmát, amely azt jelenti, hogy ha valaki manipulál, az jogosan számíthat
mások részér®l is olyan manipulációra, amely után nem jár jobban, akkor igaz
az el®z® tételhez hasonló állítás, ha egy eljárás képe legalább három alternatívát
tartalmaz és az eljárás ellenlépéssel nem manipulálható, akkor diktatórikus.
Tekintsünk egy példát, amely érzékelteti a fentieket:
2
x x y y z z
1 y z x z x y
z y z x y x
xyz x x y y z z
xzy x x y y z z
1 yxz x x y y z z
yzx x x y y z z
zxy x x y y z z
zyx x x y y z z
y x
Az x z prolra a szabály manipulálható 1. által, hiszen ha yzx-t hazudja,
z y
akkor y lesz a végeredmény, ami jobban megfelel neki. Tegyük fel, hogy ezt a 2.
játékos is észreveszi, és ezért ® is lódít ez zxy -t mond akkor az eredmény z .
ν(G) = {min{σ | σ ⊂ W és ∩ {M | M ∈ σ} = ∅}
(4,2) Tétel: (Nakamura 1979) Legyen hN, W i egyszer¶ játék vétójátékosok nél-
kül és |X| < ∞, ekkor C(RN ) 6= ∅ pontosan akkor, ha |X| < ν(G).
R1 R2 R3
a c b
b a c
c b a
152 4. TÁRSADALMI VÁLASZTÁSOK ELMÉLETE
(4,2) Állítás: G egyszer¶ játék és |X| < ∞, akkor C(RN ) 6= ∅ pontosan akkor,
ha Dom(RN ) aciklikus ∀ RN -re.
(x ∈ P ar(RN ) : x ∈ X és 6 ∃ y ∈ X y 6= x : yPi x ∀ i ∈ N ).
∀ x, y ∈ X π(x)π(R)π(y) ←→ xRy.
(4,24) Definíció: H SCF -re teljesül az er®s pozitív kapcsolat (SP A) tulaj-
donság, ha RN és x ∈ H(RN ), ha R1N és ∀ i ∈ N és y ∈ X -re
xPi y −→ xPii y és xIi y −→ xRii , akkor x ∈ H(R1N ).
prol, hogy
/ M −→ Rk00 = R0 és
1. k ∈
n
2. F (Rn )Pi (F (R00 ).
Elosztási igazságosság
157
158 5. ELOSZTÁSI IGAZSÁGOSSÁG
sonlítja össze, és állítja róluk, hogy igazságosabbak vagy kevésbé igazságosak egy
másik állapotnál (állapotrendszernél), és így ezen lehetséges állapotokat rendezi
gyenge értelemben (ha ténylegesen is rendezésr®l van szó, akkor teljes igazsá-
gossági elvr®l beszélünk).
Mindenfajta igazságossági elv egyik alapkoncepciója az emberek felcserélhe-
t®ségének, a viszonyok megfordíthatóságának elve, "amit nem akarsz magadnak,
ne tedd másnak". Ez a mi fogalmainkkal azt jelenti, hogy az igazságelv ne legyen
érzékeny az egyének permutációjára. Suppes elve ezt úgy fogalmazza meg, hogy
egy állapotot legalább olyan igazságosnak tart, mint egy másikat, ha létezik az
egyéneknek olyan felcserélése, hogy az egyéni hasznosságokban nem következik
be romlás, és ha legalább egy egyénnél javulás következik be, akkor azt mondjuk,
hogy az egyik állapot Suppes-i értelemben igazságosabb a másiknál.
Tekintsünk egy példát: Legyen három személyünk és két állapotunk és az
egyének értékelése a következ®:
1. 2.
A 2 3
B 3 1
C 3 1
Muzulmán Hindu
1. állapot 2 disznó 0 marha 0 disznó 2 marha
2. állapot 0 disznó 1 marha 1 disznó 0 marha
A B
1. 50 50
2. 100 1
(x, y) ∈ wR (u) ←→ i) (u(x, 1), . . . , u(x, n)) (u(y, 1), u(y, n)),
vagy ii) (u(x, 1), . . . , u(x, n)) = (u(y, 1), u(y, n)).
i)-nél (x, y) ∈ P (wR (u)), ii)-nél (x, y) ∈ I(wR (u)), ahol és = a következ®t
jelenti:
1 1 1 2 2 2 ∀ i ∈ {1, . . . , r − 1}u1i = u2i
u = (u1 . . . un ) (u1 . . . un ) = u ←→ ∃ r ∈ N
u1r > u2r
és
u1 = u2 ←→ ∀ i ∈ N : u1i = u2i .
(5,1) Tétel: (Sen 1970) Az azonosság elvének feltevése mellett a Pareto elv
összeegyeztethet® a Suppes-i igazságossági elvvel és
∀ x, y ∈ X xP y −→ xws y.
(5,1) Megjegyzés: a fenti állítás az azonosság elvének feltevése nélkül nem igaz.
u(y, j) > u(x, j) > u(x, k) > u(y, k) és ∀ i ∈ N \ {j, k} : u(x, i) = u(y, i)
Alkudozáselmélet
163
164 6. ALKUDOZÁSELMÉLET
3. ∃ u ∈ S , melyre d < u.
(6,1) Tétel: (Nash 1950) Egy megoldás Pareto optimális, er®sen individuálisan
racionális, teljesül az irreleváns alternatívák függetlensége, és skála an transz-
formációtól független pontosan akkor, ha nem szimmetrikus Nash megoldás.
(6,13) Definíció: Azt mondjuk, hogy ha adott (a, S) ∈ B0Q és (b, T ) ∈ B0P és
Q < P , hogy (b, T ) (a, S)-b®l adódik új ágensek bevezetésével,
ha i) ai = bi ∀ i ∈ Q
ii) u ∈ S pontosan akkor, ha ∃ w ∈ T ui = wi ∀ i ∈ Q.
(6,3) Tétel: Egy B0 -on értelmezett megoldás pontosan akkor Pareto optimális,
szimmetrikus, invariáns az an transzformációkon és ágenseken monoton, ha
a KalaiSmorodinsky megoldás.
167
[3] Axelrod, Robert: The evolution of cooperation. New York: Basic Books,
1984.
[7] Binmore, Ken: Fun and games. New York: D.C Heath, 1992.
[8] Binmore, Ken: Playing fair: game theory and the social contract. Camb-
ridge MA: MIT Press, 1994.
[9] Binmore, Ken: Just Playing. Cambridge, MA: MIT Press, 1998.
[12] Dixit, Avinash and Skeath Susan: Games of Strategy. New York:
W.W.Norton, 1999.
169
170 Irodalom
[14] Forgó Ferenc & Szép Jen®: Bevezetés a játékelméletbe. KJK 1977.
[15] Fudenberg, Drew and Jean Tirole: Game Theory. Cambridge, MA:
MIT Press, 1991.
[17] Gardner Roy: Games for Business and Economics, John Wiley 1995
[19] Gibbons, Robert: Game theory for applied economists. Princeton: Prin-
ceton University Press, 1992.
[24] Jeffrey, Richard: The Logic of Decision, 2nd. edn. Chicago: Univer-
sity of Chicago Press, 1983
[27] Kreps, David: Game Theory and Economic Modelling. Oxford: Oxford
University Press, 1990.
[29] Luce, Robert Duncan and Howard Raiffa. Games and decisions.
New York: Willey, 1957.
Irodalom 171
[30] McMillan, John, Games, Strategies and Managers, New York and Ox-
ford: Oxford University Press, 1992
[31] Maynard Smith, John, Evolution and the Theory of Games, Cambridge,
New York and Melbourne: Cambridge University Press, 1982
[32] Morrow, James D., Game Theory for Political Scientists, Princeton NJ:
Princeton University Press, 1994
[33] Moulin, Herve: Game Theory for the Social Sciences. 2nd.ed New York:
New York University Press, 1986.
[35] Ordeshook, P.C.: Game theory and political theory. Cambridge, UK:
Cambridge University Press, 1986.
[41] Shubik, Martin: Game Theory in the Social Sciences. Cambridge, MA:
MIT Press, 1984.
[45] von Menachem, and Maja Bar-Hillel: "On Dividing Justly". Social
Choice and Welfare 1 (1984): 1-24.
172 Irodalom
[46] Zagare, F., Game theory: Concepts and applications. Quantitative App-
lications in the Social Sciences Series No. 41. Thousand Oaks, CA: Sage
Publications, 1984.
Tárgymutató
173
174 TÁRGYMUTATÓ
pártatlanság, 161
piaci játék átvihet® nyereménnyel, 94
prudens, 20
prudens stratégia, 35
részjáték, 51, 72
racionalizálhatóság, 55
Rawls-i igazságosság, 161
θ információfüggvény
Θ információfüggvények halmaza
K tudásfüggvény
δ diszkonttényez®
I elosztások halmaza
ν karakterisztikus függvény
N karakterisztikus függvények halmaza
τ jelfüggvény (signal)
e többlet (excess)
ϕ Shapleyfüggvény
π permutáció
Fogalomtár