Secondary Menu

Hrmond Beszl lapok E-kikt Blogok Beszl tj Hangos kikt Infosziget Megrendels

You are here:

2005. jniusjlius, vfolyam 10, Szm 6 Messzelt

Tallkozs a jtkelmlettel
Szilgyi Mikls Ktszerepls jtkoktl a sokszerepls trsadalmi jelensgekig Vlperes trgyalson vagyunk. A frj beismeri, hogy megcsalta a felesgt. Nem volt ms vlasztsom, mondja. Nem lettem volna kpes elviselni azt a megalztatst, hogy a felesgem esetleg felszarvaz, mikzben n h maradok hozz. Honnan vette, hogy a felesge megcsalja?, krdezi a br. Nem tudtam, csak gondoltam. gy okoskodtam, hogy ha nem csal meg, akkor is jobban jrok a flrelpssel, mivel az j s kellemes lmnyeket jelent szmomra. Radsul ebben az esetben n vagyok a gyztes. s n, Asszonyom?, szl a br. n pontosan ugyanezt tudom elmondani, vallja be elpirulva a felesg. Ktszerepls jtkok A fiatal Neumann Jnos egyik nagyszer tlete alapjn 1928-ban ltrehozta a jtkelmletet [Neumann].

Eredetileg htkznapi ktszerepls helyzetek tanulmnyozsra szolglt, ahol mindegyik rsztvevnek olyan dntseket kell hoznia, hogy az eredmny a lehet legelnysebb legyen szmra, ami persze nemcsak a sajt dntstl, hanem az ellenfeltl is fgg. Nagyon hamar kiderlt, hogy ez az elmlet nemcsak a ktszerepls szrakoztat jtkok elemzsre alkalmas, hanem igen sok gyakorlati alkalmazsa is van. Erre elsnek a kzgazdszok jttek r, hiszen a piac is tulajdonkppen egy jtk [NeumannMorgenstern]. Neumann munkja elszr csak ktszerepls, lland sszeg jtkokra vonatkozott. (A pontozs mdjtl fggen a jtk sszege lehet brmilyen lland. Ez azonban csak a skla eltolst jelenti, ezrt az lland sszeg jtkokat gyakran nullasszegeknek is nevezik.) Ilyen pldul a sakk, hiszen az egyik jtkos nyeresge a msik vesztesge. Ezt tiszta konfliktusnak nevezzk. Neumann felttelezte tovbb, hogy a szereplk mindig a lehet legjobb lpst vlasztjk (racionalits), s ismerik a sajt maguk s az ellenfl ltal hozott klnbz dntsek sszes lehetsges kimenetelt (teljes informci). Az ilyen jtkokra optimlis stratgikat dolgozott ki, amelyekkel mindkt jtkos a lehet legjobb eredmnyt rheti el. Neumann n. minimax-stratgija alapjn lehet pldul olyan szmtgpes programokat rni, amelyek szinte mindenkit megvernek, pldul az Otello (Reversi) jtkban, mivel a szmtgp egyetlen lpst sem nz el, ellenttben velnk, gyarl emberekkel. A legegyszerbb ktszerepls jtkok esetn mindkt rsztvevnek mindssze kt vlasztsi lehetsge van. Jelljk ezeket C-vel s D-vel. Ennek megfelelen ngy klnbz eredmny kpzelhet el: CC, CD, DC s DD (az els vlaszts az els jtkosra, a msodik a msodikra vonatkozik). A jtk lehetsges kimeneteleit a kvetkez tblzat szemllteti: C C D a1, a2 c1, c2 1. tblzat Az els jtkos vlaszthat a sorok, a msodik az oszlopok kztt. Attl fggen, hogy mit vlasztottak, mindketten klnbz jutalmakat (bntetseket) kapnak. Ha pldul az els jtkos C-t, a msodik D-t vlaszt, akkor az els jutalma b1, a msodik b2 lesz. Kizrjuk tovbb azt a lehetsget, hogy valamelyikk is egyforma jutalmat kap klnbz kimenetelek esetn. Mivel a1, b1, c1 s d1 ppgy, mint a2, b2, c2 s d2 kln-kln 4 x 3 x 2 x 1 = 24-flekppen helyezhet sorrendbe, ezrt lthatjuk, hogy mg ebben a nagyon egyszer esetben is 24 x 24 = 576 klnbz jtk kpzelhet el. A helyzetet nmileg egyszersti, hogy a sorok, illetve oszlopok, valamint a jtkosok felcserlsvel gyakorlatilag azonos jtkokhoz jutunk. Ha ezeket elhagyjuk, az eredmny mg mindig 78 klnbz jtk [RapoportGuyer]. A 78 klnbz eset kztt csak hrom lland sszeg jtkot tallunk. Tekintsnk egy pldt a fenti tblzatra: C C D 3, 3 4, 1 D 1, 4 2, 2 D b1, b2 d1, d2

