scieee Science in your language
[es] (orig)

Optimización lineal aplicada a teoría de juegos

Abstract

In the following TFG we deal with the Game Theory and with the application that the Linear Programming has on it. We start defining some key concepts that will serve us as a base. Within the Game Theory there are manly two theories: the cooperative one and the non-cooperative one. We consider that the non-cooperative approach is the most appropriate to analyse our problem, that is: every single player might find its own strategies considering that the others will use their best strategies as well. To this effect, we will use the Linear Programming to obtain the most accurate solution. On the other side, the cooperative approach deals with the assumption that the hypothetical players are going to cooperate and, to this respect, they will act according to the most suitable social way, focusing on how the players should divide out the benefits of its cooperation. Due to those reasons, we will use the Core and the Nucleolus and revise the Linear Production Games, in which the Linear Programming furnishes on how to spread the benefits within extensive coalitions.

Read accessible full text

Optimización lineal aplicada a teoría de juegos

Author: Serrano Gallardo, Alejandro
Year: 2017
Source: https://idus.us.es/bitstreams/cae32729-da24-47c8-8f4f-ef9fd2d9275c/download
FACULTAD DE MATEM´
ATICAS
DEPARTAMENTO DE AN´
ALISIS MATEM´
ATICO
T abajo Fin de G ado
OPTIMIZACI ´
ON LINEAL APLICADA A
TEOR´
IA DE JUEGOS
Alejand o Se ano Galla do
Di igido po :
Vic o ia Ma ´ın M´a quez
Se illa, Junio 2017.
´
Indice gene al
B e e in oducci´on his ´o ica 1
1. P elimina es 9
1.1. Concep os b´asicos de la Teo ´ıa de Juegos . . . . . . . . . . . . 9
1.2. Concep os b´asicos de la P og amaci´on Lineal . . . . . . . . . . 11
2. Juegos no coope a i os 15
2.1. In oducci´on a los Juegos en Fo ma Es a ´egica . . . . . . . . 15
2.2. El Equilib io de Nash en Juegos en Fo ma Es a ´egica . . . . . 18
2.3. Juegos Bipe sonales de Suma Nula . . . . . . . . . . . . . . . 21
2.4. Es a egias Mix as en Juegos Fini os . . . . . . . . . . . . . . 26
2.5. Juegos Ma iciales y Algo i mos . . . . . . . . . . . . . . . . . 30
2.6. Juegos Ma iciales y P og amaci´on Lineal . . . . . . . . . . . 40
3. Juegos Coope a i os 47
3.1. In oducci´on............................ 47
3.2. El Co e y Concep os Relacionados . . . . . . . . . . . . . . . . 49
3.3. Juegos de p oducci´on lineal . . . . . . . . . . . . . . . . . . . 54
3.4. ElNucleolus............................ 60
Bibliog a ´ıa 68
i
ii Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
ABSTRACT
In he ollowing TFG we deal wi h he Game Theo y and wi h he ap-
plica ion ha he Linea P og amming has on i . We s a de ining some
key concep s ha will se e us as a base. Wi hin he Game Theo y he e
a e manly wo heo ies: he coope a i e one and he non-coope a i e one.
We conside ha he non-coope a i e app oach is he mos app op ia e o
analyse ou p oblem, ha is: e e y single playe migh ind i s own s a egies
conside ing ha he o he s will use hei bes s a egies as well. To his e ec ,
we will use he Linea P og amming o ob ain he mos accu a e solu ion.
On he o he side, he coope a i e app oach deals wi h he assump ion ha
he hypo he ical playe s a e going o coope a e and, o his espec , hey will
ac acco ding o he mos sui able social way, ocusing on how he playe s
should di ide ou he bene i s o i s coope a ion. Due o hose easons, we
will use he Co e and he Nucleolus and e ise he Linea P oduc ion Games,
in which he Linea P og amming u nishes on how o sp ead he bene i s
wi hin ex ensi e coali ions.
iii

i Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
B e e in oducci´on his ´o ica
La P og amaci´on Lineal es udia el p oblema de minimiza o maximiza
una unci´on lineal en p esencia de desigualdades lineales. Desde que Geo ge
B. Dan zig desa oll´o el m´e odo simplex en 1947, la p og amaci´on lineal
se ha u ilizado ex ensamen e en el ´a ea mili a , indus ial, gube namen al
y de plani icaci´on u bana, en e o as. Su popula idad se puede a ibui a
muchos ac o es, incluyendo su po encial pa a modela p oblemas g andes y
complejos, y la habilidad de los usua ios pa a esol e p oblemas a g an escala
en un in e alo de iempo azonable median e el uso del m´e odo simplex y de
compu ado as. A pa i de la Segunda Gue a Mundial se hizo e iden e que
e a esencial la plani icaci´on y coo dinaci´on en e a ios p oyec os, as´ı como
el uso e icaz de los ecu sos disponibles. En junio de 1947 se inici´o un abajo
in ensi o del equipo de la Fue za A´e ea de los EE.UU. conocido como SCOOP
(Scien i ic Compu a ion o Op imum P og ams). Como esul ado, Geo ge
B. Dan zig desa oll´o el m´e odo simplex a inales del e ano de 1947. El
in e ´es de la p og amaci´on lineal se di undi´o ´apidamen e en e economis as,
ma em´a icos, es ad´ıs icos e ins i uciones gube namen ales.
Desde la c eaci´on del m´e odo simplex mucha gen e ha con ibuido al c e-
cimien o de la p og amaci´on lineal, ya sea desa ollando su eo ´ıa ma em´a i-
ca, dise˜nando c´odigos y m´e odos compu acionales e icien es, expe imen ando
nue as aplicaciones, y ambi´en u ilizando la p og amaci´on lineal como una
he amien a auxilia pa a esol e p oblemas m´as complejos como son p o-
1
2 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
g amas en e os, p og amas disc e os, p og amas no lineales, p oblemas com-
bina o ios, p oblemas de p og amaci´on es oc´as ica y p oblemas de con ol
´op imo.
La Teo ´ıa de Juegos como al ue c eada po el ma em´a ico h´unga o
John on Neumann (1903-1957) y po Oska Mo gens e n (1902-1976) en
1944 g acias a la publicaci´on de su lib o ”The Theo y o Games Beha io ”.
An e io men e los economis as Cou no y Edgewo h hab´ıan an icipado ya
cie as ideas, a las que se suma on o as pos e io es de los ma em´a icos Bo el
y Ze melo que en uno de sus abajos (1913) mues a que juegos como el
ajed ez son esolubles. Sin emba go, no ue has a la apa ici´on del lib o de
on Neumann y Mo gens e n cuando se comp endi´o la impo ancia de la
Teo ´ıa de Juegos pa a es udia las elaciones humanas.
Von Neumann y Mo gens e n in es iga on dos plan eamien os dis in os
de la Teo ´ıa de Juegos. El p ime o de ellos es el plan eamien o es a ´egico
o no coope a i o. Es e plan eamien o equie e especi ica de alladamen e lo
que los jugado es pueden y no pueden hace du an e el juego, y despu´es cada
jugado busca ´a una es a egia ´op ima.
En la segunda pa e de su lib o, on Neumann y Mo gens e n desa olla-
on el plan eamien o coalicional o coope a i o, en el que busca on desc ibi
la conduc a ´op ima en juegos con muchos jugado es. Pues o que ´es e es un
p oblema mucho m´as di ´ıcil, sus esul ados ue an mucho menos p ecisos que
los alcanzados pa a el caso de suma ce o y dos jugado es, ambos juegos no
coope a i os.
En los a˜nos 50 hubo un desa ollo impo an e de es as ideas en P ince on,
con Luce and Rai a (1957), di undiendo los esul ados en su lib o in oduc-
o io, Kuhn (1953) que pe mi i´o es ablece una o ma de a aca los juegos
coope a i os, y po in Nash (1950) quien de ini´o el equilib io que lle a su
nomb e, lo que pe mi i´o ex ende la Teo ´ıa de Juegos no-coope a i os m´as
BREVE INTRODUCCI ´
ON HIST ´
ORICA 3
gene ales que los de suma ce o. Du an e esa ´epoca, el Depa amen o de De-
ensa de los EE.UU. ue el que inanci´o las in es igaciones en el ema, debido
a que la mayo pa e de las aplicaciones de los juegos de ipo suma-ce o se
concen aban en emas de es a egia mili a .
John Fo bes Nash (1928-2015) es el nomb e m´as des acado elacionado
con la Teo ´ıa de Juegos. A los 21 a˜nos esc ibi´o una esina de menos de ein a
p´aginas en la que expuso po p ime a ez su soluci´on pa a juegos es a ´egicos
no coope a i os, lo que desde en onces se llam´o “el equilib io de Nash”, que
u o un inmedia o econocimien o en e odos los especialis as.
El pun o de equilib io de Nash es una si uaci´on en la que ninguno de
los jugado es sien e la en aci´on de cambia de es a egia ya que cualquie
cambio implica ´ıa una disminuci´on en sus pagos. Von Neumann y Oska
Mo gens e n hab´ıan ya o ecido una soluci´on simila pe o s´olo pa a los juegos
de suma ce o. Pa a la soluci´on o mal del p oblema, Nash u iliz´o unciones
de mejo espues a y el eo ema del pun o ijo de los ma em´a icos B ouwe
y Kaku ani.
En los a˜nos siguien es public´o nue os esc i os con o iginales soluciones
pa a algunos p oblemas ma em´a icos y de la Teo ´ıa de Juegos, des acando
la “soluci´on de ega eo de Nash” pa a juegos bipe sonales coope a i os. P o-
puso ambi´en lo que se ha dado en llama “el p og ama de Nash” pa a la
educci´on de odos los juegos coope a i os a un ma co no coope a i o. A los
ein inue e a˜nos se le diagnos ic´o una esquizo enia pa anoica que lo dej´o
p ´ac icamen e ma ginado de la sociedad e in´u il pa a el abajo cien ´ı ico
du an e dos d´ecadas. Pasado ese lapsus, en los a˜nos se en a, ecupe ´o su sa-
lud men al y pudo ol e a la docencia y la in es igaci´on con nue as geniales
apo aciones, consiguiendo en 1994 el P emio N´obel de Econom´ıa compa -
ido con John C. Ha sanyi y Reinha Sel en po sus pione os an´alisis del
equilib io en la Teo ´ıa de los Juegos no coope a i os.
10 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
cada uno, mien as que en el en oque no coope a i o se analiza que decisiones
oma ´ıa cada jugado en ausencia de acue do p e io. En e los juegos no
coope a i os cabe hace dos dis inciones b´asicas, juegos es ´a icos o din´amicos,
y juegos con o sin in o maci´on comple a.
Aunque se explica ´a con m´as de alle cada uno de los ´e minos, se incluye
a con inuaci´on una p ime a de inici´on de la e minolog´ıa b´asica que se u iliza
habi ualmen e en la Teo ´ıa de Juegos.
•Jugado es: Pa icipan es que oman decisiones con el in de maximiza
su u ilidad.
•Acciones de cada jugado : Decisiones que puede oma cada jugado .
El conjun o de acciones de un jugado puede se ini o o in ini o.
•Resul ados del juego: Dis in os modos en que puede conclui un juego.
Cada esul ado conlle a unas consecuencias pa a cada jugado .
•Pagos: Valo aci´on que pa a cada jugado ienen las consecuencias de
alcanza un de- e minado esul ado. Cada jugado ecibe un pago al
acaba el juego.
•Es a egias: Plan comple o de acciones con las que cada jugado pa i-
cipa en el juego.
•Fo ma no mal y o ma ex ensi a: Son o mas de desc ibi un juego.
Ambas especi ican los jugado es, las acciones y los pagos.
La o ma no mal o o ma es a ´egica o ganiza la desc ipci´on cen ando
su ´en asis en las es a egias de los jugado es. La o ma ex ensi a lo hace en
o ma de ´a bol, esal ando la secuencia del juego.
En es e abajo nos cen a emos en juegos coope a i os y juegos no coope-
a i os. Veamos aho a un ejemplo:

