Professional Documents
Culture Documents
~
UNIVERSIDAD COMPLUTENSE DE MADRID
FACULTAD DE CIENCIAS MATEMTICAS
Dpto. de Estadstica e Investigacin Operativa
st L
22.846
Este trabajo ha sido parcialmente subvencionado por el Ministerio de Educacin y Ciencia a travs del
proyecto PB91O389.
JUAN
A.
TEJADA
CAZORLA,
PROFESOR
DEL
Intentar enumerar a todos los que han hecho posible este trabajo sera imposible. An as, no
quisiera por ello dejar de nombrar a aquellas personas que ms directamente han influido en su
desarrollo a lo largo de estos ltimos aos.
En primer lugar, quiero expresar mi agradecimiento al Profesor Juan Tejada por la oportunidad
que me ha dado de trabajar con l y ensearme tanto como he necesitado. Sus consejos, su dedicacin
y su constante apoyo han sido fundamentales para el desarrollo de este trabajo, que de otro modo ni
siquiera se habra iniciado.
Sin duda alguna este trabajo no habra sido posible sin las oportunidades que me brind el disfrutar
de una Beca de Formacin de Personal Investigador en el Departamento de Estadstica e Investigacin
Operativa de la Universidad Complutense. Quiero agradecer a todos los miembros de este departamento el apoyo prestado durante el tiempo que pas en l. En especial, al Profesor Javier Montero,
investigador principal del proyecto al que se encontraba vinculada la beca, por la confianza depositada
en mi trabajo desde el primer momento.
Entre otras muchas cosas, la beca me permiti realizaruna estancia en la Facultad de Econmicas y
Administracin de Empresas (Universidad de Tilburg, Holanda), donde tuve la gran suerte de trabajar
con los Profesores Stef Tijs y Maurice Koster y con el Profesor Yves Sprumont, de la Universidad
de Montreal. A ellos tres quiero agradecer no slo lo que me ensearon, sino tambin su apoyo y la
ilusin que ponan en su trabajo, ilusin que supieron transmitirme. As mismo, quiero extender mi
agradecimiento al resto de miembros del Departamento de Econmicas por todo el apoyo prestado
durante los tres meses que pas con ellos. Tampoco querra dejar de nombrar a las personas que
hicieron de mi estancia en Holanda una experiencia entraable, mis compaeros de piso Christine
Holder y Paul Smit.
La beca tambin me permiti realizar una estancia en la Naval Postgraduate School (Monterey),
donde por segunda vez tuve la suerte de trabajar al lado de personas de gran calidad, tanto a nivel cientfico como humano, los Profesores Guillermo Owen y Gordon McCormick. Tambin quiero
agradecer a todos lo miembros del Departamento de Matemticas el apoyo prestado. En especial, al
Profesor Guillermo Owen y a su mujer, Mara Owen, por el cario recibido y la oportunidad que me
dieron de conocer y aprender tanto como aprend. Tampoco querra olvidar a Janet Barnes y toda su
familia, que me acogieron como si de una ms se tratara.
En cualquier caso, este trabajo es el resultado de todo lo que he aprendido en estos ltimos aos,
por lo que quiero expresar mi agradecimiento a todos los jugadores que de una manera u otra me
han ayudado.
A todos mis nuevos compaeros del Departamento de Estadstica y Matemtica Aplicada quiero
agradecerles el apoyo y el nimo incondicional que me han prestado en este ltimo ao, quiz el
ms difcil de todos. En especial, al grupo de Teora de Juegos por su presencia y a mi compaero de
despacho, el Profesor Jos Luis Ruiz, por sufrir pacientemente los humos que inundaban el despacho.
Sin embargo, que duda cabe, que este trabajo no podra haberse llevado a cabo sin la ayuda,
colaboracin y nimos constantes que mi familia y mis amigos me han dado a lo largo de estos anos.
A ellos les dedico mi trabajo, en compensacin por todo el tiempo que no les dediqu mientras lo
realizaba. A la mam (mi abuela), a mis padres, a mis hermanos, Luis, Kati, Maiti y Fina, a mis
cuados, a mis sobrinos, Miriam, Mireya, Blanca y Jaime, y a todos mis amigos.
A todos aquellos que adems de compaeros de trabajo han sabido ser amigos mos, los profesores
Ana del Amo, Luis Sanz, Javier Montero, Javier Yez, Domingo Morales, Teresa Ortuo, Begoa
Vitoriano y otros muchos, gracias.
Quiero acabar expresando mi ms sincero agradecimiento a tres personas que me han ayudado
en todo lo que estaba en su mano. Al profesor Antonio Alonso por todo el tiempo que ha empleado
en darme nimos y por el tiempo dedicado a este trabajo. Muchas gracias Antoiiito. Me resulta
imposible enumerar todo lo que quiero agradecer a la profesora M.Dolores Esteban. Simplemente
muchas gracias Lola. Finalmente, a mi director de tesis tambin por su comprensin y paciencia ante
los ataques de desesperacin que en ocasiones he sufrido. Muchas gracias Juan.
ndice General
Notacin
xvii
Prlogo
Introduccin
1.1
1.2
13
23
2.1
Introduccin
25
2.2
27
2.3
33
2.3.1
35
2.3.2
Caracterizacin axiomtica
50
2.3.3
Ejemplo
55
2.4
58
-11
ndice General
2.5 La solucin igualadora como un sistema de precios
2.6
2.5.1
70
2.5.2
79
Conclusiones
93
3.3
3.4
95
97
5.1.1
5.1.2
3.2
69
97
104
109
3.2.1
109
5.2.2
118
3.2.2.1
119
3.2.2.2
125
3.2.2.3
139
149
3.3.1
149
3.3.2
152
3.3.2.1
152
3.3.2.2
159
Conclusiones
163
iii
Indice General
Distribucin del coste de una red de conexin: Juego del rbol fijo
165
4.1
Introduccin
167
4.2
169
4.3
172
4.3.1
175
4.5.2
Estudio polidrico
185
4.4
186
4.4.1
187
4.4.2
Interpretacin dinmica
193
4.4.3
200
4.4.4
Caracterizacin
205
4.5
218
4.6
Extensin del modelo: Juego del rbol fijo con tasas de participacin
225
4.7
236
4.8
Conclusiones
244
Apndices
247
Referencias
259
Not acin
Notacin
vil
A lo largo de toda la memoria hemos denotado a los vectores por letras minsculas en
negrita; x~, i
1,.
..
1,..
m,
1,..
matriz A. Los escalares, conjuntos y aplicaciones estn impresos en la calidad usual del texto
cii estilo cursivo, reservando las letras maysculas para referirse a conjuntos. Generalmente se
la tratado de mantener el convenio de reservar la tilde para denotar todos aquellos conceptos
referentes a juegos con tasas de participacin.
Con el objetivo de facilitar la lectura de la memoria, a continuacin se lista parte de la
notacin empleada. En primer lugar se muestra la notacin comn a todos los captulos,
para, a continuacin, detallar la notacin especfica de cada uno de ellos.
N
S GN
S GT
S ~ T
3 contenido estrictamente en T.
u)>
r E [0, l]~
Sop(r)
Ti=#
Vizzl,...,n.
r=r
y r~<r~paraalgnieN.
2(N)
Partes de N.
(N,
y)
res y
(N, u)
ui:
[0, 1]
>
iR
Notacin
viD
U a.
~dPv
KF~
cin, FF
~~~
n eN
PI(v) C iR
PI(~39
c IR
1(v) G E
1(75) q En
Qn
flCJN
1(75) #
0,
1Ff
r=
nCJN
FI??
Pr?
Subconjunto de
FI?
FI tales
IJ
FF~.
nc ~V
IFF~.
nCIV
C(v)
C(77)
en
xi,
VV(v)
Con{x1,... ,xP}
~,...
e e.
xP.
mt(A)
Interior del conjunto A.
Of(x)
Subdiferencial (conjunto de subgradientes) de la funcin
xE.
: A 4 IR en
Natacin
Captulo 2
c(3,x)
(v)
y(S)
45), exceso
de la coalicin ~ # 8
c N con respecto a x.
te a x en el juego (IV,v).
~(r,x)
E(75)
75(r)
#r
w(i,x)
SCN
iS
e(S, x),
en el juego
(IV,v).
rj~(r, x) dr, exceso del jugador i e N con respecto a x en
iiS(i,x)
el juego (N,759.
9(x)
>4v)
A(v)
8(75)
L(75)
(11,1?)
K(fI,F)
Nuclolo general.
C(II, F)
(c,a)
lO.
(IV, iO.
4 E es la funcin de
fi(a)
fl[Oa~1
jzzj
CA
U CA.
7,~>
0)
Notacidn
p:CA*
U~m
nl> 1
y: [0,2j*D(a)
Curva de demanda.
P:1Rmx1R7~~>1R
Funcin de pago.
H(c,a>
Conjunto de los vectores de precios unitarios p E E que recuperan costes al final del perodo de acuerdo con la funcin de coste
e y el vector de demandas a.
LC(c, a)
RLC(c, a)
(Al, 75~)
cx, p)
I,...
ni.
Captulo 3
Vector de recursos iniciales del jugador i E N.
143)
iES
Matriz de produccin.
Op(N)
Conjunto de ptimos del dual del problema de programacin lineal asociado a] valor de la coalicin total IV.
DP(v)
k~ 1
Lote q, q
mercado.
Notacin
(Y, u%)
xi
MW(u%)
.4(3>
{qC{1,... ,d*}/BEB(~4>}.
(N,c)
e(S)rt>3~
kz4
B%(S)
B~,
VSCIV
S#IA,
qGik(S)
B~u%(S), 3CM
4
.Bk(S)
ni.
B(S)
(E
CDP(v)
zElRn
nl
zj=>3
ka
\q=i
E Qp(N),
(rN, Wr)
(rN, ti)
y),
r E 2.
(N,v), rE Z~.
qe(S)
V i E Y.
xii
Notacin
r~r (3)
V i E N.
mx
minqj(S),
PGMW<t4) iCP
V SGrIV,
V r6Z~.
.B%(S)
q~ 1
la coalicin 3
cii rN,
nr).
{
(N, i4~)
xEJRfl/xi=z2!,qiEZ,0=qj=r,iz=1,...,n}.
de la correspondencia rr : rN
(IV, ~)
Mj rr(S)
(4(S),...
mx
mnij,
Vre[0,1].
PGMW(t4> fe)
(IV, 75)
yT)
a partir de
la correspondencia 1r : rN -4 M.
{ (N,75~),
IZ(v)
Refinamiento de (N,v),
r E Z~
(IV, 75)
xiii
Nutacin
t9,
je
ct~
p(t)
(N, uj[T])
cx
1,... 4, /e
,
cx
1,...
m.
Juego simple que describe el control sobre el lote D~ que adquiere una
coalicin cuando compra el paquete de acciones 7 C 7.
(N, z4LT])
Captulo 4
cx
<G,c,IV>
Gcx(VE)
V=IVU{r}
c: E+ iR
Pi
ir (i)
e 1V.
(Vb)
~ j si y slo si
iePp
(E,~)
TCV
(V-<).
xiv
Notacin
c(7)
>3
c(e~).
iGT\{r}
(7)
(i,j)
cx
E tal que i
7 y
j~7.
{j
F(i)
ttk GV
(N,cg)
cx
C IV/j
cx
(4,
>-
4.
cx{,...
,n.
<O,e,N>.
UL)
(Ee,Ve)
cx
(i,j)
SG(x)
VV(O)
&4>
(3)
core(eg).
IR, para
<G,c,N>.
a40(S)cx{
Contraccin de
ws
ws:cx>3w>0,
Si
WscxO.
icS
Q = (C,c,N> por 7.
{7r~.. 7~>
},
0(w).
Reparto razcasa asociado a u> E
{A~t...
VV(O).
Notacin
xv
Aplicacin que asigna a cada ca E VV(~) la solucin caigualitaria restringida del problema O.
Y
> U
NCEV
que verifica
INI<oo
x~,S
(C1,..
C,j, C~ : [0,1]
>
[0,e(e~)], j
cx
1,...
tendido.
d
(N,cu)
(N,c~)
(Y, wc~)
J7~
Prenuclolo mnimo cuadrtico del juego de coste (Y, e0) generado por
0= <G,c,N> EY~.
e
e
e
e
e
e
e
u
u
e
e
u
u
u
u
u
u
u
u
e
u
u
u
u
u
u
u
Prlogo
xvii
Prilogo
xix
xx
Prlogo
e
u
En el desarrollo de este trabajo abordamos tres situaciones concretas, que sern descritas
posteriormente. Su rnodelizacin corno juegos cooperativos con utilidad transferible, no slo
U
u,
u,
nos permitir analizar las posibilidades que soluciones de la Teora de Juegos (ya establecidas en la literatura) ofrecen corno propuestas de reparto en cada una de las situaciones
e,
e
e
e,
bsicos de la Teora de Juegos cooperativos con utilidad transferible necesarios para el desa-
u.
bargo, existen situaciones en las que los jugadores tienen la posibilidad de firmar acuerdos
e,
vinculantes que no suponen la cesin de todo su potencial. Los Juegos cooperativos con uti-
e
e
dado por Aubin (1974a) al concepto de coalicin difusa. No obstante, querernos destacar el
hecho de que a lo largo de esta memoria en ningn momento se emplea metodologa propia
e,
e,
naciones, por Aubin (1974a, 1981), Hsiao y Ragliavan (1992, 1993, 1995) y Nouweland, Tijs,
e,
e
e,
e,
Proponemos una solucin para este tipo de juegos basada en el prenuclolo mnimo cuadrtico (Ruiz el al. (1996)): la solucin igualadora. En una primera parte se analizan sus
propiedades y se obtiene una caracterizacin axiomtica. En una segunda parte, se aborda
e
u.
e,
mr
e,
e
e
Prlogo
xxi
cuando todos los jugadores cooperan; es decir, cuando unen todos sus recursos. Desde que
Owen introdujera este tipo de juegos han sido propuestas diversas generalizaciones (Dubey
y Shapley (1984), Granot (1986) y Curiel, Derks y Tijs (1989)).
Estas generalizaciones
suponen que los recursos son bienes colectivos, no individuales, de manera que un grupo de
jugadores podr disponer de ellos siempre y cuando tenga el poder suficiente para hacerlo.
En particular, en este captulo nos centramos en la generalizacin propuesta por Curiel et
al.
Nuestro objetivo es
llevar cabo un estudio, anlogo al desarrollado por Owen para el modelo original, acerca del
comportamiento del corazn de estos juegos cuando el nmero de jugadores tipo presentes
en el mercado aumenta. Este estudio se puede llevar a cabo suponiendo que los jugadores
pueden participar parcialm ente en una coalicin, esto es, la evolucim del corazn cuando se
replica el conjunto de jugadores se puede estudiar a partir de la evolucin del corazn de
juegos de produccin lineal controlados por comits con tasas de participacin. Ser este
xxii
Prlogo
*
*
a
e
e
e
e
mantenimiento de una red de conexin a un punto de suministro entre los usuarios de la
e,
misma. Para ello, la situacin a la que se enfrentan los usuarios de la red es previamente
u.
modelizada corno un juego de coste. En particular, nos restringimos a aquellos casos en los
u.
que la red de conexin tiene estructura de rbol: Juego del rbol fijo. Este tipo de situaciones
e,
han sido tratadas por Granot, Maschler, Owen y Zhu (1996) y Mascliler, Potters y Reijnierse
e,
(1995), entre otros. El caso particular en que el rbol que define la red de conexin es una
cadena, conocido con el nombre de problema del aeropuerto, ha sido tambin extensamente
e,
e,
estudiado: vase Littlechild (1974), Littlechild y Owen (1977), Dubey (1982), Sudhlter y
Potters (1995), Aadland y Rolpin (1998). El captulo puede dividirse en dos partes. La
primnera parte ha sido desarrollada en colaboracin con los profesores M.Koster y S.Tijs de la
Universidad de Tilburg (Holanda) y el profesor Y.Sprumont de la Universidad de Montral
(Canad) y aparece parcialmente recogida en Koster, Molina, Sprumont y Tijs (1998). En
ella se analiza en profundidad el corazn de este tipo de juegos, destacando la definicin de
u.
u.
mr
e,
e,
la familia de soluciones igualitarias restringidas ponderadas, que coincide con el corazn del
juego y que ser objeto de un amplio estudio. En la segunda parte se estudian las posibilidades
e,
e,
las propiedades del premiuclolo mnimo cuadrtico como solucin de un juego del rbol fijo.
u,,
e,
Por ltimo, se incluye un apndice en el que se desarrollan detalladamente algunas cuestiones planteadas a lo largo de la memoria.
e,
e,
e,
e,
e,
se desarrolla el trabajo, para terminar con un epgrafe en el que se recogen las conclusiones,
e,
e,
mr
e,
e,
e
mr
mr
Captulo
Introduccin
1.1.
1.1
Un juego upersonal cooperativo con utilidad transferible modeliza aquellas situaciones en las
que confluyen dos supuestos bsicos: cualquier grupo de jugadores puede negociar y coordinar
sus estrategias mediante la firma de acuerdos vinculantes (formacin de coaliciones) y existe
un bien, totalmente divisible, que los jugadores pueden transferir libremente de unos a otros,
siendo la tasa de transferencia de utilidad entre los jugadores (de acuerdo con dicho bien)
de 1 a 1. En este contexto, un juego upersonal cooperativo con utilidad transferible queda
determinado por un par (1V, y), donde N
cx
......
y y : P(N) -4 iR, a la que se denomina funcin caracterstica del juego, es una funcin que
\ 5).
Definicin 1.1. Se dice que dos juegos upersonales, (N, u) y (1V, y), son estratgicamente
eu
Captulo 1. Introduccin
ee
equivalentes si existen k > 0, y a E iR, tales que para toda coalicin 5 G Y se verifica
e
y(S)
ku(S) + >3aj.
iCS
e
e
e
uno a partir del otro sin ms que aplicar una transformacin lineal a los espacios de utilidad
e
e
e
e
cx
0,
e,
=1.
0
e
de resolver la teora de juegos en este contexto es cmo repartir entre los jugadores los
beneficios derivados de la cooperacin. No obstante, los jugadores mio tienen siempre los
mismos incentivos para coaligarse. A continuacin se exponen una serie de definiciones que
e
e
e,
e
e
v(S)+v(T)=v(SUT), VS,TCN
talesque
SflT=0.
e
u.
e,
Definicin 1.4. Se dice que (N, y) E O es montono si para todo par de coaliciones
9 7 (11V, tales que SG 7 se tiene que u(S) =v(T).
Definicin 1.5. Se dice que un juego (Y, y)
e,
e
u.
5 7 (1 IV, se verifica
e
v(SUT) +v(SflT) =v(S)+v(T).
e,
u.
e
u.
e,
u.
e,
u.
O,
Nos hemos decantado por la traduccin de core como corazn, en lugar de emplear la traduccin ms
generalizada de ncleo, porque en el campo de las matemticas la palabra ncleo se emplea comnmente como
traduccin de kernel, que se corresponde con un concepto de solucin diferente que tambin aparece en la
Teora de Juegos.
4..
Capftulo 1. Introduccin
__
_____
e
e
x 6 iR? verificando
>3
tEN
Definicin 1.8. Dado el juego (1V, y) E O, se define una imputacin como mi vector
x
e
e
e
El conjunto de todos los juegos TU npersonales con conjunto de imputaciones no vaco
se denota por JO, mientras que 10
con 1(v)
#~
e
e,
u.
e,
difcilmente cuestionables por las diferentes coaliciones que se pueden formar. Una propuesta
de reparto que conceda a una coalicin menos de lo que sus miembros se pueden garantizar
e,
obtener sin contar con apoyos, puede ser cuestionada por dicha coalicin que, en tal caso,
e,
u.
E O como el
O
e
>3 x~
e
e
v(IV)
i= 1
>3x~,
V S C Y.
Si una preimuputacin pertenece al corazn del juego, entonces ninguna coalicin dispone
de medios propios para cuestionara: lo que una coalicin 5 puede obtener si abandona la
coalicin total (y(S)) no excede el pago que le concede dicha preimnputacin (x(S)). Uno
u.
u.
e
e
e
e
de los problemas que plantea este concepto de solucin, adems de la no unicidad de las
e
propuestas contenidas en l, es que, en general, no se puede garantizar que sea distinto del
vacio. Bondareva (1963) y Shapley (1967) caracterizan los juegos con corazn no vaco a
e
e
u.
e,
u.
e
e
e
partir de la condicin de juego equilibrado. En lo que sigue, cada vez que nos refiramos a
(IV, y)
# 0.
Observacin 1.1. Si el juego (N,v) es un juego de coste, es decir, y(s) es interpretado como
el coste en que la coalicin 5 puede garantizarse incurrir a lo sumo, entonces la condicin de
racionalidad coalicional que define el corazn del juego vendr dada por:
(fi)
>3x, =v(S),
V SCIV.
Rigurosamente, el conjunto definido por (i) y (u) recibe el nombre de anticorazn. Sin
embargo, siempre que quede claro que el juego con el que se est trabajando es un juego de
coste, nos referiremos a l simplemente como corazn. As mismo, siempre que no se haga
mencin explcita de lo contrario, se trabaja con juegos de beneficio.
4 =v(PfU{i})v(P$),
donde Pf
{j
~ 1VO(j) <O(i)}.
como
W(v)
Con{ x0
OL~
},
Proposicin 1.1 (Weber, 1988). Sea (N,v) E O un juego, y sea 0(v) su corazn, entonces se verifico 0(v) C W(v).
Shapley (1971) demuestra que para juegos de beneficios (de coste) convexos (cncavos)
el corazn coincide con el conjunto de Weber. Ichuishi (1983) demuestra el reciproco: si
0(y)
El valor de Shapley fue introducido originalmente por Shapley (1953) como mi valor
para juegos TU. Dicho valor ha ocupado, y sigue ocupando, un lugar predominante en lo
que a valores se refiere. Prueba de ello es el elevado nmero de trabajos que ha generado
y la diversidad de sus aplicaciones (como mecanismo de asignacin de costes, como ndice
de poder,...), as como el hecho de que sea precisamente el valor de Shapley, y no otro,
el que comnmente se extiende a cualquier nuevo modelo de juegos cooperativos. En esta
introduccin nos limitaremos a exponer la definicin original dada por Shapley; para ello, es
necesario introducir una serie de conceptos previos.
Definicin 1.12 (von Nenmann y Morgenstern). Dado el juego (1V, u) E O, se dice
que J~ es un jugador ttere? si y(S U {ij)
y(S) + v({iJ), V $ C 1V
{i}.
von Neumann y Morgenstern hacen referencia, en el contexto de juegos simples, al concepto de jugador irrelevante, al que denominan jugador insignificante. Un jugador irrelevante
no influye directamente en el juego, ya que no contribuye en nada a ningnna coalicin.
Definicin 1.14. Dado (N,v) CO, cualquier coalicin SC IV tal que
v(T)=v(TflS),
VTCN
(u+vRS)z=u(S)+v(S),
como
V SCIV.
(u) Sea (Y, y) E O y sea 6 e e, se define el juego permutado, (IV, Cv), como
Cv(S) =v({i CN/6(i) tE SJ),
V SC Y.
(Sl)
>3 4~(N, y)
V 5 (1 N coalicin soporte de y.
y(s),
jES
4~(N,y),
V Oc e y Vi EN.
EN
4~(IV,y) =
>3 (s
SCN
iES
donde s
S~.
(n
u!
5)!
(y(S)
v(S\ {i}))
Vi ElY,
V (IV,y)
O,
Vn ~ 12V,
10
Captulo 1. Introduccin
El exceso de la coalicin 5 puede entonces ser interpretado como una medida del descontento
que sentiran los miembros de la coalicin S si x fuera sugerido como reparto final.
Una vez establecido el criterio de valoracin de una propuesta de reparto, se debe seleccionar aquel vector de pagos que resulte mejor valorado, de entre todos aquellos que son
considerados admisibles (que verifican ciertas propiedades deseables). En este sentido, el
prenuclolo considera como admisible cualquier preimputacin, mientras que el nuclolo exige
que la propuesta de reparto a considerar sea una imputacin. En ambos casos, teniendo en
cuenta que siempre que x E PI(y) el exceso global (la suma de los correspondientes excesos
asociados a todas las coaliciones) es el mismo, se tiene que, si se quiere minimizar el exceso
asociado a todas las coaliciones, entonces se deber optar por un mecanismo de seleccin
que reparta equitativamente el exceso global entre todas las coaliciones. Una fonna de repartir
equitativamente es la que propone el nuclolo (prenuclolo): seleccionar como propuesta final
de reparto aquella imputacin (preimputacin> que minimiza el descontento de las coaliciones
ms insatisfechas.
Forrualmuente, considrese un vector de pagos cualquiera x E IR, y sea 8(x)
3Posiblemente, dada su interpretacin, la palabra en castellano ms adecuada para denominar excees sera
descontento o insatisfaccin, no obstante dado que exceso es la traduccin comnmente empleada, ser
la que nosotros adoptaremos.
II
denominado vector de excesos, aquel vector cuyas componentes representan los excesos de las
coaliciones con respecto a x, e(S, x), 0
0(x),
e O,
V x E 1(y),
12
Captulo 1. Introduccin
(1) NEW,
0~W
z4
TEW
(i)
y(S) E {0,1},
(II)
v(N)
(iii)
e O es
V SCIV.
1, y(O) =0.
(1V, y) es montono.
Si el juego simple viene dado en forma de funcin caracterstica (1V, y>, entonces se le
puede asignar el juego (IV, )V(y>), donde VV(ij, conjunto de coaliciones ganadoras del juego,
viene dado por todas aquellas coaliciones verificando y(S)
1.
\B
B)
1.2. Juegos cooperativos con utilidad transferible y coaliciones con tasas de participacin
13
Definicin 1.22. Sea (Y, y) un juego simple cualquiera, se dice que 5 C Y es una coalicin
minimal ganadora si 5 es una coalicin ganadora (y(S)
de 3 no lo es (v(T)
1)
~~zzzzSVv/cO.
C(v)=
{ xEiR/ >3x~=1,
~ =0, V iCN}.
iEV
1.2
14
Captulo 1. Introduccin
permitira considerar el que un jugador decidiera ceder a la coalicin una cierta proporcin
de su capital, no necesariamente la totalidad.
Consideraciones de este tipo son las que han llevado a diversos autores a generalizar el
concepto de coalicin introduciendo el concepto de tasa de participacin en una coaliczon.
Fundamentalmente, dentro de la clase de juegos TU que surgen cuando se emplea este concepto se distinguen dos tipos de juegos, dependiendo de si los jugadores pueden graduar
de forma continua su tasa de participacin en una coalicin (que se correspondera con el
ejemplo anterior) o, alternativamente, slo disponen de una cantidad finita de opciones. El
tipo de juegos que surge en este ltimo caso, denominados Juegos multieleccin (en ingls
multichoice cooperative games) ha sido estudiado por Hsiao y Raghavan (1992, 1993) y por
Nouweland et al. (1995). El caso en que un jugador dispone de una cantidad infinita de
opciones ha sido estudiado por Aubin (1974a, 1981), Hutnariu (1978), Butnariu. y Klement
(1996) y Billot (1990), entre otros, bajo la denominacin de juegos TU con coaliciones difusas (en ingls, fuzzy cooperative games), y ms recientemente por Hsiao y Raghavan (1995),
bajo la denominacin de juegos TU con un continuo de opciones (en ingls, continuously
manychoice cooperative games). En ambos casos el concepto de coalicin que se emplea es
matemticamente el mismo, siendo su interpretacin fsica lo que difiere.
Los juegos cooperativos con utilidad transferible y coaliciones difusas estn basados en
la Teora de Conjuntos Difusos, introducidos por Zadeh en 1965, alio en el que se publica
su artculo seminal Fuzzy Set?. Esta teora proporciona una base para la construccin de
modelos y la aplicacin de tcnicas capaces de trabajar con informacin de carcter ambiguo
o impreciso no asimilable a ningn fenmeno aleatorio o probabilstico. Permite aproximar
situaciones reales en las que los modelos clsicos, basados en la lgica binaria (de tipo Si/No),
resultan inadecuados, ya sea por su excesiva complicacin o por su incapacidad para recoger
todas las caractersticas del problema; en particular, permite modelizar aquellos casos en
los que el problema que se est tratando incluye relaciones u objetos vagamente definidos,
incertidumbre debida a que el sistema mio est perfectamente definido, evaluaciones de carcter
1.2. Juegos cooperativos con utilidad transferible y coaliciones con tasas de participacin
15
lingilstico, gradacin de estados, etc ... Esta ltima posibilidad, que se corresponde con la
interpretacin ntida de tasa de participacin, es la que nosotros consideraremos y es tambin
la considerada por Hsiao y Ragliavan (1995).
A continuacin se recoge la definicin formnai de conjunto difuso y de coalicin difusa.
Definicin 1.23 <Zadeh, 1965). Sea X un conjunto clsico (ntido, no difuso) de objetos,
que se denominar conjunto referencial o universo y sea x un elemento genrico de X. Un
conjunto difuso A de X es un conjunto de pares
A.
{1,...
n}, se de-
donde -rj indica el grado de pertenencia o tasa de participacin del jugador i en la coalicin
difusa r.
Las coaliciones ntidas son un caso particular de las coaliciones difusas en las que la tasa
de participacin de cada uno de los jugadores en la coalicin es
5.
Billot (1990> describe una coalicin difusa como una coleccin de agentes econmicos
(jugadores) que ceden una fraccin de su representatividad a un decisor colectivo: la coalicin
difusa.
Butnarmu (1978) argimienta la necesidad de considerar coaliciones difusas en juegos polticos
16
para modelizar situaciones en las que un pas no puede ceder la totalidad de su poder de decisin a una coalicin, pero que, sin embargo, puede ser simultneamente miemubro de varias
coaliciones. Como ejemplo se refiere a la posicin del Reino Unido:
{1,... ,
n} es el conjunto de
0.
Ya que en esta memoria no se emplea metodologa difusa alguna, sino nicamente el concepto de tasa de participacin, al que se le da una interpretacin fsica ntida, hemos optado
por referirnos a las coaliciones difusas como coaliciones con tasas de participacin. En lo que
sigue emplearemos la denominacin ms simple de juego con tasas de participacin. Por
analoga con la terminologa difusa, seguiremos empleando la palabra ntida para referirnos
a una coalicin en la que todos los jugadores participan con tasas de O 1.
que
se niega a transferir todo su poder econmico al Parlamento Europeo (Oeste), pero es miembro de
la CEE. y de la Commonwealth, a pesar de que estos organismos tienen intereses antagnicos en numerosas
cuest iones.
1.2. Juegos cooperativos con utilidad transferible y coaliciones con tasas de participacin
17
neW
de participacion.
Al igual que ocurre en el caso ntido, uno de los principales problemas que se abordan en
este contexto es el estudio de conceptos de solucin que proporcionen una respuesta satisfactoria a la pregunta de cmo repartir los beneficios 75(N). Aubin (1974a, 1981) extiende al
caso difuso conceptos de solucin clsicos: el corazn y el valor de Shapley. Diversos autores proponen extensiones alternativas del valor de Shapley, vase Hsiao y Ragliavan (1995),
Butnariu y Klement (1996). A continuacin se recoge la extensin del corazn propuesta por
Aubin, as como sus principales propiedades, que sern empleadas en el captulo 3.
Definicin 1.26. Un concepto de solucin para la clase de juegos con tasas de participacin FF0 C Ef, es una aplicacin puntoaconjunto, ~o,definida sobre FFo, que asigna a
cada juego con tasas de participacin (1V, 759
~(N, 75) e Ir?. Un concepto de solucin que asigne un nico vector de pagos a todo juego de
FI~
U FJ7.
n>1
Definicin 1.27. Se define el conjunto de imputaciones de un juego con tasas de participacin (1V, 75) como el conjunto de vectores 1(75) C Ir? verificando:
n
(i)
Eficiencia:
E~
jzr
75(N).
E~ =75({i}),
Vi E
Y.
18
Captulo 1. Introduccin
El conjunto PI(75) de vectores que verifica (i) se denomina conjunto de preimputaciones del
juego.
Siempre que a una subclase de juegos con tasas de participacin EF0 C EF se le anteponga
una letra 1 mayiscula, estaremos denotado la subclase de EF0 compuesta por todos aquellos
juegos en PP0 con conjunto de imputaciones no vacio.
Para generalizar el corazn, en primer lugar debe decidirse qu pago otorga la preimputacin x 6 11? a una coalicin con tasas de participacin r. Se pueden dar multitud de
respuestas a sta pregunta; cul de ellas es la ms acertada est en funcin del problema que
se est modelizando. Aubin (1981) asume que el reparto es lineal en la tasa de participacin
de los jugadores; es decir, el pago que recibe una coalicin r G [0,1] de acuerdo cori x E 1W
es
xQ-)
>3 ayr~.
iEN
corazn de un juego con tasas de participacin vendr dado por la siguiente definicin:
Definicin 1.28 (Aubin, 1981). Se define el corazn C(75) del juego con tasas de participacin (Y, 77) como el conjunto de vectores x E 1W verificando:
(i) Eficiencia:
=
ir
75(Y).
V r E
[0,1].
Para los resultados que aparecen recogidos a continuacin, se debe asumir que la funcin
caracterstica del juego es homognea de grado 1, i.e.,
75(Ar)=A75(r),
V rE [0,1].
1.2. Juegos cooperativos con utilidad transferible y coaliciones con tasas de participacin
extenderse a
19
como sigue:
75(r)v>3r75(2 ir),
reR$
~CN
f : 5
en k 6 8 si
t(xk),
Vx6S.
f(x)=f(k)+
El
conjunto
8f(~)
de subgradientes de
en ~ se denomina subdiferencial?
Teorema 1.2 (Aubin, 1981). Sea (1V, 75) un juego con tasas de participacin tal que y es
una funcin cncava homognea de grado 1, entonces C(77) es convewo, compacto y no vaczo.
Concretamente, el corazn del juego es igual a la subdiferencial, 075(N), de 75 en 1V. Adems,
st 77 es diferenciable en Y, entonces C(75)
N~1.
En el tercer captulo de esta memoria se hace uno implcitamente del concepto de juego
szmple con tasas de participacin, por lo que nos ha parecido conveniente esbozar este tipo
de juegos con tasas de participacin emi esta introduccin. La siguiente definicin generaliza
a este contexto la definicin de juego simple ntido en formna de funcin caracterstica.
Definicin 1.30. Un juego simple con tasas de participacin es un juego cooperativo con
utilidad transferible y coaliciones con tasas de participacin verificando:
Vr
[0,1].
l~.
20
Captulo 1. Introduccin
Un juego simple con tasas de participacin puede venir dado como extensin de un juego
simple ntido. En este caso, la funcin caracterstica del juego con tasas de participacin
se define como una extensin de la funcin caracterstica del correspondiente juego ntido.
Para cada problema concreto se deber decidir qu extensin resulta ms adecuada. Esta
situacin, ser precisamente la que d lugar a los juegos simples con tasas de participacin que
aparecen en el captulo 3 de la presente memoria. No obstante, en ocasiones el juego simple
con tasas de participacin viene dado directamente a partir de las caractersticas concretas de
la situacin que se est modelizando. En ambos casos, la definicin de la funcim caracterstica
para juegos con tasas de participacin mio es una tarea fcil. Para un estudio ms extenso del
tema remitimos a Molina y Tejada (1996).
Por ltimo, se recoge la definicin de juego multieleccin propuesta por Nouweland et
al. (1995). Un juego multieleccin es un juego TU en el que cada jugador puede participar
en una coalicin a distintos niveles dc actividad (tasas de participacin). El beneficio que un
cierto grupo de jugadores pueda obtener en el juego depender del esfuerzo que cada uno de
los miembros del mismo haya realizado.
Sea Y
E Y
puede
corresponde con no participar. Por tanto, cada jugador tiene m~ + 1 niveles de actividad
(incluyendo el O) y una coalicin vendr dada por un vector s E
]jj[
M~.
iCN
fi M~
icN
O.
1.2. Juegos cooperativos con utilidad transferible y coaliciones con tasas de participacin
21
cin. Para trasladar un juego muiltieleccin es suficiente con identificar el nivel de actividad
de un jugador i en la coalicin s e
r(s) E
f~ Mj, siendo
teN
mi11}
V 1=1,... ,n,
V icN,
V5EflM,
icEN
No obstante, debe notarse que M~ representa una escala ordinal, mnientras que M~ es una
escala de razn; luego, se debe hacer la salvedad de que, posiblemente, la interpretacin de
1,... , n, que se est haciendo no sea la correcta. En los juegos muideleccin que
son tratados en esta memoria (capitulo 3) el espacio de acciones de los jugadores representa
efectivamente una escala de razn, por lo que nos referiremos a ellos como juegos con (finitas)
tasas de participacin.
Captulo 2
23
2.1. Introduccin
2.1
El
25
Introduccin
26
TU ntidos, el nuclolo mnimo cuadrtico (Ruiz, Valenciano y Zarzuelo (1996)). Dicho valor
se basa, al igual que el nuclolo, en la valoracin de una propuesta de pagos a partir del
descontento de las coaliciones; pero el criterio de equidad que se emplea para la seleccin de
la propuesta final de pago es distinto.
La solucin lexicogrfica y el nuclolo mnimo cuadrtico, aunque inspirados ambos valores
en el nuclolo, aparentemente no guardan relacin alguna; sin embargo, como se ver a
continuacin, ambos conceptos de solucin coinciden. Este hecho, no slo nos ha permitido
llevar a cabo mm estudio ms profundo de la solucin lexicogrfica como un concepto de
solucin para juegos TU con tasas de participacin, sino que nos ha llevado a definir y a
estudiar la solucin igualadora para juegos con utilidad transferible y coaliciones con tasas de
participacin como la extensin a este tipo de juegos del prenuclolo mnimo cuadrtico (Ruiz
cf al. (1996)), solucin estrechamente ligada al nuclolo mnimo cuadrtico. El captulo se
cierra con un estudio acerca de las posibilidades de la solucin igualadora como procedimiento
de asignacin de costes.
La tabla 2.1 muestra las analogas y diferencias, en cuanto a la valoracin y el criterio de
equidad empleados, entre los distintos conceptos de solucin unipuntuales mencionados en
esta introduccin.
CRITERIO DE EQUIDAD
VALORACIN
Mnimo Lexicogr~1lco
Minimizar la Varianza
Exceso
nuclolo
Coaliciones
(prenuclolo)
Exceso
solucin lexicogrfica
solucin lexicogrfica
Jugadores
(solucin igualadora)
(solucin igualadora)
2.2
27
28
(N,v):
Problema 1
mlxi>? (e(s,x)flv,x))2
SCN
s.a.
>3 x~ z=u(N)
iEN
xI=v({}),
i=1,... ,n,
(v, x)
1
SG N
w(i, x)
icE8
As, cada jugador puede evaluar globalmente una propuesta de reparto teniendo en cuenta
29
todas las posibles coaliciones en las que puede formar parte. Al igual que ocurre cuando
se considera el exceso asociado a las coaliciones, siempre que x e PI(v), la suma de los
correspondientes excesos de todos los jugadores es la misma. En este caso, el criterio elegido
para repartir equitativamente el exceso total entre los jugadores es anlogo al empleado para
la seleccin del nuclolo.
Considrese un vector de pagos x E IR, y sea 0(x) e IR, al que denominaremos vector
de excesos (de los jugadores), aquel vector cuyas componentes representan los excesos de los
jugadores con respecto a x, w(i, x), i
9(L(v))=LO(x),
V xeI(v>,
{ F~ }7es un conjunto
finito de funciones reales continuas definidas sobre U. En este contexto, definen el nuclolo
general como
A/}fl,F)
:=
{xefi/0(F(x))
donde 0(F(x)) es un vector mdimensional con las mismas componentes que F(x) reordenadas en orden no creciente y =r.es el orden lexicogrfico en R~. La solucin lexicogrfica se
obtiene como un nuclolo general considerando como dominio del nuclolo el par 12
(II, E)
derivado de la clase IG. Para cada juego, el conjunto U de propuestas de reparto consideradas como admisibles es el conjunto de imputaciones del juego, mientras que el conjunto de
30
{ fl
}~,
el descontento de cada uno de los jugadores, Le., E1 es la funcin de exceso del jugador i,
e
O
i=1,...,n.
e,
e,
e
e,
drtico se obtiene no slo como resultado de un criterio de seleccin justo con las coaliciones,
e
sino que tambin puede ser obtenido como resultado de un proceso de seleccin justo con los
e,
jugadores.
e,
e,
Para demostrar la equivalencia entre ambas soluciones, previamente es necesario el siguiente lema debido a Ruiz et al. (1996).
e,
Lema 2.1 (Ruiz et al., 1096). Para cualquier juego (N, y) E IG una imputacin x es el
nuclolo mnimo cuadrtico del juego si y slo si para todo
jEY
e,
se verifica:
e,
e,
> v({j})
w(j,x)
t4
rnx w(i,x).
teN
e,
e,
e,
L(v).
O
e,
e,
Demostracin : En primer lugar demostraremos que para cualquier juego (Y, y), la suma
de los excesos de todos los jugadores es la misma para todo vector de pagos x eficiente. Sea
a~(v)
e,
SCN
ES
e,
w(i,x)
>3 e(S,x)
SCN
ES
1x
1(v)
2~
2x
1
2fl23xi
a~(v)
2~
2v(N).
1
(2.1)
e,
e,
2>
e,
e,
e
e,
e,
31
_________________
Luego,
>3
w(i, x)
leN
>3 a~(v)
2n2
lEN
>3
n2~2v(N)
lEN
>3 a(v)
(n + 1)22v(N)
jEN
Sea z el nuclolo mnimo cuadrtico del juego, que existe y es nico. Considrese el
conjunto de jugadores M
u4j, z)
{j e N/z~
w(j,z) /3fi
n m
se deduce que
y rn= <Mj.
ieM
w(i, z),
para todo i c N
(a) En primer lugar se probar que si x es una imputacin tal que 9(x) =L0(z), entonces
se debe verificar que w(j,x)
j ~ M.
En efecto, sea x una imputacin cualquiera, entonces de la expresin (2.1) de w(i, x),
se deduce que w(i,x) <w(i,z), para todo i EM. Luego
>3w(i,x) =>3w(i,z)=W
1CM
(2.2)
1CM
Entonces,
>3w(i,x) =/3$.
(2.3)
i~M
Si existe un jugador
~.
32
e # j, ~ M
+4
y, en consecuencia, se
tiene que
91(x) =mxw(i,x)>
nm
lEN
mxw(i,z) =9j(z).
leN
Esto es, 9(x) >r, 0(z); luego, si x es una imputacin verificando 9(x) =L9(z), entonces
w(j,x)=
VJM.
~,
lEN
lEN
j ~ M.
(b) Veamos que si x es una imputacin tal que 0(x) <L 0(z), entonces se debe verificar que
w(i,x)
En efecto, sea x una imputacin tal que 6(x) =L 6(z), entonces, teniendo en cuenta
que en el apartado anterior se ha probado que w(j, x)
deduce que
>3 w(i, x)
1CM
i e M.
w(i, z),
=
33
Observacin 2.2. Teniendo en cuenta que en la demostracin anterior, del hecho de que
6(x) =L9(z), siendo z el nuclolo mnimo cuadrtico del juego, solamente se ha hecho uso
de la condicin
mx w(i,x)
leN
se
9i(x) S 0i(z>
mx w(i,z),
1CM
deduce trivialmente que, en este caso, considerando como dominio del nuclolo general el
definido previamente, el mnimo corazn general (Maschler, Potters y Tijs (1992)), dado por
C(fl,F):={xdU/
1=j<m
L=j<m
2.3
Solucin
igualadora
Sakawa y Nishizald (1994) argumentan a favor de un concepto de solucin que seleccione como
propuesta final de pago aquella imputacin que reparta el exceso total entre los jugadores de
manera que todos ellos queden igualmente insatisfechos. Con este fin, definen la solucin que
asigna el mismo exceso a todos tos jugadores. Dicha solucin presenta dos inconvenientes:
por un lado, su existencia no puede ser asegurada, an restringindose a la clase de juegos con
conjunto de imputaciones no vaco; por otro lado, caso de existir, Salcawa y Nishizaki (1994)
prueban su coincidencia con la solucin lexicogrfica. No obstante, si se ampla el conjunto de
propuestas de reparto admisibles relajando la condicin de racionalidad individual impuesta,
entonces dicha solucin resulta ser el prenucl7olo mnimo cuadrdtico (ver Ruiz et aL (1996>).
En esta seccin se introduce la solucin igualadora para juegos TU con coaliciones con
tasas de participacin como extensin del prenuclolo mnimo cuadrtico. Se obtiene una expresin analtica que permite calcular de forma sencilla la solucin igualadora de un juego con
34
Problema 2
mlii>? (e(s,x)r(v,x))2
SCN
S~0
s.a.
>3
x
1=v(N).
leN
Ruiz et al. (1996) prueban la existencia y unicidad de la solucin del problema anterior
sobre la clase O y definen el prenuclolo mnimo cuadrtico como sigue:
Definicin 2.3 (Ruiz et al., 1996>. Dado el juego (N,v) E O, el prenuclolo mnimo
cuadrtico del juego, X(v), se define como la solucin del problema 2.
Proposicin 2.2 (Ruiz et al., 1996). Para todo juego (Y, y) E O, una preimputacin x
es el prenuclolo mnimo cuadrtico del juego si y slo si verifica
>36(S,x)t
>3e(S,x),
SGN
IS
8CM
V i,JCN.
Solucin
igualadora:
35
Definicin y propiedades
Dado el juego con tasas de participacin (Y, i~ E FF~, asociado a cualquier vector de pagos
x E iR, se define el exceso de la coalicin r ~ O con respecto a x, como la diferencia entre
el valor de dicha coalicin y el pago que recibiran los miembros de la coalicin con tasas de
participacin r si x fuera la propuesta de reparto definitiva2, esto es,
i(r,x) =i(r)xr.
Como en el contexto ntido, el exceso de la coalicin r puede ser interpretado como una
medida del descontento que sentiran los miembros de la coalicin r si x fuera sugerido como
reparto final. Anlogamente, Sakawa y Nishizaki (1994) definen el exceso del jugador i con
respecto a x como
10,1] r
1e(r, x) dr,
que interpretan como una medida del descontento que sentira el jugador i si x fuera sugerido
como reparto final.
Proposicin 2.3. Para todo juego con tasas de participacin (Y, ~ E FE?, existe una nica
preimputacin x verificando
w(1,x)
ii(2,x)
...
&(n,x).
(2.4)
xi=
1,... ,n,
en la tasa de participacin de los jugadores.
(2.5)
36
donde
cd~3)
r~i5~(r) dr
qiij
cj(i3
Demostraci6n : Sea x una preimputacin cualquiera, entonces el exceso del jugador i con
respecto a x viene dado por
~Ni,x)
=
=
cj(iY) r(r,x)dr
0,iJn
rRr)dr4x14>3xi
j#i
12
(2.6)
~v(N)
x1xj=12(cj(iflc1(i)),
124 (i)
paratodo
(2.7)
i,jEY.
El sistema de constantes as definido es compatible en el sentido dado por Hart y Mas1 = d y dU + cfik
cfik, para todo i,j,k E Y. Adems,
Colel (1989), i.e. d~ O d
de (2.7) se deduce que x debe preservar diferencias con respecto a dicho sistema de constantes,
por
k(ii~N)
+Za~i)~
3=
cfi.
Equivalentemente
n
i=1
37
Definicin 2.4. Sea (N, i5~ E FIl? un juego con tasas de participacin, entonces la solucin
zgualadora del juego, que notaremos por 8(75), se define como la preimputacin que satisface
la condicin (2.4).
En la seccin 2.3.3 se muestra un ejemplo. Veamos que relacin guarda con la solucin
lexicogrfica (Sakawa y Nishizaki (1994)), solucin que definen del mismo modo que en el
caso ntido (ver definicin 2.2).
Lema 2.2. Para todo juego con tasas de participacin (Y, ~ E IT?, la suma de los excesos
de todos los jugadores es independiente de la preimputacin considerada.
Demostracin
>3ii4i,x)
zCN
>3c(75)
1CM
h>3xz
tcN
1+ 3n
~i5(N)
leN
12
E
Proposicin 2.4. Sea (Y, 75) E FI?4 un juego con tasas de participacin cualquiera, si 8(75)
es individualmente racional, entonces 6(75)
Demostracin
L(75).
La solucin igualadora extiende el prenuclolo mnimo cuadrtico a partir de su caracterizacin en funcin del vector de excesos de los jugadores. A continuacin se prueba que
tambin admite una caracterizacin en base a la funcin de exceso de las coaliciones que
extiende al caso continuo la definicin del prenuclolo mnimo cuadrtico.
Dado un juego con tasas de participacin (Y, 75) 6 FF~ cualquiera, considrese el siguiente
problema de minimizacin:
38
Problema continuo 2
*
mm
1,1].
(75(r, x)
>3
s.a.
E(75, x))2 dr
e
*
xi =75(N),
leN
e
O
(75, x)
O
= .fO,t]n
ar,x)dr.
O
O
Lema 2.3. Para todo juego con tasas de participacin (Y, 739 E Fr? el exceso medio es
e,
O
e,
(14r)>3xir1)dr
E(75,x)
=
jo,1~]n
lEN
75(r) dr
=
4.75(Y)
[0,1]
e
e,
3}r)dr~>3x~
lEN
e,
O
O,ijn
e
O
e.
e,
e,
rQ5).
e,
e,
e,
Proposicin 2.5. Para todo juego con tasas de participacin (Y, 39 E F17, existe una nica
e,
O
e
O
*
e,
e,
e,
e
e
e,
e.
39
mm f(x)
s.a.
h(x)
x E IR
f(xS=j
({r,x)Qi5))2 dr,
VxEIR,
y donde,
h(x)=>3x7JXY),
VxeR.
lEN
En tal caso,
Vf(x) + AN7h(x)
O,
(2.8)
h(x) =0.
(2.9)
40
f con respecto a x~
104]fl
Ox1
(x) dr
][O,1]n
2r1 (75(r)
~>3XjT~
X(75)) dr
lEN
2i~(i, x) + r(75).
y i=1,... ,n.
(2.10)
De la expresin (26) del exceso de un jugador respecto de x e IR verificando la condicin (2.9), i.e., eficiente, se deduce que la condicin (2.10) se puede expresar de forma
equivalente como
0,
Vi=1,..,n.
l2cj(75)
375(Y)
6(75)
6A,
V i=1,... ,n.
6A
12475)
Sn +1
75(Y)
u
6E(75).
(2.11)
41
y i=1,... ,r.
75(Y) +12(cd75)~(75))=6~(75),
n
(11,...
e [0,1], (t1, r)
denota el
1,...
Definicin 2.5. Dado el juego (Y, 75) 6 FI, se dice que .11 es un jugador ttere si
75(t1, r)
V tE [0,1],
V r
[0, 1].
Definicin 2.6. Dado el juego (Y, 75) E EF, se dice que dos jugadores, i, j
Y, son
sustitutos si se verifica
75(t~, t~, r)
donde (t~,t~,r)
75(4, t;, r)
V t,t
(rl,-.. ,r1...,,t~,r1+,,...
e [0,1],
,rj...1,ttrj+1,...
V re [01]fl2
,rn).
Definicin 2.7. Se dice que dos juegos con tasas de participacin npersonales, (Y, 75) y
(Y, i75), son estratgicamente equivalentes si existen k > O y a E IR, tales que para toda
coalicin con tasas de participacin r
[0,1], se verifica
iiY(r) =k75(r)+>3a2r,.
zCN
42
(i) Tratamiento igualitario si y slo si para todo juego con tasas de participacin
(Y, 715) e EF? se verifica que dos jugadores i, j E Y que son sustitutos en el juego
75) = pfti5).
(Y, 75) reciben el mismo pago, i.e., ~(
(u) Anonimato si y slo si para todo juego con tasas de participacin (Y, 75) 6 FI7 y para
toda permutacin ir : Y
V iEN,
(iii) Aditividad si y slo si para todo par de juegos con tasas de participacin (Y, 75,), (Y, 752)
en FI? se tiene que
9(V17529(VL)+<Pi(752),
V ieN.
>3 r175({i}),
icM
43
~&~9=~d{d),
(y)
ViEN.
Equivalencia estratgica si y slo si para todo par de juegos estratgicamente equivalentes (N,75), (N,ii5) e FI1~j, se verifica
~~j(d5)=kpd75)+u1,
ViEN,
k75(r) +>3 ~
V re [0,1].
lEN
(vi) Divisin estdndar en juegos bipersonales si y slo si para todo juego con tasas de participacin bipersonal (Y, 75) E
se tiene que
75({i}) + 4.(75()
Vi(75)
75({j}) + 4.(75(N)
75({iJ) 75({j}))
75({i})
(vii) Jugador ttere si y slo s para todo juego con tasas de participacin (N, 73) e SI?
73J = 75({i}>.
para todo i e Y, jugador ttere, se tiene que y~(
(viii) Monotonicidad con respecto a las contribuciones marginales medias si y slo para todo
par de jugadores i,j E Y se verifica que cj(75) =c~(75) implica q~
75).
1(75) =pft
(ix) Monotona agregada si y slo si para todo par de juegos con tasas de participacin
(N,75), (N,ii) en F17 tales que 75(Y) =773(Y) y 75(r)
~(r),
V r 6 [0,1], se
44
{i E N/r~ >01.
75(r)
iiS{r), V r E [0,1],
vd75)>~~dii8,
VieT.
(xii) Continuidad dbil si y slo si para toda sucesin de juegos con tasas de participacin
{75k}keN converge
Observacin 2.3. La propiedad (viii), que establece que el pago que, segn la solucin ~ reciben los jugadores i y j debe estar en la misma relacin que los valores c~(75) y c~(75), extiende
al contexto continuo la propiedad esencial del prenuclolo mnimo cuadrtico introducida por
Ruiz et al. (1996) como monotonicidad con respecto a las contribuciones marginales medas.
En efecto, la desigualdad cj(75) =ej (75> puede expresarse de forma equivalente como sigue:
jri>rj}(71
rhiNr)dr =(-o
15(r)dr.
45
recibido por el jugador i no debe ser inferior al pago recibido por el jugador j.
El preservar el espritu de la propiedad original en el contexto ntido ha sido la razn
por la que nos hemos decantado por referirnos a la propiedad (viii) como monotonicidad con
respecto a las contribuciones marginales medias.
En cuanto a la extensin de las propiedades de monotona introducidas por Young (1985a),
nicamente la propiedad de monotona fuerte3 ha sido extendida al caso continuo (vase
Young (1985b)). La extensin de la propiedad de monotona agregada (en ingls, aggregate
monotonicit y), as como la de la propiedad de monotona coalicional (en ingls, coalitional monotoncity), que proponemos (propiedades (ix) y (x), respectivamente) cumplen los requisitos
que consideramos debe cumplir una buena extensin: extienden las propiedades originales
(particularizadas al caso ntido coinciden con las clsicas> preservando su espritu. Si un
cierto grupo de jugadores se pone de acuerdo en cooperar para llevar a cabo una inversin
con el fin de desarrollar un proyecto ms eficiente, hecho que se traduce en una mejora de su
productividad, entonces ninguno de los inversores puede verse perjudicado por ello. Un caso
particular que surge de modo natural es aquel en el que la funcin caracterstica del juego
diferencia viene dada por
f(r)=sflr,fl(1r
1)a,
zCT
V rc[0,Ifl,
z~T
donde a > O representa el aiunento del beneficio generado por la mejora del proceso de
produccin de los miembros de la coalicin 2.
Proposicin 2.6. La solucin igualadora, 8 : FI7
dades:
(i) Anonimato.
(u) Aditivdad.
3Si v(S U
{i})
=w(S U {i}),
VS C .7V \ {i}
~.
ydv) =~~(w).
46
(u),
Hm
k+oo
J[o,ij~
TIvk(r)dr
j0,iP
r
1750(r) dr.
hm ci(75k)
k400
Adems,
k+oo
Hm 8(75k)
k*r~\n
vO<Y) + 12(4(750)
n
477o))
8~(75o).
47.
8(ii)+8(f).
Teniendo en cuenta que en el juego diferencia (Y, f), los jugadores de 2 (respectivamente
de Y \ 2) son sustitutos, se tiene que
8~(75)=8dii5)+
f(Y
VieT,
u
475)
dondeai=cj(f), VieT,
8~(775) + f(N)
+ 12(a2~9,
n
a2=cj(f), ViT,y
V ~T,
Wss
tu1
siendo t
TI.
8~(7i)
81(iiS) + f(Y
u
>8~(775),
VieY.
En otro caso, 2 9 Y, para probar la desigualdad 8~Ci) > 8~(iiS), para todo i E 2, es
suficiente con probar que aj 1> ~, o equivalentemente que a1 > a2.
Sean i E 2, j ~ 2, entonces de las propiedades de monotona del juego diferencia se
deduce
V t > t
V -r
[0,1]n2
mientras que
V re
48
Entonces,
rj)f(r) dr>
ri<rj}
tf(r) dr,
75(r)
fri+r2 ~,
1
8171<1
Entonces c,(75)
7
=
y c2(75)
11
=
As, 8(75)
( ~)# (1,
~).
49
Proposicin 2.7. Dado un juego (Y, y) e G cualquiera, sea (Y, 75) el juego con tasas de
8(73).
>3IIrzII&rdv(S),
SGN:$S
/0,1v
rd(r)dr
II (1
SCN/O,1]~
1
3.2
>3
SC N
V rc[O,1j.
z~S
1
y(S) + 3-2
eS
3eS
>3
r~)v(S)dr
i~s
>3
(2.12)
1
y(S).
1
3
2
a~(v)
+
SCN
3. 2
.
y(S)
a~(v)
+ 3~2 SCN
SCN
Luego,
8~(75)
1
Sn- 2
jeN
75(N) + 12(c~(75)
>3 y(S),
475))
2 (na(v) >3aj(v))
v(Y) + n2~
u
JCN
que coincide con la expresin del prenuclolo mnimo cuadrtico obtenida por Ruiz et aL
(1996).
50
tambin es un jugador titere en el juego con tasas de participacin (Y, 15) generado por su
extensin inultilineal y que el prenuclolo mnimo cuadrtico no verifica esta propiedad (ver
Ruiz et al. (1996)).
2.3.2
Caracterizacin axiomtica
Por ltimo, se comprueba que la caracterizacin axiomtica del prenuclolo mnimo cuadrtico para juegos TU ntidos se extiende al caso que nos ocupa.
Teorema 2.1. La solucin igualadora es el dnico valor en Fr? que verifica las siguientes
propiedades:
(i) Eficiencia.
(u) <Juego inesencial.
(iii) Aditividad.
(iv)
(u),
(iii) y (iv).
2.3.
51
Veamos, pues, que se trata del <mico valor en FFr verificando todas ellas.
Sea
so
(u),
y rE[0,tfl,
donde
en
36
=
(c~(75)cj(75)),
sod%)
en
soi(l)=ai.
4o47)
(pi(75) so~(ii~)=
so~U5)
36
sol75) + softuiY)
sol75) +
t~~(c~(7o
(2.13)
cj(75)).
(2.14)
52
sodiO
Wj(75)
12(ej(75)
V i,JEY.
cj(70),
Por otro lado, se tiene que 6(75) es la nica preimputacin que preserva diferencias con respecto
a dicho sistema de constantes, entonces se debe verificar 6(75)
so(iD-
Proposicin 2.8. Los axiomas (i), (u), (iii), (iv) son lgicamente independientes; i.e., ensten valores en E17 que no satisfacen exactamente cada uno de ellos.
Demostracin: Para cada axioma propondremos un valor que no lo verifica en tanto que si
verifica el resto.
(-
so~}7O
6r
1(15(r) 75((1 r1h,r)) dr,
y i eN,
(N,75) e F1~.
(2.15)
Entonces, y~ satisface todos los axiomas a excepcin del axioma de eficiencia. En efecto,
la expresin anterior (2.15) se puede escribir como
so~(iO
6(2cd70
j01]fl)
(2.16)
y de aqu, se deduce trivialmente que so verifica (u), (iii) y (iv). Veamos que, en general,
no es eficiente. Para ello se comprobar que para todo juego con tasas de participacin
(Y, 75) multilineal se verifica
so (75)
fl(v),
(Banzhaf (1965), Coleman (1971)) del juego ntido (Y, y), definido por la restriccin
de 77 al conjunto de coaliciones ntidas: Sustituyendo en la expresin (2.16) el valor de
53
v(r) dr
4w>3 y(s),
SC N
soI(~)
y(S) >3v(s))
SCN
Luego,
so(70
general, y 75(N)
/3(v).
=
SC
v(S\{i})) zrl3j(v).
SCN
iCS
i~S
iCS
so~(iO
77(N
ViEY,
___
V(Y,75)eFr7.
Ttivialmente, se comprueba que so2 satisface todos los axiomas excepto el axioma de
juego inesencial.
(i
iii) Sea so3 el valor en Fr? que asigna a cada juego (Y, 75) e FI? el vector de pagos que se
obtiene mediante el siguiente algoritmo.
PASO
1: Considrese el conjunto K
so3(7D
}.
Si K
8(75). Parar.
min8j(733.
:=
{ieY\K/c~(75)~cc~j79},
:=
{iEN/ci(%D=c
10(75)}.
0, entonces
54
PASO
3:
soRiO
si JET,
si JES,
TI.
Parar.
{1, 2, 3}
y
75i(r)
Vr E [0,1],
r
123
+ T13
r~r, + ~,
Vr 6 [0,1],
1~1~
+ 21112 + 21213 12
2111213,
entonces, se verifica
6(75)
v~
112
~1+752
(.
(g4~)
(kk~)
~
1<
{2}
{3}
{1,2}
3(~D
so
(1,1,0)
0
0
iv) Sea so4 el valor en FF7 definido como el valor de Shapley (Shapley (1953)) del juego
TU ntido (Y, y) dado por la restriccin de 75 al conjunto de coaliciones ntidas, i.e.,
so4(iO
=~
SCN
Vi E Y,
Y (Y,739 E FF7.
55
Obviamente, so4 verifica los axiomas (i), (u) y (iii). En lo que respecta al axioma
de monotonicidad con respecto a las contribuciones marginales medias, sea (N, 75) un
juego con tasas de participacin multilineal cualquiera, entonces de la expresin (2.12)
se deduce:
c~(733 =e~(75)
ajQu) =a~(v).
~==~-
2.3.3
Ejemplo
banstico.
2. Para poder llevar a cabo el proyecto se debe realizar una inversin mnima de
1R~,
e <>3w1.
lEN
3. Para finalizar las obras dentro del plazo estipulado en el contrato se debe realizar una
inversin mnima de u E 114, t =u. Si se finaliza a tiempo se recibe un pago de k e 11%,
k>u.
4. Cuando se invierte una cantidad superior a e, pero inferior a u, el proyecto se puede llevar
a cabo, pero no se finaliza a tiempo. En dicho caso, se debe asumir una penalizacin que
depender del tiempo transcurrido entre la fecha lmite y la fecha de entrega. Se supone
que el tiempo que el proyecto se retrasa se puede estimar en funcin de la inversin
=aj(v), entonces el jugador i no debe recibir un pago inferior al recibido por el jugador j.
4Si a~(v)
56
p(z), siendo z la
p(S?)
k y
0.
>3w.,=e,
0,
teN
jeN
>3
w~~ =u.
lEN
p0(z)
k
0,
(u~e)a (uz)
kIreu)(z),
V zE [e,u], si ae (0,1],
V z e [e,u],
si a =0,
2.000 y k
(500,1.000,800), t
=
1.000,
toda
57
coalicin r e [0,fl,
F
1~
o,
3 000
75r(r)
2
j= 1
l.000T2
80013
3
>3wT
000,
i=1
>2.000.
i= 1~
E2
4(751),
3.OOO1dr
2
c2(75i)
(i~
345235,
ca(75i)
323331.
Entonces,
8~(75)
2
3 000
3 + 12(345235
319824)
652972,
319824)
1.30493,
1.04208.
290905,
58
1750(r)I < 3 000 para toda coalicin r G [0, ]~, siendo 75~ la funcin caracterstica del juego
cuando la funcin de penalizacin es Po, a E [0,1], se tiene que, aplicando el teorema de la
convergencia dominada de Lebesgue,
14n 8(75o)=8(75ao),
V aoe[0,1].
aE[O,1]
Para a
A medida que a crece hacia 1 las diferencias entre el pago que la solucin igualadora otorga
a los jugadores se van acentuando, preservando siempre el orden relativo dado por el capital
de que dispone cada jugador. 82(75~) y 8~(15~), como funciones de a, son crecientes, mientras
que S~ (75O) es decreciente. Para a
1, se tiene que
2.4
En esta seccin se analiza la solucin lexicogrfica para juegos con tasas de participacin
(Salcawa y Nishizaki (1994)) como extensin al caso continuo del nuclolo mnimo cuadrtico
(Ruiz et al. (1996)). En primer lugar, comprobamos que la solucin lexicogrfica admite
una caracterizacin en base a la funcin de exceso de las coaliciones anloga a la que define
dicho valor. El adoptar este enfoque nos permitir extender al caso continuo el estudio
del nuclolo mnimo cuadrtico llevado a cabo por Ruiz et al. (1996). En particular, nos
59
mnf
s.a.
(~r, x)E(75))2 dr
>3 x~
75(N),
eN
z~ >
75({j})
=~
i73(j, z)
mx iii(i, z).
(2.17)
60
f, dada por
1(x) =j(~b-,x)
r(739)2dr,
V xE1R~,
mm
f(x)
s.a. g
1(x)<O,
i=1,... ,n,
h(x) t=0,
x E IR,
75({i})
>3x~ 75(Y).
lEN
La funcin objetivo
entonces g~ es diferenciable en x, V x
IR, V i
clase 1 en IR.
Adexn~s, 7g1(x)
(t~,O), V xE IR, i
1,... ,n, y
e I}, donde 1
Vh(x)
{i/gdx)
1, Vx E IR,
75({i}), Vi = 1,... ,n y
61
{(75({1}),... ,75({n}))}.
jEN
IR.
Luego, las condiciones de KarushKulmTucker son necesarias y suficientes de optimalidad global. Entonces, la solucin del problema 1 se caracteriza por ser la nica solucin
factible z E IR para la que existen constantes vE IR, u1,... ,u~, u~ >0
V i
1,... ,u,
verificando:
Vf(z) +
O,
(2.18)
z= 1
(2.19)
La
[0,11t
2r~ (75(r)
>3 x~~
r(70) dr
jEN
2i74i, x) + (75).
2rn(i,z)+EU5)u1+o=0,
i=1,...,n,
(2.20)
(2.2 1)
75({j})
debe ser u
O y, por
62
wchz
i5(i,z)zzzz
?E(739+v
2
r(75)+yu1
2
r(73)+y
Vizt4,...,n.
v=2M-E(75),
u1=2(Mi5(i,z)),
Obviamente, u~ =0,
V i
i=1,... ,n.
(2.21).
Proposicin 2.9. Para todo juego con tasas de participacin (Y, 75) e IFr? la solucin del
problema continuo 1 es la solucin lexicogrfica del juego.
63
La caracterizacin de la solucin lexicogrfica obtenida en el lema 2.4 valida el uso del algoritmo propuesto por Ruiz et al. (1996) para calcular el nuclolo mnimo cuadrtico a partir
del prenuclolo mnimo cuadrtico como un mtodo para obtener la solucin lexicogrfica a
travs de su solucin igualadora.
Algoritmo (Ruiz et al., 1996): Constryase la secuencia de pares (xt, .M>%, e = 1,... ,
1 <k <n donde x es un vector de pagos y
es un subconjunto de jugadores, definidos
inductivamente por
PASO 1 :
x1: 8(75)
, M1
:=
{j E Y/6~(75) <75({j})} y
1,
PASO 2 :
Z(xl75({i}))
Si Mt+l
Mt, entonces z
En otro caso, t
:=
x~. PARAR.
e + 1 e ir al PASO
2.
1 iteraciones,
y el vector de pagos que se obtiene al final del proceso z es una imputacin verificando la
condicin (2.17).
El siguiente resultado, que muestra cmo calcular el nuclolo mnimo cuadrtico de un
juego clsico a travs de su extensin multilineal (Owen (1972)), viene a reforzar la consideracin de la solucin lexicogrfica como la extensin natural del nuclolo mnimo cuadrtico
al caso continuo.
Proposicin 2.10. Dado un juego TU ntido (Y,v) e IG, sea (Y,iY) el juego con tasas de
L(75).
64
i15(i,x)
1
1
~~y~.a~(v)
1
4y(Y) ~
>3 y(S).
SG N
Luego,
3. 2iiY(i,x)
2x~
a~(y)
2<~75(Y)
2175(Y) +
>3 y(S).
SCN
Entonces, teniendo en cuenta la expresin (2.1) del exceso en un juego ntido de un jugador
e Y respecto de x, se tiene que para todo vector de pagos x E 1(v) = 1(75), se verifica
iii(i,x)
kw(i,x) +a,
k = ~!---> o,
>3 y(S)
a
2y(Y)
SCN
=
3~ 2
As, el exceso de un jugador en el juego con tasas de participacin se obtiene mediante una
transformacin afn positiva del correspondiente exceso en el juego ntido; entonces, teniendo
en cuenta que el conjunto de imputaciones de ambos juegos es el mismo, se obtiene el resultado
deseado.
Por ltimo, comprobaremos qu propiedades del nuclolo mnimo cuadrtico siguen siendo
65
propiedades:
(i) Anonimato.
(u) Juego inesencial.
(iii) Equivalencia estratgica
(iv) Continuidad dbiL
Demostracin: Las propiedades (i), (u) y (iii) se deducen trivialmente de la definicin de
la solucin lexicogrfica sin mas que aplicar la expresin (2.6) del exceso de un jugador con
Si la sucesin
entonces
(75r)rEW
>
0 cuando r 4 ~,
r*oo
Rin ir(i,L(75r))
X~ <10,1~i(75r(r)
>3riL~ffY)) dr
jEN
=lim
ry~(r) dr
rlt,>3 (L~U.Y7)
cN
~75o(r) dr
=
jO,1]n
j$~
1j1i dr)
1
~L~(75o)
+ 4>3k (75o)
.2#z
0(i, Lo)
66
Sea i E Y, un jugador tal que L01 > 75o({i}). Las sucesiones (L(75r))rEw y (75r({i}))reN
convergen, respectivamente, a L
0~ y 750({i}), cuando r tiende a infinito. Entonces, la desigualdad Li(75r) > 75~({i}) se debe satisfacer para infinitos
,-.
Sea 1
entonces
Mm LQI,.)
(2.22)
rE?
ln ii4(j,L(75r))
7~>
oc
V j E Y.
(2.23)
rE?
mxir(j,L(75r))
iiir(i,L(75r)),
V re?,
lEN
i5
0(i,Lo)
>L9Ar(i,L(75r))
ln mx&~(j,L(75~)) =mxiio(j,Lo).
rE?
rE?
jcN
jEN
Observacin 2.5. Con respecto a la solucin igualadora se han perdido las propiedades de
aditividad y de monotonicidad con respecto a las contribuciones marginales medias (contra
ejemplo 2.2). Sin embargo, esta ltima se preserva restringindonos a la subclase de los juegos
Ejemplo 2.2. Considrese el juego tripersonal con tasas de participacin (Y, 75) definido por
75(r)
= ~2
1213
+ ~1~3 +
711213,
67
ci(75)
/j,i]3
c2(75)
= i{O,i]3
cs(75)
/O,i]3
jY(r)dr
3
=
275(r) dr
r375(r)dr
1
3
5
c2 (~9,
6 <
(4,1,
75({2}),
~).Pero
{(Y,75) E IFF?/75({i})
75({j})
posibilidades:
8~(75) =8~(75)
8(15)
68
L~(75).
75({j})
75({i}) =L~(75).
L~(75) =8j(79 ~
Sip~<p
1
L~(75)=75({j})=75({i})=L1(79.
3)~p~ =8~(15) p~ = L~(75).
Sip~ =p~ =4 L~(75) = 9(i
=~
Volviendo al ejemplo 2.2, si se considera la normalizacin (0,1) del juego con tasas de
participacin (Y, 15), cuya funcin caracterstica viene dada por
75<o,
14r)
entonces L(75(o,))
L(75)
(0,1,0)
1?rS
+ 1153 +
111213,
69
cI(75(o,i))
2.5
ciI~v;jn2ur
1
1
8 > 24
2~
J[o,t]3~
En esta seccin se estudian las posibilidades de la solucin igualadora como mtodo de solucin al problema de asignacin de costes. En dicho problema se supone que varios productos
heterogneos y divisibles son elaborados por un proceso de produccin com<m de manera que,
una vez establecida la cantidad de cada uno de ellos a ser producida, el coste derivado de su
produccin conjunta debe ser redistribuido en forma de costes asignables a la produccin de
cada uno de los bienes individuales.
Para resolver este problema, ya clsico, se supone que la nica informacin de que se
dispone es de una funcin de coste, que asigna a cada vector de produccin5 su coste conjunto
de produccin, as como de la cantidad total a producir.
De entre las diversas soluciones propuestas en la literatura destacamos las siguientes:
70
Distintas extensiones del mecanismo de reparto de costes en serie para bienes homogneos de Monlin y Shenlcer (1992): Friedman y Moulin (1995), Sprumont (1996) y
Koster, Tijs y Bonn (1996).
Todos estos mecanismos de asignacin de precios, aunque algunos de ellos den soluciones
inspiradas en un proceso de produccin dinmico, resuelven el problema descrito anteriormente desde un punto de vista esttico; es decir, asumen que el bien no es servido hasta que
la produccin de la cantidad prevista no ha finalizado. Por el contrario, el mecanismo que
proponemos en esta seccin est basado en la hiptesis de que el producto es elaborado y
servido a medida que va siendo demandado.
2.5.1
Formalmente, el problema clsico de asignacin de costes viene dado por un par (c, a), donde
e: iR7
modelos en los que se supone que no hay un coste fijo de produccin, y a E int(IR7) es el
vector de demandas.
Nota 2.1. La funcin de coste puede incluir los beneficios del productor.
En lo que sigue, slo consideraremos aquellos problemas de asignacin de costes (e, a)
tales que la funcin de coste e sea de clase 1 en D(a)
tm
IR, e(o)
0, cE
CA
al conjunto de todos los problemas de asignacin de costes asociados a la produccin de m
bienes, para todo itt> 1 finito, y por CA a la unin de todos ellos.
En este contexto, una solucin al problema de asignacin de costes vendr dada por una
funcin p : CA
>
U~>iEm
71
de produccin entre los bienes a ser elaborados; esto es, una funcin que a cada problema
(e, a) E CA le asigne un vector de precios p(c, a) e Em, siendo pj(c, a) el precio por unidad
de producto i-simo, i
1,... , itt.
>
D(a), siendo
O y y(T)
a.
Se supone tambin que los consumidores pagan por los productos recibidos a medida que
su demanda va siendo satisfecha. Teniendo todo esto en cuenta, el problema ante el que
se enfrenta el productor es el de decidir al inicio del perodo, en base a una estimacin de
la demanda acumulada a lo largo del perodo y del coste conjunto de produccin, el precio
unitario al que va a cobrar cada uno de los productos durante todo el perodo; esto es, el
sistema de precios vigente durante el perodo para el cual se ha fijado la produccin.
72
que establecer un sistema de precios que tenga en cuenta las hiptesis A y B establecidas
en el modelo. No se trata en ningn caso de buscar aquel sistema de precios que optimice el
comportamiento global del sistema productorconsumidores.
A continuacin, se analizar cmo afectan las hiptesis anteriores al establecimiento de
posibles criterios de seleccin de mecanismos de asignacin de precios adecuados. En primer
lugar se analizar el efecto aislado de cada una de las hiptesis A y B, para luego analizar
su efecto conjunto.
Con el fin de simplificar la notacin introducimos la funcin de pago P : iR >< 1R7
que asigna a cada vector de precios p
IR,
por p.
nl
>3 ~
para
z=L
P(p(c,a),a)=c(a),
V (c,a)e CAtm.
H(c,a)
{pElir/P(p,a)=c(a)}.
O(a),
O y yo(T)
a. Entonces, el coste
73
acumulado en el que ha incurrido el productor hasta el instante t0 <T viene dado por c(zo),
donde z0
P(p, zo) puede ser interpretada como el riesgo con el que se estd produciendo en el
Riesgo mximo
La evaluacin del riesgo global desde un punto de vista pesimista implica que el criterio
de seleccin del sistema de precios que se siga sea un criterio mznzmax.
Dado un problema de asignacin de costes (c, a) e CA, el criterio minimax conduce a la
seleccin de cualquier vector de precios unitarios que pertenezca al conjunto LC(c, a) ~ IRnl
74
definido como
LC(c, a)
mm
mx (c(z)
{Po E H(c, a) pEH(c,Q) ZED(a) \
P(p, z))
mx (c(z)
P(po, z))
}.
zED(a)
CAm, se verifico
1,... ,
75
C(c, a)
{po E H(c, a) /
mm
mx (U
peH(c,a) ZED(O
P(p, z))
(c(z)
P(po, z))
o}
Po
C(c, a) ~
a. p~j
donde C(75C) es el corazn del juego de ganancias asociado. Adems, LC(c, a> = C(c, a).
Riesgo esperado
Si el riesgo global se evala mediante el riesgo esperado, entonces cualquier vector de
precios que recupere costes podra ser seleccionado.
En efecto, dado un problema de asignacin de costes cualquiera, (c, a)
CAm, se verifica
que el riesgo medio asociado a mi vector de precios, p, es independiente del sistema de precios
considerado siempre que p e H(c, a), como se comprueba a continuacin:
ID(a) (c(z)
P(p, z)) dz
ID(a)
ID(a)
c(z)dz
~aaP(p,a)
c(z)dz
1
2
(2.24)
a)Ha=~
2=1
Luego, cualquier sistema de precios que recupere costes al final del perodo para el que se
ha planificado la produccin, minimiza el riesgo de produccin esperado.
A continuacin, se lleva a cabo un estudio anlogo para la hiptesis B. Supongamos que
la demanda acumulada a lo largo del perodo de un cierto subconjunto de consumidores
S es de z0
Htm,
la diferencia
76
entre la cantidad pagada por el vector de productos z0 y el coste conjunto de producir z0,
P(p, zo)
precios unitarios p.
a)
mediante los criterios anteriormente propuestos nos conduce a las mismas conclusiones con
la salvedad de que en este caso, la aplicacin del criterio miimax nos lleva a la seleccin de
aquellos vectores de precios unitarios en el conjunto RLC(c, a), definido como
RLC(c, a)
{po E H(c, a)
mm
mx (P(p,z)
pGH(c,cr) ZED(a)
c(z))
zED(o) (P(po,
z)
c(z)) }.
Las propiedades del concepto de solucin as definido, al que nos referiremos como corazn
mnimo inverso, son anlogas a las del corazn mnimo definido anteriormente. En este caso,
el juego asociado a un problema de asignacin de costes debe ser interpretado como un juego
de coste: involucra a los consumidores, no al productor.
77
coste; esto es, deber(n) ser seleccionada(s) minimizando una distancia a la funcin de coste.
Dependiendo de la distancia elegida se obtendrn como solucin distintos sistemas de precios.
Si se elige la distancia dada por la norma 4, entonces, dado un problema de asignacin
de costes (e, a) E Cm, un vector de precios p c
Htm
s.a.
P(p, a)
c(a).
El siguiente resultado muestra que la solucin del problema anterior, caso de existir, no
tiene por qu ser nica.
Proposicin 2.14. Dado un problema de asignacin de costes (c, a) e CA, siC(c,a) # 0,
entonces C(c, cx) es el conjunto de soluciones del problema i.
Demostracin: Veamos, en primer lugar, que el problema 4 es equivalente al siguiente
problema:
mm
JE(p,a) (c(z)
P(p, z>) dz
(2.25)
s.a.
P(p,a) =c(a),
donde E(p,a)
{z ED(a)/c(z) =P(p,z)}.
78
H(c,
a), la funcin
objetivo del problema de minimizacin 4 se puede expresar de forma equivalente como sigue:
ID(a)
donde ~
ID(a) (c(z)
(c(z> P(p,z))dz$,
E(p,a)
0, para
(c(z)
(c(z)
V pEH(c,a).
(2.26)
fE(po,a)
entonces Po
C(c,
a):
(c(z)P(po,z))dz=O~
P(po, z) es continua en
>0
V zeB(zo,e).
JE(PO,Q)(cz
P(po,z)) dz >0,
79
0
El objetivo que nos plantebamos en esta seccin era la bsqueda de un criterio de seleccin que recogiera la interpretacin dinmica del modelo y que seleccionara un nico vector
de precios, por lo que una vez se ha comprobado que la eleccin de la norma 4 no garantiza la unicidad de la solucin, hemos optado por considerar la distancia dada por la norma
2,
2.5.2
Proposicin 2.15. Para cualquier problema de asignacin de costes, (e, a) E CA, existe
una dnica solucin del problema:
Problema 2
miii
ID(a) (c(z)
P(p, z)) dz
5. a.
P(p,
a)
c(a).
80
Captulo
2.
donde bi(c, a)
fo(a) c(z) dz
(bi(c,a)~(c,a))),
12
~(c, a)
y i=,...
,m,
fi1 b1(c, a
m
Demostracin: Se demostrar estableciendo la relacin existente entre la solucin del problema 2 y la solucin igualadora del juego de ganancias asociado.
Sea (c,
JD(a)(
(Tiai,...
P(p,z))dz
Vr E
vn
nl
~HakjO]m
V pEIRm,
(2.27)
nl
siendo
f~ cq,> O.
k= 1
Sea (IV, i5~) el juego de ganancias asociado a (c, a), entonces de (2.27) se deduce que
p E H(c,a) es solucin del problema
si y slo si x~
ruin
(iic(r)
~>3
x~rj
jEN
s.a.
Ex: =z~(N).
jEN
Luego, teniendo en cuenta (ver Ruiz et al. (1996)) que de la caracterizacin de la solucin
81
igualadora a partir de la funcin de exceso de las coaliciones, aplicando el lema 2.3, se deduce
que para todo juego con tasas de participacin en F1~ la solucin igualadora del juego puede
ser obtenida como la nica solucin del problema anterior, se tiene que
Vi=1,...,m.
cdvc)
J<O,l]m r
1v~(r)dr
1
&~
ml
ZZlNd
iD(o) c1~z1
Hk ak 4c, a),
y
i=1,... ,m.
Luego,
~,
c(a)
+
ni
12
m
fl~~ac
i=1,... ,m.
y por consiguiente,
+ Hk1
12 ak (b1(c,a) S(c,a)))
z=1,... ,m.
Observacin 2.6. De la demostracin anterior se deduce que dado un problema de asignacin de costes (c, a) E CA~, si se considera el juego con tasas de participacin de ganancias
0~), se tiene que el vector de precios obtenido en la proposicin 2.15 guarda la
asociado, (M,
siguiente relacin con la solucin igualadora del juego:
p(c,a)
1
a
1
V i=1,... ,m.
82
como sistema igualador de precios y motiva la caracterizacin en funcin del riesgo asociado
a la produccin de cada bien que se obtiene a continuacin, as como su caracterizacin
axiomtica.
Definicin 2.10. Sea (c, a)
producto i, i
wj(c,a,p)
ID(a) ~1jdz
P(p,z)) dz.
Proposicin 2.16. Para todo problema de asignacin de costes (e, a) e CA, existe un
dnico vector de precios unitarios que recupero costes al final del periodo y verifica
a, p).
(2.28)
Adems, dicho vector de precios coincide con el definido por el sistema igualador de precios.
Demostracin: Sea p e H(c, a) un vector de precios que recupera costes, entonces aplicando el cambio de variable h(r)
vn
iih(c,a,p)
flak
k=1
J
[0,1]
(ra,... , r,,~,
nl
rnri%(r)
>3rtazp)
i=1
nl
dr
ljIatiiY(ic,(ap,...
,awpm)),
k=1
Vil,...
Luego, p
H(c,
,m.
83
(i) Recuperacin de costes al final del perodo si y slo si para todo problema de asignacin
a), a)
c(a).
La funcin de pago es tal que se cubren objetivos, en el sentido de que los costes de
produccin, en base a la demanda estimada, son recuperados al final del perodo.
(u) Aditividad si y slo si para todo par de problemas de asignacin de costes, (ci, a)
E CAtm
y (c
q1(c1+c2,a)z=q1(c,a)+qdc2,a),
Vi=1,...,rn.
Si los costes de produccin son debidos a dos factores independientes, esto es, el sistema de produccin e es tal que c
obtener como la suma de los precios debidos a cada uno de los sistemas de produccin
independientes, e1 y e2.
(iii) Invariancia frente a cambios de escala si y slo si para todo problema de asignacin de
costes, (c,a) E CA, y para todo vector AEIRm talque A1 >0,
Vi
1,... ,m,
se verifica
84
>3 a~z1,
nl
q1(c,a)=a1,
V z E
O(a),
se verifica
V i=1,... ,m.
Si b1(c,a) =b~(c,a)
=!=~
a1q1(c,a) =crjqj(c,a).
Todas estas propiedades, a excepcin de la ltima de ellas, son algunas de las propiedades
clsicas que se exigen a un mecanismo de asignacin de costes. La propiedad (iv) fue propuesta por Auruman y Shapley (1964) en el contexto de juegos no atmicos con el nombre
de projection axiom.
Observacin 227. La propiedad
(y),
demanda a lo largo de todo el perodo de los productos i y j debe estar en la misma relacin
que los valores b1(c, a) y b~(c, a), se puede interpretar como sigue:
Si el coste medio
ponderado de todas aquellas curvas de demanda en las que la demanda relativa de producto
se mantiene por encima de la demanda relativa de producto j, y en consecuencia el productor
debe atender (en trminos relativos) antes la demanda de i que la de j, es mayor o igual que
el correspondiente coste asociado a aquellas curvas de demanda en la que, por el contrario, la
demanda de producto j es ms urgente, entonces el precio cobrado por satisfacer la demanda
85
global de producto j no debe exceder el precio cobrado por satisfacer la demanda global de
producto i.
Para ello basta con tener en cuenta que la desigualdad b1(c, a) =bj(c, a) puede expresarse
de forma equivalente como
JD~~(a)
(~
)c(z)dz >
JDy~(a)
(~f
)qzdz,
donde
>
.14. }=
{ (z1,z.j) E [0,a~]
x [0,a]
1!~>
a~
~.
aj
}x
fi [0,a~],
j satisfecha.
Considrese la funcin de coste marginal medio asociado a la produccin de los bienes i y
j definida por
mcj1(z1, z1)
donde
z~jj
JHk!=u[O,ak]c(z~, zj,
z~) dz15,
(zk)k!=,j,
entonces
fD0(a)
donde F1}(a)
(~
c(zpdz=
JF,3(a)
(z1,z~) E [0,a~]
x [O,aj)
~
86
tiene que
fD
0(a)
donde k(t,r)
czhi dz
~aajtrlnt
kj(t, r)(t
(2.29)
>0
Entonces, tomando /c11 como una funcin de ponderacin, la integral (2.29) se puede
interpretar como el coste medio ponderado de todas aquellas curvas de demanda en las que
la demanda de producto i urge ms que la de producto j. Anlogamente, a la integral
c(z) dz se le puede dar la interpretacin simtrica.
(~~)
<.(a)
Proposicin 2.17. El sistema igualador de precios, pC: CA ~
Hm,
Todas ellas se deducen trivialmente de la expresin del sistema igualador de precios obtenida en la proposicin 2.15.
Teorema 2.2. El sistema igualador de precios es el iinico mecanismo de asignacin de pretm que verifico las propiedades (i), (u), (iii), (iv) y
cios en CA
(y).
(y).
Htm
(y),
1}.
V (c, 1) E CAm(1).
t=1
Hnl
verifica
87
V (ei, 1),
(c2,
1) E CAm(1).
nl
>3az~,
se verifica
y z e [0,1],
7=1
V i=1,... ,m.
Si b
1(c, 1)
jo,I]m
z1c(z) dz = b~(c, 1)
o,ljm
zjc(z) dz
CAtm(1) es isomorfo al conjunto compuesto por todos aquellos juegos con tasas de participacin m~personales cuya funcin caracterstica es de clase 1, entonces teniendo en cuenta
que la caracterizacin axiomtica establecida en la proposicin 2.1 sigue siendo vlida cuando
1) debe venir
la solucin igualadora se restringe a dicho subconjunto de rrq, se deduce que q(
dado por
q~~(c,1)
=!ii+12(b(c,1)t(c,1))=p(c,1),
Vi=1,...,m.
(2.30)
Dado (e,
co(z)
c(z
1a1,... , z,.,a,-,-j,
V z
e [0,1]~,
qj(co, 1)
cr1q1(c, a),
V i
1,... , ni,
88
e,
e,
e,
1,... ,m se
e,
(za,... ~
y~
e,
verifica
e
O
b1(cia, 1)
0,1]m
z1co(z)dz
Yi1\d
iD(a) aic\z>
H%L1
ak b1(c,
e,
a).
e,
e,
As,
e
e,
q1(c,a)
12
fl74u~
(b1(c,a) L(c,a)))
p~(c,a),
Vi
1,... ,m.
e
e,
e,
e,
e,
e,
e.
Ejemplo 2.3. (Saanet, rThumang y Zang (1984)) Considrese un problema del transporte en
e,
el que hay dos destinos, A1 y A2, y dos origenes, fi y .82. Los costes de transportar una
unidad de recurso de cada uno de los orgenes a los distintos destinos vienen recogidos en la
e
e.
siguiente tabla:
e,
e
A1
=
10
1.000
20
A2
c12
15
b1
e
=
20
e
e22
1.500
2:2
b2=20
20
e.
e.
e
En cada origen hay 20 unidades de recurso disponibles, y cada destino tiene una demanda
e.
e.
e,
e
e.
e
e
u.
e
e
89
asignacin de costes asociado. Definen la funcin de coste del problema como la funcin que
asigna a cada posible vector de demandas, z
(21,22), 21
22
{t0z+15z2~
c(zj,z2)=
Para este ejemplo, el precio (unitario) que se carga al transporte a cada unidad de destino
dictado por el sistema igualador de precios del problema (c, a),
2O(j2OZ1
=
/0,20)2
a)
(505, 510).
~(10zi+ 1522) d2
2)dzi +
~c(z)dz = f
+ ~2O~~2O
+ 1.00522
19.800) dz2)dz
104667
20
y b2(c,
a) =0,20)2
j~ c(z) dz
106
105~ 106.
As,
p~(c,a)
p~(c,a)
1(20.300 +
1(20.300 +
12 106
400 (04667
504995,
104834)>
12 106
400
(os
lIflAOONI
IU~OOIJ}
50999.
90
Ejemplo 2.4. Sea (e, a) e CA2, el problema con funcin de coste c(z1,z2)
todo vector de produccin
(21,
22)
~77T?~, para
E [0,
at] x [0,
a2].
Para este problema, an siendo la funcin de coste simtrica, el precio unitario dictado
por el sistema igualador de precios tiene en cuenta la cantidad demandada de cada bien
individual. No carga el mismo coste unitario a los dos bienes. En general, el precio unitario
del producto con una demanda mayor es ligeramente inferior al precio unitario del bien menos
demandado, en consonancia con el hecho de que la funcin de coste es cncava. No obstante,
el coste cobrado por satisfacer la demanda del bien ms demandado es superior al coste de
atender la demanda del menos solicitado.
zi4(c,a) =
{( Va1;a2
________
+~~j~k(ai,a2)),
lda,a2)),
donde
3vTWS(aa2)+2(c4
k(aj, cv2) t=2(a1+a2)
4IS~4v~7)5aa2(a/S.a~V~i).
k(am, a2) > O, si y slo si a1 > a2, luego el precio por satisfacer la demanda del bien
ms solicitado es siempre superior al precio por satisfacer la demanda del producto menos
pedido. En cuanto a la afirmacin hecha anteriormente sobre la relacin entre el precio
unitario cargado a la produccin de cada bien en funcin de las cantidades demandadas, no
se ha probado analticamente. No obstante, en las siguientes figuras, que representan las
grficas de la funcin p~(c, a)
91
0.02
20
0
0.02
10
2010
a E [10,20]2
30
5010
&~
[30,50],
a2 E
[10,30]
92
de
asignacin de costes
50.1
50.075
2OO~
e.
e,
0.002
50.1
50.075
0.002
50
e,
al
E [1,
200], a2
[50,
50]
2.6. Conclusiones
2.6
93
Conclusiones
94
Definicin
Caracterizacin
de pagos x:
b1(x)
1
(>3(v(s)~x(s))2)2
SEQ~
Q~
IsT>2
s.a.
{SCN/ieS,JS>2}.
Solucin lexicogrfica
de pagos
w(i,x) = >3 (y(S) x(S))
SGN
x E I(vj
E(v, x)
1
>3 e(S, x)
2 1 SCN
Captulo 3
Juegos de produccin lineal
controlados por comits: Anlisis
del corazn
95
e
e
e,-
e
e
e
e
e
e
e
e
e
e
e
e
e
e
e
e
e
e,
e
e
e
e
e
e,
e
e
e
e,
e
e
e
e
e
e
e
e
u
e
e
e,
e,
3.1. Preliminares
97
__________________________
En este captulo llevamos a cabo un estudio detallado del corazn de un tipo de juegos
muy concreto: Los Juegos de Produccin Lineal controlados por Comits (Curiel, Derks y
Tijs (1989)). Principalmente, nuestro inters reside en el anlisis de la evolucin del corazn
de este tipo de juegos cuando el nmero de jugadores tipo presentes en el juego aumenta.
Para llevar a cabo dicho anlisis se introduce en el modelo la posibilidad de que los jugadores
puedan graduar, ya sea de forma discreta o continua, su tasa de participacin en una coalicin;
lo que nos lleva a trabajar con Juegos de Produccin Lineal controlados por Comits con tasas
de participacin. As mismo, se aborda el problema de la reduccin (en el sentido de Davis
Maschler) de un juego de estas caractersticas.
Los juegos de produccin lineal controlados por comits surgen como generalizacin de los
Juegos de Produccin Lineal, introducidos por Owen (1975). En cuanto al primer problema
planteado, la lnea de trabajo que seguimos es la desarrollada por Owen (1975) para el modelo
original. En lo referente al ltimo problema planteado, ha sido el trabajo de Granot (1994)
sobre el juego reducido de un juego de produccin lineal, el que nos ha servido de motivacin.
El captulo se inicia con una seccin en la que se resumen los trabajos que sirven de base
al estudio abordado en el ncleo central del captulo: Los trabajos de Owen (1975) y Samet y
Zemel (1984), sobre la evolucin del corazn de un juego de produccin lineal, y el trabajo de
Curiel, Derks y Tijs (1989) en el que se introduce el concepto de juego de produccin lineal
controlado por comits. Del mismo modo, antes de abordar el problema de la reduccin del
juego, se resmne tambin el trabajo de Granot (1994).
3.1
3.1.1
Preliminares
Los juegos de produccin lineal, introducidos originalmente por Owen (1975), se engloban
dentro de una clase de juegos TU ms general: La clase de Juegos de Optimizacin. Este
98
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
9,
en las que hay ms de un decisor involucrado. En dicho caso, el valor de una coalicin viene
e
u
dado por la solucin del problema de optimizacin que se plantea cuando todos los miembros
de la coalicin unen sus recursos con el fin de alcanzar un objetivo determinado. Los Juegos
e,
e,
de Asignacin (Sliapley y Sliubik (1972)) son un claro referente en el estudio de este tipo
e,
de juegos. Posteriormente, han sido tratados por Dubey y Shapley (1984) y Granot (1986),
e,
analiza en profundidad los Juegos del 7knsporte que generalizan los juegos de asignacion.
En particular, los Juegos de Produccin Lineal modelizan economas de produccin (lineal)
e,
en las que los recursos necesarios para elaborar los productos finales pertenecen a un grupo
e,
U
e,
ni
{1,... ,n},
((4,... (43.
,
Dichos
recursos pueden ser empleados para producir p clases de productos que pueden ser vendidos
e
U
e,
e,
e,
los recursos nicamente son tiles en tanto que sirven para producir y que para producir una
e,
unidad de producto
j se
w
U
e
e
v(S)2= mx
j=I
e,
s.a.
(3.1)
Zakjxj
jtl
x1
>0
j~z1,...
,p,
e,,
e,
donde A
[ak~)k~
g=1,.
~P
ies
dispone la coalicin S G N.
1a~ >OVk
m,
~/j~=1
u
e,
p, y paracada
e,
e,
e
*
Sil.
Preliminares
______________________
__________________
Owen (1975), despus de probar que los juegos de produccin lineal son (totalmente)
equilibrados, centra su estudio en la obtencin de repartos en el corazn. Haciendo uso de
la teora de dualidad en programacin lineal, demuestra que todos aquellos repartos que
se obtienen pagando a los jugadores por sus recursos en funcin del precio de los mismos
dictado por un precio sombra pertenecen al corazn del juego. Concretamente, dado un
juego de produccin lineal (1V, y), sea Op(N) el conjunto de ptimos del dual del problema
de programacin lineal asociado al valor de la coalicin total, entonces el conjunto
m
DP(v)={soG1Rfl/q2u=~
yb~
k=1
al que denominaremos en adelante conjunto de pagos segdn precios sombra, est contenido
en 0(v). No obstante, en general el reciproco no es cierto, es decir, no toda imputacin del
corazn se puede obtener a travs de precios sombra. Siguiendo una lnea de investigacin
clsica en este contexto (ver Debreu y Scarf (1963)), Owen estudia la evolucin del corazn
cuando el nmero de jugadores de cada tipo (disponen del mismo vector de recursos inicial)
presentes en el mercado aumenta: Dado un juego upersonal de produccin lineal (N, u), para
todo r ~ 7/4, considera el juego rupersonal (rN, nT) que surge al rreplicar el conjunto de
jugadores original; esto es, (rN, wr) es el juego de produccin lineal definido por los mismos
parmetros que (N, y) en el que hay ahora r jugadores que disponen de un vector de recursos
inicial 19, i
con respecto al conjunto de repartos segn precios sombra, del corazn de los sucesivos juegos
replicados.
En primer lugar, Owen demuestra el siguiente resultado sobre la simetra del corazn de
los juegos replicados, lo que le permite caracterizar el corazn de los juegos replicados a partir
de su proyeccin sobre IR.
Teorema 3.1 <Owen, 1975). Para todo r> 2 en cualquier imputacin en el corazn del
juego rreplicado (rN, uf), dos jugadores del mismo tipo reciben el mismo pago.
t
t
100
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
e,
e,
9,
u
e
e
En cuanto a la evolucin del corazn, Owen obtiene los siguientes resultados sobre la
e
e
e
Teorema 3.2 (Owen, 1975). Si u
(ni,
..
u.
e
fl C(wD.
r=1
fl
e
e,
U
e
e
grande verificando
e
e
e
C(w?e)=DP(v)={
(Zv%bk~...
1
Tu
~Z~zb%)
k=1
e
}.
e
e
e,
Sarnet y Zemel (1984) profundizan en el estudio iniciado por Owen. Obtienen una con-
e
e
dicin necesaria y suficiente para la convergencia finita. Adems, como corolarios, obtienen
e
e
Dado un juego upersonal de produccin lineal (1V, y), se define el r-refinamiento del juego
como aquel juego rnpersonal de produccin lineal (rN, vr) que se obtiene al considerar que
cada uno de los jugadores del juego original se desdobla en r jugadores idnticos, disponiendo
cada uno de ellos de kb, i
e.
e
e
e
e,.
e
*
a,
3.1. Prehmmares
10I
{ xER
/x~
~,
Considrese la correspondencia
rN
1r
C rN le hace corres-
(4(8),... r,!(S))
E Mr,
Tr(S~),
se verifica vr(S)
Cualquier coalicin 8
vr(s)
SCrN
talque r
rN tal que
1r(S)
~-
consecuencia
iZ(r)
rnx
>3 cjx5
5=1
s.a.
>3 a~,3x3
5=1
= >3r.b~,
y
k=l,...
,m,
iEN
x5 = O,
1=1,... ,p,
rEMk
>3 r~bt y, en
9,
9,
102
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
a,
9,
As pues, el refinamiento,
9,
9,
1Z(v)
{(rN,v), TEZ+},
e,
9,
del juego de produccin lineal (N, y) se puede describir a partir de una coleccin de juegos
U
9,
e
e,
7Z(v)={(N,17),
rCZ+}
e
u
e
Refinar el juego es, entonces, equivalente a refinar el conjunto de niveles de actividad a los
que un jugador puede participar en el juego.
ue
Consideremos ahora el juego con (infinitas) tasas de participacin (N, 75), 75: [0, ir
u
>
E,
dado por
U
e
e
75(r)=
mx
e,
>3 c5x5
e
s.a.
V i-c[0,1].
>3aksxs =~
5=1
k = 1,...
ni,
e,
iEN
x5 = 0,
j=1,...
,p,
e
U
ir
e
U
todas ellas se pueden definir a partir de la funcin 75, a la que denominaremos funcin gene-
ratriz del refinamiento. Asimismo, denominaremos juego de produccin lineal generador del
Th..
TI)
e 11? pertenece
Z~, la imputacin
e
u
e
U
U
e
e
e
u
e.
3.1. Preliminares
=
(yui,...
p,,)
CW)={~E1R/ZPri=V(r)~
o C(ik)
00
103
____________
VrEM}.
c C(75),
luego
00
k=r
verifica
r=1
00
,00~
00
liminfC(V):=U <flc9fl
flCQV).
r* oc
>3p
2ri=iiXr), y re[0,1]
tEN
DP(v). Adems,
si
u slo si
Tr(u)
contiene a un entorno de
DP(v)
1
1.
ttGDP(v)
DP(v).
tEn lo que sigue, cada vez que nos refiramos al comportamiento lmite de {C(ifl}cz
el lmite inferior de dicha sucesin de conjuntos.
estaremos indicando
E.
e-
a,
104
Capftulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
U
e,
Corolario 3.2 (Samet y Zemel, 1984). Si todas las componentes de la matriz de produc-
e,
~j
e
=
DP(v).
e,
c Z~
(1V,
DP(v).
e
U
e,
e
3.1.2
resultados previos
En el modelo original (Owen (1975)) se supone que cada jugador puede disponer libremente
de una cierta cantidad de recursos, es decir, los recursos son bienes individuales. Sin embargo,
se puede dar el caso de que los recursos sean bienes colectivos: Un grupo de jugadores podr
disponer libremente de un recurso siempre y cuando tenga poder suficiente para ello. En el
modelo de Curiel et al? (1989), Juegos de produccin lineal controlados por comits, se supone
e
e
U
que los recursos estn disponibles en el mercado en lotes, cada uno de ellos controlado por mi
e
e
e
e
PTA
A
E
C
150.000
110.000
EtC
U
U
90.000
60.000
U
e
e
A partir de estos productos qumicos se puede producir fibra textil sinttica (PETfibra) y
plstico para botellas (PETbotella). La siguiente tabla recoge las cantidades (en toneladas)
de cada producto necesarias para producir una tonelada de cada uno de estos derivados.
e
e
e
e
e
e
e
e
e
u
3.1. Preliminares
105
PETbotella
PTA
0.966
EtC
0.365
PET-fibra
0.912
0.344
La venta en el mercado de fibra textil da un beneficio de 5.000 pts. por tonelada, mientras
que la venta de plstico da un beneficio de 6.000 pts. por tonelada.
Las juntas de accionistas de cada una de las compaas tiene la siguiente composicin:
A:
.11
.15
8:
.12
controla el 35%
de las acciones,
Ja controla el 35% de las acciones,
.14 controla el 30%
de las acciones.
C:
donde Ji,...
Js son los cinco grandes inversores que controlan la produccin de PTA y EtC
en la zona.
En tal caso, silos cinco grandes inversores pudieran firmar acuerdos vinculantes, entonces
el juego TU que modelizara la situacin que enfrentan es un juego de produccin lineal
controlado por comits en el que hay dos recursos (PTA y EtC), disponibles en el mercado
en lotes (produccin de las compaas A, 8 y C), cada uno de los cuales est controlado por
un comit de jugadores (composicin de la junta de accionistas).
106
Cap(tule
3.
1,...
4;
la coalicin 8 puede
disponer del lote B~ si y slo si S es una coalicin ganadora en el juego u%. As, se tiene que
e
e
4
Bk(S)
>3n~(S),
U
e
q~ 1
donde BQ(8)
e
= (Bi(S),...
En el ejemplo, p
2 (PET--botella
=
producto 1, PETfibra
producto 2), ni
e
ee.
150.000,
~?=
110.060,
B~=
60.000
90.000,
e
e
e
e.
~uA,
u?
M1V(uA)
{{1,2},{1,3},{1,5},{2,3,5}}
uc,
M}V(uc)
{{1,4},{1,5},{4,5}}
un,
MW(un)
{{2,3},{2,4},{3,4}}
ee
u
e
u22
e,
La matriz de produccin es
e
e
0.966 0.912
0.365 0.344/
e,
e,
e
e,
e,
*
e
a.
107
3.1. Preliminares
Luego, para toda coalicin SG N
y(S)
{1,... ,5},
mx 6.0O0z~ + 5.000x2
s.a.
O.966z1 +0.912x2 < 150.OOOu4S) + 110.OOOuc(S),
0.365z1 + 0.344x2 < 90.0O0u~(S) + 60.OOOuc(S),
x > 0.
El trabajo de Curiel, Derks y Tijs <1989) se centra en el corazn de este tipo de juegos.
A continuacin, se enuncian los resultados que obtienen.
Teorema 3.5 (Curiel et al. (1989)). Si todos los juegos simples que describen el control
de los recursos son equilibrados, entonces eljuego de produccin lineal controlado por comits
tiene corazn no vacio.
Estos autores consideran el conjunto compuesto por todas aquellas preimputaciones que
pueden ser obtenidas mediante el procedimiento que se describe a continuacin:
1,... ,dk,
de recurso k, k = 1,.. . ni, se reparte entre los jugadores de acuerdo con una imputacin
=
(~(i))~zv
4
e C(u~).
ni.
q~ 1
2. Una vez repartidos los recursos, se paga a cada uno de los jugadores por los recursos
de que dispone en funcin de los precios dictados por un precio sombra y E Op(N).
108
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
Nos referiremos al conjunto de pagos as obtenido como conjunto de pagos seodn precios
sombra y repartos equilibrados de
zElR
CDP(v)
z=>j
,n,
EQp(N),
1
1
Teorema 3.6 (Curiel et al. (1989)). Si todos los juegos simples que describen el control
de los recursos tienen corazn vacio, entonces el juego de produccin lineal controlado por
comits es no equilibrado.
Observacin 3.1. Obviamente, el modelo de Owen se puede ver como un caso particular
del modelo ms general de Curiel et al? (1989).
Observacin 3.2. Por otro lado, Granot (1986) propone una generalizacin alternativa del
modelo original de Owen que resulta ser equivalente a la propuesta por Curiel et al. (1989).
En dicha generalizacin, el control de cada uno de los recursos disponibles en el mercado
viene dado por un juego (no necesariamente simple) no negativo y equilibrado.
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
109
3.2
ellos obtienen.
3.2.1
y),
rrefinado se debe determinar en primer lugar cmo redistribuir entre los nuevos jugadores el
control sobre cada uno de los recursos; es decir, cmo refinar cada uno de los juegos simples
que describen el control de los recursos.
Sea (1V, u) un juego simple describiendo el control sobre un cierto recurso 13. A continuacin, se expone el razonamiento intuitivo que nos ha llevado a la definicin del juego
rrefinado, (rN, ur).
En el juego original, una coalicin 5 ~ N dispone del control del recurso 13 si y slo si
la coalicin S contiene a todos los jugadores de, al menos, una coalicin minimal ganadora
del juego. Sea MW(u)
{ 1~1,...
P,~
110
Capitulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
{i~,...
,ip},
1,...
considrese la red Q:
1
OS
i2
zpI
compuesta por tantos arcos de capacidad 1 como jugadores en P~ ms uno, y en la que cada
arco, a excepcin del arco que incide en el nodo sumidero S (que es de uso comn), est
controlado por el jugador en que incide dicho arco. Entonces, la coalicin S G N podr enviar
una unidad de flujo del nodo fuente Jg al nodo smnidero Sj a travs de la red ~ si y slo si
5 contiene a todos los miembros de Pe De esta forma, el control de una coalicin sobre el
recurso 13 vendr dado por el mximo flujo que dicha coalicin puede enviar por alguna de
las redes asociadas a cada una de las coaliciones minimales ganadoras del juego. Esto es,
u(S)=mxmn4,
VSCN
I<t=k jET
cada
1-
1
1
St
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
111
1,
...
n. Luego, la cantidad
(5)
1
=
max mnq1(S)
r L<~<k lE,
-
.~c rN.
(3.2)
Definicin 3.1. Sea (1V, u) un juego simple de control, se define el refinamiento del juego
como la coleccin, 1Z(u)
{ (rN, ur),
r e 2
},
expresin (3.2)
Ru) del juego simple de control (1V, u) se puede definir a partir de la coleccin de juegos
npersonales con (finitas) tasas de participacin 7Z(u)
{ (IV, &9,
r 6 2+
}, donde para
757(r) =ur(S),
SCrN
Entonces, el poder de control sobre el recurso B de cualquier coalicin 5 C rN, tal que
r(S)
ir(r)
1<1</e mini1.
lE,
a,,
112
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
Considrese el juego simple con tasas de participacin (IV, 75), 75: [0, 1]
[0,1], definido
como
14r)= mxmnr1,
V rE[0,lfl.
Ictt=kLE),
Entonces, el refinamiento 1Z(u) est generado por el juego simple con (infinitas) tasas de
participacin (IV, 75).
De acuerdo con el refinamiento de los juegos de control, se define el rrefinamiento de un
juego de produccin lineal controlado por comits como sigue.
Definicin 3.2. Sea (IV, y) un juego de produccin lineal controlado por comits. Para todo
r E 2+, se define el juego rrefinado, (rN, Vr), corno
p
Vr(S)
mx Zcjxj
3=1
s.a.
Zakjxj
3=1
donde
(3.3)
V SCrIV,
B~,
1,... 4, de recurso
,n.
kzsrl,...
A la vista del razonamiento anterior, el refinamiento 7Z(u~) de todo juego simple de control
(IV, u~), q
1,... ,d,~, k
1,...
, ni,
B%,
{ (IV, 4),
r 6 24
1,... 4, de recurso k, k
ni,
de
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
cualquier coalicin S GE rN, tal que r(S)
113
mx
rnnr1,
PEMW(u~) ~EP
donde MW(u%) ~ P(N) es el conjunto de coaliciones minimales ganadoras del juego simple
(N, u~).
Adems, el refinamiento R4u%) est generado por el juego simple con (infinitas> tasas de
participacin (IV,
4), q
1,...
, 4, k
1,... m, siendo
mx
m1nr~,
V r E [0,1].
PEMW(uI) LE?
En consecuencia, el refinamiento R(v) del juego de produccin lineal controlado por comits (IV,
y>
{ (IV, 7?),
r E Z.~
4,
generada por el juego de produccin lineal con (infinitas) tasas de participacin (IV, 77), dado
por
75(,-)= mx
cg Xg
Z
jzr 1
s.a.
V r E [0,1],
=13~(r)
(3.4)
k=1,... ,ni,
xi =O
4
donde B/e(r) =ZB%4(r), q= 1,.
,4 yparatodok=1,.
,m.
q=1
Antes de plantearnos iniciar estudio alguno sobre la convergencia del corazn de los sucesivos juegos refinados es necesario generalizar el resultado sobre la simetra del corazn de
los juegos refinados obtenido por Owen (Teorema 3.1).
114
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
Veamos, en primer lugar, algunas de las propiedades del juego refinado (rIV, u) que nos
permitirn reproducir la demostracin de dicho teorema.
La funcin generatriz 77 del refinamiento de un juego simple de control (IV, u) verifica las
siguientes propiedades:
u(S)
V S GE IV.
V r <r.
71 es continua.
i1(Xr)=A77(r),
V rE[0,1]
)~.
Definicin 3.3. Para todo r =1 y para todo conjunto de jugadores IV, se define una proyeccin del conjunto de jugadores original como cualquier coalicin de jugadores IV GE vN
compuesta exactamente por un jugador de cada tipo.
Notacin.
Sea
,_
r
vN una coalicin cualquiera, para todo h
0,...,
B4W
(8)] se
denotar por hS a la coalicin que se obtiene cuando el nmero de jugadores de cada tipo
que contiene la coalicin S se multiplica por
It.
Lema 3.1. Sea (dV, y) un juego de produccin lineal controlado por comits. Para todo
y>
(O
v(S)
orgznal.
1
u(S), V 5 ~ IV, para toda IV <E vN, proyeccin del conjunto de jugadores
y
3.2.
(u)
yr
115
m.
(S) J
LIEN
4)
extiende el
13%(S)
Z~sr(S)
q~ 1
q=i
q~ 1
v}S)=mn{
Z13~Suk
ycy
k=1
yE Etm
Zakjvk
,m
kszl
es independiente de 8. Entonces,
~r (5)
1 mm
1r
1,
Snbot.
L~.a
En cuanto a la propiedad
(u), se
ZB%u~(hS)
q~1
4,
14(hS)
/e=1
1,... , dk, lv
3.B~4(rr(hS))
q=1
4
ZB%h4(r(S))
q=I
= h13%(S),
116
Capitulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
~~
1~
*
e
e
Proposicin 3.1. Para todo r > 2, en cualquier imputacin en el corazn del juego
rrefinado, (rIV, y), dos jugadores del mismo tipo reciben el mismo pago.
Demostracin: Sea ~ ci
=
1,
...
, r,
J N~1), siendo
=1
>3
>3
q~i=>3
IErN
e.
~=v(rN)
=
f=1 IEN<1>
rv(IV)
v(IV).
(3.5)
e.
>jj
so
1=v(IV~h=v(N),
y
e=i,...
,r.
(3.6)
U
e
e
e.
>3
1
4o1=-v(IV),
r
V =1,... ,r.
0j = v(N).
1y
Esto es, si N es una proyeccin de IV, entontes
jE A
Sean i
1, i2 dos jugadores de tipo i cualesquiera, y seaN una proyeccin de IV tal que fi E IV,
>3
entonces IV
(IV
\ {i1}) U {i2}
>3
(>05=
>3qj
zz>
(pj~=q3j2.
SEN
e
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
117
que nos habamos planteado mediante el estudio del corazn de juegos upersonales con tasas
de participacin; ya que, la relacin existente entre C(vr), C(7?) y C(77) es la misma que se
da en el modelo de Owen entre dichos conjuntos. Esta relacin ha sido descrita al final de la
seccin 3.1.1.
(49%L1
es cualquier vector en
JflflXm
verificando
siendo (IV, bk) el juego que describe el control del ksimo recurso, lv
Una replicacin 4convergente del juego (IV, bk), lv
1,...
,ni,
1,... , ni.
viene dada por una
funcin 14 verificando las propiedades (Pl) y (1>4) (extiende el juego original y es homognea
de grado 1), cuyo comportamiento lmite viene determinado por la funcin 14 (verificndose
14(5) =14(5), V SC rIV
b~(S)
donde SIN
coalicin
5,
{ i E IV/ z1
i =
=1
= b/e(S/IV)
+ qpk[x(S)
i que contiene la
(z~)~C~ y
[a]+ =
a,
0,
sia>0
sia<0.
Esto es, para toda coalicin 5 GE rN el control que dicha coalicin ejerce sobre el recurso
ksimo en el juego rreplicado, se obtiene como suma de dos contribuciones: La coalicin
(5/dV)
juego original; mientras que la aportacin del resto de jugadores viene dada por el reparto
118
~k
Capitulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
considerado.
La funcin b*
= (bt,.
.. , b,j,
y),
3.2.2
Dado un juego de produccin lineal controlado por comits (dV, y), el objetivo que nos proponemos es estudiar el comportamiento de la sucesin (Ct77))~>1. En primer lugar, nos
preguntamos si los resultados obtenidos por Owen (1975) se generalizan, obteniendo una
respuesta negativa. En este caso, en general el corazn del juego no se reduce al conjunto
CDP(v). Una vez establecido este hecho, se estudia para qu tipo de juegos de produccin lineal controlados por comits se pueden generalizar los resultados obtenidos por Owen,
llegando a la conclusin de que si todos los juegos simples que describen el control de los
recursos son juegos de unanimidad respecto de una cierta coalicin, no necesariamente la
total, entonces el corazn del juego se reduce al conjunto de pagos segn precios sombra y
repartos equilibrados. As mismo, se dan condiciones bajo las cuales se puede garantizar la
convergencia finita. Por ltimo, retomamos el caso general y caracterizamos, para el caso no
degenerado, el comportamiento lmite del corazn.
Observacin 3.4. En cuanto a los resultados obtenidos por Puente y Marchi (1995), para
toda extensin 4,convergente garantizan la convergencia del corazn de los sucesivos juegos
replicados al conjunto de imputaciones 4,competitivas: imputaciones que se obtienen a
partir de un precio sombra, una vez que los recursos han sido repartidos entre los jugadores
de acuerdo con 4,
nl
pC1Rfl/4o1=>3~4?~~, ViEIV,
yOp(IV)}.
/e=1
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
3.2.2.1
119
Proposicin 3.2. Sea (IV, ti) un juego de produccin lineal con&olado por comits y sea R(v)
su refinamiento, entonces CDP(v) ci 0(7?), para todo r > 1.
Demostracin: Sea (dV, U) el juego de produccin linead que genera el refinamiento. Puesto
oc
que 0(77)
Veamos, en primer lugar, que para todo juego simple de control se verifica
Para ello, es suficiente con probar que
0(4)
~ 0(71%) si
C(4)
C(u~)
0(4) # 0.
Sea V~ el conjunto de jugadores veto del juego simple ntido (IV, 4), entonces, para toda
coalicin con tasas de participacin r E (0, lf, se verifica
74(r)<minr~,
(3.7)
IEV
ya que
P,
sc E C(4), donde
C(i4)
{xE1R~
>3x2=1,
LEV~
se verifica
>3 yjr~
LEN
IEV~
iEV
iEV
LEN
V r 6 [0, 1].
(3.8)
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
120
Adems,
>3 ~OI=4(1V)
=74(N),
tEN
e
entonces ~oE
0(71%).
,n
V
k=1
donde y~ cOp(IV) y
iz
1,... ,n,
q=1
4% c0(4),
tEN
nl
>3zir~
>3t4>3B~ (zsor~)
kzzl
=Zy~ZB%4(r)
4
V rE[0,1]~.
(3.9)
q=1
i5(r)tzmn{ >3.Bk(r)vk
yEY
V r E [O,lfl,
k=1
tm
yE?
nl
>3akjyk
=c~,5
(3.10)
k=t
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
121
verifica
nl
Tfl
q-U
(3.11)
k=1
>32
1r =75(r),
c [O,1].
1cN
Ejemplo 3.1. Considrese la siguiente situacin. Hay dos recursos, B1 y 2, y dos productos. Los recursos estn controlados por tres jugadores dV
recursos viene dado por los juegos simples (N, u1) y (dV, 12), respectivamente, donde
ni(S)
212
uN
jj
si 163 y 51=2,
en otro caso,
122
CapItulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
e
*
e
es
2)
E [0,1]
ee,
mx 4x~ + 6XQ
75(r)
s.a.
1
2xi
e
e
=0,
nr
u
donde
Bt(r)
6 mx{min{-y,-r2},mn{r1,r3} },
G7t(r)
%2 (r)
e,
U
8722(r)
rZ
8 mn{ri,w>,raJ.
e.
u
(1, ~)},
0(ui)
{(1,O,0)}
y 0(u2)
1(u2),
de donde
e
u
CDP(v)z={(6+A,p,12A--p)/A+p=12,A,g=0}.
U
U
Veamos que el corazn del juego con tasas de participacin que genera el refinamiento
u
U
3
A={ sce1R
2,4~3Sl2, ~i=O, Vi
1,2,3,
>3y~=s
}.
(3.12)
e
u
tEN
u
U
e.
e
e,
e
e
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
75(r)
123
EY
siendo
2/yi + 21/2=4;3y + 2%t =6;
Y
= {(yL,y2)
1/1,1/2= 0},
E 111
(0,3)
(14)
(4,0)
Luego,
75(r)
mn{2471
2(r), 6721(r) + l2i22(r), 2471i(r)}
(a) Si r~
pagos eficiente.
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
124
(b) Sir2
se
=
2472 y
sc
lEN
sc2
< 12.
6mn{ri,ra}
+ 1272
<>02
=12.
y >39~Iri =75(r)
lEN
73 =
e.
e,
e.
lEN
=12.
u,
e
e
U.
(t1, 1) se verifica
7(r)=
e,
si t <
24t,
U
U
6 + 12t,
U,
si t>
e.
u
As, si
sc E C(7Y),
e
U
12(1
t)
c (~, 1);
2,3.
e,
Luego, ~ =12, i
I&~)
sc
si > O
i=1,2,3,
E IR
e.
e.
U
>3~zz1S
lEN
e
U.
U
Entonces
0(70
u
*
U
CDP(v)
; G(~h g 0(v) =
1(v)
e
u
e,
125
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
Grficamente,
(0,0,18)
(0,12,6)
(18,0,0)
3.2.2.2
(6,12,0)
(0,18,0)
Si nos restringimos al caso en que todos los juegos simples que describen el control de los
recursos son juegos de unanimidad, entonces los resultados obtenidos por Owen (1975) para
el modelo original se generalizan. Previamente se prueban una serie de resultados necesarios
para abordar dicha generalizacin.
Resultados previos
Nota 3.1. Obviamente, el vector de costos del problema dual asociado al valor de la
coalicin total IV, B(N)
Bt(IV)
> 0,
V k
1,... ,m.
1,...
u compacto.
,4,
lv
126
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
*
u,
e
e
nl
>3 B~~(i),
4
ks=1
q= 1
nl
izzL
u,
u
1, . . . , u
>3&>3Bh~@),
krd
u,
q=1
u
U
para todo q
,4
1,.
;k
e
u
e,
Az1 + (1
f Z-~(~CZ4 + (1 A)y~k).
ksd g=t
e,
Considrese 5
u,
~y + (1 A)St, entonces:
nr
(a) Si~k=O
t4=k=O
paratodoq=1,...
c 0(4),
,dk.
(b) Si Yk > 0
zz~
Sea ~
~q CC(4),paratodoq=1,... ,d.
+ ()~
e
e,
1,...
,4 ,
lv
=
1,... , d,
1, , lv
1,... , rn,
verificando
u
e
2=
+ (1 A)z
k=1
q=1
e
e
e
e
As, Az + (1 >z2
e CDP(v}.
e,
Dado que 0(v) es un conjunto compacto, para probar que CDP(v) G 0(v) lo es, es
ti
e
e
u
e
e
a
3.2.
127
suficiente con probar que es cerrado. Para ello, comprobaremos que contiene a todos sus
puntos de acumulacin.
Sea (z)n~w una sucesin convergente contenida en CDP(v) y sea
su lmite. Veamos
que z0 E CDP(v): Por ser z~ E CDP(v) para todo n e 1V, es de la forma
4
ya
z~
=>3y~>3B%e%~,
k=L
VnEJN,
q~L
Considrese el conjunto
4
u.
B=
~ J~ C(u%)
Op(N)x
k=L q=1
El conjunto de ptimos del problema dual asociado al valor de la coalicin total IV, as
como los corazones de todos los juegos simples de control son compactos, entonces, por el teorema de Tychonoff, fl tambin lo es. Luego, la sucesin (yn, (%,)~~
B, tiene una subsucesin convergente (yn,
(4%
4)
,,~)qi
4)
Sea (yo,
contenida en
(%)~=~ ~..,dk) e B
-
nl
u.
z~
in>3y~>3Bg%~
1
donde y0 E Op(N)
/n>3~
q=1
4~
nl
k=1
E 0(4),
V q
k=1
q=L
~
q=L
nl
1,... ,dk ,
V lv
1,... qn.
Esto es,
Observacin 3.5. Sea (dV, y) un juego de produccin lineal controlado por comits y sea
e.
128
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
(IV, 75) el juego con tasas de participacin que genera el refinamiento 7Z(v). Entonces:
1. Las funciones 75, 72%, q = 1,... 4, lv 1,... ni, son homogneas3 de grado 1. Por tanto,
su definicin se puede extender a 1R!~i:
75(r)
donde a
>3 r~
y *
a75(~),
~r,para
jE A
2. Si todos los juegos simples ntidos que describen el control de los recursos son juegos
de unanimidad entonces 75 es una funcin cncava.
Nota 3.2. Aubin (1981) prueba que para todo juego con tasas de participacin, (IV, 70, tal
que 75 es una funcin cncava y homognea de grado 1, se verifica 0(70
875(N) la subdiferencial de 75 en IV
875(N), siendo
1.
Lema 3.3. Sea (IV, y) un juego de produccin lineal controlado por comits. Si todos los
juegos simples de control son de unanimidad, entonces para todo d E Jflfl, vector distinto de
cero, existe una imputacin
CDP(v) verificando
Dd75(IV) =d~,
donde (IV, 70 es el juego que genera el refinamiento de (IV, y) y Dd75(IV) es la derivada direccional en la direccin de d de 75 en IV
Demostracin:
1.
Considrese la sucesin
e 1V,
A,, =O lo su-
14 y de la expresin
3.2.
129
4;
=
WC
IV,
4~ E C(u%), 4,, =
72%(IV+A,,d)zzzz>3(l+A,,d1)z%,, (o
lEN
de donde se deduce
=z ng
Bk(N+ApdU>3B~(N+Apd)
(>3(1 + A~d1)4~(i))
V k=1,..
ni.
q=1
v(N +
AA)
min{ZBk(N
+ APd)vk
/y eY
k=i
u.
=
mn{
>3YkB%
k=i
+ A,,d1)z%~(i)
q=L
YEY}
yP
e Y tal
que
75(N+A~d)
k=1
q=i
>3(1 +A~d)z%p(i))
tEN
vn
4
+ A,, ~
k=1
qz1
tz%,,.
4 Bgd
(3.13)
e.
e.
130
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
se
e
v%>3B%dtz%,,, 75(N)
=
k=1
nl
q=1
k=L
q= 1
e,
4
= A,, >3v~>3B%dtz%v,
vn
k~zL
e
e
q=l
e
e,
de donde se deduce
75(IV +
Tu
A,,d) 75(N
V p E 1W.
k=1
(3.14)
q=L
*
e
e
( yP, (z%p)q
4)
= Y
pEIN
U
u,
e
4) FR el lmite
ya
Tu
=>3v%>3B~4.
k=1
e.
7=1
u
u
se deduce
Dd75(IV)
hm
75(IV
CC
pETh
Ad) 75(N
A,,
u
e
u
vn
=
pEPi k=1
dt
.4
q~zrl
U
u
y~
Op(IV).
u,
Vq=1,...,dk,Vk=1,...,m.
e
u
u.
u
131
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
De la igualdad (3.13) se sigue que
4
nl
OC
>3 >3 R%
k=1
pEPi
(3.15)
y~
i~=L
Por otro lado, 75 es una funcin cncava y, por tanto, es continua en el interior de IR? entonces
ln 75(N + A,,d)
p*OC
pEP
p*OC
(3.16)
75(N).
pE?,
vn
Corolario 3.4. Sea (IV, y) un juego de produccin lineal controlado por comits. Si todos los
juegos simples de control son de unanimidad entonces, para todo d E IR \ {O} se verifico
Ddi(N)
mm { d~ 4 e CDP(v) }.
Ad
e int(IRZ), se verifica
75(N
+ Ad)
75(N)
t4.
= Ad
Entonces,
hm
875(N),
1.
e.
e
u
132
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
*
U
Luego,
e
U
e CDP(y) }.
(3.17)
Por el lema anterior, existe 4~ E CDP(v) tal que Dd75(N) =d~40, entonces de la desigualdad (3.17), se deduce que
e
e
e,
u
Ddii(N)
dtC0
mm
e,
{ (4 E CDP(n) }.
u
Ej
e
e
Teorema 3.7. Sea (N,v) un juego de produccin lineal controlado por comits. Si todos los
e
e
e
e
e
Demostracin: Por la proposicin 3.2 es suficiente con probar que 0(70 CDP(v). Lo
u
e
Supngase que existe una imputacin sc C 0(70 tal que sc ~ CDP(v). En el lema 3.2
se prob que CDF(v) ~
e
e
u
e
U
dtC=a,
V4ECDP(v),
dtsc <cx.
u,
u.
e,
e
Dd75(N)
mm { 4 e
~ CDP(v) } =a.
(3.18)
e,
e,
e
U
u
u
e
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
Por otro lado, sc E 0(75)
133
875(N), entonces
D475(N) =
~sc<a.
(3.19)
Ej
Por <iltimo, se da una condicin suficiente de convergencia finita del corazn de los juegos
de produccin lineal con (finitas) tasas de participacin que componen el refinamiento al
conjunto CDP(v).
Observacin 3.6. Para todo J~ jugador irrelevante en el juego (IV, y) de produccin lineal
controlado por comits, se verifica:
77),
(i) ~,j=O~
VscEC(
(u) ~~=O,
V scCCDP(v).
Vr>1.
(0(w)) ,>~
(Dv))
donde D(75) es el corazn del juego de produccin lineal que se obtiene al restringir el juego
original al conjunto de jugadores relevantes.
Por tanto, y con el fin de no complicar innecesariamente las demostraciones, en los resaltados que se dan a continuacin se supone que todos los jugadores del juego de produccin
lineal (N, y) son relevantes.
Lema 3.4. Sea (N, y) un juego de produccin lineal controlado por comits. Si todos los
juegos simples de control son de unanimidad entonces, en ausencia de degeneracin en el
problema de programacin lineal primal asociado al valor de la coalicin total IV, para toda
134
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
coalicin S # 0 existe un escalar it(S) E [0,1) tal que para todo r E [it(S), 1] se verifica
vn
75(r(S))
donde Op(IV)
{y~} e 4(5)
75(N)
{1,...
= {qE
>3
(Ir)>3v%
k=1
qEI~(S)
,d~}SflV~~$0},
3%,
1,...
,4,
V k
1,... ,m, ~/
{I:
si
iFS,
i=1~.. ,n.
si i~S,
1,... ,dk,
yk=1,.. ,m;severifica
72%(r(S))
si
SnV,~#0,
si
Snv,]=0.
As, el valor de la coalicin con tasas de participacin r(S) en el juego (N,) generador del
refinamiento de (IV, y), viene dado por
p
y(r(S))
mx >3cjx~
2=1
s.a.
>3akjxj =Bk(r(S)),
ti
x>O
k=1,... ,m,
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
135
donde
Bk(r(S))=
>3
>3
B%+r
qflk(S)
B%=Bk(IV)(1i-)
qEIk(S)
>3
B~.
qEIk(S)
Luego, el valor de las coaliciones con tasas de participacin de la forma r(S), cuando r
decrece desde 1 hasta 0, se puede obtener mediante un anlisis paramtrico del problema de
programacin lineal asociado al valor de la coalicin total IV, cuando se perturba el vector
del lado derecho en la direccin del vector
v~=
>3
y,
donde
B%,
k=1,... ,rn.
qEIk(S)
Sea B una base ptima del problema primal asociado a la coalicin IV. Considrese A
definido por
en otro caso,
V k FI,
75Qi-(S))
cBB
(B(N) (1 r)v)
kl
B%.
qEIk(S)
136
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
coalicin IV es degenerado, pero el problema dual tiene un nico ptimo, entonces el resultado del lema anterior se sigue verificando. En dicho caso, el dual es tambin degenerado
verificndose cBIB
..
cn1B<
CDP(y).
lvi,
siiES,
sii~S.
(3.20)
jES
770(IV) 770(45))
75(N)
i5(y(S))
(1 t~i)
>3 y >3
R~.
(3.21)
qEfk(S)
>3~=>3v;>3 n%,
.ES
k1
qE4(S)
VScN.
(3.22)
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
137
c(S)=>3v~
k=1
>3
qE4(S)
B%,
VSGN,S#A,
c(0) =0.
Obsrvese que
4
nl
c(N)=>3y~>3B%szv(Nb7PNIV).
k=1
q=l
Luego, de (3.22) se deduce que C(77~) est contenido en el (anti)corazn del juego de coste
(IV, e). A continuacin se comprueba que dicho juego es cncavo: Sean S, 2 C IV dos
>3
qEI~(SUT>
>3
>3B%qEh(S)
qEIk(T)
qEfk(SflT)
donde J~(S,T)={q~I~(SflT)V,~fl(S\T)#0yV,gfl
B%,
qES,,(S,T)
(T\S)
7f0}.
Luego,
>3
c(SuT)=Ey%
k=t
B%<
qEIk(SUT)
ya
=>3v;>3
k1
vn
nl
qEI4(S)
B:+>3y;
k1
>3
qEIk(T)
B%>3y
k=1
>3
B%
qEI~(SnT)
=c(S)+c(T) c(SflT).
Esto es, (IV, e) es un juego cncavo y, por tanto, el (anti)corazn del juego, que denotaremos
0 /0 E e~ }, donde x0 es el
por core(c), coincide con la envoltura convexa del conjunto {x
e..
e
e,
138
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
u,,
e,
e
e
4 = 4 U {i})
1,... , u,
e
U
u,
donde Ef
{j
E N6(j><6(i)}.
As, para demostrar la inclusin 0(770) CE CDP(v), ser suficiente con demostrar la
inclusin Con{x0 6 e~ } G CDP(y), donde Con denota la envoltura convexa.
Veamos que {x0 O E e } G CDPQu), esto es, todo vector de coste marginal se corresponde con un vector de pago dual asociado a un reparto equilibrado.
e
U
U
u
u
u
e
u
Tu
4 >3 y; >3
t=1,...
qELk(O,z)
U
siendo Lk(O,i)
llega en primer lugar recibe el valor, en funcin del precio sombra y, del lote B%.
u
U
e,
Para todo q
4~
u
e,
si 9(i)
mnO(j),
.f~
j E11k
[0,
en otro caso.
U
u
u
e,
u
4
Entonces, xO=>3
14
>3 B%4%.
q=i
CDP(y) un conjunto convexo. Entonces Con{x0 O E (9 } C CDP(y). Por otro lado,
k=i
U
U
CDP(y) G
0(70
C 0(770).
u,
u
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
139
Observacin 3.8. En las condiciones de la observacin 3.7, se sigue garantizando la convergencia finita.
En el caso degenerado (mltiples ptimos duales) <ricamente se puede garantizar la convergencia en el lmite (vase el contraejemplo dado por Owen (1975)). Como apunta Owen,
el problema radica en el hecho de que a jugadores de distinto tipo se les puede pagar de
acuerdo con distintos precios sombra. Debe tenerse en cuenta que, en este caso, la interpretacin de los ptimos duales como precios sombra no es directa; dado y E Op(IV), 17k,
k
1,... , m, no nos indica el precio mximo al que interesa comprar recurso k adicional,
As como,
u%
mm
yEOp(N)
yEOp(N)
3.2.2.3
en ausencia de degeneracin, el corazn del juego de coste (con coaliciones ntidas) coincide
con 0(75). En el caso degenerado se intuye el comportamiento lmite.
1con respecto al orden dado por la inclusin.
140
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
y)
# 0,
[t(S), 1] se verifica
nl
75(r(S))
donde Op(N)
{y~}
4(5)
= 75(N)
{q
(lr)>3y%
k=1
>3
qEJ~(S)
B%,
1,... , m, y donde la
V q=
1,... ,
4,
el lema 3.4.
Demostracin: La demostracin es anloga a la del lema 3.4, sin ms que tener en cuenta
que, en este caso, dada una coalicin 5 C IV, para todo r
coalicin r(S) sobre el lote B%, q
1,... ,
4, de
recurso k, k
si
en otro caso.
Luego, el valor de las coaliciones con tasas de participacin de la forma 45), cuando r
decrece desde 1 hasta 0, se puede obtener mediante un anlisis paramtrico del problema de
programacin lineal asociado al valor de la coalicin total IV, cuando se perturba el vector
del lado derecho en la direccin del vector
~k
>3
y,
B%,
donde
k=1,...,m.
qEJ~(S)
Notacin.
Dado un juego de produccin lineal controlado por comits, (IV, y), tal que
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
Op(N)
141
c~~(S)=>3t4
k=1
>3
B%,
VSGN
S#0,
QEJk(S)
cyd0) =0.
Teorema 3.9. Sea (IV, y) un juego de produccin lineal controlado por comits, en ausencia
de degeneracin en elproblema de programacin lineal primal asociado al valor de la coalicin
total IV, criste r0 E 1W suficientemente grande, tal que 0(p)
lineal con tasas de participacin que genera el refinamiento, puesto que C(75)
fl C(771), es
r=I
75(r) =mn{
Zvk
ZBM(r)/VEY
k~i
q=i
} =>j>4>3B%4(r).
k=L
q=t
Luego, como toda propuesta de pago ~oE core(c~.), pertenece al conjunto PI(70, slo es
necesario probar que
Tu
q=i
y r~ [0,1].
y
142
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
171)
--
= 172) <
i~<~ <172)
= 175).
Entonces, para todo i E IV y para todo juego simple de control (N, i~),
se verifica:
e
e
u,
e
e
*
e
#=~
[(4u{iJ)eBff%)
e,
yt~O~B(i4)]
(3.23)
e
e
Entonces,
nl
>314
k=1
>3B%74(r)
q=1
k=1
>3
(>3r~
lEN qEfIk(z)
13%) =>3r~$14
>3
%EN
qEHk~)
k1
~O
(3.24)
e
e
e
e
e
Hk(i)={qE{1,...,dk}/(Pi9U{i})EB(i%)yF1~Bff4)}.
e
e
e
Obsrvese que
U
Tu
cy*(P~u{i})cy4Pfl=>3y%
k=1
>3
13%.
e
(3.25)
qEH>,<t)
U
U
e
obtiene
vn
>3v;
k=1
e
U
4
>3R%ii%(r)
ql
a
=
>3(r(t.g r<e)cys(tr(l),...
1=2
,9(t 1) +r<>c~.(IV).
(3.26)
u
e
U
e
e
e
e
143
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
Por otro lado, si ~oE core(cr), entonces para todo t
2,... , n, se verifica
11
>3
c~ ({0(1),... ,9 (1 1)}) =
j=1
>3~ou) ,
e = 2,... ,n.
jJ=1
q=i
k=i
1=2
TI
>3s~o-nj
j=1
=>3rj 40,,
lEN
para toda propuesta de pago sc E core(c~*). Por tanto, en ausencia de empates, se verifica la
desigualdad que queramos probar.
En caso de que hubiera empates, entonces el razonamiento anterior se generaliza teniendo
T(j+l)~ y sean i~ e i2 los
en cuenta algunas consideraciones. Supongamos, por ejemplo, g~> =
jugadores tales que TU) = r, y 77iL)= r~
2. Entonces, la relacin (3.23) se sigue verificando
para todo i
= Tu
= 7j2
.~
[ (F~ u {i1,i2})
se tiene que:
E B(74) y P,~ ~
Hk(il)st{qE{1,...
Hk(i2)
0,
9k
9k
9k.
144
CapItulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
9k
e,
Ejemplo 3.2. Considrese el ejemplo 3.1 (pg. 121). El juego de coste asociado (IV, c,r),
= (1,
viene dado por:
),
e
U
e
u,.
u
c~*({2}) =cy*({3})
12,
e
U
c~.(S)s=18
V SCIV talque
151=2.
u
e
U
core(c>,.)
W(c<)
= 0(70.
U
Corolario 3.5. Sea (N, y) un juego de produccin lineal controlado por comits. Si todos los
juegos simples de control tienen un inico jugador veto, entonces, en ausencia de degeneracin
u
e
U
en el problema de programacin lineal primal asociado al valor de la coalicin total IV, existe
e,
r
0 6 1V suficientemente grande tal que C(7~)
= CDP(v).
e
e
Adems,
ODP(y) coincide con el conjunto de pagos segn precios sombra del juego de
produccin lineal (IV, y), definido por los mismos parmetros que (IV, y), en el que el vector
*
U
b~=
>3
13%,
k=1,... ,m,
QEI& (i)
e
u
siendoIk(i)={qE{1,...,dk}/V~={i}},k=1,...,nt
e
u
Demostracin: Si todos los juegos simples de control tienen un nico jugador veto, entonces
u
e
e
U
e
u,
e
145
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
el juego de coste (IV, c,,s), satisface
Tu
cy({i})=>3y%
k=1
>3
QEIk(S)
R~,
V iEN,
y
>3cy*({i})
cy*(N)
75(N).
zEN
CDP(y)
Tu
>3
core(cys)={(>3v%
B%,...,>3y%
>3
= C(77)
core(crO.
Ej
En el caso degenerado, cabe esperar que, en el lmite, los resultados obtenidos para el
caso no degenerado se generalicen en el siguiente sentido: Dado un juego de produccin lineal
controlado por comits (IV, u), para todo ptimo dual
0(70
4EOp(N)
core(c).
146
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
.9k
e
e
e
eOp(N)
core(c) G C(i5).
e
e,
Se debe notar que, en este caso, el corazn del juego lmite es grande, Le., puede coincidir
con el corazn del juego original. A continuacin se desarrolla un ejemplo a modo ilustrativo.
e
*
u~(S) =
e
B2, y
dos produc-
u
u
e
u
e
si tcS
0,
y 5=2,
en otro caso
u
e
y u2
unidades de cada recurso. El beneficio que se obtiene con la venta en el mercado de los
u.
e
=(o
i).
u.
U
e,
U
75(r)
mx x~+2z2
e,
U
s.a.
X2
xI
=Bt(r),
+ Z~ =B2(r),
Zl,X2
=0,
te
*
e
u
e
u
e
e
*
a
3.2. Juegos de produccin lineal controlados por comits: Evolucin del corazn
147
donde
Bi(r)
132(r)
2d1(r) =2 mx{mfn{rL,r21,mfn{rL,-rajj,
2i2(r) =2 mn{r2,
ral.
La siguiente figura muestra la regin factible Y, en azul, del problema dual asociado a IV,
siendo el conjunto de ptimos duales el segmento Op(IV) = { (~, 2 fl ~ E [0,1]
}.
(0,2)
(1,1)
Por otro lado,
0(u1)
{(1,0,0)},
lEN
CDP(y)
sc
3
IR
402
>3 40j=4
jEN
Obsrvese que, en este caso, el juego de produccin lineal viene dado por:
y(S)=0,
y({2,3j)=2
v(N)=4.
148
Capitulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
e
*
Luego, ODP(y)
= 0(77)
u
e
core(c):
EOP(N)
Dado
(4,2 4) E Op(N), el juego de coste asociado, (IV, c), viene dado por:
e
*
e
U
c({1})
24,
e
e
Como el juego de coste (IV, c) es cncavo para todo 4 E Op(IV), se tiene que el corazn del
juego es
e
e
e
core(c)
=
W(c)
Con { (24,0,4 24), (24,4 24,0), (0,4 24, 24), (24,0,4 24), (0,24,424)1.
e
e
e
core(c)
EOIdN)
e
e
e
u
u
(4,0,0)
(2,2,0)
(0,4,0)
*
e
e
u
e
e
3.3
149
Desde que Davis y Maschler (1965) consideraran por primera vez el concepto de juego reduci-
3.3.1
Preliminares:
Juego reducido de
un juego
de produccin lineal
4(T)=
45),
72=5,
0,
72=0,
mx{v(TUQ)x(Q)QG1N\S},
0#TS.
150
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
9
se asmne que todos los jugadores en IV \ 5 estn dispuestos a cooperar a cambio de obtener
9k
u,
Cranot (1994) obtiene el siguiente resultado, que simplifica la representacin del juego
e
Lema 3.6 (Granot (1994)). Sea (N,v) E G. Supongamos que 0(v) # @ y sea x E 0(v).
~i 5,
Entonces, para cada SG IV
u72
e
e
e
e
y~(T) =O~(T):=mx{v(TUQ)x(Q)QqN\SJ.
e,
e.
e
e
E p(S,v~).
e
La propiedad de juego reducido es esencialmente una propiedad de consistencia. Intuiti-
u
e
vamente, considrese una sociedad cuyos miembros creen todos en la solucin 40 como regla
e,
de reparto. Si se considera el juego reducido en el que una parte de la sociedad cede toda
u,.
su capacidad estratgica a cambio de recibir lo que dicha solucin otorga a sus miembros, y
se vuelve a aplicar la misma solucin para repartir las ganancias entre los miembros de la
*
U
sociedad restantes, entonces cada uno de ellos recibe el mismo pago que reciba en la situacin
original. Si x es una solucin consistente con las expectativas de los jugadores en el juego
8 es una solucin consistente con las expectativas de los jugadores en el
(N, ti), entonces x
juego reducido (5, z4).
e,
e
u
*
cin lineal. Con el fin de solventar este problema (Jranot (1994) considera una extensin del
modelo original de Owen (1975), los juegos de produccin lineal extendidos. Este tipo de jue-
e
e
gos incorpora al modelo original la posibilidad de que los jugadores adquieran en el mercado,
e
a un cierto precio, recursos adicionales. Concretamente, los parmetros que definen un juego
e
e
*
e
151
de produccin lineal extendido son, adems de los que ya definen a un juego de produccin
lineal, (IV; A; c; bt, i e IV), un conjunto adicional de vectores de recursos (t~ E JRnl, j E J)
y su precio en el mercado (di,
E J).
Definicin 3.6 (Granot (1994)). Unjuego de produccin lineal extendido es unpar (IV, y),
donde v(0)
v(S)=
mx
jr
jEJ
s.a.
p
JEJ
x1>0
Vi
{0,1},
jeJ.
Obsrvese que esta definicin no contempla la posibilidad de que los jugadores adquieran
una fraccin de un vector de recursos adicional.
Proposicin 3.3 (Granot (1994)). El juego reducido de DavisMaschler de un juego de
produccin lineal extendido, calculado en una imputacin en el corazn, vuelve a ser un juego
de produccin lineal extendido. Concretamente, el juego reducido en 5 cE IV en x E 0(v) es
un juego de produccin lineal extendido con parmetros:
(5; A; c; bt i ES; t,
EJ y W, i EIV\S; d~,
EJ y zj,
E N\S).
Granot (1994> nota que, al contrario de lo que ocurre para los juegos de produccin
lineal, el corazn de un juego de produccin lineal extendido puede ser vaco. Obviamente,
este hecho depender del vector de precios d asociado al conjunto de recursos adicionales. A
partir del juego reducido, Granot deduce algunas condiciones suficientes para que el corazn
del juego extendido sea no vaco.
152
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
Notacin. Dado un juego de produccin lineal extendido (IV, y), se denota por (IV U J, u) al
juego de produccin lineal (ordinario) con vector de beneficios e, matriz de produccin A y
conjunto de jugadores IV U J, siendo el vector de recursos iniciales del jugador i
IV
(j
J)
b (ti).
Teorema 3.10 (Granot <1994)). Sea x E C(i39, y sea d~
j
# 0.
E J en el
De hecho,
El recproco del teorema anterior no es cierto. No obstante, se verifica la siguiente modificacin del recproco.
Teorema 3.11 (Granot (1994)). Sea (N, y> un juego de produccin lineal extendido tal
que 0(v) #
3.3.2
3.3.2.1
u(IV) + d(J).
Antes de definir qu entendemos por un juego de produccin lineal controlado por comits
extendido, analizamos qu tipo de situaciones, que afecten tanto a la distribucin del poder
sobre los lotes de recursos controlados por los jugadores, como a la cantidad de recursos
disponible en el mercado, pueden plantearse.
La primera situacin generaliza el supuesto introducido por Granot (1994) al extender el
modelo de Owen (1975): Los jugadores tienen la posibilidad de comprar lotes adicionales de
cada uno de los recursos. Dicha compra puede serbien una decisin individual, o bien, una
decisin colectiva de un grupo de agentes, que pueden optar por adquirir recursos adicionales
conjuntamente. Dicha compra se realiza a travs de la adquisicin de capital en la empresa
que controla la gestin de los recursos adicionales en cuestin. La capacidad de disposicin
153
por parte de un grupo de compradores de cada uno de los lotes depender, por un lado, del
esfuerzo inversor realizado y, por otro lado, de si el grupo de compradores ya contaba con
parte del capital de la empresa. Considrese, por ejemplo, un holding que aglutine a varias
empresas que adquiera capital de otra compaa.
Una segunda situacin a tener en cuenta es aquella que no involucra la compra de recursos adicionales, sino la redistribucin del poder de control sobre los lotes de recursos ya
considerados en el modelo mediante la compra, por ejemplo, de acciones. Situaciones de este
tipo se dan cuando una empresa lleva a cabo una ampliacin de capital, o cuando los grandes
rnversores compran acciones a los pequeos inversores (cuya representatividad individual en
la junta es despreciable), o bien, cuando uno, o varios, de los grandes inversores compran a
otro gran inversor, bien una parte o bien la totalidad de sus acciones.
Las dos situaciones descritas se pueden ver, de hecho, como una misma situacin. La
nica diferencia radica en el hecho de que, en la primera de las situaciones consideradas,
ningn grupo de potenciales compradores dispone, con anterioridad a la compra, del poder
suficiente como para disponer del lote. No obstante, a la hora de definir el juego extendido,
hemos credo conveniente considerarlas como dos situaciones distintas.
Veamos cmo introducir en el modelo original las dos posibilidades descritas:
de cada uno de estos lotes se realiza mediante la compra de paquetes de acciones. Para
cada
i,...
,4,
le
,~1(f~),
correspondientes al lote D~. Cada uno de ellos tiene un precio de compra en el mercado
cE
IV se
conoce el poder de control que adquiere dicha coalicin con la compra adicional de acciones. Para cada posible combinacin de paquetes de acciones E
cE
{1,... ,
154
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
esta informacin vendr dada por un juego5 (IV, u4[F]), tal que (wL[E])(S) E {0, 11,
V 5 cE IV6. En tal caso, la coalicin S cE IV, puede disponer del lote D~ de recurso le
mediante la compra del paquete de acciones
Obviamente, debe verificarse (wQFfl (IV)
{4(f) f E F}
si y slo si (wflF])(S)
= 1.
u,
paquetes de acciones adicionales de los lotes que ya estn en poder de los jugadores.
Paracadaq= 1,...
,4,
correspondientes al lote 13%. Cada uno de ellos tiene un precio de compra en el mercado
dep%(h),h=1,...,h%
e,
{1,... ,h~}, se
conoce el juego simple (IV, w% [H]) que describe el nuevo control sobre el lote 13% cuando
se adquiere el paquete de accionna {4(h) h
puede disponer del lote
u.
u
{is4(h) h E H}, si y slo si 5 es una coalicin ganadora en el juego simple (IV, t4[H]).
e
U
e
e
131 4 y 132
2 y un nico lote 13
(8, 6),
=
5 del
u
e
segundo recurso. El control sobre dichos recursos viene dado por los juegos simples (IV, ui),
e,
e,
e
u1
1
u{
1,2}
se
{{1,2},{l,3}}
u
m.
u
u
e,
O
u
e
e
u
u
e
155
La matriz de produccin es
A=(
si)
Se encuentran disponibles en el mercado participaciones en el control de dos lotes adicionales, uno de cada uno de los recursos: D1
3 y D2
de D1 disponibles son:
e1(1)
c~}2)
11 tiene una representacin del 20% en el control de D1, mientras que .12 y .13 no tienen
representacin alguna. En cuanto al control de D2, slo hay disponible una participacin
e2(1) del 30%, con un precio de compra de 3. La coalicin 8
wi[{1}]
wi[{2}]
3 cE IV, no vaca.
w2[{1}j
u?[VIJ
doras {
{31,{1,21 }.
156
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
Una situacin como la considerada queda descrita por los siguientes parmetros:
( IV; A;
c;
Obviamente, puede darse el caso de que la compra de alguno de los paquetes de acciones
modiflque el control sobre ms de un lote. Lo que vendra reflejado en la duplicidad de
paquetes de acciones. Este hecho, junto con lo farragoso de la notacin, nos lleva a describir
la situacin anterior de una forma ms compacta. Para ello, se considera un ~inicoconjunto
de paquetes de acciones disponibles en el mercado 2, esto es, se elimina la distincin entre
paquetes de acciones en funcin del lote sobre cuyo control tienen efecto. En tal caso, los
parmetros necesarios para describir situaciones del tipo considerado son:
( IV; A;
c; 2; p(t), tE 2;
(13ff;
.. , d&,k= 1,... , m) )
que
Definicin 3.7. Un juego de produccin lineal controlado por comits extendido es un par
(N,v), donde v(0)
157
>3 (Rut
TCT tE??
4
=>3B%[
91
>3
fl(1vt))(wflT1)(S)]
t*T
(Hut
TCT
tET
H(1vt))(u%[T])(S)]
t~T
k= 1,... ,m,
x~j
=0,
?jt C {0,1},
ter
2=
y(S)
3y ai(1)
cE
1, e(2)
2,
IV no vaca,
mx 8x1+6x22y1y23y3y4
s.a.
X
2x1 + x2
6yau{,2}(S) =5u~(S),
x>O
y~
jo, i}t
e 0(v)
Concretamente, el juego
158
Cap itulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
parmetros:
( S;
(Df,
(s,f[Qp,e
tk,
=
y 13%, (S,%[Q]), qe
4(8),
1,... ~
GE
TU
(IV 8),
donde (~I)f[Q])(L)
Q C Tu (IV
(wf[QflT])(LU(Q\T)),
S),qc
Z~(S)zz{qE{1,...
,dk}u%(S)=0},
Z(S)={qE{1,...
,dk}i4(S)=1}.
(u9 [QflT])(LU(Q\T)),
VLGS.
(1, 1,2)
2=
{1, 2} y a la impu-
cuales, los jugadores de 5 tienen poder suficiente como para controlar el primero de ellos, sin
necesidad de adquirir el paquete de acciones; mientras que para poder disponer del segundo
recurso necesitan comprar acciones. Esto es, los lotes de productos disponibles en el mercado
son: Bi
2 y 132
ui[0]~us
u2[0]
ui[{1}]~u{i},
u
2[{1}]
159
inx xj +2x22y1
s.a.
x2 =2((1
yDus(T) + yiu{i}(T)),
=0,
1/1 6
3.3.2.2
{0, 1}.
En esta seccin generalizamos los resultados sobre el corazn de un juego de produccin lineal
extendido obtenidos por Granot a partir del juego reducido. En este caso, el hecho de que el
juego extendido tenga corazn no vaco, no slo depende de la eleccin del precio de compra
de las acciones, sino que tambin depende de la naturaleza de los juegos que describen el
control de los recursos.
Notacin. Dado un juego de produccin lineal controlado por comits extendido (IV, y), se
denota por (IV U 2,
u) al juego
SG 2,
SGIV
(u%[SflT])(SflIV),
SflT#0
VSGIVUT.
y
SflIV#fb,
160
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
,4,
0,
V SGIVUT.
SGTSGEIV
_
SnT#0
Sr1IV#A,
1,...
,4,
(u%[2])(S) =(u%[T])(S),
V 2 GE 2
V q
(u4[Tj)(S) =(wflTj)(S),
V TG 2,
V =1,... ,4.
i,
ve
= 1,...
,e~,
le
los juegos de control considerados en la definicin anterior son juegos simples y, por tanto, el
juego (N U 2,
u)
comits.
Al contrario de lo que ocurre en el caso tratado por Granot, el corazn del juego (IVU2, fi)
puede ser vaco. Una condicin suficiente para que 0(U) ~
1,...
,4,
le
es que se verifique:
1,... , 4, le
Ahora estamos en condiciones de generalizar los resultados sobre el corazn del juego
extendido obtenidos por Granot (1994).
Teorema 3.12. Dado un juego (1V u T,U) con 0(r) # 0. Para cada propuesta de pago
161
c C(uj,
considrese el juego de produccin lineal controlado por comits extendido, (IV, vr),
T. Enen el que el vector de precios de compra de las acciones, (p(t))teT, viene dado por x
tonces 0(y) # O. De hecho, la restriccin de x al conjunto de jugadores en IV pertenece al
corazn dcl juego.
Demostracin: Sea x E C(u), entonces de la proposicin 3.4 se deduce que el juego reducido
con respecto a IV y a x coincide con el juego de produccin lineal controlado por comits
extendido (IV, y~). Luego, el resultado establecido en el teorema se deduce del hecho de que
Teorema 3.13. Sea (IV, u) un juego de produccin lineal controlado por comits extendido
con 0(y) # 0, y sea u
C(v). Entonces, y
2=
(u,
U(IV U 2)
2=
u),
si se verifica
>3 u, + >3p(t)
LEN
tE??
=u(S)
{mx
LQS
>3 c3x,>3pff)
31
te??
s.a.
4
>3akJxj>3D~u4(suT) =>3B%f34(SU2),
jzL
q~t
x>O
TGT
le
162
Captulo 3. Juegos de produccin lineal controlados por comits: Anlisis del corazn
GE
IV, se verifica
e,
>3u.+>3p(t) =
tEL
>3cjxs
>3p()
j=1
tE??
s.a.
4
>3akjx>3D~4(8UT)
5=1
1=1
=>3B%~4(SU2),
le
q=1
x>O
TGT
>j~ csxs
>3p(t)
5=1
tEL
s.a.
p
4
4
>3ak5zs>3JL4y4~(SUL) =>3n%tut(SUL),
51
ti
q=1
x>O
p
={mx
>3csx5
5=
s.a.
1
>3akJxs=>3ii$u~k(SuL)+>313%i(SUL),
5=1
1=1
x> O
=u(SUL).
q1
Vk
le
163
3.4. Conclusiones
As pues, y
fi(NUT) =>3u.+>3p(t).
lEN
3.4
tE??
Conclusiones
Captulo 4
165
e
e
4.1. Introduccin
4.1
167
Introduccin
Antes de entrar en la descripcin del trabajo contenido en este captulo, queremos recordar
que la primera parte, que abarca la prctica totalidad del captulo, ha sido desarrollada en
colaboracin con los profesores M.Koster y S.Tijs de la Universidad de Tilburg y el profesor
Y.Sprumont de la Universidad de Montreal, durante una estancia de tres meses realizada en
la Universidad de Tilburg (Holanda), y aparece recogida en Koster, Molina, Sprumont y Tijs
(1998).
Un problema que surge en diversos escenarios es el de distribuir el coste fijo, ya sea de
mantenimiento, de modernizacin, etc..., de una red (ya construida) de conexin a un cierto
punto de suministro entre sus usuarios. En este capitulo abordamos este problema a partir de
su planteamiento como un juego de coste. En particular, nos centrarnos en aquellos problemas
que surgen asociados a redes de conexin con una estructura muy peculiar, la de rbot.
Problemas de este tipo, as corno el problema ms general en el que la red de conexin debe
ser previamente construida, han sido tratados extensamente. A modo orientativo, citaremos
los trabajos de Bird (1976b), Claris y Granot (1976), Megiddo (1978), Galil (1980), Granot
y Huberman (1981),(1984), Granot y Granot (1992), Granot, Maschler, Owen y Zhu (1996),
Maschler, Potters y Reijnierse (1995) y Gellekom y Potters (1997). El caso particular en que
el rbol que define la red de conexin es una cadena se conoce con el nombre de problema del
aeropuerto y ha sido tambin objeto de un amplio estudio: vase Littlechild (1974), Littlechild
y Owen (1977), Dubey (1982), Sudhblter y Potters (1995) y Aadland y Kolpin (1998).
Una vez que el problema descrito se plantea como un juego de coste, el objetivo final es
seleccionar propuestas de reparto eficientes, es decir, que repartan el coste total de la red
entre sus usuarios. Concretamente, en la primera parte del captulo, nuestro inters se centra
en el anlisis del corazn de aquellos juegos de coste que surgen asociados a problemas de esta
naturaleza: existe algn procedimiento general de seleccin que permita obtener cualquier
reparto en el corazn del juego? La respuesta a esta pregunta es bien conocida. El juego de
168
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
*
e-
e,
e
e,
e,
e,
cia con el corazn del juego. As mismo, proponemos mi esquema dinmico de reparto de
e,
e
e,
familia. Dicho esquema no slo nos ayuda a comprender el proceso de seleccin que lleva a
cada elemento del corazn del juego, sino que tambin nos permite deducir algunas de las pro-
dinmico nos permite observar la relacin en cierto modo dual existente entre las soluciones
U
u
igualitarias restringidas ponderadas y los valores de Shapley (duales) ponderados en este tipo
U
concreto de juegos: basndonos en la representacin del corazn del juego a partir de dicha
familia (Monderer et al. (1992)), se propone un esquema dinmico, simtrico al considerado
en el caso anterior, para la obtencin de los valores de Shapley (duales) ponderados (nocin
e,
e
En la segunda parte, y conectando con los temas tratados en los captulos previos, se
analizan las posibilidades que ofrece el considerar la formacin de coaliciones con tasas de
e,
to del corazn del juego con tasas de participacin en relacin con el corazn del juego ntido.
e,
Asimismo, se estudian las propiedades del prenuclolo y del nuclolo mnimos cuadrticos
corno propuestas de reparto para este tipo de juegos.
e,
e,
e
u
e
e
u
e
u
e
u
e
4.2
169
Un problema de distribucin del coste de una red de conexin con estructura de rbol como el
descrito anteriormente, al que denominaremos problema del rbol fijo de conexin (fixed tree
connection
:=
= (1/, E)
es un rbol con un nico vrtice raz, i.e., un digrafo conexo sin ciclos, siendo E el conjunto
de arcos y 1/ el conjunto de vrtices del rbol. O describe la estructura fsica de la red. El
vrtice raz del rbol, que se denotar por r, representa en este caso el punto de suministro
de la red. La funcin e: E
{1,...
finito, es el conjunto de usuarios de la red, cada uno de los cuales se encuentra localizado
en un cierto vrtice del rbol & y cuyo objetivo es ser conectado al punto de suministro, r.
Con el fin de no complicar el modelo se supondr que cada uno de los vrtices de la red,
a excepcin del vrtice raz, est ocupado por un usuario, de manera que, en lo que sigue,
vrtices y usuarios sern identificados, esto es, V
este captulo pueden ser generalizados al caso en que los vrtices del rbol estn ocupados
por un conjunto de usuarios, siendo el nico problema aadido la complejidad de notacin y
lo farragoso del modelo (vase el Apndice D).
Antes de definir el juego de coste generado por un problema del rbol fijo de conexin,
problema ETC en adelante, introducimos parte de la notacin y de los conceptos que van a ser
empleados a lo largo de todo el captulo. Para cada vrtice i
GderaisedenotarporP~.
SiP~ estcompuestoporlosvrticesjo
2=
~,
j1,~~
,Jq1,Jq
entonces nos referiremos al vrtice Iq como el predecesor (o padre) idi) del vrtice i. El
arco (-r(i), i) se denotar por e~. La relacin de precedencia (1/, ~) sobre el conjunto de
vrtices se define como i -~
si y slo si
i e
fl.
2=
(y, E) es un conjunto
F(i)
-<
{j
e N/j
>-
{i}.
170
Capftulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
Un problema FTC genera un juego de coste de forma natural, sin ms que identificar al
conjunto de usuarios con el conjunto de jugadores. El coste de una coalicin vendr dado por
el mnimo coste necesario para conectar al punto de suministro a todos sus miembros.
<0,
por Q como el juego (dV, cg), cuya funcin caracterstica viene dada por
cg(S)=>3c(e~),
V 0#SGEIV
(4.1)
jETS
donde 2s = { i E IV 3
miembros de 8, y c
0(~)
j c8
con i
-<
O.
(iii> No hay ningn usuario localizado en el punto de suministro, esto es, el vrtice raz est
libre.
(iv> Exactamente un usuario vive en cada vrtice u E y \ {r}.
Definicin 4.2. Se define un problema estndar del rbol fijo de conexin, problema SFTC,
como un problema ETC verificando las condiciones (i) e (Ii).
La definicin anterior nicamente difiere del modelo propuesto por Cranot et al. (1996)
(standard tree entei~prise, en ingls) en la condicin (iv). En el modelo considerado por ellos
con respecto al orden dado por la inclusin.
171
mencionado, el asumir dicha hiptesis no resulta restrictivo, en el sentido de que los resultados
obtenidos pueden ser generalizados al modelo ms general de Granot et al. (vase el Apndice
D>.
Observacin 4.1. Las condiciones (u) y (iii) no son restrictivas. En cuanto a la condicin
(iii), si el vrtice raz est ocupado, entonces se puede aadir un arco con coste cero desde
un nuevo vrtice raz libre hasta el vrtice raz del rbol original sin que ello modifique en
forma alguna la funcin de coste del juego (Granot et al.
(1996)).
En lo que respecta a la
condicin (u), si varios arcos, e~1,... ,e~,,, parten del vrtice raz, entonces considrense los p
subrboles, Go,... , G~,, generados por F(ij) U {r},... , F(i~r,,) U {r}, respectivamente. Cada
subrbol define un problema SFTC, sean (N1, cS),... , (N,, c0) los juegos de coste generados
por cada uno de ellos. Se verifica que el juego de coste asociado a Q, (dV, cg), puede ser
descompuesto (Shapley (1971)) en p =2 componentes, siendo cada una de ellas un juego de
coste asociado a un problema SFTC; es decir, existe una particin {I4,... , N,} del conjunto
de jugadores IV en p subconjuntos no vacos tal que
cg(S)=cg(SflIVij+...cg(SflIVp),
VSCN.
(4.2)
cg~P(IVk),
todos los conceptos de solucin tratados en este captulo se pueden obtener como el producto Cartesiano de las correspondientes soluciones en cada una de sus componentes (ver
observaciones 4.2 y 4.3).
A continuacin, se obtiene la expresin de un juego de coste (IV, cQ), asociado a un
problema
SFTC con respecto a la base del espacio de juegos G~, compuesta por los juegas
Definicin 4.3 (Kalai y Samet). Se define el juego dual de unanimidad con respecto a la
172
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
t0dT)={
si ~
en otro caso.
Se verifica que (IV, u~) es mi juego cncavo para toda coalicin no vaca 3. Adems el
conjunto {(N, U~)}SCN, compuesto por los juegos duales de unanimidad, es una base del
espacio de juegos G~.
Proposicin 4.1. Sea Q
cg
(4.3)
ZEN
e F(i),
0.
e E si y slo si existe un
0
Este resultado nos ser de utilidad en secciones posteriores, entre otras aplicaciones la
concavidad de todo juego de coste de este tipo (Granot et al. (1996)) puede ser obtenida
como consecuencia inmediata de la representacin anterior.
4.3
Planteado el modelo como un juego de coste, el objetivo que se persigue consiste en seleccionar conceptos de solucin eficientes. De entre todos los conceptos de solucin clsicos, nos
173
ocuparemos del corazn de un juego de coste. El juego de coste generado por un problema
SFTC es cncavo y, por tanto, la estructura y propiedades de su corazn son bien conocidas. En esta seccin obtenemos caracterizaciones alternativas y llevamos a cabo un estudio
geomtrico del corazn de este tipo de juegos.
En este contexto, dado el juego de coste (IV, cg), cada vez que nos refiramos a un vector de reparto de costes, x E lRTt, nos estaremos refiriendo a una preimputacin del juego.
z~ representa el coste que el usuario i, i
i,
... , n,
el corazn del juego de coste (IV, cg), que denotaremos por core(cg), viene dado por
core(cg)zz{xElW/ ~x,=cg(S),
V S~IV y Zzi=c~(IV)}.
jES
<O,
4.3.1
core(cg)2=
(C,c,IV>, se verifica
{xePI(cg) /x=O y
42) =c(2),
V2 tronco de
e-.-
174
donde x(2)
Capftulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
:=
>3
x, y c(2)
>3
:=
iET\{r}
iET\{r}
iEIV,
*
e
u
e
e
e
jeT5
e,
jES
e
U
e
j)
(i,
2.
rama de O enraizada en e
e
e,
0
e
U
e,.
U
e
= <O,
u slo
si x>O y se verijica
u
U
>3xjx~=
>3 c(e),
st
ezzs(i,j)EE,
(4.4)
jGV.
e
2Obsrvese que, siguiendo la notacin introducida en Granot
con la rama en i en la
direccin de j.
a al., si
e =
e
*
e,
175
V 2, tronco de
O.
Obviamente, para todo vector de reparto de costes x y para todo tronco 2, se verifica:
x(2) =c(2) ~
>3 c(e~),
x(TC) =
iETC
donde TC
= V
\ 2.
2~=
~
eET)
= (i,j)
(i,j),
(Ve, ~3e) es la
e 42).
E, Dg es un tronco de O.
Nota 4.1. El que la no negatividad junto con la condicin (4.4) son condiciones suficientes de pertenencia de una preimputacin al corazn del juego ya aparece en el trabajo de
al. (1996).
El lema siguiente nuestra como todo elemento del corazn del juego se obtiene repartiendo
=
176
Capitulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
Lema 4.3. Sea ~ 2= <0, c, IV> un problema SFTC. Entonces el vector x E lW~ pertenece
al corazn del juego de coste asociado (IV, cg) si y slo si existen y1,... , y~, elementos del
simplez unidad ~ en .
11FU),
xi=>3v]c(ej),
iIV,
(4.5)
jGPi
Demostracin: El corazn es aditivo sobre el cono de juegos cncavos (ver Dragan, Potters
y Tijs (1989)). Luego, teniendo en cuenta que todos los elementos de la base {(IV, u~)}sczv
son juegos cncavos, entonces de la expresin (4.3) se deduce
core(cg)
>3c(eJ)core(u~(~)),
(4.6)
jEN
j e IV.
Los resultados obtenidos a continuacin estn encaminados a probar que todo elemento
del corazn de un juego de coste asociado a un problema SFTC se puede obtener descomponiendo el problema original de conexin a un punto de suministro en varios subproblemas de
conexin a
O,
EiEP(j)
Xi =
1}.
177
en subproblemas si
(Sk U {rk},Ek) es el
(u) {S
1,... ,S4 es una particin ordenada (el orden es relevante) del subconjunto de
vrtices V \ {r}.
(iii) rj =r ypara todok=2,... ,p, existet<k tal querk ~Se~
(iv) Para todo k
1,... ,p,
<oh
problema SFTC.
2=
te figura. Los jugadores (vrtices) estn representados por crculos, el vrtice raz por un
tringulo y el coste de cada arco viene dado por el nmero que aparece a su lado.
7-
178
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
8o
La coleccin
subproblemas.
= {G~,
e
U
st
2=
= 7-
7-2
7-4
jO,.
,G~} una
JI core(c4v~) GE core(cg),
(4.7)
k= 1
c~, Sk>,
<Ok
,p.
Demostracin: Sea x
JI
k=1
que
p
p
>3x~=>3
>3y~xz>3
>3ck(ei)=>3c(ei).
eN
k=1 zES4
knl iESk
EN
2k
{7-k} es mx tronco
de 0k
2k = TflSk,
le
1,...
,pl
tal que
179
Tk # ql. Entonces,
x(T)=
>3
>3.yk<
1.Ck=p ETk
>3
>3ck(et)=sZc(ez).
l=k<p
CTk
jET
Luego, x(2) =c(T) para todo tronco 2 de O. Entonces, de acuerdo con el lema 4.1, se tiene
el resultado.
Recprocamente,
asociado a todo elemento x del corazn del juego existe ma nica parti-
cin de Q en subproblemas ms fina, que denotaremos por So (x), verificando que la restriccin de x a cada uno de los subproblemas SFTC definidos por Sa(x) pertenece al corazn
del correspondiente subjuego de coste.
c(T).
fl 7~
es obviamente un
tronco. Adems,
x(TflT2)
4Ti) + x(22)
x(2,flT~),
x(T, U 12)
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
180
rl 12
O
JI core(cgk).
k=1
Considrese el subrbol
1 2=
2, \ {r} y r~ 2= r). Obviamente, x
2=
(io, jq) en
por E60.
6~ > O. Veamos que adems es eficiente: del lema 4.2 se deduce
En efecto x
>3
>3
3 =
(i,j) 61(2).
(4.8)
c(e),
cEE6,
x~ =x(N)x(T,)
>3>3
eEt(Ti) 3EV6,\{z}
=c(N) c(Ti) 2=
>3 >3
c(e).
(4.9)
_____ 181
>3
2=
>3
c(e),
Ve
e 1(2,).
(i,j)
jEV~.\{Z}
En particular, x60 es un vector de reparto de costes para el subproblema SFTC definido por
B
60.
Por otro lado, para todo tronco T~ de B60, lo U 2, es un tronco de O, entonces
x(Tfl+
>3
0\{iol
xj x(10 UT) =
jET
=c(VU2)
>3
JET0\{iojj
>3
c(e
1)
c(e~).
42i) + JCT0\{io}
(32
U {r2}, E
2) como el
22 \ {i0} y 7-2
Sgase aplicando el razonamiento hasta que el tronco autnomo correspondiente 1*, sea
tal que
41*)
0.
que no han sido seleccionados previamente. De esta forma, cuando ya no quedan arcos por
1~
, 0}, as construida verifica
seleccionar, la coleccin de subproblemnas de g, So = {Q
las condiciones establecidas en la proposicin.
0
182
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
Ejemplo 4.2. Considrese el problema SPTC definido en el ejemplo 4.1. La siguiente figura
representa la particin de
x= (2,2,2,4,3, 3,4,4,6,3).
lo
3
1
1
6
7-i
2=
77-2 2=
<o2,
7-3 2=
2
c2, S2>
2=
o
6
7-5
2=
2=
(05,c5, s5>
183
4.3.2
Estudio polidrico
Finalizamos esta seccin con un estudio polidrico del corazn de un juego del rbol fijo de
tipo estndar. Dicho estudio est basado en las propiedades geomtricas del corazn de un
juego convexo (cncavo) (Shapley (1971), Ichiisl (1983), Monderer, Samet y Shapley (1992)).
Se comprueba que el corazn de un juego de coste asociado a un problema SFTC tiene
dimensin completa y se describen sus facetas. La primera de las afirmaciones se deduce
de la concavidad y la no descomponibilidad del juego (ver Shapley (1971)). En cuanto a la
descripcin facial del poliedro, la siguiente proposicin establece que se distinguen dos tipos
de facetas: las que denominaremos facetas de tipo (1) se encuentran asociadas a particiones en
subproblemas no triviales; mientras que el resto de facetas, que denominaremos de tipo (11),
se encuentran asociadas a grupos de usuarios (jugadores) que hacen uso del sistema sin cargo
alguno (no pagan nada). Para demostrar este ltimo resultado se debe tener en cuenta que si
(IV,v) es un juego cncavo, entonces para toda particin ordenada de IV, a 2= {Si,... ,5,,},
el conjunto
Fo={xEC(v)Ix(U$e)=v(USe),
v<k<p},
e=i
es una faceta no vaca del poliedro 0(v) de dimensin, a lo sumo, n le (ver Monderer et al.
(1992)).
Nota 4.2. En lo que sigue diremos que i E dV es un vrtice hoja si realmente lo es, i.e.,
F(i)={i},osi
nece a una faceta del poliedro core(cg) si y slo si x verifica alguna de las siguientes condiczones:
(1) Existe un tronco de O no trivial, 2 ~ y, autnomo en x.
(II) x(2) < c(T), para todo tronco 2 de O no trivial y existe una coalicin no vaca
3 GE IV\ {i EN! i vrtice hoja } tal que x(S)
184
Capftulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
Demostracin:
*)
2=
2=
(Se
(1) Si x satisface la condicin (1), entonces Sa(x) es una particin no trivial y x pertenece
a la faceta no vaca del corazn del juego definida por
F={xEcore(cc)/x(USe) 2=cg(USe),
donde a =
{S~,...
para todo
por Sa(x).
2=
x(IV)
2=
cg(IV)
cg(N\S). Luego,
Fa={xEcore(cg)/x(U2e)2=cg(UTI),
donde a
= {Ti, T2}
Ti=IV\Sy
~t=) Veamos
paratodol<k=2},
T2=S.
que si x pertenece a una faceta del poliedro core(cg), entonces x debe satisfacer
alguna de las condiciones (1) o (II). Para ello se demostrar que si no verifica ninguna de
ellas, entonces x pertenece al interior relativo de core(cg).
.c
185
cg(L).
cin no vaca 3 G IV \ { i
x(L) <x(TL)
e IV ~ i
vrtice hoja
J.
cg(L).
As, x(L) <cg(L) para toda coalicin no vaca L 9 IV, esto es, x pertenece al interior relativo
del poliedro core(cQ).
Ejemplo 4.3. Sea Q1 el subrbol definido en el ejemplo 4.2. Entonces el corazn del juego
de coste (IV, cgi) tiene las signientes facetas:
que son facetas de tipo (1) asociadas a las particiones en subrboles no triviales S1
y S2
2=
{O~, O~}
01 =
y 3
{ (0,1 + a, 5 a) a
, con r2
1,
2=
7-22=
1,
186
Capitulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
En la siguiente figura se representa core(c, en rojo, contenido en el conjunto de imputaciones del juego:
(4,5, 3>
173
(4,5,5)
4.4
(0,1,5)
(4,3,5)
187
______________
sin mas que asignar un peso a cada jugador. Los pesos asignados a los jugadores se pueden
interpretar como medidas a priori del impacto de cada usuario en el sistema. En tal caso, la
solucin de Dutta y Ray se corresponde con el vector de pesos (1,... , 1).
Una vez definida la familia de soluciones igualitarias restringidas ponderadas en el contexto que nos ocupa, clase de juegos asociados a problemas SFTC (seccin 4.4.1), en la
seccin 4.4.2 se adopta un enfoque dinmico que nos proporciona un algoritmo polinomial
para calcular cada mio de los elementos de la familia previamente definida. Este algoritmo es
constructivo, en el sentido de que describe el proceso por el cual cada uno de estos elementos
es seleccionado como propuesta final de reparto de costes. En la seccin 4.4.3, gracias a la reinterpretacin de la familia de soluciones igualitarias restringidas ponderadas desde un punto
de vista dinmico, se obtiene la propiedad esencial de la familia de soluciones considerada:
para todo juego del rbol fijo de tipo estndar dicha familia coincide con el corazn de] juego.
Por ltimo, en la seccin 4.4.4 se obtiene una caracterizacin axiomtica del conjunto de
soluciones igualitarias restringidas ponderadas como procedimientos de asignacin de costes.
4.4.1
Defini-
cin
Dutta y Ray (1989) prueban la existencia y unicidad de la solucin igualitaria restringida
sobre la clase de juegos convexos (cncavos> y proponen un algoritmo para su obtencin.
Dicho algoritmo se basa en la bsqueda de la mxima, con respecto al orden dado por la
inclusin, coalicin con mayor (menor) valor (coste) medio de un cierto juego en cada una
188
Capitulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
de sus etapas. La generalizacin que proponemos parte, precisamente, del citado algoritmo.
Haciendo uso del hecho de que todo juego de coste asociado a un problema SFTC es cncavo
(ver Granot et.al.
considerando la asimetra entre los jugadores. Dicha modificacin consiste en trabajar con
costes medios por unidad de medida.
Intuitivamente, supngase que cada individuo de la sociedad IV cree que las proporciones,
de acuerdo con las que el coste total debe ser compartido, vienen dadas por el vector de
pesos a> E 11771. Entonces, la solucin w--igualitaria restringida trata de reconciliar dicha
creencia con el hecho de que la sociedad no est dispuesta a aceptar ningn reparto del coste
total que pueda ser bloqueado. As, si la propuesta de reparto (~--c(IV))EN no puede ser
bloqueada (pertenece al corazn del juego), entonces coincide con la solucin wigualitaria
restringida. En otro caso, la sociedad es disgregada en subsociedades de tal manera que el
coste marginal de cada una de las subsociedades es compartido entre sus miembros de acuerdo
con las proporciones dictadas por el vector de pesos a> y la propuesta de reparto resultante no
puede ser bloqueada. Concretamente, la solucin coigualitaria restringida busca la particin
de la sociedad en subsociedades ms grosera posible, de manera que, el vector de repartos as
definido pertenezca al corazn del juego.
Nota 4.3. Aadland and Rolpin (1998) introducen un concepto de solucin unipuntual para
juegos de coste del rbol fijo en el caso particular en que el rbol que define el juego es una
cadena, la regla media restringida de reparto de costes (restricted average cost share rule, en
ingls) que resulta ser la solucin igualitaria restringida de Dutta y Ray (1989) sobre la clase
de juegos del aeropuerto.
Antes de definir la familia de soluciones igualitarias restringidas son necesarias algunas
definiciones.
> O,
189
El concepto de admisibilidad formaliza la idea de que para todo arco del rbol debe existir,
al menos, un usuario de dicho arco que se responsabilice de su coste.
= <U,
(wi,... ,wn), se define el coste medio ponderado (con respecto a a>) bajo Q de
a~(3)
si ws:=>3w2>O,
biS
iCS
Si
g=
WS2=O.
dondeE(T)
{e~/i
= <Gv,
= (VE).
cr, NT>,
= (V\T)
Fr
= (E
e T}ue(T)
U{Tr},
\ E(T)) U Er(T),
y Er(T)
{e[
2=
(rr,j)/j
e N\T
y ir(j) E T}. La
OT(e)2=
c(e),
cr(eT)= c(e~),
y el conjunto de usuarios es Nr
VI e eE\E(T),
VI e} EEEr(T)
IV \ 1.
La operacin de contraccin de un rbol consiste en eliminar un tronco del rbol y en conectar todas las componentes conexas que han quedado a un nuevo vrtice raz, manteniendo
siempre el coste original de los arcos del rbol no eliminados.
y
t
190
Cap ftulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
w
Obsrvese que si Q es un problema SFTC, entonces el problema contrado Qr verifica
todas las condiciones que definen un problema ETC de tipo estndar salvo, posiblemente,
la condicin (ii)6. Queremos hacer notar que, no obstante, el juego de coste asociado a
e
w
sigue siendo cncavo, propiedad necesaria para que el algoritmo que proponemos est bien
e
e.
definido,
e
st
2=
coigualitaria restringida del problema Q, que se denotar por kw), como el vector de reparto
e
e
Algoritmo 1
PASO
O. Inicializacion.
le: 1 y
g1
:=
e
e
PASO 1.
Sea 11k
2= mlii
:=
Wi/lk,
VI i c Tk(w) \
e
{rk}.
u
Si
U Te(w)
:=
f= 1
:=
<Gk+L,ckl,IVkl>
como la contraccin de
_____________________
gk
por T~(w),
e
u
u
u
u
e.
u
191
2=
las caractersticas del problema que estamos tratando, se verifica que la solucin as obtenida
coincide con la solucin igualitaria restringida de Dutta y Ray, cuando se toma a>
Adems, si Tg(w)
2=
1.
el algoritmo, i.e., ~r
T,(w) \ {r}, VI
2=
VI iET~,
(4.10>
\/=l,...,p,
~f(a>)
4(w)
taj
(4.11)
>3
>3>3$w)=
(J TY U {r}
t=1
= <O,
(2,2,2,4,3,3,4,4,6,3).
y
Para le
2=
2:
112
3,
T{5 6 10},
4f(1)=3,
(4.12)
VIieT~-
= <a2,
c2, IV2>
VI i ~ Tj.
192
Para le
Capftulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
= 3:
113=~,
Ti
~ {4,7,8},
VieT?
~f(1)2=4,
6
=
6
<Os, c3, IV3>
Para le =4:
1146,
6
6, VI icT,~.
=
<Ot
e VV(g), la particin
inducida por el algoritmo, %(w>, puede ser refinada obtenindose una particin del problema
original, tal que la restriccin de la solucin coigualitaria restringida a cada uno de los
subproblemas se corresponde con la correspondiente solucin del subproblema considerado5.
8donde el vector de pesos viene dado por la restriccin del vector de pesos original al subrbol corresponchente.
4.4.2
193
Interpretacin dinmica
2=
IIVI es el nmero de usuarios del sistema. Este algoritmo surge como resultado
de dar una reinterpretacin dinmica del modelo inspirada en la historia sobre el pintado
de carreteras de Maschler et aL (1995). Considrense los vrtices del rbol corno pueblos
en los que residen los diferentes jugadores y los arcos como carreteras de conexin con la
capital de la regin (raz del rbol). El coste de un tramo de carretera se expresa en funcin
del tiempo que un trabajador emplea en pintar las lneas de dicho tramo. As, la solucin
igualitaria restringida viene dada por el tiempo que cada uno de los jugadores emplea en
pintar la carretera teniendo en cuenta que: (i) todos los jugadores siguen pintando mientras
la carretera que une su pueblo con la capital no haya sido pintada en su totalidad, (u) cada
jugador slo pinta aquellos tramos de carretera que conectan su pueblo con la capital, (iii)
todos empiezan a pintar a la vez y (iv) todos pintan a la misma velocidad. Mascliler et al.
(1995) consideran una condicin adicional, obligacin social, necesaria para la obtencin del
nuclolo del juego. Para todo vector de pesos admisible, a>, la solucin coigualitaria restringida se obtiene considerando que los jugadores pintan a distintas velocidades, w~ representa
la velocidad a la que pinta el jugador i, i
e N.
asumir se obtiene, no como el tiempo que ha estado pintando, sino como el tramo del camino
que une su pueblo con la capital que ha pintado.
Cada iteracin del algoritmo describe el estado en que quedan las carreteras y prescribe
corno repartir los costes entre los trabajadores despus de una jornada de trabajo.
Las
jornadas de trabajo vienen dadas por el mnimo tiempo necesario para acabar de pintar, al
menos, una de las carreteras que todava no han sido completamente pintadas. El coste que
cada trabajador asume es proporcional a su peso, que dada su interpretacin en este contexto,
denominaremos tasa de contribucin.
194
CapItulo 4. Distribucin del coste de una red de conexin: Juego del rbol lijo
(1> ws=>3w
VI SGEN, y a>ew(g).
iCS
(2) x(e, le) [0,c(e)] es la fraccin del coste del arco e E E que ha sido pagada (tramo de
carretera que ha sido pintado) antes de la etapa le.
(3) E~, ~ E es el subconjunto de arcos que se acaban de pagar (pintar) en la etapa le.
(4) E(k)
U E~ es
j<k
le.
(5) Para todo i
e IV,
e(i, le) es el arco a cuyo coste est contribuyendo (que est pintando)
el jugador i en la etapa le
(6> Para todo arco e e E, S(e, le)
2=
{i E NI e(i, le)
K(i).
2=
bucin, a> ~ )V(0), se define el reparto casaraz asociado a a>, que denotaremos por
como el vector de reparto de costes obtenido al final del algoritmo 2 descrito a continuacion.
Algoritmo 2
PASO
le
O : Inicializacion.
:=
1,
2=
195
e(i,1):=zei, VI tEN,
S(ej,1) :={i}, VI ieIV.
PASO
1: Pintar y pagar.
e,
le>
c(e) x(e, le
WS(e,k)
El tiempo mnimo necesario para acabar de pintar alguno de los arcos no finalizados en
etapas anteriores es
t(k) =mn{t(e,k)/e
c E\E(k)}.
As, en la etapa actual se trabajar durante t(le) unidades de tiempo. Entonces, la fraccin
de cada arco e E E \ E(k) que se pinta viene dada por a,s(ek)t(k), mientras que la parte
del coste de dicho arco que ha sido pagada hasta el momento es
VI eEE\E(k).
Una vez pintado el tramo correspondiente de cada arco e E E\E(k), aquellos usuarios cuyo
camino de conexin al punto de suministro no haba sido pintado en etapas anteriores debe
pagar por el trabajo realizado en la etapa actual en funcin de su tasa de contribucin.
El subconjunto de arcos finalizados en la etapa actual es,
{e EE\1?(k)/t(e,k) 2=t(k)},
= E(k)
U E~.
y
196
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
2=
ViEN,
4(w)=>3wt(k),
k=1
Si todava quedan arcos por pintar, entonces para todo arco e E E~ se distinguen dos
casos:
1. Si e E E(le + 1) para todo arco e
-<
le, para
e S(e, Aj.
existe mi arco
los jugadores en S(e, le) empiezan a trabajar en el arco e ~ E(le + 1), todava no finalizado
de su camino hasta el punto de suministro, ms cercano al arco e en que se encontraban
trabajando. Actualcese S(e, le + 1> de acuerdo con este razonamiento. Defnase le
:=
le + 1
Obviamente el algoritmo est bien definido, i.e., para a lo sumo en K <n iteraciones y
el vector obtenido, x~(w), es un vector de reparto de costes (i.e., es eficiente). Sea x~(w) el
reparto casaraz asociado a a> C VV(Q) obtenido, entonces se verifica:
(01) Si e~
-<
{ i E Y K(i)
= le
~.
xka>)
a>)
Entonces, AW(k)
w~
.
9Obsrvese que alguno de los subconjuntos de vrtices as definido puede ser vaco si ningn jugador acaba
de pagar en la correspondiente etapa.
4(a>)
2=
197
1,... ,K
c(4
2=
WAW
>3
c(e~).
ieA~
2=
x(e1 1)
En la etapa le
1, E~
O, S(e1, 1)
= {i}
y t(e~, 1)
c(e~)
VI icIV.
E1.
2:
Entonces, t(2)
1=7(1)2= K(2)
1:
2=
Entonces, 1)
1, E2
K(3)
2.
i
1
2
3
x(e~,2)
1
1
1
S(e1,2)
{1,2,3}
t(e~,2)
1
5
6
7
1
1
1
1
{4}
{5}
{6}
{7}
5
2
3
2
9
10
1
1
1
{S}
{9}
{1O}
2
5
1
{ei,eo}
y E(S)
Por consiguiente,
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
198
En la etapa k = 3:
Entonces, t(3)
K(5)
K(1O)
= K(6)
2=
En la etapa le
Entonces, t(4)
2=
x(e~,3)
4
1
S(e~,3)
t(e~,3)
1.
{4}
{5}
{6,1O}
{7}
8
9
10
2
2
2
{8}
{9}
1
4
{es,e6,e7,esj y E(4)
2=
{et,e2,e3,e5,ee,e7,es,e1o}.
Luego,
3.
4:
2=1,
En la etapa le
1, E3
i
1
2
2=
E4
= {C4}
5, 5)
i
1
2
3
4
5
6
x(e~,4)
4
9
10
3
2
1
3
3
4
y E(S)
2, E5
S(e~,4)
t(e1,4)
{4,7,8}1
{9}
2=
2=
E.
Entonces, K(9)
2=4.
5 y
___
= <O, c,
____
199
de contribucin, a> E VV(Q), el reparto de costes casarazz asociado a a>, x~(w), coincide con
la solucin wigualitaria restringida de Q.
a>
2=
= A~.
Para
(i) ~
a~(T\{r})
De la igualdad r
= A~,
c(T
WT\{r}
se deduce
2=
{A~t,...
,A~j
2=
af (a>) ~
(a>), para
todo i E At
original.
= T4.
y
200
Captalo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
u,
e
*
igualitarias restringidas ponderadas dada por el algoritmo 2, se deduce que dicha familia es
clones
<G,
para todo vector de pesos admisible para Q, co VV(g>, la solucin coigualitaria restringida
de Q se obtiene como el producto cartesiano de las correspondientes soluciones de cada una
e
e
0
de sus componentes.
e
st
4.4.3
st
st
u
<O,
c,IV>, el
u
conjunto compuesto por todas las soluciones coigualitarias restringidas, cuando a> vara sobre
el conjunto VV(Q) de vectores de pesos (tasas de contribucin) admisibles para 9, coincide
con el corazn del juego de coste asociado, (IV, cg). Una vez establecida dicha equivalencia,
-~
e
e
<O,
~ft(VV(9)), donde
U
ee
e
x.
e
u
*
*
e
201
= {O,...
2=
z~ para todo
pi
Luego, ~(w)
troncodec}=aW{N)2=
zzinm{aw(T\{r})/T,
w1a~(IV)
Caso 2. Si Sc(x)
c(N
x~, VI i E IV.
{G,...
,G},
donde 0k
(Sk
VI le
{rk},Ek),
54
-<
1,... ,p, es
definida sobre el
como sigue:
Entonces, defnase w
Z1.
coN
ag~, VI i
BiESj
e 55,
talque StCF(i).
(al,...
,a~) >0 y
verificando:
[Si
Obviamente, a>
reduccin al absurdo.
S,-<St
2=Z~
c~=at]
VI 1<,t=p.
2= x.
Lo probaremos por
=
x se deduce que
x ~ core(cg).
De la eleccin de a> se deduce trivialmente que si S~ precede a St, entonces los jugadores de
2iE5
u,e
e
e
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol lijo
202
e
e
Za>
>1? c(e~)
ES
>3 x,,
es
VI
2=
1,... ,p.
(4.13)
zES
e.
e
e
Si ~(a>) ~ x, entonces de (4.13) se sigue que para algn t E {1,... ,p} deben existir dos
jugadores i, j E St, verificando
e
e
u
U
(4.14)
e
e
atxr,
at
~-
deduce que
e
e
~ (a>)
W~
Por tanto, de la condicin (C2) se deduce que el jugador i acaba de pagar antes de que lo
U
U
haga el jugador
j,
j,
u
u
e
Ft7)
{rE
5k
/3 <r, Sk E~
5t
},
e
e
2= flk~Xr
}.
=atx,.. Entonces, de las condiciones (01)12
e
e
e
U
e
x~ <w)
<ML],
wj
Vi,JCN.
u
u
u
e
e
*
a
203
= K(j)
s=~
> Lir
4(w)
~krXr
>
___
cx~x~
Lii
VITEFtQPO.
(4.15)
Xj
4~(w)>z,.,
(4.16)
V rEFdj).
= (S
2=
teniendo en cuenta que O es un rbol estndar, se tiene que ? 2= ir(j*), predecesor del
t3. Adems, por la eleccin de j, K(i*) < K(j*) =K(r),
jugador j~, no es el vrtice raiz
VI r C Ft(j*). Entonces ningn jugador de p~(j*) contribuye al pago de arco alguno del
camino 14. # 0. Por tanto, L~ es un tronco autnomo en C~kO, i.e.,
(4.17)
zCLt
tEla
>3 xi
>3
iESg US~
>3
ieF~(i)
zESUSt
xi
:r,
>3
tEFt(j~)
>3
zESUS
130 es
un rbol estndar, si
y=
cf@.o=
c(ez)>3
c(e~)=>3c(e,),
ZEFt(J*)
F(j) = N.
tEL,
204
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
e
2=
(S U St) \ Ft(j*).
As, se tiene que la negacin de la tesis que queriamos probar contradice la pertenencia
de x a core(cg) y, por tanto, el resultado queda probado.
e
U
U
U
~.
e
e
u
del corazn del juego se puede obtener a partir de distintos vectores de pesos admisibles,
u
siempre y cuando para todo jugador se siga manteniendo su impacto relativo con respecto al
resto de jugadores.
eu
2=
<G,c,IV>, sea
: W(Q)
9,
((a>).
core%)
9, co E W(Q), la
Entonces
u
st
es
U
(i) Para todo vector de reparto de costes, x, perteneciente al interior relativo del poliedro
core(cg) o a una faceta de tipo (1), se verifica
u
e
(EQ)~l(x)={coEw(g>/EQ(w)=x}={ax/a>O}.
e
u
(u)
Para todo vector de reparto de costes, x E core(cg), perteneciente a una faceta de tipo
e
e
(II), se verifica
U
st
e
u
e
- (S,U {r},E,),
est
definida anteriormente.
*
ee*
*
205
4.4.4
Caracterizacin
Se concluye el estudio de la familia de soluciones igualitarias restringidas ponderadas obteniendo una caracterizacin de los elementos de dicha familia como procedimientos de asignacin
de costes.
Sea Y el espacio de todos los problemas SFTC, entonces un procedimiento de asignacin
de costes para problemas SFTC es una funcin, E : Y
problema SFTC, 9
jN<oc
2=
<0, c, IV>
c, IV).
Extender la regla igualitaria restringida requiere la consideracin de una funcin que
asigne a cada problema SF370, 9
a :
NCN R!~i
N<oc
toda funcin,
Li,
= <O,
Y. A
E : Y -4 U
NCV
N[Coo
<O, e,
IV>
e Y,
su solucin
E}O, e, IV).
exigencia
de que dichos
vectores de reparto pertenezcan al corazn del juego de coste asociado. Sin embargo, estas dos
condiciones no son suficientes para caracterizar a las reglas coigualitarias restringidas, sino
que ser necesario considerar una propiedad adicional de carcter dinmico, rnonotonicidad
con respecto a la funcin de coste.
206
Capitulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
Veamos en primer lugar algunas de las propiedades satisfechas por las reglas aigualitarias
restringidas.
U NCW
Nkoc
la propiedad de:
verifica
(i) Monotonicidad con respecto a la funcin de coste si y slo si para todo par de problemas SF370 , 9
<G,c,IV> y 9
EdG,c,IV) =E1(G,e,IV),
(u)
VI i
IV.
Pertenencia al corazn si y slo si E(O, c, IV) E core(cg), para todo problema SFTC,
<O,c,IV> E Y.
Tg(1)
{Ti,... , T,} la particin del conjunto de jugadores IV asociada a E0(G, c, IV) in-
ducida por el algoritmo 1, entonces las condiciones (4.10), (4.11) y (4.12) se pueden expresar
como sigue:
C(O,c,IV) =g(G,c,N),
ZZE~(G,c,N)=
el1
>3
c(e~),
VI i
VI
E 2~,
JET
5, para todo t
1,... ,p,
k2=
1,...
,p,
(4.18)
(4.19)
ieT(k)
E(O,c,IV)<E(O,c,N),
(4.20)
207
Lema 4.5. Dado un problema SFTC, 9 = <G,c,IV> E Y, sea E0(G, e, IV) su solucin igualitaria restringida y TQ(1) = {T~,... , 14 la particin del conjunto de jugadores IV asociada
E0(O, e, IV) inducida por el algoritmo 1. Para cualquier k C {1,... ,p
problema SFTC gk
= <O,
1},
considrese el
ck(ei)= c(e
VI ie,
1)
VIiCT y t=le+1,
ck(ei)=c(ei) ~ce,
donde ~5
< le
y <le
VIET
5 y <le
(4.2 1)
VIieT5 y =k+1.
EETk
Tk[ c(e~
~0(Q,~k,~\T)
En efecto,
~j
>3ck(eD=
leN
(4.21).
e core(cgk).
IT&P
ieT(k)
=>3ZE:(o,c,N)H~>3>3~,. =>3m
5=1 jeT,
IeT
tk jeT,
leN
208
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
u,
(i)
U T1, entonces
Si T q
e
5.
>3C(O,c, N) =>3c(e~)
>3
tCl
le
le
St
(ef).
>3
zET
e
es
(u) Si T fl
e
= 1 fl 1(k)
t>k
y T=T\T.
Severifica
>3(e~)
IGl
Sr
-
>3c(ez)
tel
->3
tel
e
e
bk
Ziel c(e1
5>k
Zielk c(e~)
ITkI
es
216lk c(e~
TkI
jeT
(4.22)
u
U
De la expresin (4.22) y del hecho de que EMO, e, IV) pertenece al corazn del juego de
e
U
2=
te
C(G,c,IV) +
tel
r....
tel
t~itEIk ~v~sl
Tkk
tel
r(efl
>3ck(e,)
tel
e.
gk, {Tt,...
u
e
u
u
*
e
209
_________________________________
>3~ =>3(E~GTlc(eI>
>3ck(ei) =
IGl
tel
TI
tel
VI T, tronco deG.
= (vJjeN\r
juego de coste asociado al problema contrado por T1, como qued probado en la proposicin 4.3).
El lema anterior se extiende al caso en que la solucin considerada sea una solucin
igualitaria restringida ponderada como sigue:
= <O,
e, IV>
9, sea E(G, c, IV) su solucin coigualitaria restringida y sea 7~(a {T~ .. , 7~} la
particin del conjunto de jugadores IV asociada a E(G, e, N) inducida por el algoritmo 1.
Para cualquier le
e ji,...
gk
<O,
c(e1)=c(e3w1e5,
donde e~
y
2=
= aw(T~)
VI ieT/
y <le
VI ieT~
y =k+1,
2i para todo
*
*
210
Cap itulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
9
e
Adems,
e
U
VIieTf
y <le,
(4.23)
VI iET~W y =le1.
U
e
U
e
U
Demostracin: Si
para
a> es un vector
gk, luego e(G, , IV) est bien definida. Adems, las condiciones (4.18),
se extienden a
(4.19) y (4.20)
u
u
U
st
SF370 que verifican las propiedades de monotonicidad con respecto a la funcin de coste y
pertenencia al corazn.
u
u
e
e
minimiza el rango de los vectores de reparto de costes sobre la clase considerada, para luego
U
e
2=
e
u
mx{ p
(4.24)
e
u
e14rango(t(C,c, N))
win{rango(~(G, c, N))
/ ~ e M},
para todo
= (O,
c, 1V> 6 7.
a
ees
u
*
es
e
211
(4.25)
mn{vj(G,c,N)/iEIV}=mn{4i~(G,c,N)/iEN},
= <O,
c, IV>.
Sea {Ti,... ,14 la particin del conjunto de jugadores asociada a E0(G, c,IV) inducida
(i) Si p
1,
c(IV). ({,... ,
~).
mx{q2
1(G,c,N)/iET~}=mx{E~(O,c,N)/iEN}.
VI iET,.
>3
167(4>
c(e~)=
1)
>3
tET(p1)
E~(G,c,N><
>3
IGT(p 1)
SOi,
(4.26)
212
Capitulo 4. Distribucin del coste dc una red de conexin: Juego del rbol fijo
u
e
al corazn.
As,
e
u
} =mx{ ~
c, IV) Ii E 1,
e
e
e
St
mfn{q,1(G,c,IV)/i
e N}
=min{y1(G,c,IV)/i CT,
} =mn{Ef(G,c,N)/i
E N}.
e
u
e
e
e
rango(c,o(G,c,N))
e IV}
2=
rango(~(G,c,N)),
Q2=<O,c,N>EY,
e
e
VI ,oEM.
= <O,
e, IV)
E~(O, e,
2=
VI i E N.
es
e
e.
e
Como antes, sea {T~,... ,T4 la particin del conjunto de jugadores asociada aCO(G, e, N)
e
u
(1) Sip
2=
2=
E~(G, e, IV)
2=
c(IV) . (.1,... ,
e
(Ii) Sip> 1, entonces se demostrar que ~o~(C,e, IV)
2= 1,...
213
rango(E0(G, c, IV)),
mx{~p
1(O,c,N)/i cIV} =mx{E~(O,c,IV)i EIV},
entonces,
VIielj.
>3
p1(G,c,N) <>3~(G,c,IV)
IGl,,
tEl,,
>3 c(e1),
jET,
>3
>3
c(e1)<
16l(p1)
p1(G,c,IV),
IGT(pL)
c, IV)
c, IV),
= ~(G,
VI iET~.
2=
~(G,c,N)
para todo
le
Tkl.
le,... ,p.
Se
214
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
fica:
(a)
ckl
<~
ViET,, VI l<k1.
(b)
VI icT5, VI l>k1.
(c)
, T~.}, donde
5>kI
>3
~,~(G,cktN)
>3
2=
16l(k1)
EUG,ck1,N).
ieT(k1)
>3
~(G,ck<N)
2=
z6l(k1)
>3 ~(G,c,N).
ZGl(k 1)
(4.27)
t>k tel
5=kt6l
(4.28)
215
>3
>3
E(O,c,IV)
c(IV)>3>IC(O, c,IV)
26l(k1)
=
2=
t>k tET
i6T(k1)
c(N)->3>3#O,c,IV)
5>k 16
>3
~(C, c, IV)
iGl(k1)
p1(O,ckL,IV) =p1(G,c,IV),
VI
ieN,
se tiene que
~1(O,c,IV)
2=
~1(G,ck,IV),
VI zET(k1).
p1(O,c,IV)
401(G,ckL,IV)
g(C,ckl,IV)
2=
E~(O,c,IV)
VI iET~j.
Definicin 4.12. Se dir que un sistema admisible de pesos a es positivo si w~(G, c, IV) > O,
ViEN,
VIQ<G,c,IV>EY.
216
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
la regla aigualitaria restringida minimiza el rango ponderado (con respecto a ~}5 de los
vectores de reparto sobre la clase de todos aquellos procedimientos de asignacin de costes
para problemas SFTC verificando la propiedad de pertenencia al corazon.
cuando el mximo y el mnimo sean calculados sobre el subconjunto de jugadores con peso
estrictamente positivo y la clase de procedimientos de asignacin de costes considerada se
reduzca a todos aquellos procedimientos de asignacin de costes para problemas SETO,
verificando la propiedad de pertenencia al corazn, tales que para todo
satisfacen 4~(G, c, IV)
= <O, c,
IV>
E,
e Y
O. A continuacin se obtiene
una caracterizacin de las reglas aigualitarias restringidas en el caso particular en que a sea
un sistema admisible de pesos positivo y homogneo.
= a(G,
a es
e, IV) para
Teorema 4.3. Sea a un sistema admisible de pesos positivo y homogneo. Entonces, la regla
aigualitaria restringida es el ?inico procedimiento de asignacin de costes para problemas
SFTC que minimiza el rango ponderado (con respecto a a) de los vectores de reparto de
costes sobre la clase M.
eN1
f ~(G, c, 1V)
w
1(G,c,N)
16 N}.
217
por Aadland y Kolpin (1998) para problemas del aeropuerto. No obstante, adems de que
la caracterizacin que nosotros proponemos es vlida en un contexto ms amplio, la caracterizacin propuesta por ellos involucra una propiedad adicional, ordenacin (ranking, en
ingls). Dicha propiedad establece que el coste asumido por los usuarios de acuerdo con el
procedimiento de asignacin de costes en cuestin debe preservar el orden establecido por la
relacin de precedencia (y, j.
Por ltimo, se establece la independencia lgica de las propiedades que caracterizan a las
reglas consideradas.
Demostracin:
1. No minimizacin del rango ponderado: Para todo sistema admisible de pesos positivo y
homogneo, el correspondiente valor de Shapley (dual) ponderado (ver seccin 4.5) definido por el sistema de pesos (a(O, e, IV), {IV}) para todo problema SF370, 9
<G,c, Y>,
e, IV>
c(IV),
VI i EN,
VI
92=
<C,c,IV> E Y,
218
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
3. No monotonicidad con respecto a la funcin de coste: Para todo sistema admisible de pesos positivo y homogneo, considrese el procedimiento de asignacin de costes definido
como sigue:
Dado 9 6 Y, sea .Ag(a(G,c,IV))
{A~X0,...
,~(Q)(9)}
9.
Sea C la subclase de problemas SETO compuesta por todos aquellos problemas del aeropuerto para los que le(O)
2=
ms pequeo (con
j~
como para que la nica propiedad que se viole sea la de monotonicidad con respecto a la
funcin de coste.
Por ejemplo, para el sistema de pesos a(G, e, IV)
2=
1 E R,, defnase~,:Y+UNcnh/t~i
N<co
2=
4.5
En la seccin anterior se ha descrito un proceso dinmico (repartos casaraz) para la obtencin de cada nno de los elementos de la familia dc soluciones igualitarias restringidas
ponderadas. Dicho procedimiento se basa en la idea de que cada usuario pinta parte de las
carreteras que conectan su pueblo con la capital. En esta seccin proponemos un proceso
dinmico (repartos razcasa) basado en la misma idea, pero con un planteamiento duaL En
este caso, cada usuario pinta tambin parte de las carreteras que conectan su pueblo con la
219
se fijan exgenamente
conexin.
<O,
para 9 se define como el vector de reparto de costes, xT.5(9), que se obtiene siguiendo el
procedimiento que se describe a continuaczon:
El coste que cada usuario debe asumir se determina en un nmero finito de etapas en
base a:
1. Una particin 8 =
{O,...
Esto es,
2=
En cada etapa cada jugador contribuye a costear un determinado arco del camino que le
conecta con el punto intermedio de suministro que le ha sido asignado, empezando a contribuir
al coste del arco que parte de su raz local.
220
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
Claramente, el coste que cada usuario debe asumir viene dado por
x.2
7t
______________
c~e>,
VI i EN,
(4.29)
MXttI.JH
>3
~i ~
Sk(fl~
~k(v(i)
= F(j)
fl S~1~ y
ye.
tEFk (1>
Ejemplo 4.6. Sea 9 E Y el problema SF370 definido en el ejemplo 4.1. Para el vector de
10 y la particin trivial 8 2= {G}, obviamente el reparto
tasas de contribucin y = 1 E IR
razcasa, x~8(9), coincide con el valor de Shapley del juego de coste (IV, cQ).
Para la particin no trivial 8
= {Ot,02,
1. Los jugadores .11, .h, .13, .14, y .15 empiezan trabajando en el arco e
1. En la primera
jornada
de trabajo cada uno pinta la quinta parte de e1. En la segunda jornada J~ deja
de trabajar (4.8(9)
2=
2=
e2 y
1~g), .h trabaja
parte de e4 y dos novenas partes de e5. En las jornadas cuarta y quinta dejan de pintar
8(9) 2= 7~ y x8 (9) 2= 4~.
.1~ y .h, respectivamente, y cada mio debe pagar x7
2. Los jugadores .1v, .1g, y Jo empiezan trabajando en el arco e
6. En la primera jornada
de trabajo cada uno pinta la tercera parte de e13. En la segunda jornada Je deja de
trabajar
(0.8(9)
14),
.19
trabaja ene9 y ~
(4~W)
2=
3. Los jugadores
2=
34) y .19
acaba de pintar
74).
8(9) 2= x~8(9)
.17
3.
221
por Monderer et al. (1992) sobre la coincidencia del corazn de un juego cncavo con la
familia de valores de Shapley (duales) ponderados. En particular, se hace uso de aquellos
resultados del citado trabajo que estudian las propiedades de la aplicacin
t,
definida sobre
el conjunto de sistemas de pesos del juego cncavo (IV, y), que asigna a cada sistema de pesos
el correspondiente valor de Shapley (dual) ponderado del juego (Y, y). A continuacin se
recuerda la definicin de los valores de Shapley (duales) ponderados.
Definicin 4.15 (Monderer et al.). Un sistema de pesos,
A
e JR,
A1 > 0, VI i E IV, y E
2=
a,
jugadores N.
Definicin 4.16 (Monderer et al.). Dado un sistema de pesos,
Shapley (dual) ponderado como la funcin lineal, D : O~
a,
se define el valor de
La fraccin
A(S)
siendo A(S)
2=
= Sfl
S%,.
Entonces,
i ES,
i~S.
(4.30)
coalicin S.
Observacin 4.4. Por la proposicin 4.1 y la linealidad del valor de Shapley, se obtiene la
siguiente expresin:
~(cg)
>j c(eJDt(u~~(J)),
VI i E IV.
(4.31)
jEN
Trivialmente del lema 4.3 se deduce que todo reparto raz-casa pertenece al corazn del
222
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
juego de coste (Y, cg). Luego, como el conjunto de todos los valores de Shapley (duales)
ponderados coincide con el corazn del juego (Monderer et al. (1992)), entonces todo reparto razcasa resulta ser un valor de Shapley (dual) ponderado. Como se demuestra a
continuacin
el
recproco
tambin es cierto.
Teorema 4.4. Sea 9 = <O, c, IV> un problema SFTC, entonces para todo sistema de pesos
~,, >Wfrg) es un reparto razcasa.
Demostracin: Sea bW(cg) un valor de Shapley (dual) ponderado cualquiera, entonces
iW(cg)
e.
St
E core(cg).
dado por (A, {IV}) (ver Monderer et al. (1992)). En tal caso, se verifica
St.
>3Jk~c(ei)~
2=
VI iEN.
jGP
St
Entonces, W(cc)
72=
A y 8
= {G}.
e
Si
~W(cg)
pertenece a una de las facetas del poliedro core(cg), entonces dependiendo del
tipo de faceta de que se trate (ver proposicin 4.4), se distinguen dos casos:
St
e
e
U
u
= {i
E IV/
<2=
}.
u
= {L, IV\L}
= {G}
DW(cQ) =
u
e
ej
si
i EL,
sii~L.
U
u
e
e
U
U
St
4.5.
223
8(9)
71
y(F(j)) c(e~),
si
i ~
si
i E L.
2=
Ntese que y(F(j)) > O VIj E IV, ya que {i E IV/ i vrtice hoja } C IV\L y y~
2=
1 >0,
para todo i E N \ L.
Sean S1
Luego,
L y B2
F(j)
= IV
2=
jE
\ L, entonces mx{k/F(j) fl
2=
3k #
0}
2,
para todo
E IV.
A
1 > 0} CE N\ L.
IV se verifica
si i E L,
2=
si
y(F(j))
71
i ~ L.
8(9)
x~
2=
{O,... , GP}
(1992) y el es-
tudio polidrico llevado a cabo en la seccin 4.3) que el sistema de pesos a es tal que
S= {S,,, S~,,... , 84, donde para todo le
2=
{Lk,Sk\Lk},
2=
si
Lk
2=
{i E 3k <(cg)
2=
~} # 0.
St
St
St
224
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
u.
St
St
e
ej
e
si tNcg)
si
O,
e.
f(cg) > 0.
e
e
e
e
e
si ~(cg)
0,
si ~(cg)
>0.
e.
u
u
e
es
0. En otro
u
caso,
(i) Si
~ P~ rl Sk(I), entonces F(j) C F(j) fl 8,, para algn < k(i). Luego, i ~
U
u
2=
(u)
U
e
U
7(Fk(~)(i))
u
U
B. Si
2=
{Lk(i), 8k(i)
e
e
Si ~ (cg)
O (i.e., i E
Si ~(cg) >0
==~
r(~~)
2=0.
U
u
~(Ur(j)) 2=
X(FQJ))
e
U
4.6. Extensin del modelo: Juego del rbol fijo con tasas de participacin
Luego, de la expresin (4.31) se deduce (ca)
225
x~8(9).
Qn =
~1tima trata de ser lo ms solidaria posible, siempre manteniendo una conducta consistente
con sus preferencias personales, el valor de Shapley tiende a acentuar las diferencias.
4.6
En esta seccin estudiamos las posibilidades que ofrece el considerar la formacin de coaliciones con tasas
de la red.
Basndonos en este planteamiento, proponemos y exploramos diferentes extensiones del
juego original, incorporando al modelo la posibilidad de que los usuarios se planteen qu
nivel de uso van a solicitar. La primera de ellas, problema
SF370
y con prdidas, extiende un juego del rbol fijo a partir del problema SETO que lo define.
La segunda, familia de textensiones, lo extiende a travs de la representacin del juego en
226
Cap talo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
funcin de la base de juegos duales de unanimidad. Por ltimo, consideramos dos extensiones
de carcter general: la extensin multilineal (Owen (1972)) y la extensin de Cornet (Cornet
(1975)). Para cada una de ellas, se analiza el comportamiento del corazn del juego con tasas
de participacin en relacin con el corazn del juego ntido.
La definicin de problema SF370 con tasas de participacin y con prdidas, que denotaremos por problema pSFTC, generaliza el concepto de problema SF370 a partir del anlisis
de las caractersticas del tipo de situaciones que quieren ser incorporadas al modelo.
Dado un problema SF370, 9
conexin se corresponde con
<O,
manera que si una cierta conexin e~ es requerida por el sistema con un nivel de rendimiento
del i por uno entonces, el coste de mantenimiento vierte dado por una funcin montona
no decreciente, C~, definida sobre el intervalo [0,1], verificando las condiciones de contorno
Cg(O)
2=
coste extendido.
2=
1,... , u, por
la prdida del i- por uno de suministro. Cada campo escalar d~ : [O,1] -~ 1R+ deber ser
montono no decreciente y verificar di(O) 2= ~. A esta funcin la denominaremos funcin de
prdida.
As, un problema pSFTC vendr dado por una tripleta Q
es un
2=
mente.
Mientras que un problema SF370 genera un juego de coste ntido, un problema pSFTC
4.6. Extensin del modelo: Juego del rbol fijo con tasas de participacin
227
generar unjuego de coste con tasas de participacin (IV, cas). En este caso, dada una coalicin
con tasas de participacin, r E [O,l]t r~ representa el nivel de uso requerido por el jugador
(usuario) ~, ~ 2= 1,... , n. El coste c~(r) de una coalicin con tasas de participacin vendr
dado por el coste necesario para satisfacer las peticiones de todos sus miembros, y por el coste
de no conexin de aquellos jugadores que participan en la coalicin en un grado estrictaanente
positivo (la coalicin no se hace cargo del coste por no conexin de aquellos jugadores que
no se involucran en ella).
se
generado por 9, como el juego con tasas de participacin, (N, c4), cuya funcin caracterstica
est
definida por
c~(r)=~j(&(r))+
>3
donde &i(r)
d~(16(r)),
y reo,Ijn,
icSop(r)
iEN
mx{rj/j E E(i)},
O.
El juego as definido extiende el juego de coste ntido (N, cg) asociado al problema SETO
9. Luego, cabe esperar que el corazn del juego con tasas de participacin reduzca el del
juego ntido. Veamos qu ocurre si las funciones de coste C~,
Proposicin 4.9. Sea <9, 6~, d> un problema p-SFTC tal que C1, i = 1,... , n, es una funcin
cncava, entonces core(cg)
core(c~).
Demostracin: Veamos que se verifica la igualdad probando la doble inclusin. Para comprobar la inclusin core(c~)
core(cg) se probar que (IV, c~) extiende eljuego ntido (Y, cg).
j(xs)=O,
VI ~
228
Capitulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
6j(xs)=l,
VI iESop(xS)~~S.
k(-r)
=>3 6
2(r)c(e~),
VI r E [O,1]~
iCN
2=
O y C~(l)
<ef), entonces,
>3
c~Qr) =>36(r)c(e~) +
di(13i(r))=>36~(r)c(e1).
ieSop(r)
icN
= k(N),
icN
Veamos que core(cg) core(k): Sea x un vector de reparto de costes en core(cg) cualquiera, entonces (ver lema 4.3),
n
2=
>3 ~4c(eg),
jcPi
VI ieIV,
4.6. Extensin del modelo: Juego del rbol fijo con tasas de participacin
donde y,... , yn pertenecen al simplex unidad en
IRF(i),
2=
229
ieN
>3r.>3v~c(e3)
i~N
>3 ~
>3c(e~)
jQP~
jZnl
iEF(j)
n
II
<>3c(e3) >3
c5j(r)4
>3c(ej)j(r) =k(r).
Luego, x E core(k).
A continuacin nos centraremos en aquellas extensiones que se definen a partir del juego
de coste asociado a un problema SF370.
Dado un problema SF370 9, el juego de coste asociado, (IV, cQ), se puede expresar (ver
proposicin 4.1) como
cg
iGN
Luego, diferentes extensiones de los juegos duales de unanimidad, {(IV, i1)} SCN darn
lugar a diferentes extensiones del juego (IV, cg) sin ms que definir
ag(r)
>3 c(e2)ii~(~)(r),
2=
VI r E [O,1].
iEN
Las extensiones de los juegos duales de unanimidad con las que trabajaremos surgen de
considerar que dichos juegos se corresponden con el operador lgico clsico o, i.e., u~(T)
siyslosii1 ES i2 ES ...
it
ES, siendol
= {i1,...
de agregacin que generalice la nocin de disyuncin de la lgica clsica definir una posible
extensin. En el contexto de la lgica difusa estos operadores vienen dados por conormas
230
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
e.
triangulares.
u.
Definicin 4.18. Se define una conorma triangular (tconorma) como una funcin
~<:
[O,1]2
u
e
(i) Comnutatividad.
(u)
Asociatividad.
es
U
(iii) Monotona.
2=
z,
VI x E [0,1].
st
[0,1] como
u.
?Gti,...
,xn) 2=
~(r(x1,...
,xni),xn)
1(x
2=
~(xi,r
,r,,)),
2,...
VI x
e [0,lfl.
es
u
es
se
cb(r)
2=
>3c(et)u~(1)(r),
VI rE [0,1P
iGN
u
u
u
VI r E [O,ir,
u
U
conrT =(ri)i~T
y t=JT.
U
U
Ejemplos
ti
U
1. La extensin multilineal (Owen (1972)) del juego (IV, cg) es un caso particular de
u
U
u
e
U
e
St
4.6. Extensin del modelo: Juego del rbol fijo con tasas de participacin
231
textensin.
x,y)
=1(1z)(1y)=z+yxv,
VI (z,y) E [O,1]2.
En este caso,
fi
uF(j)(T) =1
(17),
VI rE [O,1f,
VI ieN.
jCF(t)
Precisamente, este ltimo ejemplo (el que la textensin definida por el mximo sea
un juego
reduce el corazn del juego ntido; ya que el mximo es la mnima tconorma. Luego, para
toda trextensin, (IV, c), se verifica
VI rE[O,lfl,
av(r)
>3
SCN
as(v)(Hr~)~,
e rIr,
VI rE [O,lfl,
Cap tulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
232
dondes=ISj y
as(v)
>3(~1)stv(T),
2=
VI SG IV
St
St
TCS
St
es
St
Qu parte del dividendo de la coalicin 3 recibe una coalicin con tasas de participacin,
e
St
t
u
st
acgQr)
SGF(i)
VI r
e [O,1]~.
(4.32)
JCS
e
e
es
Proposicin 4.10. Para todo juego del rbol fijo, (IV, cg), generado por un problema SFTC
se verifica que core(acg) ~ {(cg)}, donde (cg) es el valor de Shapley del juego (N,cg).
2=
dcg)
St.
U
para todo vrtice i que no sea una hoja del rbol, comprobando la desigualdad en ambos
sentidos.
u
e
Veamos que se verifica la desigualdad (pi =j(cg), para todo jugador i no residente en
las hojas del rbol y para toda imputacin ~o core(acg). Sea -y(i) E [O,lfl la coalicin con
tasas de participacin (y~, 1), entonces el coste de dicha coalicin en el juego extendido viene
U
U
dado por
acg(7(i)) =cg(IV)+mi(7),
VI ye[O,1],
VI iE {j EN/F(j) =2},
es
es
e
St
e
ee
u
e
St
4.6. Extensin
233
m(y)
=Z(
k>1
t=1
ysiendo V&
{j
IF(I
EN!
c(e~)
>3
gEPCV1.
i/+14>3
=k}, k
VI 76 [0,1]
1,... ,n.
7(i), se
deduce que
VI 76 [0,1),
71
VI iEN\Vi.
pj>ln m~ (7
yfi 7- 1
VI iEN\Vi.
(4.33)
Para calcular este lmite se debe tener en cuenta que, reordenando los trminos de la suma
que define la funcin m1, se obtiene
k=2
t=0
k1$
1/-y r4.r)
VI 76 [0,1],
>3
JCPflVk
o.
Entonces,
ni
k=2
>3
j CPflVk
c(e1)
VI iEIV\V1,
calculando
234
Capitulo 4. Distribucin del coste de una red de conexin; Juego del rbol fijo
se tiene que
vi =dcg),
VI iEN\14.
2=
(11,7), donde ~ =
(y,...
y)
para todo jugador i & IV \ Vi el coste de la coalicin -4N \ {i}) en el juego extendido es:
acg(7(N \ {i}))
cg(IV) + r~(y),
VI ieIV\Vi,
C~)>3
71
r~(y)
VI y E [0,1],
VI yE [0,1],
j@PjflV~
(4.34)
y-4l
1 y
VIieIV\.
Siguiendo los mismos pasos que antes para el clculo del lmite, se comprueba que
(4.35)
del rbol y para toda imputacin ~ E coreQocg), estamos en condiciones de probar que dicha
igualdad se da tambin para aquellos jugadores que residen en las hojas.
4.6. Extensin del modelo: Juego del rbol fijo con tasas de participacin
235
En primer lugar, se demostrar que para todo i E Vi se verifica (p1 =c(e~) + j* (cg),
siendo J~
2=
desigualdad (4.35).
En este caso, para todo jugador i E ,
el coste de la coalicin -y(IV \ {i}) en el juego
extendido viene dado por
wcgQy(N \ {i}))
2=
VI 7e[O,1],
donde la funcin r~ se define como en (4.34). Obsrvese que en este caso, las funciones r1 se
pueden expresar como
Sea so
e core(wcg),
VI -ye [0,1],
VI ieV.
entonces
1-y
ViEV1,
de donde se deduce
~i
=c(e1) + j*(cg),
VI EV1.
p1=c(e1)+p1,
VEVj,
(4.36)
e 14,
tales que
236
Capftulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
>3
>379:2=
donde ir(Vi)
{w(i) E IV!i
e V1}
es
(IF(j)1)j(cg),
(4.37)
w
a
a
St
St
a,
e
e
En el caso de que la extensin de Cornet de todo juego dual de unanimidad sea convexa,
en cuyo caso se verificara que la extensin de todo juego del rbol fijo tambin lo es, se
e..
u
u
core(wcg)
2=
{ Dwcg(N) } { (cg) }
St
e
u
IV.
u
u
4.7
u,
Concluimos este captulo con el estudio de las propiedades del prenuclolo mnimo cuadrtico
Se considerar el caso ms general en el que del vrtice raz puede emanar ms de un arco,
St,
u
U
e
Sea Y~ el conjunto compuesto por todos aquellos problemas PTO verificando las mismas
propiedades que un problema estndar, con la posible excepcin de la propiedad referente a
es
e
e
u
u
e
237
que del vrtice raz slo puede partir un arco. En lo que sigue, cada vez que nos refiramos
al prenuclolo mnimo cuadrtico nos estaremos refiriendo al procedimiento de asignacin de
costes, A : F~ -4 U ~
IR71, que asigna a cada problema 9 = <O, e, IV> E Y. el prenuclolo
~N~<oo
<G,c,N>
e Y,,
sea L
1(G)
2=
{~ e IV
ir(i) =
componen la primera capa del rbol. El prenuclolo mnimo cuadrtico del juego del rbol
fijo (IV, cg) generado por 9 viene dado por:
A(cg)
cQ(N)+1((
f.)5=Z)
>3f11t)~
VIi E Li(O),
(4.38)
VI i ~ L1(O),
(4.39)
j!=i
c(e~
A(cg)
donde f~
Aff(l) (cg) + 2k
= F(i),
(i) Ordenacin justa con respecto a la relacin de precedencia (Maschler et al. (1995)) si
para todo 9 E Y, se verifica que i -< j implica que (pj (O, e, IV) =(pj (O, e, N), para todo
par de jugadores i,j
(u)
e IV.
Simetra con respecto a los costes individuales si para todo 9 E Y, se verifica que
cg({i})
i,j E IV.
2=
238
Capitulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
(iii) Ordenacin justa con respecto a los costes individuales si para todo 9 6 Y, se verifica
(iv) Monotonicidad con respecto a la funcin de coste (Mascliler et al. (1995), Sudhlter y
Potters (1995), Aadland y Rolpin (1998)) si y slo si para todo par de problemas en
Y., 9
= <O,
c, IV> y 9
= <O, c,
9V1(O,c,N)=9VdO,c,N),
(y)
VI tEN.
Monotanicidad en coste (Gellekom y Potters (1997)) si y slo si para todo par de problernas en Y., 9
y c(ej)
= <O, e,
IV> y 9
2=
cpj(O,c,N) <9Vg(G,c,IV),
VI JEF(i).
(vi) Monotonicidad coalicional (Sudhlter y Potters (1995)) si y slo si para todo par de
problemas en Y,, 9
<G,c,IV> y 9
2=
cp1(G,c,IV) =9V1(O,c,IV),
e ~0 \ {r}, se verifica
VI i To.
(vii) Monotonicidad con respecto al camino si y slo si para todo par de problemas en Y,,
<G,c,N> y 9>
VI i E
239
(viii) Pertenencia al corazn si y slo si ~(G,e, IV) e core(cg), para todo problema SETO
9
<G,c,IV> eY,.
Proposicin 4.11. El prenuclolo rn<nimo cuadrtico verifica las propiedades (i), (iv),
(y)
y (vi).
Demostracin: Sea 9
<O,
A1(O,c,N)
A1(G,c,N) +
>3
=Aj(G,c,IV)
keP
j-<k
<0,8,
IV>
e Li(O).
A1(G,c,IV)
2=-..
>3(i
2/~ ~)c(ej)
fj
+ c(e
N,
(e1)
2~ 1)c(e,) + 211
AdO, e, IV),
geN
VI ieL1(O).
Sea 9
c(e1)
2=
<O,c,IV>
e Y. un problema FTC
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
240
Si i
St
St
se deduce que
e.
St
2=
(e),
se
es
es
tiene que
VI jeF(i).
e
St
e
St
Si
coste, se
deduce
e
e
St
VI JEIV.
e
u
e
e
A~(G,c,N)
c(e~)
= Aff(40,
e(e1
ti
St
c(e~
e
e
es
De donde, teniendo en cuenta (4.39), se sigue que
ti
VI jeF(i).
U
1w~
u
St
Sea 9 E Y~ un problema FTC tal que existe un tronco T0 de O con c(e~) =c(e~),
u
u
VIiEIV\Toyc(eI)=(e~),VIiETo\{r}.
e
U
U
e
e
U
241
VI icLi(G>
Entonces,
VI ieN.
Por el contrario, los siguientes ejemplos muestran que, en general, el resto de las propie-
dades
no se verifican.
= <O,
figura:
Se tiene que
>d0,c,N> 2= (cg) 2=
17
7
7
7
1 3 2).
5 10 10 10 lO
Captulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
242
e.
e.
cg({5}). Luego, A no
verifica la propiedad (ji) de simetra con respecto a los costes individuales y, por tanto,
tampoco verifica la propiedad (iii) de ordenacin justa con respecto a los costes individuales.
a
U
St
St
u,
e
U
St
e.
St
St
r
e.
1
e
St
St
e
<C,c,N>
<G,cIV>
St.
e.
r
u
c(e~)
U
u
A(G,c,N)
21
<12
20
20
e
e
St
respecto al camino.
e
*
e
e
u
e
e
*
243
2=
figura:
21
25
individualmente racional.
En este pmto, cabe preguntarse si el nuclolo mnimo cuadrtico verifica la propiedad de
pertenencia al corazn. No obstante, y pese a que el corazn de un juego del rbol fijo es muy
grande, el nuclolo mnimo cuadrtico tampoco pertenece en general al corazn del juego.
Se comprueba que para el ejemplo 4.9 A(cg)
91 > cg(S).
244
Cap itulo 4. Distribucin del coste de una red de conexin: Juego del rbol fijo
Propiedad
Prenuclolo
Solucin igualitaria
Valor de
mnimo cuadrtico
restringida
Shapley
Si
Si
Si
No
No
No
No
No
No
funcin de coste
Si
Si
Si
Monotonicidad en coste
Si
Si
Si
Monotonicidad coalicional
Si
Si
Si
camino
No
No
Pertenencia al corazn
No
Si
Si
4.8
Conclusiones
En este trabajo hemos tratado de profundizar en el proceso que lleva a los usuarios de una
red de conexin a decantarse por uno u otro reparto en el corazn del juego, a travs de la
definicin de la familia de soluciones igualitarias restringidas ponderadas. En cuanto a su
interpretacin dinmica, cabe destacar su utilidad a la hora de ayudarnos a comprender el
comportamiento local de estas soluciones. En cuanto a su caracterizacin como reglas de
asignacin de costes, centrndonos en la caracterizacin de la regla igualitaria restringida,
cabe destacar el hecho de que en ella quedan reflejados los intereses que mueven a los usuarios
cuando eligen esta regla como mecanismo de reparto.
En lo que respecta a las diferentes extensiones de un juego del rbol fijo que hemos considerado, se debe hacer notar que cada una de ellas puede dar lugar a diferentes interpretaciones.
4.8. Conclusiones
245
Cul de ellas es la ms adecuada depender de la situacin concreta de que se trate. Por otro
lado, el hecho de que el corazn del juego original slo se reduzca cuando se trabaja con la
extensin de Cornet, pone de manifiesto la robustez del corazn de este tipo de juegos.
Por ltimo, del estudio del prenuclolo y el nuclolo mnimos cuadrticos, se desprende
que, en este tipo de situaciones, en las que no parece razonable que los usuarios acaben
seleccionando una propuesta de reparto que no se auto imponga; estas soluciones no se darn
comunmente.
Apndices
247
e.
-o
e.
.7
St
e.
u
St
es
St
u
u,
St
St
e
St.
es
u
e
es
u
e
U
u
e
es
e
U
e
u
e
u
u
u
U
e
u
u
U
es
u
249
Apndices
Apndice A
Proposicin 1. El valor en FP~ p~ definido en la demostracin de la proposicin 2.8 ved-
fi ca
(u) juego
inesencial
Demostracin: Recordemos que (p3(N, 9 viene dado por el vector de pagos que se obtiene
mediante el siguiente algoritmo:
PASO
1:
Considrese el conjunto K
Si 1< 2= ~ entonces 9V3Q5)
:=r
{j
(9. Parar.
2:
0 (75)
2= mnt1(9.
jeK
2=
{iEN\Kci(9<cj0(9},
2=
{iEIV!ci(9=c40(79}
Si 1 2= ~, entonces q,3(9
6(19. Parar.
83
su
4(79+6,
JET,
si JES.
4
4
_____
250
Apndices
4
t
(i) Eficiencia:
e.
St
2=
C(i~), entonces,
es
>3~(9
2=
J(N).
iEN
es
e
En otro caso, existe una particin fi, S} de IV, y existe 8 > O, tales que
es
e
>3~9=>3%9~-~4)
leN
jeT
+>3(~9~i-6)=>3i(9=75(N),
jeS
u
e
leN
u
U
u
2=
>3 aj,
es
es
leN
es
flQd5)2=aj=iii({i}),
VIieN.
e
ti
e
LuegoK2=~ y(p3(ii5)=(iii)2=a.
(iii) Monotonicidad con respecto a las contribuciones marginales medias:
Sea (IV,9 E
Si (p3(75)
2=
u
u
~@) =719
2=
implica
Y}(9.
e
e
e..
e
e.
e
2. iET,jES
3. i S,JET
u
e
u
*
Apndices
251
1. Si i,j E T, entonces,
sd
~ =~4(9.
Si i,j ES, entonces,
4(19= Ld19+
2. Si i EX y
jE
pft19.
5, entonces,
4(7;)
3. Si i E S y
2=
~(19
55
t
55
= 1(19+8
t
soj(19.
E T, entonces,
252
Apndices
Apndice 13
En este apndice se estudian las propiedades esenciales del corazn mnimo de un problema
de asignacin de costes, definido en la seccin 2.5 del captulo 2.
Proposicin 2. Para todo problema de asignacin de costes, (c, a) E CA, se verifico que
LC(c, a) es no vaco, convexo y compacto. Adems, si el conjunto C(c, a) es no vaco,
entonces LC(c,a)
C(c,a).
IR, la funcin
definida como
6(p)=mx{c(z)P(p,z>/zED(a)},
VI pEE.
O est bien definida y es una funcin convexa en IR, y por consiguiente continua:
(u) Para cada z e D(a) la funcin de pago 14., z) es lineal en p, luego c(z) P(., z), como
funcin de p, es convexa para todo z E D(a), y por tanto el mximo en z es tambin
una funcin convexa.
Apndices
253
e(p)
s.a.
e H(c,a),
pi =o,
1,... , ni.
e H(c, a)
es
tal que Pi
c(a~, O) e
~ nf{9(p) /p E H(c,a) }.
9(p)
mm
s.a.
p EH(c,a),
1,... ,7TI.
al
LC(c, a)
mm
peH(c,a)
St
-t
254
Apndices
e.
funcin convexa: LC(c, a) se puede expresar como interseccin de dos conjuntos convexos,
St
St
LC(c, a)
{p
St
e.
St
St
St
St
e
LC(c,a)
01(3) fl{p
e H(c,a) /n
1
=(c(a~,O) E), VIi = 1,... ,m.}.
es
e
O es continua y {8} es un cerrado, entonces 9~1(3) es cerrado. Luego LC(c, cx) es cerrado
(por ser interseccin de cerrados) y est contenido en un compacto. Por lo tanto, LC(c, a)
e
e
e
es compacto.
e
Por ltimo, la coincidencia entre LC(c, a) y C(c, a), en caso de ser ste no vaco, es
u
u
es
La siguiente definicin hace referencia al concepto de solucin para juegos con tasas de
u
u
u
u
fl,.fl.Z,JX..
fl,.A.
un juegu
rrrz
tr .1
,
~
A,. ~
1T~T Z~ r
uun UU.~ab Ut ptLL uiiaipaiaiuii ~,Iv, ti)
be
.1.42..,.,.1.....
UCtIIIC Cl u},iiZOn
ti
u
LC(9
(x E PI(9 /
mx a(y,r)
mm
2=
ti
mx e(x, r)l
u
u
sea
(M, ~) el
e
u
PO E LC(c, a)
a~ PO
(cvtpot,...
,ampom) E LC(~Yc).
e
e
e
u
u
St
u
Apndices
255
Apndice O
En este apndice se dan ejemplos de juegos de produccin lineal controlados por comits en
los que no todos los juegos de control son equilibrados. En el primero de ellos el corazn del
juego
Ejemplo 1. Considrese la situacin descrita en el ejemplo 3.1 (pg. 121), con la salvedad
de que, en este caso, cada uno de los recursos se encuentra disponible en el mercado en dos
lotes, B
y B~, Iv
2=1,2.
El control del lote Bf, consistente en 2 unidades de producto 1, viene dado por el juego
simple (IV, u]), definido por MW(u{) 2= {
{lj},
El control del lote B?, consistente en 4 unidades de producto 1, viene dado por el juego
(equilibrado) de unanimidad respecto de la coalicin total, u?
uN.
El control del lote B~, consistente en 4 unidades de producto 2, viene dado por el juego
simple (equilibrado) (N, z4), definido por MYI>(u>
{ {1 2}, {2, 3} 1
El control del lote B~, consistente en 4 unidades de producto 2, viene dado por el juego
simple (N, u~), definido por MW(u~) 2= { {2}, {1, 3} }. En dicho caso, C(u3)
El juego de produccin lineal controlado por comits (IV, y), viene dado por:
v({i})=O,
v({1,2}) =8,
v(IV) 2= 3.
y iEIV,
v({1,3})
= 8,
v({2,3})
2=16,
0.
St
e.
256
Apndices
St
Verificndose,
C(v)
e
St
18}#0.
St
eN
es
St
u.
Ejemplo 2. Para la misma situacin del ejemplo anterior, considrense los siguientes juegos
de control:
u
St
BI,
2=
0.
ti
u
El control del lote B?, consistente en 4 unidades de producto 1, viene dado por el juego
(equilibrado) de unanimidad respecto de la coalicin 5 = {2, 3}, u?
es
us.
u.
El control del lote B~, consistente en 4 unidades de producto 2, viene dado por el juego
es
simple (equilibrado) (IV, u~), definido por MW(~4) 2= { {1, 2}, {2, 3} }.
es
El control del lote B~, consistente en 4 unidades de producto 2, viene dado por el juego
simple (IV, ufl, definido por MVV(u2)
{ {1}, {2, 3} }.
En
e
u
2=
e
e
El juego de produccin lineal controlado por comits (IV, y), viene dado por:
v({1})r
8,
v({1,2})= 8,
es
es
v({i})=O, i2,3,
v({1,3})= 8,
18.
es
ti
ti
es
u
u
es
St
Apndices
257
Apndice D
En este apndice se muestra que el asumir la condicin (iv) en el modelo SETO (cada vrtice
est ocupado por un nico usuario) no es restrictivo.
Se comprobar que dado un problema standard tree enterprise (Granot et al., 1996),
6
<G,c,IV,fN>, donde 0
2=
(VE), c : E
P(IV),
es una funcin
que asigua a cada vrtice del rbol el subconjunto de jugadores que reside en el mismo, existe
un problema SETO, al que denotaremos por 9(8), tal que los juegos de coste asociados a
ambos problemas coinciden.
Dado
<0,
y el resto con coste O, y sitese a cada uno de los miembros de fN(p) en cada uno de
los nuevos vrtices.
Ejemplo 4.10. Sea 2= <0, c, IV, fN> el problema standard tree enterprise definido por
IV
{1, 2,3,4,5,6,
representados a continuacin:
258
y
Apndices
fN(v1)
2= {1},fN(v2)
2=
{2,3},fN(v3)
2=
{4,5},fN(v4)
= {6}
y fN(v5)
{7}.
Se comprueba de forma inmediata que los juegos de coste asociados a ambos problemas,
y 9(6), coinciden.
Del mismo modo, adaptando de forma natural la definicin de vector de pesos admisible
para un problema
standard tree enterprise, esto es, teniendo en cuenta que la nica restriccin
que debe incorporarse es la necesaria para impedir que un arco se quede sin pintar, se tiene
que
restringidas coinciden.
Referencias
259
7
e.
261
Referencias
AAOLAND,D AND V.KoLPIN. (1998). Shared irrigation costs: An empirical and axiomatic
amtalysis. Mathematical Social Sciences, 35, 203-218.
AuBIN,J.P. (1974a). Coeur et valeur des jeux fious paements latraux. C.R. Acad. Sci.
Paris, 279 A, 891-894.
AUBIN,J.P.
Amsterdam.
AUBIN,J.P.
32-39.
BILLoT,A. (1990). Fuzzy convexity and peripherial core of an exchange economy represented as a fuzzy game. En Multipersons Decision Making Modeis using Fazzy Sets and
Possibility Theory, editado por J.Kacprzyk y MiFedrizzi, Kluwer, Dordrecht.
Brnn,C.G. (1976b). Qn cost allocation for spamming tree: A gazne theoretic approach. Networks, 6, 335-350.
BonAREvA,O.N.
262
Referencias
a problem of Auma.nn and Shapley. International .Journal of Garne Theory, 25, 149-160.
CLAUS,A. AND D.GRANOT. (1976). Gamne theory application to cost allocation for a spanning tree. Working paper 402, Faculty of Commerce and Husmeas Administration, University of
(1989).
DuBEY,P. (1982). Time Shapley value as aircraft landing lees revisited. Management Science,
28, 869-874.
263
Referencias
DUI3EY,P. AND L.S.SHAPLEY.
(1997).
New York.
GRANOT,D. AND F.GRANOT. (1992). Computationad complexity of a cost allocation approach to a fixed cost spauning forest problein. Mathematics of Operations Research, 17,
765-780.
GRANOT,D. AND G.HUBERMAN.
264
Referencias
KosrER,M.; S.Tus ANO P.BORM. (1996). Serial cost sharingmethods for multi-commodity
situations.
KoSTER,M.; E.MoLINA, Y.SPRUMoNT ANO STias. (1998). Cote representations of standard tree games. Report 9821, CenTER for Economic Research, Tilbu.rg University, Time
Netherlands.
LEN,T. y V.LrnnN (1996). Interpretacin de los precios sombra en presencia de degeneracin. Qestii, 20, 223-238.
LITTLECHILD,S.C. (1974). A simple expression for the nucleolus in a special case. Interna-
265
Referencias
special case. Tite Bel Journal of Economies, 8, 186-204.
MASCHLER,M. (1992). Time bargalning set, kernel and nucleolus. En Handbook of Carne
Theory (with economic applications
NorthHolland, 591-667.
MSOHLER,M; H.PELEG AND L.S.SHPLEY. (1972). Time kernel asid bargaining set for
convex games. International Journal of Carne Theory, 1, 73-93.
MAsOHLER,M; B.PELEG AND L.S.SHPLEY. (1979). Geometric properties of time kernel,
nucleolus and related solution concepts. Mathematics of Operation Research, 4, 303-338.
MASOHLER,M.; J.POTTERS AND H.REIJNIERSE. (1995). Monotonicity properties of the
nucleolus of standard tree gaznes. Report ndrn. 9556, Department of Mathematics, Unuversity of Nijmegen, Time Netherlands.
MAsOHLER,M.; A.M.PoTTERs AND
Mathernotischc Arnalcn,
0
r
a
e
e.
266
Referencias
St
e
100, 295-320. Traduccin en ingls en Contributions to tite Theory of Carnes IV, 1959,
St
St
St
St
e
St
e
*
e
e
358-370.
OWEN,C. (1995). Carne Theory (tercera edicin). Academnic Press, New York.
es
u
PUENTE,R.O. ANO E.MARCHI. (1995). Qn the replica of linear production games with non
e
u
e
e
a
e
U
u
u
e
u
SMET,D. ANO E.ZEMEL. (1984). Qn the core and dual set of linear programming gaines.
Mathematics of Operations Res earch, 9, 309-316.
u
e
e
e
e
St
u
267
Referencias
9-25.
SHAPLEY,L.S. AND M.SHuBIK. (1972). Time assigmnent gamne : 1. The core. International
Journal of Came Theory,
1,111-130.
SHUrnK,M. (1962). Incentives, decentralized control, the assignment of joint costs and inter-
St,
a.
a
ja
268
Referencias
St
SoBOLEv,A.I. (1975). The functional equations that give time payoffs of the players in an
n-person game. Matiternatical Methods in tite Social Sciences, 6, 94-151.
St,
a
SPINETTO,R.
St
St
St
SPRUMONT,Y.
u.
St
TEJADA,J. (1986). Juegos Difusos, Tesis Doctorales 171/92, Universidad Complutense, Ma-
drid.
e
St
es.
WEBER,R. (1988). Probabilistic values for games. En Tite Shapley value: essays in honor
of Lloyd 5. Shapley, editado por A.E.Roth, Cambridge University Press, 101-119.
O
e
St
e
U
es
ZADEH,L.A.
e
e
ZERMELO,E. (1913). Uber eme anwendmmg der mengenlehre auf die theorie des schachspiels.
u.
versity Press.
u
e
e
es
e
es
e
es
e
U
ti
u
e
ti
es
u