2. tblzat A szmok itt csupn a jutalmak nagysgnak sorrendjt s nem a jutalmak nagysgt jellik, vagyis azt jelentik, hogy ebben az esetben c1 > a1 > d1 > b1 s b2 > a2 > d2 > c2. Knny szrevenni, hogy ez egy szimmetrikus jtk (a1 = a2, b1 = c2, c1 = b2 s d1 = d2), mivel a kt jtkos felcserlsvel ugyanazt a jutalomtblzatot kapjuk. A 78 klnbz jtk kzl 12 szimmetrikus. Ezt a jtkot 1950-ben a Rand Corporation kutati talltk ki az egyni s a kollektv racionalits kztti kibkthetetlen ellentmonds, vagyis az emberi trsadalom tkletlensgnek szemlltetsre. Fogolydilemmnak neveztk el, mert az eredeti megfogalmazsban kt bnzrl volt sz. Ha brmelyikk vallomst tesz a msikra, mikzben az hallgat, akkor az els szabadlbra kerl, mg trsa letfogytig lhet a brtnben. Legjobban akkor jrnnak, ha mindketten hallgatnnak, mert akkor nem lenne dnt bizonytk ellenk, s viszonylag kis bntetst kapnnak. Igen m, de mindketten szabadulni akarnak, ezrt el fogjk rulni egymst, s ennek kvetkeztben egytt lhetnek hossz ideig. Vagyis mindegyikk szmra a rossz dnts tnik elnysnek. Szinte nincs a trsadalmi letnek egyetlen olyan terlete sem, ahol a fogolydilemma ne jelentkeznk. Irodalma hatalmas. Mr 1965-ben komoly monogrfia jelent meg rla [RapoportChammah]. A nyolcvanas vekben versenyt hirdettek szmtgpes programok kztt, melyeknek ismtelt fogolydilemma-jtkokat kellett egymssal jtszaniuk a bajnoki cmrt, ami a legnagyobb pontszmot elr programnak jutott [Axelrod]. Az ismtelt jtk abban klnbzik az egylpsestl, hogy itt md nylik az ellenfl elz lpseit az ismtelt jtk sorn figyelembe venni s azokra reaglni. A verseny nyomn vilgoss vlt, hogy sikert csak akkor rhetnk el, ha eltrnk a racionalitstl. A versenyek irnti nagy rdekldst mutatja, hogy az eredmnyesnl eredmnyesebb ktszemlyes dilemma-algoritmusok mg ma is egymst kvetik [Hoffmann]. A 2. tblzat segtsgvel knnyen bevezethetnk nhny fontos jtkelmleti fogalmat. Mivel 4 > 3 s 2 > 1, mindkt jtkos szmra mindig D elnys, fggetlenl a msik jtkos vlasztstl. D teht dominns stratgia mindkt jtkos szmra, s ennek kvetkeztben DD az egyenslyi helyzet, amit legtbbszr Nash-egyenslynak neveznek. (Nvadjrl szl az Egy csodlatos elme cm film.) Ha brmelyik jtkos egyedl hagyja el az egyenslyi helyzetet, rosszabb helyzetbe kerl. Ezt lttuk a bevezet szituciban is: mindkt jtkos a flrelpst (D) vlasztotta, mert hzastrsa cselekedettl fggetlenl ez volt szmra elnysebb. Azt is ltjuk viszont, hogy mindkt jtkos akkor jrna legjobban, ha hek maradnnak egymshoz (CC). Ezt Pareto-optimlis helyzetnek nevezzk (Vilfredo Pareto olasz kzgazdsz utn.) Az egyensly (DD) ebben az esetben fogyatkos, mivel a vls tvolrl sem a legjobb megolds. Knnyen belthat, hogy ha brmelyik jtkos rendelkezik dominns stratgival, akkor a jtknak egy egyenslyi helyzete van, ha azonban ez egyiknek sincs, akkor vagy kt egyensly van, vagy egy sincs. Dilemmk A sokszerepls jtkok szempontjbl elssorban a szimmetrikus jtkok lesznek rdekesek, ezrt ezen jtkok trgyalsnak megknnytsre ltalnostsuk a 2. tblzatot: C C R, R D S, T

T, S 3. tblzat

P, P

Amint lttuk, a fogolydilemma esetben T > R > P > S. Ha az irodalomban elterjedt angol szavaknak megfelel jellseknek rtelmet adunk, megrtjk a dilemma mlysgt. C az egyttmkdst (cooperation), D a htlensget (defection) jelenti. Ha mindkt jtkos hajland egyttmkdni, R jutalmat (reward) kapnak, ha mindketten megprbljk becsapni egymst, P a bntetsk (punishment). Ha az egyik jtkos htlen, mikzben a msik kooperlna, a htlen bedl a nagy T ksrtsnek (temptation), a prul jrt egyttmkd viszont nagy S rat (suckers payoff) fizet baleksgrt. A fogolydilemma nem az egyetlen trsadalmi dilemma. Az irodalomban nem alakult ki a dilemmk egysges defincija. Vlemnyem szerint dilemmk azok a szitucik, amikor a ksrts a htlensgre nagyobb, mint a kzs jutalom, s ez nagyobb, mint a kzs bntets (T > R > P). Ilyenkor rdemes megprblni a htlenkedst, br a kzs egyttmkds elnysebb, mint a kzs htlensg. A szimmetrikus jtkok kztt ngy dilemmt tallunk minden esetben felttelezzk, hogy a jtkosok nem ismerik trsuk dntst: Fogolydilemma (T >R > P > S). Egyensly: DD (lsd fent). Gyvanyl-dilemma (T > R > S > P). Ez a vad tindzserek jtka volt az tvenes vekben, amit egy amerikai filmben is megrktettek. Lnyege egy olyan autverseny, amikor a kt jtkos autval egyms fel szguld. Aki kitr (azaz egyttmkdni prbl), azt gyva nylnak csfoljk, mg a msikat (a htlenkedt) hsknt nneplik. A tt nem kevs. Hiszen ha mindketten kitrnek (CC), akkor ugyan mindketten letben maradnak, de egyikk sem lesz hs. Ezzel szemben ha egyikk sem tr ki (DD), akkor mindketten belehalnak a hskdsbe. A T > R > S > P egyenltlensgek teljeslse esetn a 3. tblzat segtsgvel lthat, hogy CD s DC az egyenslyi helyzetek. Ennek a dilemmnak tipikus pldja a hideghbor. A kt szuperhatalom llandan fenyegette egymst, m vgl is egyikk mindig engedett, hogy ne kvetkezzk be nukleris katasztrfa. A gyvanyl-dilemma jindulat vltozata (T > S > R > P). Tovbbra is CD s DC az egyenslyok s DD a legrosszabb megolds. A gyva nyl azonban most jobb helyzetben van, mint az elz esetben, hiszen blcs dntsrt nagyobb jutalmat kap, mintha mindketten kitrtek volna. Vezrdilemma (S > T > R > P). A rgi vicc szerint kt japn kzl az az udvariasabb, aki kevsb udvarias, mert megengedi, hogy a msik legyen az udvariasabb. Kpzeljk el, hogy a kt japn egy szk ajtn akar keresztlmenni. Ellenttben a gyva nyllal, az egyttmkd most a vezr szerept jtssza, aki vllalja a kevsb udvarias szerept, s elsnek indul el. kapja az nzetlen japnnak kijr legnagyobb jutalmat. A vezr cselekedete azonban a htlen szmra sem elnytelen, hiszen mg a vezr jut t elszr az ajtn, az udvariasabb szerepben tetszeleghet. Baj csak akkor van, ha mindketten ugyanazt teszik. Ha mindkett vezr akar lenni (CC), akkor csak egymshoz prseldve jutnak t az ajtn, ha viszont egyik sem (DD), akkor rkk az ajt eltt fognak hajlongani. Az egyenslyok ismt CD s DC esetben lpnek fel. Az irodalomban rdeklds mutatkozott tbb ms jtk irnt is, mivel br a fenti defincinak nem felelnek meg ezek sem vezetnek egyrtelm stratgihoz, gy htkznapi rtelemben ezek is dilemmk. Lssunk kzlk hrmat: Nemek harca (T > S > P > R). Egy hzaspr mindkt tagja szeretn az estt a prjval egytt tlteni, de jl tudjk, hogy a frj futballmeccsre menne szvesebben, a felesg pedig sznhzba. Az egyttmkd hajland engedni a msik kvnsgnak, a htlen viszont ragaszkodik a sajtjhoz. Legjobban az a fl jr, aki nem enged, mg a prja engedkeny. Aki enged, valamivel rosszabbul jr, mert nem a kvnsga szerint tlti az estt, de legalbb egytt lehetnek. Mivel nem ismerik egyms dntst, ezrt ha mindketten

