5.

Comportamiento estratgico cooperativo

5.1. Juegos cooperativos
Un juego cooperativo (con utilidad transferible) en forma coalicional consiste en: (i) un
conjunto no vaco y finito N de jugadores,
cuyos subconjuntos se denominan coaliciones;
y (ii) una funcin v (llamada funcin caracterstica) que asocia con cada coalicin S (es
decir, con cada subconjunto S de N) un nmero
real v(S), que representa el pago (la utilidad,
los beneficios) que los miembros de S pueden obtener por s mismos y que deben repartirse entre ellos.
Convencin. Aunque un juego es, por tanto, un
par (N, v), para simplificar se identifica v con
el juego y se habla de el juego v. Cuando i
N, se escribir v(i) en lugar de v({i}) y, cuando
N es un conjunto de nmeros, se escribir (a
modo de ejemplo) v(12) en lugar de v({1, 2}).
Hiptesis. (i) La coalicin vaca no genera
pagos: v() = 0. (ii) Propiedad de superaditividad: para todo subconjunto S y T de N
sin elementos en comn, v(S T) v(S) +
v(T). Es decir, la unin de dos coaliciones
disjuntas puede al menos procurarse un valor
tan grande como la suma de los valores que
obtienen por separado. Esta propiedad captura,
grosso modo, la idea que cuando mayor es una
coalicin mayor es lo que sus miembros pueden conseguir actuando colectivamente.
Aclaracin. El trmino utilidad transferible
significa que v(S) se puede repartir de cualquier manera (sin restriccin alguna) entre los
miembros de S. Puede, por ejemplo, pensarse
que v(S) es dinero.
Un juego es esencial si v(N) > iN v(i). Es
decir, si todos los jugadores forman la gran
coalicin N (la coalicin de todos los
jugadores), lo que pueden obtener v(N) al
formar la gran coalicin es mayor que la suma
iN v(i) de lo que cada uno puede hacer por
separado.
Interpreta estas dos propiedades: (i) el juego v
es de suma constante si, para todo S N, v(S)
+ v(N\S) = v(N); (ii) el juego v es convexo si,
para todo S N y todo T N, v(S T) + v(S
T) v(S) + v(T).
Una imputacin en un juego en forma
coalicional v con n jugadores es un vector (x,
, xn) tal que: (i) iN xi = v(N); y (ii) para
todo jugador i en N, xi v(i).
Una imputacin es una especificacin sobre
cmo distribuir entre los jugadores el pago que
puede conseguirse cuando todos se renen en

la gran coalicin (puesto que, asumiendo la

superaditividad, ninguna coalicin puede
conseguir ms que la gran coalicin N), de
forma que cada jugador obtenga al menos tanto
como puede conseguir por s mismo. La interpretacin es que la imputacin (x, , xn)
reparte el valor v(N) de forma que al jugador i
le corresponde xi.
Un concepto de solucin para juegos cooperativos consiste en la seleccin del conjunto de
imputaciones que se consideran razonables o
aceptables. Se presentan a continuacin dos
conceptos de solucin: el ncleo (que generalmente selecciona ms de una imputacin) y el
valor de Shapley (que consiste en una nica
imputacin).
5.2. El ncleo
Definicin 1. El ncleo de un juego en forma
coalicional v con n jugadores es el conjunto de
todas las imputaciones (x, , xn) tales que,
para todo S N, iS xi v(S).
El ncleo de un juego v recoge todas las
imputaciones cuyo reparto de ganancias entre
los jugadores es inmune a objeciones que
pueda formular cualquier coalicin. Dicho de
otro modo, una imputacin est en el ncleo si
lo que corresponde a cada coalicin segn la
imputacin es al menos tan grande como lo
que esa coalicin puede conseguir por s
misma. Porque si le correspondiese menos, los
miembros de la coalicin tendran incentivo a
romper el acuerdo que establece la imputacin
separndose de la gran coalicin.
Ejemplo. Sea el juego con 3 jugadores v(i) = 0
para todo i N, v(12) = 10, v(13) = 15, v(23) =
20 y v(123) = 25. La imputacin (x, x, x) =
(7, 9, 9) no pertenece al ncleo porque la coalicin {2, 3} puede obtener por s misma 20 y en
la imputacin le corresponde slo 18.
As como los perfiles de estrategias que constituan un equilibrio en un juego no cooperativo eran estables/robustas/inmunes a desviaciones por parte de jugadores (en un equilibrio
ningn jugador, actuando por separado, tena
incentivo a desviarse de la estrategia que
prescriba el equilibrio), las imputaciones que
estn en el ncleo de un juego cooperativo son
estables/robustas/inmunes a desviaciones por
parte de coaliciones, es decir, a desviaciones
por parte de grupos de jugadores.
Teorema 1. El ncleo de un juego esencial y
de suma constante est vaco.
El Teorema 1 establece que no todos los juegos
cooperativos tienen imputaciones que sean in12enero2002