PRELIMINARES 11
Ejemplo 1.1.1. Pied a, papel o ije a. Dos indi iduos, a los que denomi-
na emos Jugado I y Jugado II, escogen simul ´aneamen e una de las es
opciones (pied a, papel o ije a). Si uno escoge la pied a y el o o papel, gana
quien escoge papel. Si uno escoge la pied a y el o o la ije a, gana el que
escoge pied a. Si uno escoge el papel y el o o la ije a, gana quien escoge i-
je a. Si los dos jugado es eligen la misma opci´on se empa a. La in o maci´on
ele an e la podemos esumi en la abla siguien e:
Pied a Papel Tije
Pied a 0 -1 1
Papel 1 0 -1
Tije a -1 1 0
1.2. Concep os b´asicos de la P og amaci´on
Lineal
En es e apa ado e emos los concep os b´asicos que necesi a emos de
aho a en adelan e de la p og amaci´on lineal.
De inici´on 1.2.1. Un p oblema de p og amaci´on lineal es un p oblema
de op imizaci´on con es icciones en el que an o la unci´on a op imiza ,
ambi´en llamada unci´on obje i o, como las es icciones son lineales. Todo
p oblema de p og amaci´on lineal se puede exp esa como:
minimiza cx
suje o a xA ≥b,
x≥0,
(P)
donde A es una ma iz m×n,ces un ec o 1×mybes un ec o
1×n. Que emos encon a una soluci´on ac ible pa a el p oblema (es deci ,
un ec o x∈Rmque sa is aga las desigualdades) de modo que minimice la
12 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
unci´on obje i o cx den o del conjun o de soluciones ac ibles; de al soluci´on
decimos que es ´op ima pa a es e p oblema.
De inici´on 1.2.2. El dual del p oblema de la de inici´on an e io es el
siguien e p oblema de p og amaci´on:
maximiza by
suje o a Ay ≤c ,
y≥0.
(D)
Aho a que emos encon a una soluci´on ac ible pa a el p oblema (es de-
ci , un ec o y∈Rnque sa is aga las desigualdades) de modo que maximice
la unci´on obje i o by den o del conjun o de soluciones ac ibles; de al
soluci´on decimos que es ´op ima pa a es e p oblema.
Si enemos un pa de p oblemas como los de las dos de iniciones an e io es,
nos e e imos al p ime o como el p oblema p imal (P) y al segundo como el
p oblema dual (D). A con inuaci´on enunciamos un impo an e esul ado que
elaciona ambos p oblemas.
Teo ema 1.2.3. [Teo ema de dualidad ]. Sean (P) y (D) un pa de p oblemas
de p og amaci´on lineal duales. En onces,
1. (P) iene una soluci´on ´op ima si y solo si (D) iene una soluci´on ´op i-
ma.
2. Supongamos que x e y son soluciones ac ibles de los p oblemas (P) y
(D), espec i amen e. En onces, x es una soluci´on ´op ima de (P) e y
es una soluci´on ´op ima de (D) si y solo si cx =by .
Pa a llega a la soluci´on de un p oblema de P og amaci´on Lineal se u ili-
zan di e en es m´e odos de soluci´on. Los m´as di undidos son: el m´e odo g ´a ico
y el M´e odo Simplex. La soluci´on de un p oblema de P og amaci´on Lineal
u ilizando un p ocedimien o g ´a ico es posible si se ienen no m´as de dos
PRELIMINARES 13
a iables. El M´e odo Simplex ue el p ime m´e odo su gido pa a soluciona
p oblemas de P og amaci´on Lineal, po lo que se le conside a el m´e odo de
soluci´on cl´asico po excelencia. Teniendo en cuen a la iloso ´ıa de es e m´e odo
han su gido o os m´e odos cuyas en ajas undamen ales se concen an en
las posibilidades de los mismos pa a se p og amados po compu ado as.
El p ocedimien o g ´a ico comienza elabo ando una g ´a ica que mues e
las soluciones posibles ( alo es x1yx2). La g ´a ica end ´a alo es los alo es
x1en el eje ho izon al y los alo es x2en el eje e ical. El p ocedimien o
pa a halla la soluci´on g ´a ica consis e en lo siguien e:
1. Pa a cada inecuaci´on del sis ema de es icciones (medio espacio ce a-
do) se oma la ec a co espondien e y se de e minan los in e cep os
con la g ´a ica. Si la ec a pasa po el o igen del eje de coo denadas, el
´e mino independien e es ce o, en onces se aza la ec a omando el
o igen y o o pun o de e minado dando un alo a bi a io a una de las
a iables.
2. Pa a de e mina los pun os que sa is acen cada inecuaci´on se sus i-
uye un pun o cualquie a del espacio (se ecomienda el o igen cuyas
coo denadas son (0,0)), y de es a o ma se de e mina si los pun os que
sa is acen la misma es ´an hacia el lado que es ´a el o igen o hacia el lado
con a io, se˜nalando con una lecha ese lado. Cuando la ec a pasa po
el o igen en onces se oma o o pun o cualquie a pe o que sean sencillos
los alo es de sus coo denadas, po ejemplo, (0,1) , (1,0), (1,1), e c.
3. Luego se de e mina la egi´on soluci´on que es la egi´on del plano que
sa is ace odas las es icciones al mismo iempo y que debe es a en el
p ime cuad an e. La igu a o mada es un polied o con exo que iene
un conjun o de pun os ex emos.
4. Se busca el pun o ´op imo en e el conjun o de pun os ex emos. Pa a
14 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
eso se sus i uye cada pa de pun os (x1, x2) de los pun os ex emos en
la unci´on obje i o y se calcula el alo de Z. Si se es ´a maximizando el
alo de la misma, el pun o ´op imo se ´a aquel que p opo cione el alo
mayo pa a Z y si el c i e io de op imizaci´on es de minimiza , en onces
el pun o ´op imo se ´a aquel que p opo cione el alo m´ınimo de Z.
Es e m´e odo g ´a ico iene la des en aja que s´olo pe mi e la soluci´on de
p oblemas que engan dos a iables de aqu´ı que la mayo ´ıa de los p oblemas
de p og amaci´on lineal se esuel an u ilizando como base el m´e odo simplex.
El m´e odo del Simplex cons i uye un p ocedimien o i e a i o algeb aico
que esuel e cualquie p oblema en un n´ume o ini o de pasos. La concep-
ci´on de es e m´e odo ha acili ados que o os especialis as del ema desa ollen
o os m´e odos de soluci´on con la misma iloso ´ıa, pe o m´as adecuados pa a la
p og amaci´on po compu ado as. Pa a explica el m´e odo simplex es necesa-
io de ini un conjun o de concep os b´asicos necesa ios pa a la comp ensi´on
del mismo. Los pasos a ene en cuen a son los siguien es:
Paso 1. Pone el p oblema en o ma es anda : La unci´on obje i o se
minimiza y las es icciones son de igualdad.
Paso 2. Encon a una soluci´on b´asica ac ible.
Paso 3. Tes a la op imalidad.
Paso 4. Elegi una a iable de en ada.
Paso 5. Elegi una a iable de salida.
Paso 6.Ac ualiza la base y la soluci´on b´asica ac ible.
Paso 7. Aho a enemos una soluci´on b´asica ac ible mejo que la inicial.
Necesi amos sabe si ´es a es la ´op ima. Pa a ello necesi amos aplica el es
de op imalidad, el paso 3.
Pa a los que quie an en a en m´as de alle pueden hace uso de Paul R.
Thie y Ge a d E. Keough [9].
Cap´ı ulo 2
Juegos no coope a i os
2.1. In oducci´on a los Juegos en Fo ma Es-
a ´egica
Un juego en o ma es a ´egica es un modelo es ´a ico que desc ibe p o-
blemas de decisi´on en los que in e accionan a ios jugado es. De acue do a
es e modelo, los jugado es oman sus decisiones simul ´anea e independien-
emen e y, aunque los jugado es pod ´ıan comunica se y oma acue dos in-
o males an es de que el juego comience, se supone que no disponen de me-
canisms que les pe mi an oma acue dos inculan es. De aho a en adelan e
asumi emos que odos los jugado es son acionales en el sen ido de que in-
en an maximiza su p opia u ilidad. Da emos aho a la de inici´on o mal de
juego en o ma es a ´egica.
De inici´on 2.1.1. Un juego en o ma es a ´egica G con conjun o de ju-
gado es N= 1, ..., n es una 2n- upla G= (X1, ..., Xn,H1, ..., Hn) donde,
pa a odo i∈N,Xies el conjun o de es a egias del jugado iyHi:X=
Qn
i=1 Xi→Res su unci´on de pago, que asigna a cada pe il de es a egias
x∈Xel pago que iob iene si se juega de acue do a al pe il.
15

