Juegos Coalicionales

2 Indice

Desarrollo Temático

Glosario

abc

Bibliografía

Teoría de Juegos / Autor: Nilgen Vargas Garces

enlace1

1. Desarrollo temático Contenido

 JUEGOS COALICIONALES
1.1. JUEGOS COALICIONALES

Juegos coalicionales
Recordemos un poco la definición de juegos coalicionares, en la cual decíamos que éstos
Juegos coalicionales sin pagos transferibles
diferían de los juegos no cooperativos, en los que se daba la posibilidad de creación de Anterior
Núcleo de un Juego NTU
coaliciones entre subconjuntos de jugadores, además del hecho de que la utilidad puede
Valores de Harzanyi NTU y Shapley NTU
repartirse si ciertos subconjuntos de participantes en el juego (coaliciones) llegan a un acuerdo.
Valor consistente de Mashchler y Owen (1992)
Síntesis de cierre de tema
Ahora bien, podemos diferenciar dos tipos de juegos en la Teoría de juegos coalicionales: Juegos
Actividades auto-evaluativas
con Pagos Transferibles (TU) y Juegos sin Pagos Transferibles (NTU). Su diferencia está en la Siguiente
Glosario
especificación que se hace de los pagos al interior de cada subconjunto de jugadores formado o
Bibliografía
de cada coalición.

JUEGOS COALICIONALES SIN PAGOS TRANSFERIFLES

Los Juegos Coalicionales sin Pagos Transferibles (NTU) se diferencian de los Juegos Coalicionales
con Pagos Transferibles (TU), básicamente porque en ellos no existe una única función de pagos
(función del juego) para la coalición , sino un conjunto de vectores para cada coalición que
se forme. Por otra parte, en los juegos TU no se hace especificación alguna sobre cómo repartir
el pago entre los jugadores que hacen parte de una coalición, mientras que en los juegos NTU
cada vector indica el valor del pago que recibiría cada jugador si se formara la coalición.

En el estudio de los juegos NTU aparecen extensiones o nuevas formas de interpretar el valor
Harsanyi (1959), Harsanyi (1963) y Shapley (1969). Adicionalmente, aparecen otros conceptos
de solución que parten del principio de equidad en los subconjuntos de los juegos o coaliciones
(Harsanyi (1973)). Posteriormente, aparece el concepto de valor consistente de Marschler-
Owen (Marschler y Owen (1989, 1992)).

2 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DEL JUEGO ] 3

 Definición 1. Juego Coalicional sin Utilidad Transferible Contenido
Núcleo de un Juego NTU
Un juego coalicional sin utilidad transferible es un par donde { }
es el conjunto de jugadores y (llamada función característica) es una
correspondencia que asigna a cada coalición , un subconjunto no-vacío, Definición 2. Núcleo de un juego NTU
cerrado, y convexo de , es decir, , que representa todos los posibles
Una configuración de pagos eficiente (es decir, para toda Anterior
pagos que los miembros de pueden obtener cuando juegan coalicionalmente. Es
coalición ) está en el núcleo de un juego NTU, , si no existe ninguna
costumbre, además, asumir ciertas condiciones sobre la correspondencia de que
coalición que pueda alcanzar un pago superior para todos sus miembro
hacen que cada luzca como en la figura:
diferente al que le ofrece . Es decir, está en el núcleo del juego si para
toda y no existe tal que .
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005. Pg.199.
Siguiente

Veamos ahora un ejemplo en el que hay dos jugadores, A y B, para los cuales tendremos la
siguiente función característica:

{ √ √ }

{ √ √ }

Figura 1. Función característica para un juego NTU { √ √ }

(A1) Para cada , el conjunto es comprensivo (es decir, si y
con , entonces ), y acotado superiormente (es decir,
para cada , el conjunto { } es compacto).

(A2) Para cada , la frontera de que denotamos por es suave Núcleo √ √

(es decir, sobre cada punto de la frontera existe un único vector normal) y
sin nivelación (el vector normal no-nulo tiene coordenadas positivas).
A estos vectores los notaremos por ( ) (ver figura 1).

(A3) Los son funciones continuas sobre .

(A4) Existe un número positivo tal que para todo , .

(A1) Para cada , el origen (que es el pago recibido si

ningún jugador participa en el juego).
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005. Pg.198.

4 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DEL JUEGO ] 5

 Valores de Harzanyi NTU y Shapley NTU Definición 4. Valor de Shapley NTU (Shapley (1969)) Contenido