munes a desviaciones por parte de coaliciones:

hay juegos en los que ninguna imputacin (x,
, xn) cumple que, para todo S N, iS xi
v(S). Por tanto, el ncleo de esos juegos ser el
conjunto vaco. El paralelismo con los juegos
no cooperativos se encuentra en aquellos juegos que no poseen algn equilibrio en estrategias puras.
Ejemplo. Sea el juego v(1) = 5, v(2) = 10, v(3)
15, v(12) = 25, v(13) = 30, v(23) = 35 y v(123)
= 40. Comprueba que este juego es superaditivo (satisface la propiedad de superaditividad),
de suma constante y esencial. Por el Teorema
1, no hay ninguna imputacin en ncleo.
Porque para que la imputacin (x, x, x) est
en el ncleo deben satisfacerse a la vez 7
condiciones: x v(1) = 5; x v(2) = 10; x
v(3) = 15; x + x v(12) = 25; x + x v(13)
= 30; x + x v(23) = 35; y x + x + x =
v(123) = 40. Pero 40 x = x + x 35 implica 5 x; y dado que x 5, se concluye
que, para que (x, x, x) est en el ncleo, x
debe ser 5. Un argumento similar prueba que
x = 10 (utilizando x + x + x = 40, x + x
30 y x 10) y x = 15 (utilizando x + x + x
= 40, x + x 25 y x 15). As, para estar en
el ncleo, (x, x, x) ha de cumplir que x = 5,
x = 10 y x = 15. Sin embargo, el vector (x,
x, x) = (5, 10, 15) no es una imputacin,
porque x + x + x v(N) = 40. Esto significa
que ningn vector (x, x, x) cumple las 7
condiciones de pertenencia al ncleo.
Ejercicio 1. Calcula todas las imputaciones del
ncleo del juego v(1) = v(2) = v(3) = 5, v(12) =
v(13) = v(23) = 10 y v(123) = 15. Es v
esencial? De suma constante? Superaditivo?.
Si el Teorema 1 identifica una clase de juegos
cuyo ncleo est vaco, el siguiente teorema
identifica condiciones necesarias y suficientes
para que un juego de 3 jugadores posea alguna
imputacin en el ncleo.
Teorema 2. El ncleo de un juego en forma
coalicional con 3 jugadores es no vaco si, y
slo si:

5.3. El valor de Shapley

El valor de Shapley es un concepto de solucin
para juegos cooperativos que selecciona una
nica imputacin (, , n) en cada juego.
Las imputaciones en el ncleo pueden entenderse como repartos de pagos que pueden tener
lugar. O, ms bien, hay razones para descartar
que tenga lugar un reparto que no se
corresponda con una imputacin que est en el
ncleo: que alguna coalicin tendr incentivo a
no aceptar ese reparto. El valor de Shapley no
tiene ese carcter descriptivo de identificar lo
que puede ocurrir, sino que su carcter es ms
bien normativo: establece una imputacin
justa basada en pagos esperados. El valor de
Shapley establece pues un reparto de referencia
que se construye asignando a cada jugador un
pago medio.
Hay al menos dos maneras de entender ese
pago medio que un jugador espera obtener al
jugar v. Para simplificar, consideremos un
juego con 3 jugadores, i, j y k. La primera motivacin del valor de Shapley es como sigue.
Tomemos al jugador i. ste puede integrarse en
3 tipos de coaliciones: las que no contienen a
ningn otro jugador, las que contienen un solo
jugador y las que contienen dos jugadores. La
definicin del pago medio o esperado de i
se basa en dos hiptesis. Primera, que la
probabilidad que tiene i de incorporarse al
cualquiera de los 3 tipos de coaliciones es la
misma (en este caso, 1/3). Segunda, que el
pago que recibe i al integrarse en la coalicin
ya formada S es lo que contribuye i a esa
coalicin. La contribucin de i a la coalicin S
se define como lo que se obtiene cuando i se
aade a S (el valor v(S {i})) menos lo que S
obtena antes de que se incorporara i (el valor
v(S)). De modo que si, sin i, se obtena v(S) y
con i se obtiene v(S {i}), la contribucin de i
es v(S {i}) v(S) y, en principio, sera justo que i recibiese lo que aporta a la coalicin.