16 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
En ealidad, en un p oblema de decisi´on en el que in e accionan los juga-
do es de N es ´an in oluc ados los siguien es elemen os:
• {Xi}i∈N, los conjun os de es a egias de los jugado es.
•R, el conjun o de posibles esul ados.
•Una aplicaci´on :X=Qn
i=nXi−→ Rque asigna a cada pe il de
es a egias xsu co espondien e esul ado (x).
• {i}i∈N, las p e e encias de los jugado es sob e R ( elaciones bina ias
comple as y ansi i as).
La de inici´on de juego en o ma es a ´egica asume que las p e e encias
de los jugado es pueden ep esen a se a a ´es de unciones de u ilidad. Si
pa a cada i∈Ndeno amos po hisu unci´on de u ilidad, la co espondien e
unci´on de pago Hi iene dada, pa a odo pe il de es a egias x∈X, po
Hi(x) = hi( (x)). Veamos aho a un ejemplo muy conocido en la Teo ´ıa de
Juegos.
Ejemplo 2.1.2. Dilema del p isione o. Dos sospechosos de un deli o g a e y
de un peque˜no hu o son ubicados en celdas di e en es. Se sabe que son cul-
pables de ambos hechos, pe o no hay p uebas de que hayan come ido el deli o.
A ambos se les da la opo unidad de con esa . Si ambos con iesan el deli o,
cada uno de ellos pasa ´a 10 a˜nos en la c´a cel. Si s´olo uno con iesa, ac ua ´a
como es igo con a el o o (que pasa ´a 15 a˜nos en la c´a cel) y no ecibi ´a
ning´un cas igo. Finalmen e, si ninguno con iesa, se ´an juzgados po el hu -
o y cada uno de ellos pasa ´a en la c´a cel 1 a˜no. Siguiendo la e minolog´ıa
com´un pa a es e juego, nos amos a e e i a la con esi´on como “dela a ”
(D) y a la no con esi´on como “no dela a ” (ND). En al caso, el juego del
dilema del p isione o se puede ep esen a como el juego en o ma es a ´egica
(X1, X2, H1, H2)dado po :
JUEGOS NO COOPERATIVOS 17
•X1=X2={ND, D};
•H1(ND, ND) = -1, H1(ND, D) = -15, H1(D, ND) = 0, H1(D, D) =
-10;
•H2(ND, ND) = -1, H2(ND, D) = 0, H2(D, ND) = -15, H2(D, D) =
-10.
La siguien e abla mues a una ep esen aci´on m´as con enien e de es e
juego, que es la o ma habi ual de ep esen a juegos en o ma es a ´egica
bipe sonales con conjun os ini os de es a egias.
ND D
ND -1, -1 -15,0
D 0, -15 -10, -10
El dilema del p isione o es un cl´asico en Teo ´ıa de Juegos. Ha sido am-
pliamen e u ilizado en ´ambi os e´o icos, aunque ambi´en pa a p op´osi os m´as
aplicados en sociolog´ıa o econom´ıa. El esul ado “coope a i o”, (-1,-1), es
bas an e bueno pa a ambos jugado es; es “casi” odo lo que pueden ob ene
en el juego. Aho a bien, pa a cada jugado , la es a egia D conduce a un pago
es ic amen e m´as al o que ND, independien emen e de la es a egia elegida
po el o o jugado . De es a o ma, un deciso acional debe ´ıa juga siem-
p e D. As´ı, si ambos jugado es se compo an acionalmen e, ob ienen pagos
(-10,-10), que son muchos peo es que los pagos en el esul ado “coope a i o”.
Muchas si uaciones de la ida eal pueden se is as como un juego del dilema
del p isione o. Po ejemplo, en la ca e a nuclea en e los EEUU y la URSS
du an e la denominada Gue a F ´ıa, ambos pa´ıses deb´ıan decidi si p oduci
o no a mas nuclea es; en es a si uaci´on, los pagos end ´ıan una es uc u a
simila a la abla is a an es. 
18 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
2.2. El Equilib io de Nash en Juegos en Fo -
ma Es a ´egica
El concep o de soluci´on m´as impo an e pa a juegos en o ma es a ´egica
es el equilib io de Nash. Po su impac o en la eo ´ıa econ´omica, John Nash
ecibi´o el P emio Nobel de Econom´ıa en 1994. En Kohlbe g [16] se dice que
la idea p incipal del equilib io de Nash es hace una impo an e simpli ica-
ci´on y, en ez de p eocupa se de c´omo se desa olla ´a la in e acci´on en e los
jugado es, p egun a se cu´ales se ´an los esul ados es ables de al in e acci´on.
De hecho, un equilib io de Nash de un juego en o ma es a ´egica no es m´as
que un pe il de es a egias al que ning´un jugado gana des i´andose unila-
e almen e de ´el; en es e sen ido puede deci se que el concep o de equilib io
de Nash busca esul ados es ables de la si uaci´on in e ac i a desc i a po el
juego en o ma es a ´egica.
De inici´on 2.2.1. Sea G = (X1, ..., Xn, H1, ..., Hn)un juego en o ma es-
a ´egica. Un equilib io de Nash de G es un pe il de es a egias x∈X
que cumple que
Hi(x)≥Hi(x−i, x0
i),
pa a odo x0
i∈Xi, y odo i∈N, donde el pe il (x−i, x0
i)es:
(x1, ..., xi−1, x0
i, xi+1, ..., xn).
Vemos aho a un pa de ejemplos.
Ejemplo 2.2.2. El ´unico equilib io de Nash del dilema del p isione o es (D,
D). De hecho, como ya hemos a gumen ado, (D, D) es el ´unico compo a-
mien o acional en un con ex o no coope a i o.
Ejemplo 2.2.3. Pa es o nones. Los jugado es 1 y 2 ienen que escoge si-
mul ´anea e independien emen e un n´ume o na u al. Si la suma de los n´ume-
os escogidos es pa , en onces gana el jugado 1 y si la suma es impa en onces
JUEGOS NO COOPERATIVOS 19
gana el jugado 2. Esencialmen e, odo lo que impo a pa a es e juego es si
el n´ume o escogido es pa (P) o impa (I) y, po an o, el juego en o ma es-
a ´egica que desc ibe es a si uaci´on es el que se ecoge en la siguien e abla;
cla amen e, es e juego no iene equilib ios de Nash.
P I
P 1,-1 -1,1
I -1,1 1,-1
A con inuaci´on amos a p esen a el eo ema de Nash, que da una con-
dici´on su icien e pa a la exis encia de equilib ios de Nash en un juego en
o ma es a ´egica. Pa a enuncia y demos a el eo ema de Nash debemos
in oduci algunos concep os y esul ados de an´alisis de co espondencias.
De inici´on 2.2.4. Sea X ⊂Rne Y ⊂Rm.
1) Una co espondencia F de X en Y es una aplicaci´on de X en 2Y(la
clase de odos los subconjun os de Y).
2) Se dice que una co espondencia F es semicon inua supe io men e
si pa a oda sucesi´on {xk} ⊂ Xque con e ge a x ∈Xy odo abie o G de Y
que con iene a F(x), exis e k0∈N al que F(xk)⊂Gpa a odo k≥k0.
3) Se dice que una co espondencia F es no ac´ıa, ce ada o con exa
si, pa a odo x∈X, F(x) es un subconjun o de Y no ac´ıo, ce ado o con exo,
espec i amen e.
4) Una aplicaci´on →Res cuasi-c´onca a si pa a odo ∈R, el con-
jun o {x∈X: (x)≥ }es con exo o, equi alen emen e si pa a cualesquie a
x, ˆx∈Xy pa a odo α∈[0,1], (αx + (1−α) ˆx)≥m´ın{ (x), (ˆx)}. Cla a-
men e la conca idad implica cuasi-conca idad ya que la conca idad equie e
que
(αx + (1 −α)ˆx)≥α (x) + (1 −α) (ˆx)
y
α (x) + (1 −α) (ˆx)≥min{ (x), (ˆx)}.
26 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
No a 2.3.8. Po las p oposiciones an e io es, si (x, y)y(x0, y0)son equili-
b ios de Nash del juego bipe sonal de suma nula G, en onces (x, y0)y(x0, y)
son ambi´en equilib ios de Nash de G, y adem´as,
H(x, y) = H(x0, y0) = H(x, y0) = H(x0, y).
Sin emba go, es o no es cie o pa a cualquie juego bipe sonal como e emos,
po ejemplo, al es udia los juegos bima iciales.
No a 2.3.9. Un juego bipe sonal de suma cons an e es un juego en
o ma es a ´egica G= (X, Y, H1, H2) al que, pa a odo pe il de es a egias
(x, y)∈X×Y, H1(x, y) + H2(x, y) = k, siendo k una cons an e eal. Ob ia-
men e, un juego de suma nula es un juego de suma cons an e con k = 0. Sin
emba go, desde el pun o de is a es a ´egico, analiza el juego G es lo mismo
que analiza el juego de suma nula G1= (X, Y, H1)ya que (x, y)∈X×Y
es un equilib io de Nash de G si y s´olo si es un equilib io de Nash de G1.
2.4. Es a egias Mix as en Juegos Fini os
A pa i de aho a nos cen a emos en la clase de los juegos ini os, que
de inimos a con inuaci´on.
De inici´on 2.4.1. Un juego ini o es un juego en o ma es a ´egica
G= (X1, ..., Xn, H1, ..., Hn)
cuyos jugado es ienen conjun os de es a egias ini os, es deci , al que |Xi|=
mipa a odo i∈N(siendo cada miun n´ume o na u al).
El eo ema de Nash is o an e io men e no se puede aplica a los juegos
ini os, ya que los conjun os de es a egias no son con exos. Po o o lado, ya
hemos is o un juego ini o sin equilib ios de Nash: el juego de pa es o nones.