Definamos ahora unas características sobre las coaliciones de un juego coalicional sin Una configuración de pagos es un valor de Shapley (NTU) para el juego
pagos transferibles , en el que las configuraciones de pagos son y los si existe , con para todo tal
que:
vectores .
i. La condición (1) se tiene para todo . Anterior
Condición Significado ii. La condición (3) se tiene para todo .
(1) (eficiencia) Afirma que el vector de iii. La condición (2) se tiene para .
pagos , es Pareto- Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica.
eficiente para la coalición Bogotá: Externado, 2005. Pg.200.
. Siguiente
(2) { } ( Afirma que maximiza la Veamos ahora las definiciones vistas mediante un ejemplo planteado por Owen en 1972, en el
suma de los pagos para los que dos jugadores (1,2) generan un excedente de un juego, haciendo una coalición de
miembros de intercambios entre ellos, pero no saben cómo dividir este excedente entre los dos. Para ello, se
ponderados de acuerdo suma un terc g “ b n ”, éste no genera ningún excedente adicional al juego,
con , dentro del conjunto lo único que hace es eliminar las limitaciones que no permiten decidir a los jugadores 1 y 2
. cómo repartir las ganancias. Coalicionalmente el juego se representaría así:
(3) ∑ ( Afirma que es
ponderadamente {
.
{ }

Definición 3. Valor de Harsanyi NTU (Harsanyi (1963)) { }

Una configuración de pagos es un valor de Harsanyi (NTU) del juego si
existe , con para todo tal que: { }

i. La condición (1) se tiene para todo .

ii. La condición (2) se tiene para .
iii. La condición (3) se tiene para todo .
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005. Pg.200.
Así el valor de Shapley NTU seria

6 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DEL JUEGO ] 7

 Valor consistente de Maschler y Owen (1992) Ahora, si es un juego de hiperplano, el valor consistente según Maschler-Owen , o lo Contenido
que es lo mismo: ( ), es un vector de contribuciones marginales esperadas en el que
Maschler y Owen (1989,1992) definen el valor consistente para juegos de hiperplano, que son es igualmente probable:
juegos para los que es la intersección de con un hiperplano de , y también definen
el valor consistente para juegos NTU. Las definiciones de valor aplicadas por Maschler y Owen ( ∑
pretendían mantener, en la medida de lo posible, las propiedades del valor de Shapley para Anterior
juegos coalicionales con utilidad transferible – TU, razón por la cual en 1989 probaron que era
En términos generales, vemos que un juego NTU, será un juego de hiperplano para
posible definir el valor de un juego de hiperplano de forma similar al valor de Shapley para
si para cada ,
juegos TU. Esto no es más que el promedio de las contribuciones marginales que cada jugador
realiza al juego, cuando todos los órdenes son probabilísticamente iguales.
{ }
Siguiente
En este orden de ideas, tenemos que la contribución marginal sería:
donde es el vector normal de la frontera de y

{ (( ) ) {} } { }
donde:
Observe que .
Valor máximo que el jugador puede obtener de , luego de que los pagos de sus
predecesores obtengan Definición 5. Valor consistente de Maschler-Owen (1989)
Si es denominado como el conjunto de todos los posibles órdenes de
Dado un juego NTU, , un configuración de pagos es un valor
, entonces consistente (Maschler-Owen) para si existe un juego de hiperplano para
, tal que para .
con esto podemos decir que el conjunto de predecesores de bajo , es:
Más aún, se puede mostrar (ver Hart y Mas-Colell (1996)) que es un valor
consistente (Mascheler-Owen) para si, y sólo si,

i. La condición (1) (eficiencia) se tiene para todo

{ } ii. La condición (2) ( - se tiene para
iii. ∑ ∑ (contribuciones balanceadas)
para todo fijo.

Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica.

Bogotá: Externado, 2005. Pg.201-202.

8 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DEL JUEGO ] 9

 Continuemos con el ejemplo planteado anteriormente (Juego del Banquero), para lo cual se SÍNTESIS DE CIERRE DEL TEMA Contenido
construye la tabla de la figura 2:
TEMA SUBTEMA DEFINICIÓN
Los Juegos Coalicionales sin Pagos Transferibles
(NTU) se diferencian de los Juegos
Coalicionales con Pagos Transferibles (TU), en Anterior
que en los últimos no existe una única función
Diferencia con de pagos para la coalición , sino un
los Juegos TU conjunto de vectores para cada coalición que
se forme. Por otra parte, en los juegos NTU se
puede determinar el pago que recibirá cada
jugador por hacer parte de una coalición, Siguiente
mientras que en los juegos TU no.
Un juego coalicional sin utilidad transferible es
un par donde { } es el
Figura 2 conjunto de jugadores y (llamada función
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: característica) es una correspondencia que
Externado, 2005. Pg. 202 Definición asigna, a cada coalición , un subconjunto
no-vacío, cerrado y convexo de , es decir,
, que representa todos los posibles
El valor consistente del juego sería:
JUEGOS pagos que los miembros de pueden obtener
COALICIONALES cuando juegan coalicionalmente.
( ) SIN PAGOS (A1) Para cada , el conjunto es
TRANSFERIBLES comprensivo (es decir, si y
con , entonces ), y
Por otra parte, en el ordenamiento se tiene que: acotado superiormente (es decir, para
cada , el conjunto {
i. { n } } es compacto).
ii. { } , luego con lo que se obtiene (A2) Para cada , la frontera de
que denotamos por , es suave (es
, como se puede observar en la figura 2. En el valor consistente, el jugador 2 se
decir, sobre cada punto de la frontera
ve penalizado sobre el jugador 1 debido a la asimetría de , lo cual favorece al Condiciones de existe un único vector normal) y sin
jugador 1. los juegos NTU nivelación (el vector normal no-nulo
tiene coordenadas positivas). A
estos vectores los notaremos por
( ) (ver figura 1).
(A3) Los son funciones continuas sobre
.
(A4) Existe un número positivo tal que para
todo , .
(A5) Para cada , el origen

10 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DEL JUEGO ] 11

 (que es el pago OWEN (1992) para . Contenido
recibido si ningún jugador participa en Más aún, se puede mostrar (ver Hart y Mas-Colell (1996)) que
el juego) es un valor consistente (Mascheler-Owen) para si, y sólo si:
Una configuración de pagos eficiente i. La condición (1) (eficiencia) se tiene para todo
(es decir, para toda coalición ii. La condición (2) ( - se tiene para
) está en el núcleo de un juego NTU, , si iii. ∑
NÚCLE DE UN no existe ninguna coalición que pueda Anterior
∑ (contribuciones balanceadas) para
JUEGO NTU Definición alcanzar un pago superior para todos sus
miembros, que el que le ofrece . Es decir, todo fijo.
está en el núcleo del juego si para toda
y no existe ACTIVIDADES AUTO-EVALUATIVAS1
tal que . Siguiente
(1) (eficiencia)
1. Calcule el núcleo y el valor de Harsanyi del Juego del Banquero.
Características (2) { }
sobre las ( 2. Calcule los valores de Shapley y Harsanyi para el juego del ejemplo planteado en la página
coaliciones (3) ∑ 4 (dos jugadores A y B).
(
Una configuración de pagos es un valor
de Harsanyi (NTU) del juego si existe ,
con para todo
Valor de tal que:
Harsanyi NTU i. La condición (1) se tiene para todo
(Harsanyi .
VALORES DE
(1963)) ii. La condición (2) se tiene para .
HARZANYI NTU Y
SHAPLEY NTU iii. La condición (3) se tiene para todo
.

Una configuración de pagos es un valor

de Shapley (NTU) para el juego si existe
, con
Valor de para todo , tal que:
Shapley NTU
(Shapley i.La condición (1) se tiene para todo
(1969)) .
ii. La condición (3) se tiene para todo
.
iii. La condición (2) se tiene para .
VALOR Dado un juego NTU, , un configuración de pagos
CONSISTENTE DE es un valor consistente (Maschler-Owen) para si
MASHCHLER Y existe un juego de hiperplano para , tal que
1 MONSALVE & ARÉVALO (2005).

12 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DEL JUEGO ] 13

enlace2

2. Glosario de términos 3. Bibliografía Contenido

 Conjunto compacto: Diremos que es compacto si es cerrado y acotado. es acotado si MONSALVE, S. & ARÉVALO, J. Un Curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.
existe un tal que para todo

 Conjunto convexo: es convexo si para todo Anterior

.

 Conjunto cerrado: es cerrado si { } n n .

 Hiperplano: En un espacio unidimensional (como una recta), un hiperplano es un punto: Siguiente

divide una línea en dos líneas. En un espacio bidimensional (como el plano ), un
hiperplano es una recta: divide el plano en dos mitades. En un espacio tridimensional, un
hiperplano es un plano corriente: divide el espacio en dos mitades. Este concepto
también puede ser aplicado a espacios de cuatro dimensiones y más, en los que estos
objetos divisores se llaman simplemente hiperplanos, ya que la finalidad de esta
nomenclatura es la de relacionar la geometría con el plano.

14 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DEL JUEGO ] 15