v(1) + v(2) + v(3) v(N)

v(1) + v(23) v(N)
v(2) + v(13) v(N)
v(3) + v(12) v(N)
v(12) + v(23) + v(13) 2 v(N).

Slo hay una coalicin del primer tipo, la

coalicin vaca . Si i se incorpora a esta coalicin contribuye en v(i) v(). Como v() =
0, su contribucin es v(i). De modo que su
contribucin esperada al primer grupo de
coaliciones es (1/3)v(i).

Por consiguiente, si se cumplen estas condiciones, el ncleo no est vaco; y si el ncleo no

est vaco, se cumplen estas condiciones.

Hay dos coaliciones del segundo tipo: una

formada por {j} y otra por {k}. La probabilidad de incorporarse a alguna coalicin de un
cierto tipo se distribuye igualitariamente entre
todas las coaliciones de ese tipo. En este caso,
la probabilidad 1/3 de incorporarse a una

Ejercicio 2. Comprueba si el ncleo del

siguiente juego est o no vaco: v(i) = 0, v(12)
= v(13) = v(23) = 3 y v(123) = 5.

12enero2002

coalicin con 1 miembro se reparte igualitariamente entre todas las coaliciones que tengan
un miembro, por lo que la probabilidad de que
i se incorpore a la coalicin {j} es la misma de
que se incorpore a {k}, 1/3 multiplicado por
1/2. Si i se incorpora a la coalicin {j}, lo cual
hace con probabilidad 1/6, contribuye con v(ij)
v(j). Si i se incorpora a la coalicin {k}, lo
cual hace tambin con probabilidad 1/6,
contribuye con v(ik) v(k). Su contribucin
esperada es, en este segundo tipo, (1/6)(v(ij)
v(j)) + (1/6)(v(ik) v(k)).
Por ltimo, hay una nica coalicin del tercer
tipo, {j, k}. La contribucin de i a esta coalicin es v(ijk) v(jk) y su contribucin esperada
es (1/3)(v(ijk) v(jk)).
En total, la contribucin esperada de i a una
coalicin es
(1/3)v(i) + (1/6)(v(ij) v(j)) +
(1/6)(v(ik) v(k)) + (1/3)(v(ijk) v(jk)). (1)
ste es el valor de Shapley para el jugador i en
el juego v: su contribucin media a cada
coalicin cuando (i) la probabilidad de incorporarse a una coalicin de un cierto tamao es
siempre la misma y (ii) dentro del conjunto de
coaliciones con un mismo tamao, la probabilidad de incorporarse a una de ellas es tambin
siempre la misma.
Definicin 2. El valor de Shapley de un juego
v con n jugadores es la imputacin (, , n)
tal que i = S N con i S [(n s)! (s 1)!/ n!]
[v(S) v(S\{i})], donde s es el nmero de
miembros de la coalicin S y, para el nmero
natural k, k! (lase ca factorial) = k (k 1)
(k 2) 3 2 1, con 0! = 1 por definicin.
Por ejemplo, si n = 3, el valor de Shapley del
jugador i se calculara considerando todas las
coaliciones S que continene a i. Son 4: {i}, {i,
j}, {i, k} e {i, j, k}. As que i es el sumatorio
de cuatro miembros. El primero resulta de
tomar S = {i}. En este caso, (n s)! = (3 1)!
= 2! = 2, (s 1)! = (1- 1)! = 1, n! = 3! = 6 y
v(S) v(S\{i}) = v({i}) v() = v({i}). En
resumen, el primer componente es (2/6)v(i) =
(1/3)v(i).
El segundo miembro resulta de tomar S = {i,
j}. En este caso s = 2, con lo que [(n s)! (s
1)!/ n!] [v(S) v(S\{i})] = (1/6) (v(ij) v(j)). El
tercer miembro resulta de tomar S = {i, k}.
Como s = 2, [(n s)! (s 1)!/ n!] [v(S) v(S\
{i})] = (1/6) (v(ik) v(k)). El ltimo miembro
resulta de tomar S = N = {i, j, k}. Ahora s = 3 y
[(n s)! (s 1)!/ n!] [v(S) v(S\{i})] = (2/6)
(v(ijk) v(jk)). De modo que i coincide con
(1).