engednek (CC), vagy egyikk sem (DD), akkor nem lehetnek egytt, de CC mg rosszabb, mint DD, mivel CC esetn egyikk sem azt csinlja, amit szeretne. Egyenslyok: CD s DC. Szarvasvadszat (R > T > P > S). Ezt a jtkot Jean Jacques Rousseau tallta ki a trsadalmi rdek szemlltetsre. Kt vadsznak arra a krdsre kell vlaszolnia, hogy szarvasra (C) vagy nylra (D) akar-e vadszni. Akkor jrnak legjobban, ha mindketten a szarvast vlasztjk. Ha azonban csak egyikk dnt a szarvas mellett, akkor hoppon marad, mert egyedl nem sokra megy, mg a trsa l egy nyulat, s radsul v a siker rme is. Ha egyikk sem akar egyttmkdni, mindkettnek meg kell elgednie egy-egy nyllal. Egyenslyok: CC s DD. Holtpont (T > P > R > S). Ebben a jtkban mindkt verseng a msiktl vrja, hogy engedjen, de azt egyikk sem teszi, mivel a fogolydilemmhoz hasonlan mindkettnek a htlensg a dominns stratgija, ezrt az egyensly itt is DD-nl alakul ki. Ebben az esetben azonban a klcsns htlensg egyben a Pareto-optimlis helyzet is, ezrt a Holtpont vgkpp nem tekinthet dilemmnak. Lthatjuk, hogy a jtkoknl a lnyeg a jutalmak viszonya egymshoz, illetve azok szmszer rtke. Sokszerepls jtkok Az let ltal ltrehozott valsgos jtkoknak rendszerint tbb mint kt szereplje van, sok esetben akr tbb milli is. Ezek tvolrl sem lland sszegek, hiszen gyakran elfordul, hogy minden rsztvev veszt (pl. racionlis fogolydilemma), vagy ppen nyer (becsletes szabadpiac). Teljes informci szinte sohasem ll rendelkezsre (amikor belk az autmba, mg fogalmam sincs arrl, hogy egy vratlan baleset kvetkeztben mekkora forgalmi dug lesz az autplyn). A racionalits felttelezse egyenesen naiv, hiszen az embereket dntseiknl nem ppen az sszersg vezeti. A gyakorlatban alkalmazhat jtkelmletnek teht sokszerepls, nem racionlis, nem lland sszeg, nem teljes informcij jtkokat kell trgyalnia. Mieltt rtrnk arra, hogy mindez miknt lehetsges, s mi mindent kell figyelembe venni ezen sokszerepls jtkok modellezshez, megemltek egy fontos klnbsget a ktszerepls s a sokszerepls jtk kztt. A ktszerepls jtk befejezse utn pontosan lehet tudni, hogy melyik jtkos mit lpett, mg sokszerepls jtk esetn a felelssg megllapthatatlan. A htlen viselkeds ltal okozott kr megoszlik az sszes rsztvev kztt. Pontosabban: a jutalmak s bntetsek mrtkt az egyttmkdk arnya, vagyis a jtkosok dntsnek statisztikus eloszlsa hatrozza meg. Mint emltettem, a fogolydilemma szmtalan trsadalmi jelensgre jellemz. Plda erre a legel tragdija [Hardin], amelyet a ksbbiekben rszletesen fogunk elemezni. Angliban mg ma is szoksban van, hogy kisebb falvak kzs legelt tartanak fenn a lakosok llatainak elltsra. Kpzeljk el, hogy egy faluban szz csald l, s mindegyiknek egy tehene van. A legel ppen ennyi tehn szmra nyjt elegend tpllkot. Miutn bekltztem a faluba, szreveszem, hogy elfr mg egy tehn a legeln, veszek teht mg egy jl tejel tehenet, kihajtom a legelre, s a felesleges tejet eladom a piacon, miltal tbbletjvedelemhez jutok (htlen viselkedsem jutalma). A baj akkor kezddik, amikor a szomszdaim sem akarnak lemaradni, s hamarosan ktszz tehn prbl meglni a legeln. Ez az adott krlmnyek kztt lehetetlen. Valamennyi llat elpusztul, termszetesen az enymek is, gy bosszulva meg htlensgemet. Az emberek azonban szerencsre nem mind ilyenek, klnbz mdon reaglnak feleltlen viselkedsemre. Az egyttmkdk arnya a rsztvevk szemlyisgtl s vrmrsklettl fgg. Ennek kvetkeztben olyan egyenslyi helyzet jn ltre, amely merben klnbzik a totlis katasztrftl. Vannak olyan emberek, akik annyira jindulatak, hogy mg akkor sem vesznek mg egy tehenet, ha mr legtbb szomszdjuk ezt tette. Msok csak a szomszdjaik viselkedst figyelik, s figyelmen kvl

