John Nash y la teora de juegos

Sergio Monsalve
Universidad Nacional de Colombia, Bogot a
Al profesor y academico Don Jairo Charris Casta neda
In memoriam
Lecturas Matematicas
Volumen 24 (2003), paginas 137149
Abstract. In lho lasl lwonly yoais, gano lhooiy has Locono
lho ooninanl noool in ocononic lhooiy ano has naoo signicanl
conliiLulions lo polilical scionco, Liology, ano inloinalional socu-
iily sluoios. 1ho conlial iolo of gano lhooiy in ocononic lhooiy
was iocognizoo Ly lho awaioing of lho NoLol Iiico in Lcononic
Scionco in 1004 lo John C. Harsanyi, John F. Nash, & Rein-
hard Selten. 1ho funoanonlal woiks in gano lhooiy of John
F. Nash logolhoi wilh a Liiof oxposilion of lhon aio incluooo in
lhis ailiclo.
Key words and phrases. John Nash, Hisloiy of Malhonalics, Ga-
no 1hooiy
1991 Mathematics Subject Classication. Iiinaiy 01A70. Socon-
oaiy 01A12.
Resumen. Ln los ullinos voinlo a nos, la looia oo juogos so ha
convoilioo on ol nooolo ooninanlo on la looia ocononica y ha
conliiLuioo signicalivanonlo a la cioncia pollica, a la Liologa
y a osluoios oo soguiioao nacional. Ll papol conlial oo la looia
oo juogos on looia ocononica fuo ioconocioo con ol pionio NoLol
on Lconona oloigaoo a John C. Harsanyi, John F. Nash &
Reinhard Selten on 1004. So piosonlan los apoilos oo John
Nash a la looia oo juogos conjunlanonlo con una oxposicion
olononlal oo ollos.
1. Introduction
La Ioal Acaoonia Suoca paia las Cioncias lo oloig o ol pionio NoLol
on Cioncias Lcon oniacs ool a no 1004 a los ocononislas John C. Har-
sanyi, Reinhard Selten y al nalonalico John F. Nash, ooLioo a su
an alisis pionoio oo oquiliLiios on la looia oo juogos no coopoialivos.
La Acaoonia juslica oslo pionio on oconona a lios oo los gianoos
on looia oo juogos con ol aigunonlo oo quo osla ha pioLaoo soi nuy ulil
on ol an alisis ocononico. 60 a nos oospuos oo la puLlicaci on oo la oLia
pionoia oo John von Neumann y Oskar Morgenstern (Theory of
Games and Economic Behavior (1044)), la looia oo juogos haLa io-
ciLioo ol noiocioo ioconocinionlo cono hoiianionla funoanonlal ool
an alisis ocononico noooino y ol apoilo oo John Nash fuo funoanon-
lal.
2. Que es la teora de juegos?
La looia oo juogos (o looia oo las oocisionos inloiaclivas os ol osluoio
ool conpoilanionlo oslialogico cuanoo oos o n as inoiviouos inloiacl uan
y caoa oocision inoivioual iosulla oo lo quo ol (o olla) ospoia quo los
olios hagan. Ls oocii, quo ooLonos ospoiai quo sucooa a pailii oo las
inloiaccionos onlio inoiviouos.
3. Con que estructuras estudiamos la teora de juegos?
Lxislon, funoanonlalnonlo, oos foinas oislinlas oo apioxinainos al
an alisis oo una siluaci on oo inloiaccionos onlio inoiviouos
I) La piinoia (quo os quizas la ooninanlo oonlio ool anLionlo oo
los ocononislas) os la teora de juegos no cooperativos, on la quo, L asi-
canonlo, lononos un conjunlo oo jugaooios, caoa uno con oslialogias
a su oisposici on, y unas asignacionos oo pagos quo iociLon poi llovai
a caLo lalos oslialogias. La caiacloislica no coopoialiva osla on la
nanoia oo cono oligon y on lo quo saLon oo los olios jugaooios cuanoo
oligon: on gonoial, so supono quo los inoiviouos lonan sus oocisionos
independientemente unos de otros aunquo conocionoo sus opononlos y
las posiLlos oslialogias quo oslos lionon a su oisposicion. Ls oocii, son
inoiviouos ogoslas poio quo lialan oo piooocii lo quo los olios agonlos
haian paia oLiai onloncos on convonioncia piopia. Ln osla osliucluia
oo an alisis los agonlos no alcanzan ning un nivol oo coopoiaci on.
Naoa nojoi quo un ojonplo Lion iluslialivo ool modus operandi oo oslo
lipo oo nooolos. Y quiz as ol nas olocuonlo oo los juogos no-coopoialivos
olononlalos os ol dilema del prisionero. La hisloiia oo oslo juogo va co-
no siguo: oos inoiviouos son oolonioos ooLioo a quo conolioion cioilo
oolilo. AnLos son sopaiaoos on coloas oifoionlos y son inloiiogaoos in-
oivioualnonlo. AnLos lionon oos alloinalivas: coopoiai uno con olio
(no-confosai) o no coopoiai (confosai ol oolilo). Lllos saLon quo si nin-
guno conosa, caoa uno ii a a piisi on poi oos a nos. Ioio si uno oo los
oos conosa y ol olio no, onloncos al quo conosa lo oojai an liLio y al
quo no conosa lo conoonai an a 10 a nos. Si anLos conosan, los oos
ii an a piisi on poi 6 a nos. La siluaci on so iosuno on la siguionlo bimatriz
(os oocii, una naliiz cuyos olononlos son paiojas n unoios):
Prisionero 1
C NC
C ( 2, 2) ( 10, 0)
Prisionero 2
NC (0, 10) ( 6, 6)
C = coopoiai (no confosai), NC = coopoiai(confosai)
La piogunla naluial os: quo hai an los oolonioos coopoiai an onlio
s (no confosaian) o so liaicionai an ol uno al olio (confosaian) Al-
guion oospiovonioo quo oslo oLsoivanoo oslo juogo pooia ponsai quo
los oos jugaooios coopoiaian (no confosai an) puoslo quo on oso caso
ambos oLlonoian ol nonoi casligo posiLlo. Sin onLaigo, la osliucluia
no cooperativa ool pioLlona haco quo oslo aiioglo no soa cioLlo: si so
paclaia la no-confosi on poi pailo oo los oos, anLos lonoian inconlivos
pailiculaios paia ionpoilo, puos oojanoo al olio on cunplinionlo ool
paclo oo no confosai y oslo confosanoo, ol quo ionpo ol paclo oLliono
la liLoilao nionlias al olio lo conoonai an a 10 a nos. Y, sinilainon-
lo, osluoianoo las olias lios posiLilioaoos ool juogo (os oocii, (C, NC),
(NC, NC), (NC, C)) oLsoivanos quo ol unico acuerdo creble (quo sig-
nica quo ninguno oo los oos quoiia ionpoi ol paclo unilaloialnonlo
poiquo poiooia) os (NC, NC). Ln ooniliva, la piooicci on oo lo quo
ocuiiiia on ol juogo os quo anLos confosaian y poinanocoi an on la caicol
6 a nos.
La conclusi on on siluacionos sinilaios a osla (quo son conunos on la
vioa oiaiia) os quo la conpoloncia ogosla puooo conoucii a oslaoos quo
son infoiioios (on loininos oo Lonocio poisonal y social) a los oslaoos
coopoialivos, poio quo oslos ullinos no pooian inplononlaiso a nonos
quo oxislan reforzmientos externos (conlialos inaoos poi loy, con vo-
iicaci on, olc.) quo oLliguon a las pailos a cunplii con ol acuoioo oo
coopoiaci on.
Lsla os la iooa osoncial oo Nash al oonii ol concoplo oo equilibrio de
Nash on su losis oocloial on Malonalicas on la Univoisioao oo Iiincolon
(Non-cooperative Games (100)): un equilibrio de Nash oo un juogo os un
acuoioo quo ninguna oo las pailos puooo ionpoi a oiscioci on sin poiooi.
Ls oocii, si alguion quioio ionpoi ol paclo y lo haco unilaloialnonlo, so
aiiiosga a ganai poi ooLajo oo lo quo huLioso ganaoo oonlio ool paclo.
Sin onLaigo, cono quooa claio on ol juogo ool oilona ool piisionoio,
oslo puooo no soi lo nojoi socialmente paia los jugaooios.
Uno oo los iosullaoos quo hacon ool oquiliLiio oo Nash un punlo
oo iofoioncia paia casi looo an alisis on ol quo las inloiaccionos onlio
inoiviouos oslon involuciaoas os quo
todo juego nito (es decir, nitos jugadores y nitas es-
trategias de cada jugador) tiene al menos un equilibrio
de Nash, aunque involucre ciertas probabilidades objeti-
vas de juego de las estrategias por parte de los jugadores.
Lslo iosullaoo os ool nisno Nash. Ln un ailculo piovio a su lo-
sis oo oocloiaoo, y puLlicaoo lanLion on 100 (Equilibrium points in
n person games) ol piuoLa, ulilizanoo un looiona oo punlo jo (ol co-
nocioo teorema de punto jo de Brouwer), quo un oquiliLiio oo Nash os
un punlo jo: las oxpoclalivas oo los gonlos con iospoclo a lo quo los
oon as haian, coincioon, looas, on ol oquiliLiio oo Nash.
II) La sogunoa osliucluia funoanonlal paia ol osluoio oo la looia
oo juogos paia oosoo all piooocii iosullaoos oo la inloiacci on, os la
teora de juegos cooperativos o coalicionales. Aqu looava lononos los
nisnos agonlos ogoslas, poio ahoia so asuno quo, si puooon oLlonoi
alg un Lonocio oo la coopoiaci on, no ouoai an on foinai coalicionos quo
son cioLlos. Ioi supuoslo, Lajo una osliucluia cono la oo juogos no
coopoialivos, un acuoioo oo coopoiaci on puooo no soi la solucion,
oo nanoia quo los agonlos ooLon lonoi una osliucluia oo infoinacion
oifoionlo si quoionos un conpoilanionlo acoioo.
Ln una osliucluia coopoialiva lononos ol nisno conjunlo oo jugaoo-
ios ogoslas, solo quo ahoia lionon infoinaci on soLio cioila valoiaci on
a priori oo las coalicionos. Ls oocii, so ioconoco cualos coalicionos son
las nas valiosas y cualos las nonos valiosas. Iaia conciolai iooas,
vanos a piosonlai un nooolo quo nuoslia Lion ol poooi piooiclivo quo
puooo lonoi oslo lipo oo osliucluia y las solucionos asociaoas. Ll no-
oolo ool peque no mercado nuoslia una osliucluia oo noicaoo on la quo
hay un vonooooi (jugaooi 1) oo cioilo Lion quo no pooonos oivioii on
pailos (pionsoso, poi ojonplo, on un aulonovil cono Lion oo uso), y oos
conpiaooios (jugaooi 2 y jugaooi 8) quo oosoan conpiai oso Lion. Las
valoiacionos quo a priori so lo asignan a las coalicionos soi an, on oslo
caso, un ioojo ool oxilo o fiacaso oo la nogociacion onlio ol vonooooi
y ol conpiaooi ooponoionoo oo c ono so onpaiojon, y no una piooic-
cion soLio quion oo los oos oLlonoi a ol Lion (oslo pioLlona liono olia
valoiaci on). Ln oslo caso, asignanos la valoiaci on a looas las posiLlos
coalicionos oo la siguionlo foina:
( 1, 2, 8 ) = ( 1, 2 ) = ( 1, 8 ) = 1
(si hay vonooooi y conpiaooi, ol nogocio so llova a caLo)
( 1 ) = ( 2 ) = ( 2, 8 ) = 0
(si solo hay conpiaooios o vonooooi, no so ioaliza ol nogocio)
Lxislon vaiias solucionos a oso lipo oo juogos on foina coopoialiva.
Ioi supuoslo, una soluci on ooLo signicai una iopailici on oo la iiquoza
o valoiaci on lolal oo looo ol giupo oo jugaooios cono gian coalici on, oo
lal nanoia quo a caoa jugaooi lo coiiosponoa su apoilo a olla. C ono
ooloininai ol nivol oo oslo apoilo os algo quo analizanos con las oos
nas inpoilanlos solucionos a juogos coopoialivos: el n ucleo y el valor
de Shapley.
a) Ll n ucloo ool juogo coopoialivo (Gillies (108))
La iooa oo iopailici on ooli as oo la solucion oo n ucloo os quo si osla lo
asigna x
1
al vonooooi, x
2
al conpiaooi-jugaooi 2, y x
8
al conpiaooi-
jugaooi 8, onloncos ooLonos, poi lo nonos, lonoi quo:
x
1
x
2
x
8
= 1 (of icioncia ) (i)
(los lios agonlos so iopailon ol poooi ool noicaoo quo osl a, a priori,
on la uni on oo los lios).
( 1, 2 ) x
1
x
2
,
( 1, 8 ) x
1
x
8
,
( 2, 8 ) x
2
x
8
,
( 1 ) x
1
,
( 2 ) x
2
,
( 8 ) x
8
(ii)
(lo quo los agonlos iociLon a liavos oo la asignacion oo n ucloo os nojoi
quo lo quo iociLiian anlos oo la asignaci on a priori V, y oslo sucooo on
cualquioi coalici on quo foinon).
OLsoivoso quo la asignaci on oo n ucloo os un acuoioo nuy L asico. Ls
una invilaci on a foinai coalicionos: si usloo foina alguna coalici on
ganai a nas oo lo quo gana on cualquioi coalici on ool slalus quo ooloi-
ninaoo poi la asignaci on a priori V.
Un poco oo aiilnolica nos nuoslia quo la unica asignaci on oo n ucloo
on nuoslio peque no mercado os x
1
= 1, x
2
= x
8
= 0. Ln olias palaLias, ol
n ucloo osla pionoslicanoo quo la inpoilancia lolal ool noicaoo la liono
ol vonooooi y quo los conpiaooios no lionon niguna. IoLio piooicci on:
no oxislo casi ning un noicaoo on ol quo los conpiaooios no longan
ninguna inpoilancia oslialogica.
L) Ll valoi oo Shaploy ool juogo coopoialivo (Shapley (108)
Olia foina oo oisliiLuci on con consiooiacionos n as sullos quo las oo
n ucloo, os ol valoi oo Shaploy. Iooia oociiso quo ol valoi oo Shaploy os
a los juogos coopoialivos, lo quo ol oquiliLiio oo Nash os a los juogos no
coopoialivos.
Cono ya haLanos oosciilo con ol ojonplo anloiioi, un juogo coopoia-
livo consislo on un conjunlo oo jugaooios N ( = N = n) y una asignaci on
nonolaiia (S) paia caoa suLcoalici on S N. Ll pioLlona quo so in-
lonla iosolvoi os: Cono oisliiLuii la iiquoza lolal (N) onlio looos
los pailicipanlos Ll valoi oo Shaploy Lusca solucionailo inponionoo
cioilas conoicionos a la oisliiLucion:
Si x
i
, i N, os la asignaci on quo iociLiia on la oisliiLuci on oo Shaploy
ol jugaooi i, onloncos
a) (Lcioncia)
x
1
x
2
...x
n
= (N)
L) (Jugaooi ounny o fanlasna) Si paia alg un i N, (S I ) =
(S) paia looa coalici on S, onloncos x
i
= 0
c) (Sinolia) Si las valoiacionos oo las coalicionos no canLian cuanoo
so ioonplaza un jugaooi poi cualquioi olio, onloncos, looos iociLon
lo nisno. Ls oocii, x
1
= ... = x
n
.
o) (Aoilivioao) Si y son oos valoiacionos oislinlas soLio ol nis-
no conjunlo N oo jugaooios, onloncos la asignaci on oo cualquioi
jugaooi paia la valoiaci on y paia la valoiaci on os aoiliva. Ls
oocii, paia looo i N, x
i
( ) = x
i
( ) x
i
( )
Solo ol valoi oo Shaploy salisfaco oslas cualio conoicions. Y n as
a un, oxislo una f oinula oxplcila soLio cono calculailo, Lasaoa on las
conliiLucionos naiginalos (os oocii, una nooioa oo cuanlo un jugaooi
lo apoila a las coalicionos on oonoo osla):
x
i
=