La segunda motivacin y construccin del

valor de Shapley se basa en suponer que el
juego se juega como sigue. Los jugadores forman la gran coalicin escogiendo aleatoriamente un orden de incorporacin de manera
que todos las ordenaciones de los jugadores
son igualmente probables. El primer jugador i
del orden seleccionado obtiene v(i); el segundo
jugador j en el orden obtiene v(ij) v(i); y, en
general, el jugador k obtiene v(S {k}) v(S),
donde S es el conjunto de todos los jugadores
que preceden a k en el orden en que se forma la
gran coalicin. En ese caso, el pago esperado
de un jugador i cualquiera es
i = S N con i S [(n s)! (s 1)!/ n!] [v(S)
v(S\{i})],
es decir, su valor de Shapley. La razn es que
la probabilidad de que s jugadores dados
entren en la gran coalicin antes de los
restantes n s jugadores es (n s)! s! / n!. Y la
probabilidad de que, entre esos s jugadores, un
cierto jugador i sea el ltimo en incorporarse a
la gran coalicin es 1/s. El producto de estas
dos probabilidades es (n s)! (s 1)! / n!, que
determina la probabilidad de que i obtenga el
pago v(S) v(S\{i}). De aqu que i sea el pago
esperado de i cuando el juego se juega de la
forma descrita.
Ejemplo. El juego v(1) = 5, v(2) = 10, v(3) 15,
v(12) = 25, v(13) = 30, v(23) = 35 y v(123) =
40 no tiene ncleo. Vamos a calcular el valor
de Shapley siguiendo la segunda forma de
motivarlo. Al haber tres jugadores, hay tres
maneras de construir la gran coalicin: segn
los rdenes de incorporacin (1, 2, 3), (1, 3, 2),
(2, 1, 3), (2, 3, 1), (3, 1, 2) y (3, 2, 1). La
hiptesis es que todos los rdenes tienen la
misma probabilidad de ser seleccionados.
Consideremos al jugador 1. Si se llegara a
formar N en el orden (1, 2, 3), a 1 le
correspondera el pago v(1), por ser el primero.
Lo mismo recibira si el orden fuese (1, 3, 2).
Si el orden fuese (2, 1, 3), a 1 le correspondera
v(12) v(2). Si fuese (2, 3, 1), v(123) v(23).
Si fuese (3, 1, 2), v(13) v(3). Y si fuese (3, 2,
1), v(123) v(23). Al ser todas las contribuciones igualmente probables, la contribucin
esperado coincide con la contribucin media:
[v(1) + v(1) + (v(12) v(1)) + (v(123) v(23))
+ (v(13) v(3)) + (v(123) v(23))]/6. Este
valor coincide con . El mismo procedimiento determina que la contribucin media del
jugador 2 sea y la del 3, . As que la
contribucin media de cada jugador cuando el
juego es jugado de la forma indicada es su
valor de Shapley.

12enero2002

Uno de los atractivos del valor de Shapley es

que siempre est definido y es nico.

Observacin. El ndice i coincide con el valor

de Shapley de i en el juego v.

Teorema 3. Todo juego tiene un nico valor de

Shapley.

El ndice i expresa la probabilidad de que el

jugador i sea decisivo, es decir, de que su
incorporacin a una coalicin perdedora la
transforme en ganadora. El poder de i se
mide mediante la probabilidad de que sea un
miembro pivote de una coalicin ganadora (de
que su salida de la coalicin la transforme en
perdedora).

El problema es que el valor de Shapley puede