JUEGOS NO COOPERATIVOS 27
Sin emba go, hay un “ingenio e´o ico” que nos pe mi e ex ende el juego y
ga an iza la exis encia de equilib ios de Nash en la e isi´on ex endida de odo
juego ini o: al ingenio consis e en aumen a las posibilidades es a ´egicas
de los jugado es y conside a que no s´olo ienen sus es a egias iniciales (que
pasa emos a denomina es a egias pu as), sino que ambi´en pueden escoge
lo e ´ıas sob e sus conjun os ini os de es a egias pu as. Es a ex ensi´on del
juego o iginal se llama ex ensi´on mix a y las es a egias de los jugado es en
la ex ensi´on mix a se llaman es a egias mix as.
Aunque nos hemos e e ido a la ex ensi´on mix a de un juego como un
“ingenio e´o ico”, las es a egias mix as su gen de modo na u al en muchas
si uaciones en la p ´ac ica. Vamos a discu i b e emen e es a cues i´on en el
ejemplo siguien e, en el que in oducimos in o malmen e la ex ensi´on mix a
de un juego en o ma es a ´egica. Despu´es del ejemplo da emos una de inici´on
o mal.
Ejemplo 2.4.2. Conside emos de nue o el juego de pa es y nones y supon-
gamos aho a que los jugado es, adem´as de escoge P o I, pueden escoge
ambi´en una lo e ia L que selecciona P con p obabilidad 1/2 e I con p o-
babilidad 1/2. Supongamos ambi´en que los jugado es ienen unciones de
u ilidad de on Neumann y Mo gens e n y, po an o, sus unciones de pago
se pueden ex ende al conjun o de pe iles de es a egias mix as calculando
sus co espondien es espe anzas ma em´a icas. El juego esul an e iene dado
po la abla siguien e:
P I L
P 1,-1 -1,1 0,0
I -1,1 1,-1 0,0
L 0,0 0,0 0,0
Pa a calcula las unciones de pago del juego ex endido hemos enido en cuen-
a que, dado que es amos en un juego en o ma es a ´egica, los jugado es
28 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
eligen sus lo e ´ıas independien emen e. As´ı, po ejemplo:
H1(L, L) = 1
4H1(P, P) + 1
4H1(P, I) + 1
4H1(I, P) + 1
4H1(I, I) = 0
Obse amos que es e juego iene un equilib io de Nash: (L, L). La ex en-
si´on mix a del juego de pa ida es un nue o juego en o ma es a ´egica en
el que los jugado es pueden escoge cualquie lo e ´ıa sob e {P, I}. Es ´acil
comp ob a que el ´unico equilib io de Nash de es e juego es (L, L). Una po-
sible in e p e aci´on de es o es la siguien e. En el juego de pa es o nones es
muy impo an e pa a cada uno de los jugado es que el o o no enga ninguna
in o maci´on sob e si elegi ´a inalmen e P o I. Pa a ello, lo mejo es que ni
´el mismo lo sepa, lo cual puede lle a se a e ec o seleccionando la es a egia
de L. 
De inici´on 2.4.3. Sea G= (X1, ..., Xn, H1, ..., Hn)un juego ini o. La ex-
ensi´on mix a de G es el juego en o ma es a ´egica
E(G) = (S1, ...Sn, H1, ..., Hn)
donde, pa a cada jugado i∈N,
1. Si={si∈RXi:si(xi)≥0∀xi∈Xi,Pxi∈Xisi(xi)=1}
2. Hi(s) = Px∈XHi(x)s(x),pa a odo s∈S, donde S=Qi∈NSiy s(x)
deno a el p oduc o s1(x1)×... ×sn(xn).
No a 2.4.4. La ex ensi´on mix a de un juego ini o s´olo iene sen ido cuando
los jugado es ienen p e e encias sob e el conjun o de lo e ´ıas de inidas sob e
el conjun o de posibles esul ados y sus unciones de u ilidad son unciones
de u ilidad de on Neumann y Mo gens e n.
No a 2.4.5. E(G) es una ex ensi´on de G en el sen ido de que, pa a odo
jugado i, cada elemen o de Xi, o es a egia pu a, puede se iden i icado con
JUEGOS NO COOPERATIVOS 29
un elemen o de Si, o es a egia mix a, po lo que podemos esc ibi Xi⊂Si.
Po o o lado, las unciones de pago de los jugado es en E(G) son ex ensiones
de las unciones de pago de los jugado es en G.
No a 2.4.6. El conjun o de es a egias del jugado ilo amos a iden i ica
en ocasiones con el s´ımplex de Rmidado po :
{si∈Rmi:sk
i≥0∀k∈ {1, ..., mi},
mi
X
k=1
sk
i= 1}.
No a 2.4.7. La ex ensi´on mix a de un juego ini o cumple las hip´o esis del
eo ema de Nash y, po lo an o, un co ola io de al eo ema es que la ex en-
si´on mix a de un juego ini o iene siemp e, al menos, un equilib io de Nash.
De hecho, ´es e ue el esul ado p obado po John Nash en su a ´ıculo o iginal.
Pa a e mina con es a secci´on da emos algunas de iniciones y esul ados
b´asicos en elaci´on con los juegos ini os.
De inici´on 2.4.8. Sea E(G) la ex ensi´on mix a de un juego ini o y sean
si∈Si, una es a egia del jugado i, y s∈Sun pe il de es a egias.
1. El sopo e de sies el conjun o C(si)dado po :
{xi∈Xi:si(xi)>0},
2. El sopo e de ses el conjun o C(s)dado po :
Y
i∈N
C(si) = {x∈X:s(x)>0}.
3. Se dice que sies comple amen e mix a si C(si) = Xi. Se dice que
s es comple amen e mix a si C(s) = Xo, equi alen emen e, si sies
comple amen e mix a pa a odo i∈N.
30 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
4. El conjun o de mejo es espues as pu as del jugado ias−ies
el conjun o
PBi(s−i) = {xi∈Xi:Hi(s−i, xi)≥Hi(s−i, x0
i)∀x0
i∈Xi}.
Usa emos la no aci´on PB(s) = Qi∈NPBi(s−i).
P oposici´on 2.4.9. En la ex ensi´on mix a de un juego ini o, pa a odo
i∈N, si∈Siys∈S, se cumple:
1. si∈Bi(s−i)si y s´olo si C(si)⊂PBi(s−i).
2. s es un equilib io de Nash de E(G) si y solo si C(s)⊂PB(s).
3. s es un equilib io de Nash de E(G) si y solo si Hi(s)≥Hi(s−i, xi)pa a
odo xi∈Xiy odo i∈N.
Demos aci´on. Es ´acil e que Hi(s) = Pxi∈XiHi(s−i, xi)si(xi), con lo que
la p oposici´on se sigue inmedia amen e.
Obs´e ese que el apa ado 3) de la p oposici´on an e io implica que si un
pe il de es a egias es un equilib io de Nash de un juego ini o G ambi´en lo
es de E(G).
2.5. Juegos Ma iciales y Algo i mos
En es a secci´on comp oba emos que esol e un juego ma icial es, en
cie o modo, equi alen e a esol e un pa de p oblemas de p og amaci´on
lineal duales y ob end emos un algo i mo pa a esol e juegos ma iciales.
De inici´on 2.5.1. Un juego bima icial es la ex ensi´on mix a de un juego
bipe sonal ini o (M, N, H1, H2), donde M={1, .., m}yN={1, .., n}. Po
an o, un juego bima icial es una 4- upla (Sm, Sn, H1, H2) al que:
JUEGOS NO COOPERATIVOS 31
1. Sm={x∈Rm:xi≥0∀i∈M, Pi∈Mxi= 1}.
2. Sn={y∈Rn:yj≥0∀j∈N, Pj∈Nyj= 1}.
3. Pa a odo (x, y)∈Sm×Sn,
H1(x, y) = X
i∈MX
j∈N
H1(i, j)xiyj=xAy ,
donde A= (H1(i, j))i∈M,j∈Nes una ma iz m×n.
4. Pa a odo (x, y)∈Sm×Sn,
H2(x, y) = X
i∈MX
j∈N
H2(i, j)xiyj=xBy ,
donde B= (H2(i, j))i∈M,j∈Nes una ma iz m×n.
N´o ese que pa a ca ac e iza un juego bima icial es su icien e conoce el
pa de ma ices (A, B).
De inici´on 2.5.2. Un juego ma icial es la ex ensi´on mix a de un juego
bipe sonal de suma nula ini o (M, N, H), donde M={1, ..., m}yN=
{1, ..., n}. Po an o, un juego ma icial es una e na (Sm, Sn, H) al que:
1. Sm={x∈Rm:xi≥0∀i∈M, Pi∈Mxi= 1}.
2. Sn={y∈Rn:yi≥0∀j∈N, Pj∈Nyj= 1}.
3. Pa a odo (x, y)∈Sm×Sn,
H(x, y) = X
i∈MX
j∈N
H(i, j)xiyj=xAy ,
donde A= (H(i, j))i∈M,j∈Nes la ma iz m×nque con iene los pagos
del jugado 1.