hagyjk a falu tbbi lakost. Sokan csak cselekedeteik kzvetlen kvetkezmnyvel szmolnak, megint msok pontosan megfigyelik korbbi viselkedsk hatst is, s gy tovbb. A rsztvevk szemlyisge teht meghatroz jelentsg. Kicsoda-micsoda A jtkelmlet kezelni tudja a sokszerepls jtkokat, amelyek igen bonyolultak, s szmuk vgtelen. A jtkok elemzshez mindenkppen tisztznunk kell a kvetkez krdseket [Szilagyi 3]: 1) Kik a jtkosok? Lehetnek szemlyek, csoportok, szervezetek, npek, llamok, idegsejtek, rovarok, szmtgpek stb. A szakirodalomban ezeket genseknek nevezzk. Az gensek olyan egysgek, amelyek kpesek a krnyezet hatsaira nll dntsekkel vlaszolni. Lehetnek nagyon egyszerek vagy igen bonyolultak, de kzs tulajdonsguk, hogy egymssal klcsnhatsban llnak. Pldul az agy nem egyszeren tbb millird idegsejt sszessge, hanem az idegsejtek llandan vltoz klcsnhatsai rvn mkd szerv. 2) Milyen dntsi lehetsgek kztt vlaszthatnak? Minden dntsi szituci bizonyos lehetsgekre korltozdik. Egyszer esetekben kt lehetsg kzl kell vlasztani (kihajtok-e mg egy tehenet a legelre), de az let ennl sokkal bonyolultabb helyzeteket is produkl (pldul mekkora szszeggel jrulok hozz egy nkntes kzs alaphoz). 3) Milyen informci ll rendelkezskre? A rsztvevk ismerik-e partnereik dntseit? Teljes informci csak akkor ll rendelkezsre, ha a jtkosok ismerik a sajt maguk s minden partnerk ltal hozott klnbz dntsek sszes lehetsges kimenetelt. Ez a legtbb esetben lehetetlen. Mieltt tra kelnk, csak rszben tmaszkodhatunk az utak helyzetre vonatkoz kzlekedsi hrekre. 4) Trgyalhatnak-e egymssal jtk kzben? Ltrehozhatnak-e koalcikat? Ez a politikai s kzgazdasgi jtkelmlet alapkrdse. Termszetesen erre csak akkor van lehetsg, ha a jtkosok ismerik a partnereiket (az elz pldban nem ismerik). Mg ha ismerik is egymst, nem biztos, hogy kpesek kommuniklni. A koalcik azonban alapveten megvltoztathatjk a jtk kpt. Gondoljunk csak a politikai prtok kztti alkudozsokra! 5) A jtkosok lpsei egyszerre trtnnek vagy idben el vannak osztva? Ez is nagy klnbsg. Az els esetben minden jtkos ugyanazt a krnyezetet tapasztalja, amikor dntst meghozza. A legtbb valsgos esetben azonban a klnbz gensek klnbz s egymssal sszefggsben nem lev idpontokban hozzk meg dntseiket. Ennek kvetkeztben mindegyikk egy kiss klnbz vilgot rzkel maga krl, mint a tbbiek. Az ilyen helyzeteket nehezen tudja kezelni a jtkelmlet. 6) Mi a jtk clja? A racionlis jtkosok a lehet legnagyobb jutalmat prbljk megszerezni maguknak. A szmtgpes programok kztti verseny esetn amelyrl korbban beszltnk a cl a legnagyobb pontszm elrse volt. Egyes jtkosok akkor boldogok, ha tbbre jutnak, mint a szomszdaik, msok viszont nem kvnnak kitnni trsaik kzl. A valsgban a klnbz jtkosok cljai nem mindig azonosak. Az is elfordulhat, hogy nincs klnsebb cljuk, hanem csupn reaglnak a klvilgtl kapott impulzusokra (pldul az idegsejtek). Gyakorlati szempontbl nem az egynek boldogulsa rdekes, hanem az, hogy mi a jtk trsadalmi eredmnye bizonyos adott felttelek teljeslse esetn. 7) Hny lpsbl ll a jtk? Az egylpses jtkok tanulmnyozsa nem klnsen rdekes. A valdi jtkok ltalban ismtldnek (minden nap jra el kell dntenem, hogy autval indulok-e el hazulrl).

8) Tbblpses jtk esetn hogyan hatrozzk meg a kvetkez lpst? Az jabb dntsek a jtkosok szemlyisgtl, sajt s szomszdaik elz dntseitl, valamint a krnyezettl kapott jutalmaktl/bntetsektl fggnek. A jtk elemzshez pontosan tudnunk kell, hogy ezek a tnyezk milyen mdon hatnak a kvetkez dntsre. 9) Mikor tekintjk a jtkot befejezettnek? Az ismtld jtkot akkor tekintjk befejezettnek, ha valamely fontos paramtere (pldul az egyttmkdk arnya) egy bizonyos helyzethez tart vagy akrl ingadozik. Ezt a helyzetet nevezzk a jtk eredmnynek. 10) Milyenek a jtkosok alapvet tulajdonsgai? Ennek a krdsnek meghatroz szerepe van a jtkok tanulmnyozsban. Az gensek ltalban nagyon bonyolultak. Gondoljunk csak az idegsejtre, amelynek kzelt matematikai lerst Nobel-djjal jutalmaztk [McCullochPitts]. Egy ideghlzat lershoz azonban elg, ha annyit tudunk, hogy mikor van egy idegsejt aktv llapotban. Ugyanez a helyzet az emberekkel is. Minden ember egy kln vilg, de a trsadalom szempontjbl elegend a legfontosabb tulajdonsgaikat ismerni. Az emberi szemlyisg lersra sokfle mdszert hasznlnak a pszicholgusok. Ezek kzl legfrappnsabbnak azt az tletet tartom, miszerint valamennyien 14 alapvet elmekrtani rendellenessg kombincii vagyunk [OldhamMorris]. Baj csak akkor van, ha valakiben e rendellenessgek egyike vagy msika elnyomja a tbbit. Eszerint minden embert 14 szmmal lehet jellemezni, ami elg knyelmes megoldsnak tnik, br ezt a mdszert ma mg senki sem alkalmazza a jtkelmletben. A jtkok lersnl tovbbi egyszerstssel lnk. Azt felttelezzk, hogy az ember az nzs, a konformizmus, a feltteles reflexek s nmi kis racionalits keverke. Aszerint, hogy melyik tulajdonsg jellemz rnk elssorban, klnbzkppen reaglunk a klvilgtl kapott ingerekre. Vagyis az irodalomban ltalban felttelezett egyformasg semmikppen sem fogadhat el. 11) Vltozik-e a szemlyisgk a jtk sorn? Elfordul, hogy lettapasztalata alapjn valaki annyira megvltozik, hogy ms szemlyisgkategriba kerl. Ez lehetsges egy sokszor ismtld jtk sorn is, ha kpesek vagyunk addigi kudarcainkbl levonni a szksges kvetkeztetseket. 12) Megtagadhatja-e valamelyik jtkos a jtkban val rszvtelt? Sakkozni nem lehet gy, hogy az egyik jtkos tengedi a msiknak az t megillet lpst. Kutuzov azonban gy verte meg Napleont, hogy lehetleg kitrt a csatk ell. A rszvtel megtagadsa teht nagyon is valsgos lehetsg. 13) Milyenek a jutalom/bntets-fggvnyek? Ha minden ms paramtert rgztnk, akkor a jutalom/bntets fggvnyek hatrozzk meg a jtk kimenetelt, ahol az egyttmkdk arnyt tekintjk fggetlen vltoznak. A fggvnyek egymshoz kpest elfoglalt helyzete legtbbszr nem elegend a jtk lershoz, a jutalmak s bntetsek szmszer rtkeit is ismernnk kell. A gyakorlati alkalmazsok szempontjbl a legnehezebb feladat a jutalom/bntets-fggvnyek pontos meghatrozsa valsgos adatok alapjn. 14) Szimmetrikus-e a jtk? A jtk akkor szimmetrikus, ha minden jtkos jutalom/bntets-fggvnyei azonosak. 15) Hogyan viszonyul a jtkosok sszegzett jutalma a kvnatos dntst hozk arnyhoz? Az egsz trsadalom teljes jutalma nem mindig akkor a legnagyobb, amikor a legtbben hoznak kvnatos dntst. Ennek kvetkeztben nem mindig elnys a rsztvevket j viselkedsre knyszerteni. Gondoljunk arra, hogy az llam milyen komoly bevtelektl esne el, ha senki sem srten meg a kzlekedsi szablyokat. 16) Hol helyezkednek el a jtkosok? A jtkosok trbeli elhelyezkedse sokflekppen trtnhet. Az is elfordulhat, hogy tbb jtkos foglalja el ugyanazt a terletet.