no pertenecer al ncleo, por lo que el reparto
que establece el valor de Shapley no sera
inmune a objeciones de alguna coalicin.
Ejercicio 3. Comprueba que (2/3, 1/6, 1/6) es
el valor de Shapley del juego v(i) = v(23) = 0,
v(12) = v(13) = v(123) = 10. Comprueba que la
nica imputacin que esta en el ncleo del
juego es (10, 0, 0).
Sera pues interesante y til identificar tipos de
juegos en los que el valor de Shapley disfrutara
de las propiedades de estabilidad de las imputaciones que pertenecen al ncleo.
Teorema 4. Si un juego es convexo, entonces
su valor de Shapley pertenece al ncleo del
juego.
Del Teorema 4 se deduce que el ncleo de un
juego convexo es no vaco.
Definicin 4. Juegos de votacin con pesos y
cuota. Dados los nmeros [q; p, , pn], el
juego de votacin con cuota q y n jugadores
con pesos p, , pn viene definido por la
funcin caracterstica v tal que v(S) = 1 si la
suma de los pesos de los miembros de S es
mayor o igual a la cuota y v(S) = 0 en otro
caso. Si v(S) = 1 se interpreta que S es una
coalicin ganadora y si v(S) = 0, que es
perdedora.
Ejemplo. [2; 1, 1, 1] representa el juego de
votacin con 3 jugadores, en el que cada
jugador tiene un voto y la cuota est en 2
votos: v(1) = v(2) = v(3) = 0 y v(12) = v(13) =
v(23) = v(123) = 1. En otras palabras, [2; 1, 1,
1] representa la votacin por mayora simple
con 3 votantes.
El valor de Shapley permite definir un ndice
de poder en juegos de votacin. Sea G el
conjunto de las coaliciones ms pequeas que
son ganadoras. Es decir, S G si, y slo si,
v(S) = 1 y, para cualquier subconjunto T de S
diferente de S, v(T) = 0.

Como ilustracin, consideremos el juego [2; 1,

1, 1]. El jugador 1 slo es decisivo cuando se
incorpora a la coalicin {2} o a la {3}. Por
tanto, slo en 2 ocasiones es pivote. Pero (por
simetra del juego) lo mismo ocurre con el 2 y
el 3: el 2 slo es decisivo al incorporarse a {1}
o a {3}, y el 3 slo al incorporarse a {1} o {2}.
De modo que todos son igualmente poderosos o decisivos. O, ms exactamente, la probabilidad de que uno cualquiera de ellos sea
decisivo es la misma de que lo sea cualquier
otro. Capturando esta intuicin, = = =
1/3.
El ndice de poder representado por el valor de
Shapley permite evaluar la bondad de
determinados mtodos de votacin. Por
ejemplo, en el Ejercicio 16 se muestra que un
mtodo de votacin con ponderaciones 49, 37,
14 y que exige cuota 51 opera, en la prctica,
como si no hubiera ponderaciones: todos los
jugadores tienen el mismo ndice de poder.
Por ltimo, el Ejercicio 13 representa un parlamento con 6 grupos parlamentarios en el que
las decisiones se toman por mayora simple y
en donde dos de los grupos son los mayoritarios y el resto son partidos minoritarios. As,
1/3 indica que cada uno de los dos primeros
grupos dispone de 1/3 de los escaos y que
cada uno de los cuatro restantes partidos posee
1/12 de los escaos. La medida de poder de
cada grupo reflejada en el valor de Shapley
indica que, en conjunto, los partidos minoritarios tienen ms poder de lo que la suma de sus
escaos parece sugerir.

Definicin 5. El ndice de poder i del jugador

i en v es i = S G con i S (n s)! (s 1)!/
n!, donde s es el nmero de elementos de S.

12enero2002