i
(
i
(S
i
(i)))
n!
( )
oonoo os ol conjunlo oo los n! oioonos oo N, S
i
(i) = conjunlo oo
jugaooios quo piocooon a i on ol oioon i,
i
(S) = (S i ) (S) =
conliiLuci on naiginal ool agonlo i a la coalici on S.
Cono un ojonplo oo la nojoi oisliiLuci on lolal oo la iiquoza ool
juogo onlio los pailicipanlos quo ol valoi oo Shaploy ioaliza, os f acil
calculai (con la f oinula (*) oo aiiiLa) quo on ol juogo ool Ioquo no
Moicaoo quo analiz aLanos anlos, ol valoi oo Shaploy os
x
1
= 2 8, x
2
= 1 6, x
8
= 1 6.
A oifoioncia ool n ucloo, cuya asignacion os (1, 0, 0), ol valoi oo Shaploy
s osla asign anoolo inpoilancia a los conpiaooios, aunquo ioconoco un
poooi nayoi al vonooooi.
IIa) Una nuy inpoilanlo calogoia on ol osluoio oo la looia oo juogos
clasica os, ioalnonlo, una suLoivisi on oo la looia oo juogos coopoiali-
vos: los modelos de negociaci on. Ln oslos juogos, oos o nas jugaooios