17) Kpesek-e mozogni? A fent emltett esetben, vagy ha kevesebb jtkos van, mint amennyi hely rendelkezskre ll, a jtkosok mozoghatnak is. Bonyolult trsadalmi helyzetek lershoz ezt figyelembe kell vennnk [EpsteinAxtell]. Ebben az esetben a rsztvevk szomszdsga llandan vltozik. 18) Milyen messzire terjed a klcsnhats kzttk? A trsadalom tagjai tbbnyire csak szk krnyezetkkel vannak kzvetlen kapcsolatban. A teljes trsadalommal azrt alakul ki kapcsolatuk, mert krnyezetk krnyezete ms elemeket is tartalmaz. Az genseket teht sejtautomatknak tekinthetjk, amelyek viselkedst sajt s szomszdjaik llapota hatrozza meg egyszer szablyok alapjn. Mr a legegyszerbb ilyen szablyok is rendkvl bonyolult struktrkat kpesek ltrehozni [Gardner]. A sejtautomatk tanulmnyozsa annyira rdekes, hogy megrdemelne egy klnll dolgozatot. Egyesek szerint a tudomny szinte minden problmjt rajtuk keresztl lehet megkzelteni [Wolfram]. 19) Hogyan hatrozzuk meg a klcsnhats mlysgt? Pontosan meg kell hatroznunk, hogy mit rtnk krnyezeten. Legegyszerbb a kzvetlen szomszdokra korltozd krnyezet. A tvolabb elhelyezked gensek kisebb-nagyobb mrtkben szintn befolysolhatjk a szban forg gens viselkedst. Az is elfordulhat, hogy mindenki mindenkivel kzvetlen kapcsolatban ll. Ebben az esetben a rsztvevk sszessge a krnyezet. A klcsnhats mlysge az a legnagyobb tvolsg, amilyen tvol elhelyezked gens mg az elz gens krnyezethez tartoznak tekinthet. Termszetesen ennyi paramter esetn nagyon nehz mg a jtkok rendszerbe foglalsa is, vizsglatukrl nem is beszlve. Ha valamennyi tbbi paramtert rgztjk is, mg mindig vgtelen sok jtk marad, mivel a lehetsges jutalom/bntets-fggvnyek szma vgtelen. Mindezek a jtkok az letben elfordul vgtelen szm szituci egyikt reprezentlhatjk. Szerencsre Neumann Jnos olyan eszkzt is adott neknk, amely lehetv teszi az igen bonyolult jtkok tanulmnyozst is. Radsul a ma rendelkezsre ll szmtgpek segtsgvel sokszerepls jtkok komoly elemzst is elvgezhetjk, st ezeket alkalmazhatjuk is trsadalmi jelensgek vizsglatra. A modell A sokszerepls jtkok szimulcijhoz elszr is meg kell hatroznunk, hogy mit akarunk modellezni, vagyis vlaszt kell adnunk a fenti krdsekre. Az itt szerepl egyszer modell nem korltozdik szemlyekre, hanem brmilyen gensek esetn rvnyes, akik kt lehetsg kzl vlaszthatnak. Jelljk ezeket a fentiekhez hasonlan C-vel s D-vel. Az egyetlen informci, amely rendelkezskre ll, a krnyezettl kapott jutalom vagy bntets. Jtsztrsaikrl semmit sem tudnak, ennek kvetkeztben alkudozni sem kpesek velk, s nem alkothatnak koalcikat. A jtkosok lpsei egyszerre trtnnek. A jtkosokat stochasztikus sejtautomatknak tekintjk. Ez azt jelenti, hogy a jtk kezdetn a sejtautomata bizonyos p valsznsggel vlasztja az egyttmkdst. Ez a valsznsg nem a sok szerepl kvetkezmnye, hanem minden egyes automata alapvet tulajdonsga. A valsznsg a szomszdok viselkedstl fggen, valamint a jtk sorn kapott jutalmak/bntetsek hatsra llandan vltozik. A szomszdok cselekedetei teht nem egyrtelmen hatrozzk meg az automata dntst, csak annak valsznsgre vannak hatssal. Jutalom esetn az elz vlaszts megismtlsnek valsznsge nvekszik, bntets esetn cskken. A jtk clja egyszer trsadalmi jelensgek vizsglata adott felttelek teljeslse esetn. Ismtld jtkot vizsglunk, amelyet akkor tekintnk befejezettnek, amikor az egyttmkdk arnya egy bizonyos rtken stabilizldik vagy akrl ingadozik. A jtkosok lpsei az elz lpsekrt kapott jutalomtl/bntetstl, szemlyisgktl, valamint az egyttmkdk mindenkori arnytl fggnek.