Ejercicios adicionales
Ejercicio 4 (Harsanyi (1977, p. 218)). Calcula
el valor de Shapley (v) del juego en forma
coalicional con funcin caracterstica v(1) =
10, v(2) = 20, v(3) = 30, v(12) = 40, v(13) = 40,
v(23) = 80 y v(123) = 160. Solucin: (v) =
(35, 60, 65).
Ejercicio 5 (Harsanyi (1977, p. 220)). Calcula
el valor de Shapley (v) del juego en forma
coalicional cuya funcin caracterstica coincide
con la del juego del Ejercicio 1 excepto en {1,
2, 3}, cuyo valor es 91. Solucin: (v) = (12,
37, 42).
Ejercicio 6 (Harsanyi (1977, p. 233)). Calcula
el valor de Shapley (v) del juego en forma
coalicional con funcin caracterstica v(i) = 0,
v(12) = v(13) = v(23) = 42 y v(123) = 90.
Solucin: (v) = (30, 30, 30). Comprueba que
el valor coincide con el del juego u(i) = 0,
u(12) = u(13) = u(23) = u(123) = 90.
Ejercicio 7 (Luce y Raiffa (1957, p. 251)).
Comprueba que los juegos u, v y w definidos a
continuacin satisfacen: (a) w = u + v; y (b)
(w) = (u) + (v), con (w) = (, 1, )
(u) = (0, , ) y (v) = (,, 0). Los juegos
son: u(S) = 0 excepto u(123) = u(23) = 1; v(S)
= 0 excepto v(123) = v(12) = 1; y w(i) = w(13)
= 0, w(12) = w(23) = 1 y w(123) = 2.
Ejercicio 8 (Luce y Raiffa (1957, pp. 207 y
249)): mercado con un vendedor (jugador 1) y
dos compradores (jugadores 2 y 3). El jugador
1 desea vender un objeto indivisible que valora
en a . El jugador 2 valora el bien en b y el 3
en c . Asumamos a < b c. Razona por qu
esta situacin puede representarse mediante el
juego en forma coalicional v(1) = a, v(2) = v(3)
= v(23) = 0, v(12) = b y v(13) = v(123) = c.
Comprueba que el ncleo de este juego
consiste en las imputaciones (x, x, x) tales
que b x c, x = 0 y x = c x. Interpreta
el resultado. Comprueba que (v) = (a/3 + b/6
+ c/2, a/6 + b/6, a/6 b/3 + c/2).
Ejercicio 9. Comprueba que [5; 2, 3, 4] y [2; 1,
1, 1] definen el mismo juego en forma
coalicional. Muestra que el valor de Shapley de
este juego es (1/3, 1/3, 1/3) y que esta
imputacin no pertenece al ncleo.

6 miembros y operaba en 1964 con voto

ponderado y cuota [58; 31, 31, 28, 21, 2, 2]. La
equivalencia anterior muestra que tres de los
miembros no tenan ninguna influencia en las
decisiones.
Ejercicio 11. Comprueba que (1/2, 1/6, 1/6,
1/6) es el valor de Shapley del juego
representado por [3; 2, 1, 1, 1].
Ejercicio 12. Comprueba que (2/3, 1/6, 1/6) es
el valor de Shapley del juego representado por
[3; 2, 1, 1]. Comprueba que la nica
imputacin que esta en el ncleo del juego es
(1, 0, 0).
Ejercicio 13 (Robert Aumann): el precio
competitivo de un voto. Calcula el valor de
Shapley del juego representado por [1/2; 1/3,
1/3, 1/12, 1/12, 1/12, 1/12]. Interpreta el
resultado.
Ejercicio 14 (Ordeshook (1986), pp. 463-464).
Comprueba que (2, 35, 55) es el valor de
Shapley del juego v(1) = 0, v(2) = 2, v(3) = 3,
v(12) = 3, v(13) = 6, v(23) = 7, v(123) = 11.
Ejercicio 15. Comprueba que (, , , ) es
el vector de ndices de poder del juego
representado por [3; 1, 1, 1, 1].
Ejercicio 16 (Ordeshook (1986), pp. 466-467).
Comprueba que (1/3, 1/3, 1/3) es el vector de
ndices de poder del juego representado por
[51; 49, 37, 14]. Muestra que este juego es
equivalente a [2; 1, 1, 1].
Referencias
Harsanyi, John C. (1977): Rational behavior
and bargaining equilibrium in games and
social situations. Cambridge: Cambridge
University Press.
Luce, Duncan y Raiffa, Howard (1957):
Games and decisions. Nueva York: John
Wiley.
Ordeshook, Peter C. (1986): Game theory
and political theory. Cambridge: Cambridge
University Press.

Ejercicio 10 (W. Lucas). Comprueba que [58;

31, 31, 28, 21, 2, 2] y [2; 1, 1, 1, 0, 0, 0]
definen el mismo juego en forma coalicional.
El Board of Supervisors del condado de
Nassau (Long Island, NY) estaba formado por
12enero2002