32 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
V´ease que pa a ca ac e iza un juego ma icial es su icien e da la ma iz
A. Ob iamen e odo juego ma icial puede e se como un juego bima icial,
aunque el ec´ıp oco no es cie o. Po an o, el eo ema de Nash implica que
odo juego ma icial iene un equilib io de Nash. Po la P oposici´on 2.3.7,
se iene en onces que odo juego ma icial es ´a es ic amen e de e minado.
´
Es e es el esul ado conocido como eo ema minimax, p obado po John
on Neumann en 1928.
Teo ema 2.5.3. [Teo ema minimax de on Neumann ]. Todo juego ma icial
iene un alo (en es a egias mix as), es deci ,
m´ax
x∈Xm´ın
y∈Yx Ay = m´ın
y∈Ym´ax
x∈Xx Ay.
El lec o in e esado en la demos aci´on del Teo ema 2.5.3 puede encon-
a la en Isabel Fe n´andez [6].
Exis en di e en es p uebas di ec as del eo ema minimax, algunas de ellas
muy elegan es: una basada en un lema de al e na i as pa a ma ices, una
basada en un eo ema de pun o ijo de B owe ; incluso hay una que u iliza
´unicamen e el p incipio de inducci´on. El lec o in e esado puede encon a
algunas de es as demos aciones en Owen [8] y Gonz´alez-D´ıaz y o os [11].
Vamos a e a con inuaci´on dos m´e odos pa a esol e juegos ma iciales
(po “ esol e un juego ma icial” en endemos encon a su alo y los con-
jun os de es a egias ´op imas de los jugado es). Comenzamos po un m´e odo
geom´e ico pa a juegos ma iciales 2 ×n. Pa a desc ibi lo necesi amos el
siguien e esul ado.
P oposici´on 2.5.4. Conside emos un juego ma icial m×ndado po la
ma iz A. En onces, pa a odo x∈Smy odo y∈Sn,
Λ(x) = m´ın
j∈NxPj,
Γ(y) = m´ax
i∈MQiy ,
JUEGOS NO COOPERATIVOS 33
donde PjyQideno an la columna j-´esima y la ila i-´esima de A, espec i a-
men e.
Demos aci´on. S´olo amos a p oba la p ime a de las igualdades (la segunda
se p oba ´ıa analogamen e). Sea x∈Sm, Cla amen e,
Λ(x) = ´ın
y∈Sn
xAy ≤m´ın
j∈NxPj.
Po o o lado, dado y∈Sn.
xAy =X
k∈N
(xPk)yk≥X
k∈N
(m´ın
j∈NxPj)yk= m´ın
j∈NxPj.
Po an o, Λ(x) = ´ın y∈SnxAy ≥m´ınj∈NxPj,con lo que se iene el esul ado.
Conside amos aho a un juego ma icial 2×ndado po la siguien e ma iz:


a11 ... a1j... a1n
a21 ... a2j... a2n

Podemos iden i ica una es a egia del jugagado 1, x∈S2, con su p ime a
componen e, y u ilizando la p oposici´on an e io se iene que:
V= m´ax
x∈[0,1] Λ(x) = m´ax
x∈[0,1] m´ın
j∈N[(x, 1−x)a1j
a2j]
= m´ax
x∈[0,1] m´ın
j∈N[a2j+ (a1j−a2j)x].
Po lo an o, pa a calcula el alo del juego y el conjun o de es a egias
´op imas del jugado 1, se ´a su icien e ep esen a , pa a cada j∈N, los
segmen os {(x, a2j+ (aij −a2j)x) : x∈[0,1]}, ob ene su en ol u a in e io
y busca el conjun o de pun os ¯x∈Smque maximiza esa en ol u a.
Aho a, pa a calcula el conjun o de es a egias ´op imas del jugado 2,
debemos ene en cuen a que y∈Snes una de ales es a egias si y s´olo si:
34 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
V= Γ(y) = m´ax
x∈[0,1] H(x, y)
= m´ax
x∈[0,1] xAy = m´ax
x∈[0,1][X
j∈N
[a2j+ (a1j−a2j)x]yj].
En consecuencia, una es a egia ´op ima del jugado 2 end ´a dada po un
elemen o de Snque p opo ciona una combinaci´on con exa de los segmen os
{(x, a2j+(aij −a2j)x) : x∈[0,1]}que se encuen a bajo el segmen o {(x, V ) :
x∈[0,1]}. A con inuaci´on lo emos con un ejemplo.
Ejemplo 2.5.5. Resol amos el juego ma icial dado po la ma iz
A=

2 2 3
1 4 3 

Los segmen os co espondien es a las columnas de A son, {(x, 1 + x) :
x∈[0,1]},{(x, 4−2x) : x∈[0,1]},{(x, 3) : x∈[0,1]}. Cla amen-
e, el alo de es e juego es V= 2, el conjun o de es a egias del juga-
do 1 es O1(A) = {(1,0)}y el conjun o de es a egias ´op imas del juga-
do 2 es la en ol u a con exa de (1,0,0) y(2/3,1/3,0), es o es O2(A) =
con ({(1,0,0),(2/3,1/3,0)}). Pa a ob ene O2(A), la o ma m´as sencilla
se ´a combina una ec a c ecien e y o a dec ecien e de en e las que co -
an a la ec a y=V(y= 2) y consegui que la pendien e de esa combinaci´on
sea nula. La ec a se ´a pa alela al eje de abcisas y pasa po los pun os (0, V )
y(1, V ). Si aho a omamos una combinaci´on con exa de las exp esiones 1+x
y4−2xde la o ma α(1 + x) + (1 −α)(4 −2x) = (3α−2)x+ 4 −3α, con
α∈[0,1], en onces po la condici´on de pendien e nula, α= 2/3.
A con inuaci´on amos a desc ibi el denominado m´e odo de las sub-
ma ices, que es un algo i mo pa a esol e cualquie juego ma icial m×n.
Se basa en la ca ac e izaci´on de los pun os ex emos de los conjun os de
es a egias ´op imas de los jugado es.
JUEGOS NO COOPERATIVOS 35
P oposici´on 2.5.6. Sea A un juego ma icial m×ny omemos x∈Sme
y∈Sn. En onces:
1. x∈O1(A)si y s´olo si xPj≥V, pa a odo j∈N.
2. y∈O2(A)si y s´olo si Qiy ≤V, pa a odo i∈M.
Demos aci´on. P obamos s´olo la p ime a equi alencia (la segunda se p o-
ba ´ıa an´alogamen e).
“⇒” Supongamos que x∈O1(A). En onces, po la P oposici´on 2.5.4,
V= Λ(x) = m´ınj∈NxPj. Consecuen emen e, V≤xPjpa a odo j∈N.
“⇐” Supongamos que xPj≥Vpa a odo j∈N. Aplicamos nue amen e
la P oposici´on 2.5.4:
V= m´ax
x0∈Sm
Λ(x0)≥Λ(x) = m´ın
j∈NxPj≥V
con lo que concluye la demos aci´on.
P oposici´on 2.5.7. Sea A un juego ma icial m×n. En onces, los conjun-
os de es a egias ´op imas de los jugado es, O1(A)yO2(A), son conjun os
con exos y compac os.
Demos aci´on. En i ud de la P oposici´on 2.5.6, los conjun os son cla amen-
e con exos. Tambi´en es ´a cla o que son aco ados. Son ce ados ya que las
unciones Λ y Γ son con inuas y O1(A) = Λ−1({V}) y O2(A)=Λ−1({V}).
P oposici´on 2.5.8. Sea A un juego ma icial m×n, y omemos x∈Sm,
y∈Sn. En onces, x∈O1(A)ey∈O2(A)si y s´olo si xPj≥Qiy pa a odo
i∈My odo j∈N.
Demos aci´on. “⇒” Es a implicaci´on es una consecuencia de la P oposici´on
2.5.6.
“⇐” Si xPj≥Qiy pa a odo i∈My odo j∈N, en onces
V=γ≤Γ(y) = m´ax
i∈MQiy ≤m´ın
j∈NxPj= Λ(x)≤λ=V.
42 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
b) Si u es una soluci´on ´op ima del p oblema (2.2), en onces (x, Λ) es una
soluci´on ´op ima del p oblema (2.1) donde, pa a odo i∈M,
xi=1
uJ
m
ui,yΛ = 1
uJ
m
.
Aho a podemos p ocede de modo an´alogo desde el pun o de is a del
jugado 2. Pa a encon a el alo del juego y el conjun o de es a egias
´op imas del jugado 2 bas a esol e el siguien e p oblema de p og amaci´on
lineal:
minimiza Γ
suje o a Qiy ≤Γ,∀i∈M,
yJ
n= 1,
y≥0.
Cla amen e es e p oblema es equi alen e al siguien e:
maximiza 1
Γ
suje o a Ay ≤ΓJ
m,(2.3)
yJ
n= 1,
y≥0.
Conside emos aho a el p oblema que desc ibimos a con inuaci´on (que es
el dual del p oblema (2.2):
maximiza wJ
n
suje o a Aw ≤J
m,(2.4)
w≥0.

JUEGOS NO COOPERATIVOS 43
De nue o, es un eje cicio sencillo p oba el siguien e esul ado.
P oposici´on 2.6.2. a) Si el pa (y, Γ) es una soluci´on ´op ima del p oblema
(2.3), en onces wes una soluci´on ´op ima del p oblema (2.4) donde, pa a odo
j∈N,
wj=1
Γyj.
b) Si wes una soluci´on ´op ima del p oblema (2.4), en onces (y, Γ) es una
soluci´on ´op ima del p oblema 2.3 donde, pa a odo j∈N,
yj=1
wJ
n
wj,yΓ = 1
wJ
n
.
Como conclusi´on podemos deci que, pa a esol e un juego ma icial,
es su icien e esol e los p oblemas (2.2) y (2.4) que son un pa de p oble-
mas de p og amaci´on lineal duales. N´o ese que es e esul ado implica que el
algo i mo del s´ımplex puede se usado pa a esol e un juego ma icial.
Vamos a e aho a que, pa a esol e un pa de p oblemas de p og ama-
ci´on lineal, es su icien e esol e un cie o juego ma icial. Pa a ello p ecisa-
mos de unas de iniciones y esul ados b´asicos.
De inici´on 2.6.3. Un juego ma icial n×nca ac e izado po la ma iz A
se dice sim´e ico si los jugado es son in e cambiables, es o es, si A=−A .
P oposici´on 2.6.4. Sea A un juego ma icial n×nsim´e ico. En onces, su
alo V es ce o y, adem´as, O1(A) = O2(A).
De inici´on 2.6.5. Sea A un juego ma icial m×n. Una ila Qise denomina
ele an e si exis e x∈O1(A) al que xi>0. Una columna Pjse denomina
ele an e si exis e y∈O2(A) al que yj>0.
P oposici´on 2.6.6. Sea A un juego ma icial m×n.
1. Si Pjes una columna ele an e, en onces se iene que xPj=Vpa a
odo x∈O1(A).
44 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
2. Si Qies una ila ele an e, en onces se iene que Qiy =Vpa a odo
y∈O2(A).
Conside emos aho a un pa de p oblemas de p og amaci´on lineal duales
(P)y(D) seg´un las de iniciones . Conside emos el siguien e juego ma icial
B:
B=