A jtkosok szemlyisgeinek a kvetkez, knnyen modellezhet tulajdonsgokat, valamint ezek tetszs szerinti kombinciit feleltetjk meg [Szilagyi 2]: Pavlovi: a p valsznsg a krnyezettl kapott jutalom vagy bntets arnyban nvekszik vagy cskken. A Pavlov ltal vizsglt feltteles reflexeknek megfelelen azokat a cselekedeteket szokjuk meg, amelyek szmunkra kedvez krlmnyekhez vezetnek. Knyvel: az elz dntsek nyomn kapott jutalmakat/bntetseket nyilvntartja, s az j dntsre vonatkoz valsznsg ezek tlagtl fgg. Konformista: szomszdjai tbbsgnek dntseit kveti. Moh: annak a szomszdnak a dntst utnozza, aki a legnagyobb jutalmat kapta. Eltklt: nem trdik a jutalmakkal/bntetsekkel. A p valsznsg lland. Ennek specilis esetei: Rosszindulat: mindig htlen (p = 0). Kiszmthatatlan: teljesen vletlenszeren cselekszik (p = 0,5). Jindulat: mindig egyttmkdik (p = 1). A szimulci sorn az gensek tulajdonsgai nem vltoznak, de egymstl klnbzhetnek, s a szereplk a jtkban val rszvtelt nem tagadhatjk meg. A jutalom/bntets-grbket tetszs szerinti fggvnyek hatrozhatjk meg, ezltal nagyon sok klnbz trsadalmi jelensg vizsglata vlik lehetv. Felttelezzk, hogy a vizsglt jtkok szimmetrikusak, vagyis minden jtkos jutalom/bntets-fggvnyei azonosak. A jtkosok egy skban helyezkednek el. Szmukat ami akr tbb milli is lehet csak a szmtgp virtulis memrija s a kperny felbontkpessge korltozza. A jtkosok az itt trgyalt esetekben nem mozoghatnak. A sejtautomatk kztti klcsnhatsok mlysgt tetszs szerint llthatjuk be. Eredmnyek Az elbbiekben lert modell alapjn szmtgpes programokat rhatunk, amelyek az adott krlmnyeknek megfelel trsadalmi jelensgeket szemlltetik. A szimulci sorn az egyttmkdk arnya folytonosan vltozik, mivel az gensek vlasztsra vonatkoz valsznsgei szntelenl vltoznak a jutalom/bntetsfggvnyek rtkei arnyban. E vltozsok a tbbi gens dntseitl, valamint az gensek szemlyisgtl is fggnek. A szmtgp kpernyjn minden jabb lps utn megjelennek az ppen C-t s D-t vlaszt gensek, llapotuknak megfelel sznezssel. Az itt kvetkez brkon a fekete gensek ppen C-t, a fehrek D-t vlasztottak. A jtkot az id fggvnyben grafikusan is kvethetjk. Minden gens llapotra vonatkozan kln-kln is felvilgostst kaphatunk [SzilagyiSzilagyi 1]. Nzznk nhny konkrt pldt olyan trsadalmi jelensgekre, amelyeket a trgyalt modell segtsgvel elemezhetnk; ezek kzl az elsvel rszletesebben foglalkozunk, a tbbinl felvillantunk nhny rdekessget [Szilagyi 1]. A legel tragdija Az egyttmkdk, illetve a htlenek C(x), illetve D(x) jutalom/bntets-fggvnyeit egy specilis esetben