0A−c
−A 0b
c−b0




Obs´e ese que se a a de un juego ma icial sim´e ico, po lo que su alo
es ce o y adem´as O1(B) = O2(B).A pa i de aho a en juegos ma iciales
sim´e icos, al e e i nos a una es a egia ´op ima de los jugado es di emos
sencillamen e una es a egia ´op ima del juego.
Teo ema 2.6.7. Los p oblemas (P) y (D) ienen soluciones ´op imas si y s´olo
si el juego ma icial B iene una es a egia ´op ima cuya ´ul ima componen e
es posi i a.
Ejemplo 2.6.8. La ma iz de pagos del jugado 1 es


2 4 3
7 2 5 

Es cla o que no hay es a egias pu as en equilib io.
Fo mulamos uno de los p oblemas de p og amaci´on lineal, o el del jugado
1
m´ax
suje o a 2p1+ 7p2≥
4p1+ 2p2≥
3p1+ 5p2≥
p1 + p2= 1
p1, p2≥0
JUEGOS NO COOPERATIVOS 45
o bien, el del jugado 2
m´ın w
suje o a 2q1+ 4q2+ 3q3≤w
7q1+ 2q2+ 5q3≤w
q1+q2+q3= 1
q1, q2, q3≥0
Si po ejemplo esol emos es e ´ul imo p oblema, la soluci´on ´op ima es
q1= 2/7, q2= 5/7, q3= 0, siendo w= = 24/7, y las a iables duales son
(−5/7,−2/7), de donde se deduce que la es a egia ´op ima del jugado 1 es
p1= 5/7, p2= 2/7.
46 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
Cap´ı ulo 3
Juegos Coope a i os
En es e cap´ı ulo a amos de es udia c´omo pueden ac ua g upos de
jugado es, sin de ene nos en las acciones indi iduales de los mismos. El p o-
blema undamen al que amos a es udia es el de c´omo puede hace se una
dis ibuci´on de pagos en e los jugado es que o man una coalici´on y han
ob enido una ganancia ac uando coo dinalmen e, de mane a coope a i a y
c´omo la p og amaci´on lineal acili a el c´alculo. Pa a esol e dicho p oblema,
y al igual que en el caso de los juegos no coope a i os, se han p opues o
di e sos concep os de soluci´on. En es e cap´ı ulo se es udian dos de ellos: el
co e y el nucleolus.
3.1. In oducci´on
En los juegos coope a i os se pa e de que es posible que algunos juga-
do es puedan llega a acue dos inculan es (a los que queda ´ıan obligados
de mane a ineludible), po lo que se a a es de es udia los esul ados que
puede ob ene cada una de las coaliciones de jugado es que se pueden o ma .
Se a a, po an o de es udia c´omo pueden ac ua g upos de jugado es, in-
e es´andonos los compo amien os colec i os y sin que haga al a de ene se
47