az 1. brn lthatjuk. Ha az egyttmkdk arnyt x-szel jelljk, akkor az brn lthat fggvnyeket a D(x) = 2x 0,5, illetve a C(x) = 2x 1 egyszer lineris sszefggsek rjk le. Ha majdnem mindenki egyttmkdik, mindenki jutalmat kap, klnsen azok a kevesek, akik a htlensget vlasztjk. Ezek jutalma mindig nagyobb, mint az egyttmkdk, de ha mr tl sokan vannak, akkor mindenki bntetst kap (kipusztulnak a tehenek). Ez teht a fogolydilemma sokszerepls ltalnostsa. Errl knnyen meggyzdhetnk, ha a P, R, S s T rtkeket elhelyezzk a megfelel fggvnyek kezdetn s vgn. Lthatjuk, hogy T > R > P > S valban. Felttelezzk, hogy a rsztvevk valamennyien a pavlovi kategriba tartoznak, s mindenki mindenkivel klcsnhatsban van. A szimulci egy bizonyos kezdeti llapotbl indul, ami az egyttmkdk kezdeti arnynak felel meg (2. bra). Ez az arny kb. 100 lpsig llandan vltozik (3. bra). Az egyttmkdk tlagos jutalma xC(x), a htlenek pedig (1 x) D(x). Egyenslyi helyzet akkor alakul ki, ha e kt rtk azonos [SzilagyiSzilagyi 2]. Ennek az egyenslyi egyenletnek legtbbszr kt vals megoldsa van: x1 s x2. Ha C(x) s D(x) negatvok, akkor a kisszm egyttmkd nagy bntetst kap, a nagyszm htlen pedig kicsit. Ennek kvetkeztben a jtk eredmnye az lesz, hogy viszonylag alacsony kezdeti egyttmkdsi arny mellett x rtke a kezdeti llapottl fggetlenl az els egyenslyi rtk (x1) krl fog ingadozni az id fggvnyben. Ha C(x) s D(x) pozitvak, akkor a sok egyttmkd kis jutalmat kap, a kevs htlen viszont nagyot. E msodik egyenslyi helyzet (x2) felett az eredmny egy-egy meghatrozott x rtk, a viszonylag magas kezdeti llapottl fggen (4. bra). Az egyenslyi egyenlet megoldsai az 1. bra fggvnyeire x1 = 0,180, x2 = 0,695. Ennek megfelelen a 4. bra grbi a kezdeti egyttmkdsi arny nagyon szles intervallumban (0-tl 0,69-ig) az 50-100. lpstl kezdve mind az x1 rtk krl ingadoznak. Ebbl lthatjuk, hogy a pavlovi gensek nem esnek teljesen bele a fogolydilemma csapdjba szemben a racionlis, azaz mindig htlenked kollegikkal, akik a pillanatnyilag kedveznek tn, de vgs soron rossz megoldst vlasztjk. Ugyanakkor jelents egyttmkdsi arny csak akkor tarthat fenn, ha ez mr a kiindulsi llapotban is gy van. Ms a helyzet, ha az gensek egyrteg sejtautomatk, vagyis csak kzvetlen szomszdjaikkal vannak klcsnhatsban. Ebben az esetben az egyttmkdk arnyt a lpsek szmnak (id)fggvnyben az 5. brn lthatjuk. Ha viszont azt felttelezzk, hogy a rsztvevk mind konformistk, akkor a szimulci azt mutatja, hogy mind az egyttmkdk, mind a htlenek egymsba gyazd csoportosulsokat alkotnak (6. bra). Aut vagy tmegkzlekeds Korunk egyik tragdija a krnyezet tnkrettele a kipufoggzok ltal. Mivel a sajt aut knyelmesebb, mint a tmegkzlekeds, nehz az embereket meggyzni arrl, hogy legalbb a nagyvrosokban ne autval menjenek munkba. Ha azonban mindenki az autt vlasztja, akkor olyan forgalmi dugk keletkeznek, hogy senki sem tud elrejutni, kivve az autbuszokat, amelyeknek kln sv ll a rendelkezsre. Ebben az esetben teht a tmegkzlekeds elnysebb. Ezt a helyzetet szemllteti a 7. bra [Szilagyi 4]. A kt fggvny most keresztezi egymst. Sok egyttmkd (kevs aut) esetn az aut a jobb, ha viszont kevs az egyttmkd (sok az aut), akkor a tmegkzlekeds. Ha elhelyezzk a P, R, S, T rtkket az brn, akkor lthatjuk, hogy ez az eset a sokszerepls gyvanyl-dilemmnak felel meg (T > S > R > P). Racionlis jtkosok esetn az egyenslyi helyzet a kt grbe keresztezdsi pontjban alakulna ki, hiszen ettl a ponttl balra rdemesebb egyttmkdni, vagyis a grbn jobb fel elmozdulni, mg a keresztezdstl jobbra a htlensg elnys, teht rdemes bal fel tartani. A szimulcik azt mutatjk, hogy a valdi egyenslyi helyzet ersen fgg a rsztvevk szemlyisgtl. Az eredmnyt termszetesen nagymrtkben a jutalmak/bntetsek mrtke hatrozza meg. Ezek sok tnyeztl fggnek (tviszonyok, az autk, a benzin s az autbuszjegyek ra stb.). A szimulci azonban

meg e tnyezk konkrt ismerete nlkl is rdekes eredmnyeket mutat. gy pldul megllapthat, hogy a tmegkzlekeds gyzelmhez az szksges, hogy a D(x) fggvny eljele megvltozzk az egyttmkdk arnynak nvekedsvel, vagyis az autsok csak akkor kapjanak jutalmat, ha kevesen vannak, s bntetsben rszesljenek, ha k vannak tbbsgben. Lakhelyi elklnls Az amerikai trsadalom egyik jelents problmja a fajok elklnlse. Ismeretesek a nagyvrosokban kialakult fekete gettk, de Los Angelesben olyan vrosrszek is vannak, ahol mindenki kizrlag spanyolul beszl. Az elklnls oka a rsztvevk konformizmusa. Jelents rszk elvrja, hogy a krnyezetkben lk kztt az fajtjukhoz tartozk legalbb egy bizonyos arnyban kpviselve legyenek. Amennyiben ez nem teljesl, a legkzelebbi olyan resedst foglaljk el, ahol kvnsguk szerinti az arny. Ennek az lesz az eredmnye, hogy a 6. brn lthat kphez hasonl elklnls jn ltre. A szimulci azt mutatja, hogy a kvnt arny kismrtk megvltoztatsa is a kialakul elrendezds ers megvltozst okozza. Tovbbi lehetsgek A sokszerepls jtkelmlet a legklnbzbb problmk elemzsre hasznlhat. Egyes kutatk szerint [NowakMay] arra is alkalmas, hogy az egyttmkds evolcijt tanulmnyozzuk. Nagyon rdekes alakulatokat figyelhetnk meg, ha az genseket moh sejtautomatknak tekintjk. A szimulci sorn kaleidoszkpszer kpek vltakoznak vgtelen varicikban. Ezek klnsen akkor lenygzek, ha az gensek klnbz llapotait klnbz sznekkel szemlltetjk attl fggen, hogy az gens llapota hogyan s mikor vltozik meg. A 8. bra egy ilyen kaleidoszkp kpt mutatja fekete-fehrben az 1000. lps utn egyszer jutalom/bntets-fggvnyek esetn [C(x) = x, D(x) = 1,65x], ha a kezdeti llapotban egyetlen htlen helyezkedik el az egyttmkdk tengerben. A htlen jtkos magasabb jutalmat kap, mint trsai, ezrt fokozatosan megfertzi krnyezett. A kialakul szituci azonban annyira bonyolult, hogy az gensek llapotai elre megjsolhatatlan mdon vltakoznak az egyttmkds s a htlensg kztt. Amint lttuk, a lehetsges esetek szma vgtelen, mint ahogy az let is vgtelen szm szitucit foglal magban. Ebben a rvid sszefoglalban csak a sokszerepls jtkelmlet alapjainak bemutatsra volt lehetsg. Vizsglhatjuk a trsadalom mretnek hatst az egyttmkds kialakulsra, a tzsde s egyb piacok mozgsait, a rsztvevk kztti alkudozsokat, csoportpszicholgiai jelensgeket, a terrorizmus elleni harc klnbz vonatkozsait, trsadalmi normk kialakulst, st az emberi viselkeds befolysolsnak klnbz mdozatait vagy ppen mestersges trsadalmakat [EpsteinAxtell] is. Termszetesen olyan szitucik elemzse is lehetsges, amikor a rsztvevk kettnl tbb lehetsg kzl vlaszthatnak. A jtkelmlet lehetv teszi, hogy olyan trsadalmi ksrleteket vgezznk, amelyeket l emberekkel lehetetlen lenne vgrehajtani. Mindezek elvgezhetk a paramterek vltoztatsval. gy vizsglhatjuk meg pldul, hogyan hatnak a klnbz adkulcsok a gazdasgi letre, a benzin ra a tmegkzlekeds hatkonysgra, a bntetsek mrtke a kihgsok gyakorisgra, s gy tovbb. A jtkelmlet matematika, teht eredeti clja nem konkrt dntsi problmk megoldsa volt. Mivel azonban a politika, az zlet, a hbor, st maga az let is jtk, ezrt a biolgia, kzgazdasgtan, szociolgia, trsadalomkutats, kl- s belpolitika, pszicholgia, haditudomny, jog, sport terletn megannyi olyan problma van, amelyet a jtkelmlet segtsgvel sikeresen lehet tanulmnyozni, st nhnyat megoldani is. J lenne, ha a trvnyhozk s rendeletalkotk ismernk, hiszen akkor sok hibs dnts elkerlhet lenne.