48 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
en las acciones indi iduales de cada uno de los miemb os de una coalici´on.
A con inuaci´on, as eco da la de inici´on de juego en o ma coalicional
(o juego en o ma de unci´on ca ac e ´ıs ica), se in oducen o as de iniciones
que se an a u iliza a lo la go del cap´ı ulo.
De inici´on 3.1.1. Un juego en o ma coalicional o en o ma unci´on
ca ac e ´ıs ica con u ilidades ans e ibles consis e en:
1. Un conjun o ini o de jugado es N={1,2, ..., n}.
2. Una unci´on ca ac e ´ıs ica, que asocia a cada subconjun o S de N un
n´ume o eal (S)( alo de coalici´on), siendo (∅)=0.
Po an o, G= (N, )es un juego en o ma coalicional con u ilidades ans-
e ibles si Ny es ´an especi icados.
Si al c ece el n´ume o de jugado es que o man una coalici´on se cumple que
el bene icio o ganancia que ob iene la coalici´on no disminuye, es amos an e un
juego coope a i o mon´o ono, al como se de ine o malmen e a con inuaci´on.
De inici´on 3.1.2. Se dice que un juego G= (N, )es mon´o ono si ∀S, T ⊂
N, con S⊂T, se e i ica que
(S)≤ (T).
A con inuaci´on se de ine el concep o de juego supe adi i o, en el cual
cuando dos coaliciones con in e secci´on ac´ıa se unen el bene icio o ganancia
de la nue a coalici´on es al menos igual a la suma de los bene icios de las
coaliciones que se unen.
De inici´on 3.1.3. Se dice que un juego G= (N, )es supe adi i o si
∀S, T ⊂N, con S∩T=∅, se e i ica que
(S) + (T)≤ (S∪T)
JUEGOS COOPERATIVOS 49
Si la desigualdad de la de inici´on an e io se da en sen ido opues o se
dice que el juego es subadi i o.
Aho a se in oduce una p opiedad m´as ue e que la an e io . Si dos coa-
liciones (con in e secci´on no necesa iamen e ac´ıa) se unen, en onces la suma
de los bene icios de la uni´on e in e secci´on es al menos igual a la suma de
bene icios de las coaliciones que se unen.
De inici´on 3.1.4. Se dice que un juego G= (N, )es con exo si ∀S, T ⊂
N, se e i ica que
(S) + (T)≤ (S∪T) + (S∩T)
Si la desigualdad an e io se da en sen ido opues o se dice que el juego es
c´onca o.
De inici´on 3.1.5. Sean (N, )y(N, w)dos juegos coope a i os, con N=
{1,2, ..., N}. Sea λ∈R. Se de ine:
( +w)(S) = (S) + w(S),∀S⊂N;
(λ )(S) = λ[ (S)],∀S⊂N;
( w)(S) = (s)w(S),∀S⊂N.
Se comp ueba acilmen e que el conjun o de juegos coope a i os con n
jugado es, sob e el cue po de los n´ume os eales, con las ope aciones de inidas
de suma y de p oduc o po un escala , iene es uc u a de espacio ec o ial
de dimensi´on 2n−1.
3.2. El Co e y Concep os Relacionados
Sea G= (N, ) un juego en su o ma coalicional, en donde N={1, ..., n}
es el conjun o de jugado es y es la unci´on ca ac e ´ıs ica. Si en un juego los
50 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
jugado es deciden abaja conjun amen e, es deci , coope an, el p oblema
que se p esen a consis e en c´omo epa i el alo (N) en e los njugado es.
Sea x= (x1, x2, ..., xn)∈Rnun ec o de dis ibuci´on de pagos, en donde
pa a cada i= 1,2, .., n,xi ep esen a el pago que ecibe el jugado i. Pa a
cualquie coalici´on S⊂N, se u iliza ´a la siguien e no aci´on:
x(S) = X
i∈S
xi.
Po an o,
x(N) =
n
X
i=1
xi.
De inici´on 3.2.1. El conjun o de p eimpu aciones de un juego G= (N, )
es el siguien e conjun o de ec o es de dis ibuci´on de pagos:
PI(N, ) = {x= (x1, x2, .., xn)∈Rn:x(J) = (J)}.
Cabe pensa que ning´un jugado acep a ´a un pago in e io al que ob-
end ´ıa po s´ı mismo sin pa icipa en ninguna coalici´on. Su ge en onces el
concep o que se de ine a con inuaci´on.
De inici´on 3.2.2. El conjun o de impu aciones de un juego G= (N, )
es el siguien e conjun o de ec o es de pagos:
I(N, ) = {x= (x1, x2, ..., xn)∈Rn:x(N) = (n), xi≥ ({i}),pa a i= 1,2, .., n}
La condici´on de que pa a cada jugado i iene que cumpli se que xi≥
({i}) ecibe el nomb e de p incipio de acionalidad indi idual.
La siguien e p oposici´on nos da una condici´on necesa ia y su icien e pa a
que el conjun o de impu aciones de un juego sea no ac´ıo.
P oposici´on 3.2.3. Sea G= (N, )un juego en su o ma unci´on ca ac-
e ´ıs ica.
I(N, )6=∅ ⇔
n
X
i=1
({i})≤ (N)
JUEGOS COOPERATIVOS 51
De inici´on 3.2.4. Se dice que el juego G= (N, )es esencial si e i ica
que I(N, )6=∅.
El p incipio de acionalidad indi idual que se ecoge en el conjun o de
impu aciones puede ex ende se a odas las coaliciones median e el p incipio
de acionalidad coalicional. Llegamos en onces al concep o de co e de un
juego coope a i o.
De inici´on 3.2.5. El co e de un juego G= (N, )es el siguien e conjun o
de ec o es de pagos:
C(N, ) = {x= (x1, x2, .., xn)∈Rn:x(N) = (N), x(S)≥ (S),∀S∈P(N)}
A pa i de la de inici´on se e que el co e es un subconjun o del conjun o de
impu aciones. Se a a de las asignaciones que pod ´ıan cons i ui acue dos de
dis ibuci´on es ables, en el sen ido de que ning´un g upo de jugado es pod ´ıa
impugna unila e almen e ninguno de esos acue dos. En e ec o, ning´un g upo
consegui ´ıa po s´ı mismo m´as de lo que cualquie a de esos acue dos le pe mi e
ob ene .
P oposici´on 3.2.6. Sea G= (N, )un juego coope a i o. El conjun o C(N, )
es ce ado, aco ado y con exo.
Ejemplo 3.2.7. Una inca es ´a alo ada po su ac ual p opie a io en 350.000
eu os. Un emp esa io le o ece acondiciona la pa a su u ilizaci´on como pol´ıgono
indus ial, con lo que su alo de me cado alcanza ´ıa los 700.000 eu os. Una
emp esa cons uc o a le o ece u baniza la inca pa a su posible subdi isi´on
en pa celas des inadas a i iendas uni amilia es. Con es a u banizaci´on el
alo de la inca se ´ıa de 775.000 eu os.
Rep esen amos el juego en o ma coalicional. Sea
N={1,2,3}
58 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
somb a a los que se alo an los ecu sos, es deci a los agen es se les alo an
sus ecu sos de acue do al ec o de p ecios somb a, que p oduce un ec o
Owen, siendo dicho ec o un epa o del n´ucleo del juego. La soluci´on que
p opo cionan los Conjun os de Owen no iene po que se ´unica. Si (DN)
iene soluci´on m´ul iple, odas las alo aciones duales que dichas soluciones
ep esen an son ´alidas pa a ob ene elemen os del conjun o de Owen. A´un en
el caso en que (DN) enga soluci´on ´unica, si hay holgu a posi i a en alguno de
los ecu sos, eliminando el ecu so sob an e ob enemos una soluci´on m´ul iple
dual y algunas de las alo aciones duales que dichas soluciones ep esen an
nos pe mi en ob ene elemen os en el conjun o de Owen del juego o iginal.
Ejemplo 3.3.4. Conside emos es agen es o jugado es que apo an al p o-
ceso p oduc i o es ecu sos necesa ios, seg´un se mues a a con inuaci´on:
B=



139 181 110
140 87 183
130 225 215




Se p oducen es bienes que se enden en el me cado ob eni´endose unos
bene icios uni a ios p= (2,5,5,4) . La ma iz ecnol´ogica del p oblema es:
A=



2 9 3,5
6 4 9
8 9 7




Veamos el juego. Si se o ma la g an coalici´on, el p oblema a esol e es:

JUEGOS COOPERATIVOS 59
m´ax 2,5x1+ 5x2+ 4x3
suje o a: 2x1+ 9x2+ 3,5x3≤430
6x1+ 4x2+ 9x3≤410
8x1+ 9x2+ 7x3≤570
x1, x2, x3≥0
Si esol emos el p oblema, u ilizando el so wa e LINDO ob enemos que
el esquema ´op imo de p oducci´on consis e en p oduci exclusi amen e de los
bienes segundo y e ce o, es deci , x∗(N) = (0,36,343,29,403).
La soluci´on ´op ima del p oblema dual (DN), es: u∗(N) = (0,4328,0,2761,0).
Resol iendo el p oblema (PN)hemos ob enido el alo de la unci´on ca ac-
e ´ıs ica pa a la g an coalici´on en el juego de la p oducci´on (N, ), siendo
dicho alo de (N) = 299,328. Resol iendo los p oblemas (PS)pa a ca-
da coalici´on, S, ob enemos odos los alo es de la unci´on ca ac e ´ıs ica del
juego:
S{1} {2} {3} {1,2} {1,3} {2,3}N
(S) 73,774 102,336 98,142 198,528 194,868 200,507 299,328
Ob engamos el epa o de Owen, alo ando los ecu sos apo ados po
cada jugado a los p ecios duales, u∗(N). Se ob iene el siguien e epa o:
Ow(N, )=(u∗(N)bi) =
= ((0,4328,0,2761,0)(139,140,130) ,(0,4328,0,2761,0)(181,87,225) ,
(0,4328,0,2761,0)(110,183,215) ) =
= (98,821,102,366,98,142).
A con inuaci´on se p esen a una abla que con iene los alo es de la unci´on
ca ac e ´ıs ica con las asignaciones del epa o de Owen, pudi´endose comp o-
ba que dicho epa o es del n´ucleo del juego. Ow(S) = Pi∈SOw(i), ep esen-
60 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
a la asignaci´on que conjun amen e ob iene la coalici´on Scon el epa o de
Owen.
S{1} {2} {3} {1,2} {1,3} {2,3}N
(S) 73,774 102,336 98,142 198,528 194,868 200,507 299,328
Ow(S)98,821 102,366 98,142 201,19 196,96 200,507 299,328
En ´es e ejemplo la m´axima u ilidad que se ob iene de la coope aci´on de los
es agen es que pa icipan en el p oceso de p oducci´on es (N) = 299,3283.
Pe o aho a en ´es e caso sob an ecu sos. En conc e o sob an 37,0895 unida-
des del e ce ecu so. En es e caso los agen es pueden conside a la posibi-
lidad de apo a al p oceso de p oducci´on los ecu sos jus os, eliminando el
ecu so sob an e.
3.4. El Nucleolus
Hemos is o en la secci´on an e io que el co e es un concep o de soluci´on
que iene una di icul ad impo an e: en algunas ocasiones es un conjun o muy
g ande y en o as es un conjun o ac´ıo. El concep o de nucleolus p opone una
soluci´on que, siemp e que el conjun o de impu aciones sea no ac´ıo, supe a
la di icul ad an e io , pues es no ac´ıo y ´unico. Adem´as, pe enece al co e si
´es e es no ac´ıo. Se conside a un juego coope a i o (N, ).
Sea una dis ibuci´on de pagos x= (x1, x2, .., xn)∈Rne icien e en e los
jugado es, es deci , al que
n
X
i=1
xi= (N)
De inici´on 3.4.1. El exceso oqueja de una coalici´on Scon espec o a una
dis ibuci´on de pagos xes la di e encia en e el alo de la coalici´on Sy lo
JUEGOS COOPERATIVOS 61
que ecibe dicha coalici´on po la dis ibuci´on x. Es deci ,
e(S, x) = (S)−x(S) = (S)−X
i∈S
xi
Se a a de una medida del g ado de insa is acci´on de la coalici´on Scon
la dis ibuci´on x. Cuan o mayo es e(S, x) mayo es la insa is acci´on.
De inici´on 3.4.2. Pa a cada x∈I(N, ), se de ine el ec o de excesos como
el siguien e ec o θ(x), con 2ncomponen es:
θ(x) = (e(S, x))S∈P(N)= (θ1(x), θ2(x), .., θ2n(x))
en donde
θk(x)≥θk+1(x),∀k= 1,2, .., 2n−1.
Se conside a el o den lexicog ´a ico que de inimos o malmen e a con inua-
ci´on.
De inici´on 3.4.3. Sean x, x0∈I(N, x).
a)
θ(x)≤Lθ(x0)⇔θ1(x)< θ1(x0),
o bien, pa a j > 1,
θj(x)< θj(x0)yθi(x) = θi(x0), i = 1, ..., j −1.
b)
θ(x) =Lθ(x0)⇔θj(x) = θj(x0),∀j.
c)
θ(x)≤Lθ(x)<Lθ(x0)o bien θ(x) =Lθ(x0).
Po an o, dados dos ec o es de excesos, pa a compa a los seg´un el o den
lexicog ´a ico, se obse an s´olo las p ime as componen es; si la p ime a com-
ponen e de un ec o es meno que la p ime a componen e del o o ec o , el
62 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
p ime ec o es meno que el segundo seg´un el o den lexicog ´a ico de inido.
Si los dos ec o es ienen iguales sus p ime as componen es se compa an sus
segundas componen es, siendo meno seg´un el o den lexicog ´a ico aquel ec-
o cuya segunda componen e sea meno . Si sus segundas componen es son
iguales, se compa an con sus e ce as componen es y as´ı sucesi amen e.
De inici´on 3.4.4. El nucleolus de un juego (N, ) es el conjun o N(N, )
de inido de la siguien e o ma:
N(N, ) = {x∈I(N, ) : θ(x)≥Lθ(y),∀y∈I(N, )}
Po an o, se puede deci que el nucleolus con iene aquellas dis ibuciones
de pagos que son impu aciones, y pa a las cuales se minimiza el mayo de los
g ados de insa is acci´on.
El siguien e eo ema, del que amos a da el enunciado sin la demos a-
ci´on, se debe a Schemeidle [15].
Teo ema 3.4.1. Sea (N, )un juego esencial (lo cual quie e deci que su
conjun o de impu aciones es no ac´ıo). En onces se e i ica que el nucleolus
exis e y es ´unico.
P oposici´on 3.4.5. Una condici´on su icien e pa a que el nucleolus exis a y
sea ´unico es que n
X
i=1
({i})≤ (N).
Demos aci´on. Supongamos que Pn
i=1 ({i})≤ (N). En onces po la P o-
posici´on 3.2.3 se iene que I(N, )6=∅de donde se deduce la exis encia y
unicidad del nucleolus po el Teo ema 3.4.1
A con inuaci´on, se dan dos de iniciones que se u iliza ´an pos e io men e
en una p oposici´on en que se p esen a ´an algunas p opiedades impo an es
del nucleolus, que nos pe mi i ´an calcula lo en algunos casos.
JUEGOS COOPERATIVOS 63
De inici´on 3.4.6. Se dice que dos jugado es i,json sim´e icos en un juego
(N, )si ealizan apo aciones equi alen es pa a cada coalici´on. Es deci , si
se cumple que
(S∪ {i}) = (S∪ {j}),∀S∈P(N), i, j /∈S
De inici´on 3.4.7. Se dice que el jugado ies un jugado pasi o en el juego
(N, ) si no apo a ning´un bene icio adicional al es o de los jugado es. Es
deci , si se cumple que
(S) = (S− {i}) + ({i}),pa a oda coalicion Scon i∈S
P oposici´on 3.4.8. Se conside a el juego (N, ). El nucleolus N(N, ) e-
i ica las siguien es p opiedades:
1. Si el co e del juego es no ac´ıo, en onces el ´unico elemen o del nucleolus
pe enece al co e.
2. Si el co e del juego es uni a io, en onces el co e coincide con el nucleolus.
3. Sea N(N, ) = (N1,N2, ..., Nn)el nucleolus. Si i, j son jugado es sim´e i-
cos, en onces Ni=Nj.
4. Sea N(N, )=(N1,N2, ..., Nn)el nucleolus. Si i∈Nes un jugado
pasi o, en onces Ni= ({i}).
El lec o in e esado puede e la demos aci´on en Joaqu´ın P´e ez y o os
[1]
M´e odo pa a calcula el nucleolus u ilizando p og amaci´on lineal
Pa a calcula el nucleolus x = (x1, x2, ..., xn) del juego (N, ), se esuel e