brk

1. bra. A legel tragdijnak jutalom/bntets fggvnyei. Az egyttmkdk arnya x, a fggleges irny az egyttmkdk (C), illetve a htlenek (D) jutalmt/bntetst jelli. Ebben az esetben D(x) = 2x 0,5 s C(x) = 2x 1.

2. bra. Az gensek vletlenszer kezdeti elhelyezkedse abban az esetben, ha a szimulci krlbell azonos szm egyttmkdvel (fekete pontok) s htlennel (fehr pontok) indul.

3. bra. A pavlovi gensek elhelyezkedse a 100. lps utn az 1. brn lthat jutalom/bntets fggvnyek esetn.

4. bra. A legel tragdijnak idbeli lefolysa pavlovi gensek s az 1. brn megadott jutalom/bntets fggvnyek esetn. Mindenki mindenkivel klcsnhatsban van. Az brn az egyttmukdk arnyt ltjuk a lpsek szmnak (id) fggvnyben. Az egyttmkdk kezdeti arnya a legfels grbtl a legalsig rendre 0,90, 0,80, 0,75, 0,73, 0,71, 0,69, 0,65 s 0,00.

5. bra. A legel tragdijnak idobeli lefolysa pavlovi gensek s az 1. brn megadott jutalom/bntets fggvnyek esetn, ha az gensek egyrteg sejtautomatk. Az brn az egyttmukdk arnyt ltjuk a lpsek szmnak (id) fggvnyben. Az egyttmkdk kezdeti arnya a legfels grbtl a legalsig rendre 0,90, 0,80, 0,75, 0,73, 0,71, 0,69, 0,65 s 0,00.

6. bra. Konformista gensek elhelyezkedse a 100. lps utn.

7. bra. Az aut kontra tmegkzlekeds jutalom/bntets fggvnyei. A vzszintes tengelyen az egyttmkdk arnyt, fggleges irnyban az egyttmkdk (C), illetve a htlenek (D) jutalmt/bntetst jelltk. Ebben az esetben D(x) = 14x 13 s C(x) = 3x 3.

8. bra. A kaleidoszkp kpe az 1000. lps utn nagyon egyszer jutalom/bntets fggvnyek esetn (C = x, D = 1,65 x), ha a kezdeti llapotban egyetlen htlen helyezkedik el az egyttmkdk tengerben. Az gensek moh sejtautomatk.

Felhasznlt irodalom Axelrod, R.: The Evolution of Cooperation. New York, Basic Books, 1984.

Epstein, Joshua M. Axtell, Robert: Growing Artificial Societies. WashingtonCambridgeLondon, Brookings Institution Press MIT Press, 1996. Gardner, Martin: Wheels, Life, and other Mathematical Amusements. New York, Freeman, 1983. Hardin, G.: The tragedy of the Commons. Science 162, 1968. 12438. Hoffmann, R.: Twenty years on: The Evolution of Cooperation revisited. Journal of Artificial Societies and Social Simulation 3, 2000. 2. McCulloch, Warren S. Pitts, Walter: A logical calculus of the ideas immanent in nervous activity. Bulletin of Mathematical Biophysics 5, 1943. 11533. Neumann, John: Zur Theorie des Gesellschaftsspiele. Mathematische Annalen 100, 1928. 295320. Neumann, John Morgenstern, Oskar: Theory of Games and Economic Behavior. Princeton, Princeton University Press, 1944. Nowak, M. A. May, R. M.: Evolutionary games and spatial chaos. Nature 359, 1992. 8269. Oldham, John M. Morris, Lois B.: The New Personality Self-Portrait. New York, Bantam Books, 1995. Rapoport, A. Chammah, A. M.: Prisoners Dilemma. Ann Arbor, University of Michigan Press, 1965. Rapoport, Anatol Guyer, Melvin: A taxonomy of 2*2 games. General Systems 11, 1966. 20314. Szilagyi Miklos: Solutions to realistic Prisoners Dilemma games. Proceedings of the 2001 IEEE International Conference on Systems, Man, and Cybernetics, TA12/2, 2001. 8416. Szilagyi Miklos: Simulation of multi-agent Prisoners Dilemmas. Systems Analysis, Modelling, Simulation, Vol. 43, No. 6, 2003. 82946. Szilagyi Miklos: An investigation of N-person Prisoners Dilemmas. Complex Systems, Vol. 14, 2003. 15574. Szilagyi Miklos: Computer simulation of the N-person Chicken Dilemma for Pavlovian agents. Proceedings of the 11th International Symposium on Dynamic Games and Applications, 2004. 9805. Szilagyi Miklos Szilagyi Zoltan: A tool for simulated social experiments. Simulation, Vol. 74, 2000. 4 10. Szilagyi Miklos Szilagyi Zoltan: Nontrivial solutions to the N-person Prisoners Dilemma. Systems Research and Behavioral Science, Vol. 19, 2002. 28190. Wolfram, Stephen: A New Kind of Science. Champaign, Wolfram Media, 2002.