64 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
el siguien e p og ama lineal:
m´ın α1
(S)−X
i∈S
xi≤αi,pa a S ∈P(N), S 6=∅, S 6=N
x∈I(N, )
Sea α∗
1el m´ınimo de ese p oblema. Si al m´ınimo se alcanza en un ´unico
pun o ˆx, en onces ˆxes el nucleolus y el c´alculo es ´a comple o. No malmen e
dicho m´ınimo no se alcanza ´a en un ´unico pun o xsino en un conjun o X1.
En al caso no malmen e hab ´a una amilia =1de coaliciones, al que pa a
odo S∈ =1yx∈X1es e(S, x) = α1. En onces se esue e el p og ama lineal
m´ın α2
(S)−X
i∈S
xi≤α2,pa a S ∈P(N)− =1, S 6=∅, S 6=N
x∈X1.
Si el m´ınimo se alcanza en un ´unico xse e mina, si no es as´ı se sigue
como an e io men e.
Ejemplo 3.4.9. En un depa amen o uni e si a io hay es in es igado es
consolidados que abajan en la misma linea de in es igaci´on. Se disponen a
p esen a solici udes pa a op a a inanciaci´on de p oyec os de in es igaci´on.
Han p egun ado a una pe sona de con ianza que iene oda la in o maci´on
sob e los c i e ios y candida os y les ha comen ado lo que es p e isible que
ocu a con la esoluci´on ace ca de las posibles solici udes, a la is a del his-
o ial y m´e i os de los candida os.
Si el doc o D´ıaz p esen a de mane a indi idual la solici ud, lo p e isible
es que le concedan ein a mil eu os, el doc o Ga c´ıa no consegui ´a nada si
JUEGOS COOPERATIVOS 65
a solo, mien as que la doc o a L´opez consegui ´ıa indi idualmen e cincuen a
mil eu os. Si los doc o es D´ıaz y Ga c´ıa p esen an un p oyec o conjun o ob-
end ´an una inanciaci´on de 50, D´ıaz y L´opez ob end ´ıan 80 y Ga c´ıa y L´opez
ob end ´ıan ambien 80 (siemp e en miles de eu os). Si los es in es igado es
solici an el p oyec o de mane a conjun a, p e isiblemen e ob end ´ıan 100(en
miles de eu os). Cada in es igado s´olo puede igu a en una solici ud.
La ep esen aci´on del juego en o ma coalicional es inmedia a en es e
caso:
N={1,2,3}
en donde el jugado 1 es el doc o D´ıaz, el jugado 2 es el doc o Ga c´ıa y la
jugado a 3 es la doc o a L´opez.
La unci´on ca ac e ´ıs ica es la unci´on
:P(N)→R, con
(∅)=0,
({1}) = 30, ({2}) = 0, ({3}) = 50,
({1,2}) = 50, ({1,3}) = 80, ({2,3}) = 80,
({1,2,3}) = 100
Calculemos el nucleolus. Pa a es e juego se e i ica que
({1}) + ({2}) + ({3}) = 80 < ({1,2,3}) = 100,
po lo que el conjun o de impu aciones es no ac´ıo y el nucleolus exis e y
es ´unico. Sea x= (x1, x2, x3)el nucleolus. Po pe enece el nucleolus, po
de inici´on, al conjun o de impu aciones se ienen que cumpli las siguien es
condiciones:
x1≥30, x2≥0, x3≥50, x1+x2+x3= 100
Los alo es de e(S, x)pa a S∈P(N), con S6=∅yS6=N, y x= (x1, x2, x3)
son los siguien es:
66 Op imizaci´on Lineal aplicada a Teo ´ıa de Juego
S{1} {2} {3} {1,2} {1,3} {2,3}
e(S, x) 30 −x1−x250 −x350 −x1−x280 −x1−x380 −x2−x3
Pa a calcula el nucleolus hay que esol e el siguien e p oblema:
m´ın
x1,x2,x3
{m´ax{30 −x1,−x2,50 −x3,50 −x1−x2,80 −x1−x3,80 −x2−x3}},
suje o a: x1≥30, x2≥0, x3≥50, x1+x2+x3= 100
Pa a esol e el an e io p oblema minimax se p ocede de la siguien e
o ma, se de ine:
m´ax{30 −x1,−x2,50 −x3,50 −x1−x2,80 −x1−x3,80 −x2−x3}=α1
Cada una de las unciones a las que a ec a la maximizaci´on an e io debe
se meno o igual a α1. El p oblema minimax o mulado es equi alen e al
siguien e p og ama lineal:
m´ın
x1,x2,x3,α1
α1
30 −x1≤α1
−x2≤α1
50 −x3≤α1
50 −x1−x2≤α1
80 −x1−x3≤α1
80 −x2−x3≤α1
x1≥30
x2≥0
x3≥50
x1+x2+x3= 100.
JUEGOS COOPERATIVOS 67
Resol emos el p oblema an e io con alg´un p og ama in o m´a ico pa a p o-
g amas lineales, y ob enemos que el p og ama iene soluci´on ´op ima que no es
´unica. Dicha soluci´on ´op ima se alcanza pa a α1= 10, x1= 30 yx2, x3 ales
que x2≥0, x3≥50 yx2+x3= 70. (En la soluci´on ´op ima del p og ama lineal
no se sa u a ninguna de las 5 p ime as es icciones y s´ı se sa u a la sex a
es icci´on.) Podemos asegu a que la p ime a componen e del nucleolus es
x1= 30 pe o a´un no podemos conc e a su segunda y e ce a componen e.
Pa a ello hay que esol e el siguien e p og ama:
m´ın
x1,x2,x3,α1
α2
−x2≤α2
50 −x3≤α2
20 −x2≤α2
50 −x3≤α2
x2≥0
x3≥50
x2+x3= 70
El p oblema iene soluci´on ´unica, que es x2= 20, x3= 50, α2= 0. Po
an o, el nucleolus del juego es
N= (30,20,50).