Sunteți pe pagina 1din 15

2

Indice

Generalidades

Desarrollo Temático

Glosario

Juegos Coalicionales abc

Teoría de Juegos / Autor: Nilgen Vargas Garces


Bibliografía
enlace1

1. Mapa conceptual Contenido


 JUEGOS COALICIONALES

JUEGOS COALICIONALES
Anterior
JUEGOS COALICIONALES CON PAGOS TRANSFERIBLES
Núcleo
Conjuntos Estables
El Valor de Shapley
El valor de Banzhaf
Siguiente
El valor de Owen
SÍNTESIS DE CIERRE DE TEMA
ACTIVIDADES AUTO-EVALUATIVAS
1. JUEGOS
GLOSARIO COALICIONALES Configuración de
Juego Coalicional
BIBLIOGRAFÍA CON PAGOS Pagos
TRANSFERIBLES

- Colección
- Núcleo en un
balanceada de
juego coalicional
Núcleo - No vacuidad del
pesos
- Juego coalicional
núcleo
balanceado

Conjuntos Dominancia entre


configuraciones de Conjunto estable
estables pagos

El Valor de Axiomas Juegos simples


Shapley

El Valor de índice Banzhaf -


índice de Banzhaf variación Dubey y
Banzhaf Shapley

Estructura
El Valor de Owen coalicional Valor de Owen
anidada

2 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 3


enlace2

2. JUEGOS 3. Desarrollo temático


COALICIONALES Contenido
SIN PAGOS
3.1. Juegos coalicionales
TRANSFERIBLES
2. O
bjetivo En las cartillas anteriores vimos el tema de dos jugadores y suma cero, que se resuelve por la
Genera
El núcleo de solución minimax. Ahora veremos cómo después de esta teoría Von Neumann y Morgenstern Anterior
l
Núcleo un juego pasan a discutir juegos de tres jugadores y también con suma cero. Estos últimos juegos tienen
NTU una particularidad y es que los jugadores empiezan a percibir la necesidad de formar alianzas, lo
cual permite que se establezca cooperación entre los participantes del juego, conduciendo a la
realización de acuerdos.
Valores de Loa valores Los valores Siguiente
Harzanyi NTU y de Harzanyi de Shapley Von Neumann y Morgenstern inician revisando este tema llamado por ellos “dividiendo las
Shapley NTU NTU (1963) NTU (1969) dificultades”, lo que los llevaría a estudiar modelos simples en situaciones estratégicas y a la
teoría de la utilidad esperada, en la que se resume toda una distribución de probabilidad del
conjunto de alternativas posibles en un número.
Valor consistente
de Mashchler y
Owen (1992) Las oportunidades disponibles en cada coalición se describen mediante la función característica
definida sobre dichas coaliciones. La puede tomarse como cuánta utilidad puede repartirse
entre los miembros de la coalición.

La teoría de Von Neumann y Morgenstern indica que si y son coaliciones disjuntas, es decir,
Identificar interpretar y aplicar los modelos estratégicos coalicionales con y sin pagos.
no tienen ningún elemento en común, entonces
2.1. Competencias
( ) ( ) ( ) superaditividad
 Señala diferencias entre los modelos coalicionales con pagos y sin pagos.
 Domina los conceptos relacionados con los juegos coalicionales con pagos y sin pagos.
 Aplica los modelos estratégicos coalicionales con pagos transferibles. Actuando conjuntamente, los jugadores pueden conseguir al menos lo mismo que conseguirían
 Aplica los modelos estratégicos coalicionales sin pagos transferibles. actuando por separado.

4 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 5


Características del juego: Contenido
Definición 1. Juego Coalicional (von Neumann y Morgenstern)
1. Las utilidades de cada jugador pueden medirse en un medio de cambio que los
jugadores pueden intercambiar entre sí (por ejemplo el dinero). Al igual que en los Un juego coalicional (o cooperativo) es un par ( ) donde { }
juegos de suma cero de dos jugadores, aquí la utilidad de una unidad para un jugador es el conjunto finito de jugadores y es la función característica,
indica la pérdida de la misma unidad para otro jugador. Lo que importa, así, es el pago o ( ) Anterior
utilidad de la coalición en su conjunto y no lo que recibe alguno de sus jugadores de
satisfaciendo la condición de superaditividad. Aquí ( ) es el conjunto
forma particular.
“partes de N”, o el conjunto de todos los posibles subconjuntos de N.
2. El pago o utilidad que recibe una coalición solo está determinado por los jugadores que
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.
pertenecen a ella, no por los que no pertenecen a la misma.
3. Las coaliciones hacen acuerdos sobre cómo distribuirán las utilidades del juego. Siguiente
Ahora veamos un ejemplo en el que se ilustra la bancarrota de una empresa en la que existen
A estos juegos se les conoce como “juegos de utilidad transferible” (“Transferible Utility”, TU). tres proveedores a los que se les debe dinero por un total de $180, pero la empresa solo tiene
activos valorados en 150. A losa acreedores se les debe $50, $60 y $70, respectivamente; se
Existen factores sociales, históricos o institucionales que no hacen parte de la función trabajará bajo el supuesto de que se puede tomar el control de la empresa por ellos, así el que
característica, pero que hacen que se presenten multiplicidad de soluciones. Estos detalles que tome el control de la empresa debe pagar a los otros dos acreedores lo que se les adeuda y
aun no son modelados, son un tema de investigación para poder no solo describir sino quedarse con el resto. De esta manera, si el acreedor 1 toma el control, le quedará un pago de
comprender mejor todos estos aspectos inherentes a los juegos coalicionales. $20 luego de pagar a 2 y 3; por su parte, si el acreedor 2 toma el control, le quedará un pago de
$30; y si el jugador 3 toma el control, le quedará un pago de $40. Pero recordemos que se
JUEGOS COALICIONALES CON PAGOS TRANSFERIFLES pueden manejar alianzas que mejoren los pagos recibidos, así, si los acreedores 1 y 2 deciden
tomar el control les quedarían $80 para repartir entre ellos; si 1 decide aliarse con el acreedor 3,
En los juegos con pagos transferibles ( ), la función asigna a cada coalición “ ” un número les quedarían $90 para repartir; y si la alianza se da entre el acreedor 2 y el acreedor 3, tendrían
real ( ) que representa el pago monetario o el valor de la coalición. $100 para repartir. Por último, si la alianza se da entre los tres deben repartir el total de los
activos ($150) entre los tres.
Propiedades de la función

 Superaditividad: La función es superaditiva si los jugadores pertenecientes a una coalición


reciben una utilidad o pago al menos de lo que recibirían en cualquier subcoalición, es decir:

( ) ( ) ( ) si

 Suma constante: El valor de una coalición y el valor del complemento siempre suman una
cantidad fija o constante perteneciente a los números reales.

6 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 7


La función de este juego puede expresarse de la siguiente manera: Contenido
De ahora en adelante buscaremos soluciones a los juegos o “indicadores”. Para los juegos
( ) analizados en esta cartilla no solo será necesario buscar los pagos, sino que, adicionalmente,
( ) satisfagan unas características deseables. Veamos algunos conceptos importantes.
( )
( ) Núcleo1 Anterior
( )
( ) El núcleo es uno de los principales indicadores para definir pagos en los juegos coalicionales, y
( ) determina el conjunto de configuraciones del juego que deja satisfechas a todas las coaliciones,
teniendo en cuenta sus características y dentro de sus posibilidades.
Siguiente
Definición 2. Configuración de pagos
Podemos entender el núcleo “como una extensión coalicional del concepto de equilibrio de
Una configuración de pagos para un juego coalicional ( ), en la que Nash; es decir, una configuración de pagos pertenece al núcleo si no hay ninguna coalición que
{ }, es un vector tal que ∑ ( )y ( ) para mejore cambiando su statu quo coalicional actual” (MONSALVE, S. & ARÉVALO, J. 2005: 170).
todo . Aquí, donde la componente de es el pago (en utilidad)
correspondiente al jugador ( ). Definición 3. Bloquear una configuración de pagos
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.
En un conjunto coalicional con pagos transferibles ( ) una configuración
de pagos es bloquedada por una coalición si, y solo si,
Este juego podremos representarlo gráficamente a través de la gráfica del espacio de ∑ ( ).
configuraciones de pagos posibles (muy utilizada en la representación de juegos coalicionales).
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.
3
Definición 4. Núcleo en un juego coalicional
El núcleo, en un juego coalicional con pagos transferibles, es un conjunto de
configuraciones de pagos tal que no existe ninguna coalición que las
1/3 bloquee. Es decir, pertenece al núcleo si, y solo si, ∑ ( ) para
todo .
1 2
Observemos que la condición de un núcleo es, entonces, un criterio de
Figura 1 estabilidad coalicional.
De tal manera, cada una de las esquinas representa el pago que recibiría cada acreedor si Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.

decidiera tomar el control de la compañía. Todos los puntos en el triángulo representan las
posibles divisiones de los activos y el centro del triángulo correspondería al valor de los activos
dividido en 3, es decir, donde cada jugador se queda exactamente con 1/3.

1 Edgeworth (1881), Gillies(1959) y Shapley (1967).

8 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 9


Continuemos con el ejemplo de la bancarrota. El núcleo de este juego sería el conjunto de Contenido
vectores ( ) que satisfacen: Pertenecer a una coalición con asignaciones dentro del grupo permite obtener un mayor pago al
jugador que menos pago obtiene si actúa individualmente. Para el caso, es el jugador 1, ya que
es el que menos participación tiene en la deuda de la compañía. Una manera de repartir los
activos de la compañía podría ser repartir a cada acreedor una suma proporcional a la deuda
que la empresa tiene con ellos, es decir, ( ) para el acreedor 1, para el Anterior
acreedor 2 sería ( ) y para el acreedor 3 sería ( ) , lo que en
resumen sería ( ), asignación que pertenece al núcleo de este juego. Si, por el
contrario, decidieran repartir en partes iguales, cada uno obtendría $50, situación que se
Este conjunto de pagos se puede observar en la siguiente figura representado en el área del encuentra fuera del núcleo y que, por lo tanto, no cumple con las exigencias de al menos uno de Siguiente
triangulo sombreado al interior de la misma: los jugadores.
3 𝑣𝑣( )
𝑣𝑣( ) Veamos otro ejemplo en el que tres hermanos deben repartir una suma de $100 entre ellos,
Núcleo del Juego para lo cual solo es necesario que dos de ellos se pongan de acuerdo (Mayoría Simple). Si no
logran ponerse de acuerdo, todos recibirían cero.
𝑣𝑣( )
𝑣𝑣( ) Función característica del juego:

1 2
( )
𝑣𝑣( ) 𝑣𝑣( ) ( )
( ) Entonces, para que una
Figura 2 ( ) asignación pertenezca al
( ) Núcleo
La figura implica lo siguiente: la punta inferior izquierda indica cuando el jugador 1 obtiene un ( )
pago de $150 y los otros jugadores de cero (100,0,0); la línea inferior indica todas las posibles ( )
combinaciones de pagos si se reparten los $150 entre el acreedor 1 y el acreedor 2, dejando al
acreedor 3 sin nada. En todos los puntos al interior del triángulo se indican pagos positivos para En este caso, no existe una asignación que satisfaga estas restricciones, por lo tanto,
los tres jugadores. Las líneas rectas representan las condiciones que se deben cumplir para identificamos el núcleo como vacío. Queda vacío el núcleo debido a que ante cualquier
pertenecer al núcleo, es decir, representan los pagos que aceptarían los jugadores al hacer propuesta de repartir los $100, uno de los jugadores puede tratar de hacer alianza con otro para
parte de una coalición. Si la coalición se realiza entre los jugadores 1 y 2, éstos pondrán una mejorar su pago, proponiéndole una nueva coalición. Éste, a su vez, puede intentar hacer una
condición para ser aceptada la asignación: que el pago se ubique por debajo de la línea ( ); coalición con el otro jugador, y así indefinidamente, razón por la cual no existe una estabilidad
si la alianza se realiza entre los jugadores 2 y 3, la condición sería que la asignación esté a la en la configuración de los pagos.
derecha de la línea ( ); por su parte, si la coalición ocurre entre los jugadores 1 y 3, la
condición sería que la asignación se encuentre a la izquierda de la línea denotada ( ) Lo
anterior indica que el área de color azul ocurre después de satisfacer las exigencias de cada una
de las coaliciones.

10 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 11


𝑣𝑣( )

Podemos ver la aplicación de esta definición al juego de la mayoría simple, en el que tres Contenido
𝑣𝑣( )
𝑣𝑣( ) hermanos deben repartir $100 pero deben ponerse de acuerdo al menos dos de ellos:

() para todo { },
Función característica
Figura 3 ( ) ( ) ( ) ( ) Anterior

No Vacuidad del Núcleo


Posible colección balanceada de pesos
En el último ejemplo planteado de los tres hermanos o de mayoría simple, veíamos que el
núcleo es vacío debido a que no existe una asignación que satisfaga las condiciones de Siguiente
para { }
pertenencia al núcleo. El problema aquí es que cualquier asignación posible deja insatisfecha
alguna coalición, ya que no se cumple con todas las condiciones de pertenencia al núcleo. Lo para { }{ }{ }
anterior lleva a plantear las condiciones en que el núcleo es no-vacío, o las condiciones que { en cualquier otro caso
garantizan estabilidad coalicional en el juego. La lectura sería la siguiente: cada jugador dedica la mitad de su tiempo disponible en la coalición
donde se encuentran los tres hermanos y un cuarto de su tiempo a las dos coaliciones restantes
Definición 5. Colección Balanceada de Pesos a las que pertenece. Pueden existir varias colecciones balanceadas de pesos para un juego, así:

Si ( ) un conjunto coalicional , y sea el conjunto de las


coaliciones. para { }
i. Para toda coalición se define su vector característico por
para { }{ }{ }
, donde:
{ en cualquier otro caso
( ) {

ii. Una colección de números ( ) en [ ] es una colección para { }


balanceada de pesos si para cada jugador , la suma de sobre
todas la coaliciones que contienen a es 1, esto es ∑ . para { }{ }{ }

Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.
{ en cualquier otro caso

Luego de definir la colección balanceada, se dice que la coalición permanecerá activa por un
La anterior definición no implica más que incluir en el juego una característica: que cada jugador periodo de tiempo y, a su vez, para que esto ocurra, cada jugador debe permanecer esta
tiene un periodo de tiempo determinado (una hora) y que debe distribuir este tiempo para cantidad de tiempo en esa coalición.
mantenerse en cada coalición por un espacio de ( ). Ésta sería la manera como el
jugador contribuye con una magnitud ( ) de su tiempo, lo cual llamamos “una colección
balanceada de pesos”.

12 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 13


Definición 6. Juego Coalicional Balanceado Propiedades de los conjuntos de configuraciones de pagos: Contenido
Un juego coalicional con pagos transferibles ( ) es balanceado si para 1. Ninguna configuración de pagos en la solución será dominada por otra configuración en
toda colección balanceada de pesos ( ) ,
la solución.
∑ ( ) ( ) 2. Toda configuración de pagos que no hace parte de la solución es dominada por alguna
configuración de pagos en la solución. Anterior
Un juego coalicional es balanceado si la suma de los pagos de las
coaliciones, ponderadas por el periodo de tiempo que permanecen activas,
Definición 7. Dominancia Entre Configuraciones de Pagos
no es mayor al pago de la gran coalición, independientemente de la
colección balanceada de pesos. En el juego ( ) , la configuración de pagos ( ) domina a la
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005. configuración de pagos ( ) si existe una coalición tal que Siguiente
para todo ,y∑ ( ).
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.

Teorema 1. Bondareva (1963), Shapley (1967)


Un juego coalicional con pagos transferibles tiene un núcleo no vacío si, y Estabilidad interna: Un conjunto “estable” es un conjunto de configuraciones para las cuales no
solo si, es balanceado. existe una configuración que tenga alguna objeción al respecto.
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.

Estabilidad externa: Para cada configuración denominada como NO estable, existirá al menos
una coalición que tenga una objeción.

Conjuntos Estables2
Definición 8. Conjunto Estable
Von Neumann y Morgenstern definen como solución de un juego todas esas reglas que le Un subconjunto del conjunto de configuraciones de pagos del juego
indican a un jugador cómo comportarse en situaciones que surjan del juego: “Si una alianza coalicional con pagos transferibles ( ) es un conjunto estable (en el
particular se forma realmente, las otras están presentes en una existencia “virtual”: aunque ellas sentido de Von Neumman y Morgenstern) si satisface:
no se hayan materializado, han contribuido de manera escencial a darle forma y determinar la a. Estabilidad interna: Ninguna configuración de pagos en es
realidad actual” (Von Neumann y Morgenstern 1944: p.36). dominada por otra configuración de pagos en , es decir, “en nadie
domina a nadie”.
b. Estabilidad externa: Cualquier configuración de pagos fuera de es
dominada por alguna configuración de pagos en , es decir, “al
interior de siempre es posible contrarrestar las objeciones
externas”.
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.

2 Von Neumann y Morgenstern (1944).

14 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 15


Características de los conjuntos estables El valor de Shapley3 Contenido

 El núcleo es un subconjunto de todo conjunto estable. En los juegos coalicionales analizados hasta el momento, vemos que no existe una metodología
 Ningún conjunto estable es un subconjunto de otro conjunto estable. que permita calcular conjuntos estables. Adicionalmente, las cosas empiezan a complicarse
 Si el núcleo es un conjunto estable, entonces es el único conjunto estable. cuando el número de jugadores es grande, razón por la cual se hace necesario establecer un
 Los conjuntos estables son óptimos de Pareto. método que permita calcular la solución del juego de forma fácil y general. Anterior

Volvamos nuevamente al juego de mayoría simple. Ya se analizó que el núcleo de este juego es Es así como Lloyd Shapley, en 1953, introduce un concepto de solución en la Teoría de juegos
vacío y que, sin embargo, existen múltiples conjuntos estables y uno que, en particular, es cooperativos. Para cada juego cooperativo se asigna un único reparto del total de ganancia o
simétrico: beneficio generado por la coalición de todos los jugadores. Adicionalmente, Shapley consideró
que se deben cumplir los siguientes axiomas: Siguiente
{( ) ( ) ( )}
 Simetría: Que no dependa de las denominaciones.

( ) ( ) para todo entonces ( ) ( ), donde ( )


( { }) ( )
( ) ( )
En pocas palabras, que cada jugador reciba el mismo pago si la contribución marginal de
cada uno de ellos a la coalición es igual.

( )  Eficiencia: Que la suma de los valores de los jugadores sea igual al valor de la gran
coalición.
∑ ( ) ( )

Figura 4
 Linealidad: Si “ ” es el valor de Shapley para el juego , e “ ” el valor de Shapley para el
En este caso, las únicas configuraciones que pueden objetar alguna configuración del conjunto juego , entonces el valor de Shapley para el juego ( ) es el vector .
estable son las de dos o más jugadores. Pero para cada configuración de pagos solo uno de los
jugadores estará interesado en objetar, dándose así la estabilidad interna en este conjunto. Por
otra parte, en toda configuración de pagos fuera del conjunto estable hay al menos dos
jugadores que obtienen menos de 1/2, por lo tanto, hay una configuración de pagos que
domina a la configuración que se encuentra fuera del conjunto estable. De esta manera, el
conjunto estable también cumple la condición de estabilidad externa.

3 Shapley (1953).

16 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 17


Teorema 2. El valor de Shapley En el caso del ejercicio trabajado de la Mayoría Simple, se tiene la siguiente tabla con las Contenido
órdenes y distribuciones o aportes marginales de cada hermano:
Existe un único valor (el valor de Shapley) que satisface los axiomas de
eficiencia, simetría y linealidad, y está dado por la siguiente expresión:
| | (| | | | )
∑ ( ( { }) ( )
{}
| | Anterior
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.

Para calcular el valor de Sapley de un juego, se puede utilizar una tabla en la que se registren
todos los | | órdenes posibles y el valor de cada una de las contribuciones marginales de los
Siguiente
jugadores. Veamos cómo quedaría construida la tabla para el juego de la Bancarrota, en el cual
existen 3! órdenes posibles:
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá:
Externado, 2005, p. 184.

Juegos simples

En los juegos simples, cada coalición puede conseguir o no un resultado. Si una coalición
consigue el resultado, la denominaremos “activa” o “ganadora”; si no lo consigue, se
denominará “inactiva” o “perdedora”.

Un ejemplo podría ser la votación de una propuesta en el Concejo, en la que se debe votar por
un proyecto. Si la coalición (conjunto de concejales) logra que el proyecto sea votado, sería
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: activa y su pago sería de 1. Por el contrario, si el grupo de concejales no es suficiente para votar
Externado, 2005, p 184. la propuesta, la coalición se denominaría inactiva:

( ) {
donde :

Coalición (Grupo de Concejales).

18 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 19


El valor de Banzhaf4 Definición 9. Estructura Coalicional Anidada Contenido

El índice de Banzhaf fue creado para poder resolver, esencialmente, temas electorales y está Sea el conjunto de subconjuntos de N diferentes de vacío; es una
estructura coalicional anidada si, y solo si, es un subconjunto de y para
basado en la idea de oscilación. todo , y para todo , si entonces, .
si
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.
{ } es una oscilación ganadora y no lo es Anterior

( { } ) es una oscilación para


Veamos un ejemplo de estructura coalicional anidada:

En un juego ( ) denotaremos:
{ } { } { } { }
Siguiente
( ) total de oscilaciones para en el juego
Entonces:
( ) índice de Banzhaf
Para cada jugador, el índice de
poder está determinado por el { } s una estructura coalicional anidada.
( )
( ) número de oscilaciones { { } { }} s una estructura coalicional anidada.
∑ ( )
individuales y por el número { } N es una estructura coalicional anidada.
total de oscilaciones

14 años después, Dubey y Definición 10. Ordenamiento - permisible


( )
( ) Shapley sugieren una
Para una estructura - permisible es un ordenamiento de los jugadores en
modificación al índice tal que para toda unión y todo en , todos los jugadores en
medio de pertenecen a .
Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.

El valor de Owen
Definición 11. Valor de Owen
En el valor de Shapley se asume que las coaliciones tienen la misma probabilidad de formarse,
pero lo cierto es que en la realidad unas coaliciones son más fáciles de formarse que otras. Sea ̃( ) el conjunto de todos los jugadores que preceden a en un
ordenamiento – permisible. El valor de Owen ( ) para el jugador es el
Siguiendo a Hart y Kurz (1983), podemos decir que “el objetivo del valor de Owen es extender la
valor esperado de ( ̃( ) ) ( ̃( )), donde todos los ordenamientos –
noción de Shapley a juegos en los cuales los jugadores previamente están organizados en
uniones”. Es decir, que la formación de algunas coaliciones está determinada por variables permisibles son igualmente probables.
exógenas como las culturales, legales, geográficas y religiosas, entre otras, para lo cual se Fuente: MONSALVE Sergio, ARÉVALO Julián. Un curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.

incluyeron las siguientes definiciones.

4 Banzhaf (1985)

20 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 21


Contenido
SÍNTESIS DE CIERRE DEL TEMA ii. Una colección de números ( ) en
[ ]es una colección balanceada de
pesos si para cada jugador , la suma de
sobre todas la coaliciones que
TEMA SUBTEMA DEFINICIÓN contienen a es 1, esto es ∑
Un juego coalicional (o cooperativo) es un par . Anterior
( ) donde { } es el conjunto Un juego coalicional con pagos transferibles
finito de jugadores y es la función ( ), es balanceado si para toda colección
característica, balanceada de pesos ( ) ,
( )
Definición ∑ ( ) ( )
satisfaciendo la condición de superaditividad.
Aquí ( ) es el conjunto “partes de N”, o el Juego Siguiente
Un juego coalicional es balanceado si la suma
JUEGO Coalicional
conjunto de todos los posibles subconjuntos de de los pagos de las coaliciones, ponderadas por
COALICIONAL CON balanceado
N. el periodo de tiempo que permanecen activas,
PAGOS
TRANSFERIBLES no es mayor al pago de la gran coalición
Una configuración de pagos para un juego
coalicional ( ), donde { }, es un (independientemente de la colección
vector tal que ∑ ( ) y balanceada de pesos).
Configuración
( ) para todo . Aquí, donde la 1. Ninguna configuración de pagos en la
de pagos
componente de es el pago (en utilidad) solución será dominada por otra
correspondiente al jugador ( ). Propiedades de configuración en la solución.
los conjuntos
2. Toda configuración de pagos que no
El núcleo determina el conjunto de de
hace parte de la solución es dominada
configuraciones del juego que deja satisfechas configuraciones
de pagos por alguna configuración de pagos en la
Definición a todas las coaliciones, teniendo en cuenta sus
solución.
características y dentro de sus posibilidades.
En el juego ( ), la configuración de pagos
El núcleo en un juego coalicional con pagos Dominancia
( ) domina a la configuración de pagos
transferibles es un conjunto de configuraciones CONJUNTOS entre
Núcleo en un ( ) si existe una coalición tal que
NÚCLEO de pagos tal que no existe ninguna coalición ESTABLES configuraciones
juego para todo ,y∑ ( ).
que las bloquee. Es decir, pertenece al núcleo de pagos
Coalicional
si, y solo si, ∑ ( ) para todo . Un subconjunto del conjunto de
configuraciones de pagos del juego coalicional
Si ( ) un conjunto coalicional , y sea el con pagos transferibles ( ) es un conjunto
conjunto de las coaliciones. Definición de estable (en el sentido de Von Neumman y
Colección Conjunto Morgenstern) si satisface:
Balanceada de i. Para toda coalición se define su Estable
Pesos vector característico por , a. Estabilidad interna: Ninguna
donde: configuración de pagos en es
( ) { dominada por otra configuración de

22 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 23


pagos en , es decir, “en nadie Shapley para el juego , entonces el Contenido
domina a nadie”. valor de Shapley para el juego ( )
b. Estabilidad externa: Cualquier es el vector .
configuración de pagos fuera de es
dominada por alguna configuración de
Existe un único valor (el valor de Shapley) que
pagos en , es decir, “al interior de
satisface los axiomas de eficiencia, simetría y Anterior
siempre es posible contrarrestar las
linealidad, y está dado por la siguiente
objeciones externas”.
El valor de expresión:
 El núcleo es un subconjunto de todo Shapley
| | (| | | | )
conjunto estable. ∑ ( ( { }) ( )
| |
 Ningún conjunto estable es un {} Siguiente
subconjunto de otro conjunto estable.
En los juegos simples, cada coalición puede
Propiedades de  Si el núcleo es un conjunto estable,
los Conjuntos conseguir o no un resultado. Si una coalición
entonces es el único conjunto estable.
Estables consigue el resultado, la denominaremos
 Los conjuntos estables son óptimos de Juegos Simples
“activa” o “ganadora”; si no lo consigue, se
Pareto.
denominará “inactiva” o “perdedora”.
Adicionalmente, Shapley consideró que se
Para cada jugador, el índice de poder está
deben cumplir los siguientes axiomas:
determinado por el número de oscilaciones
individuales y por el número total de
 Simetría: Que no dependa de las Índice de oscilaciones:
denominaciones. Banzhaf
( )
EL VALOR DE ( )
( ) ( ) para todo entonces ∑ ( )
BANZHAF
( ) ( ), donde ( )
( { }) ( ) Índice de 14 años después, Dubey y Shapley sugieren una
EL VALOR DE En pocas palabras, que cada jugador Banzhaf modificación al índice:
Axiomas modificado por ( )
SHAPLEY reciba el mismo pago si la contribución ( )
Dubey y
marginal de cada uno de ellos a la Shapley
coalición es igual. Siguiendo a Hart y Kurz (1983): “el objetivo del
 Eficiencia: Que la suma de los valores de Objetico del valor de Owen es extender la noción de
los jugadores sea igual al valor de la valor de Owen Shapley a juegos en los cuales los jugadores
gran coalición. EL VALOR DE previamente están organizados en uniones”.
OWEN Sea el conjunto de subconjuntos de N
∑ ( ) ( ) Estructura
diferentes de vacío, es una estructura
coalicional
 Linealidad: Si “ ” es el valor de Shapley coalicional anidada si, y solo si, es un
anidada
para el juego , e “ ” el valor de subconjunto de y para todo , y para

24 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 25


todo , si entonces, b. Suponga ahora que, para tomar una decisión, nuestros tres compañeros de Contenido
o . apartamento nuevamente acuerdan que deberían tomarse por mayoría, pero
que en esta mayoría tendría que estar Daniela. Desarrolle nuevamente el
Para una estructura - permisible es un enunciado a y explique por qué cambian los resultados. Para esto, haga
Ordenamiento ordenamiento de los jugadores en tal que referencia a la función característica y a la colección balanceada de pesos.
- permisible para toda unión y todo en , todos los
jugadores en medio de y pertenecen a . 3. Tres jueces deben decidir si el sospechoso de un delito es culpable o inocente. Si la mayoría Anterior
está de acuerdo en alguna decisión, ésta es llevada a cabo, mientras que si están en total
Sea ̃( ) el conjunto de todos los jugadores que desacuerdo no pueden decidir nada. Modele esta situación como un juego cooperativo
preceden a en un ordenamiento – simple en el que el pago de una coalición es 1 si sus miembros logran culpar o perdonar al
permisible. El valor de Owen ( ) para el sospechoso, y cero en caso contrario.
El valor de jugador es el valor esperado de ( ̃( ) ) Siguiente
Owen 4. Considere un juego coalicional con pagos transferibles con cuatro jugadores en el que la
( ̃( )), donde todos los ordenamientos –
función característica viene dada por:
permisibles son igualmente probables.
 () para todo { }
 ( ) ( ) ( ) ( )
5
ACTIVIDADES AUTO-EVALUATIVAS  ( ) ( )
 ( ) ( ) ( )
1. Un avión que solo transporta a tres miembros del gobierno es atacado por un secuestrador.  ( ) ( )
Cada uno de ellos tiene dos opciones: “atacar” o “no atacar” al secuestrador, y a su vez
saben que si al menos dos de ellos atacan al secuestrador lograrán neutralizarlo a. Calcule el núcleo de este juego.
b. Calcule el valor de Shapley de este juego.
consiguiendo la libertad, a la cual le asignan un pago de 4. Si los tres atacan, no reciben
ninguna herida; mientras que si sólo dos de ellos atacan, reciben heridas por un valor de -2. c. Suponga ahora que v(1,2,3) = 1. Caracterice el núcleo de este juego y muestre
Si sólo uno ataca, recibe heridas por valor de -6 y ninguno consigue la libertad. Si ninguno que todas las asignaciones del núcleo para el jugador 1 son estrictamente
ataca, quedan como prisioneros, sin heridas, en cuyo caso sus pagos son de -1 para cada mejores que las del núcleo del juego original.
uno: d. Calcule el valor de Shapley para el nuevo juego.

a. Encuentre la función característica de este juego coalicional. 5. Para el ejemplo de estructura legislativa de múltiples cámaras, encuentre el valor de Owen
para las estructuras coalicionales en que:

b. Encuentre el núcleo de este juego. a. Encuentre la función característica de este juego y establezca el núcleo.
2. Tres compañeros de apartamento (Daniela, Juan y Carlos), establecieron que las decisiones b. Suponga ahora que uno de los expedicionarios debe quedarse en casa, luego la
con respecto a gastos y asignación de labores domésticas se tomarían si 2 de ellos estaban expedición es sólo de 3 personas. Establezca la nueva función característica y
de acuerdo en cómo hacerlo. Como todos estudian y trabajan, solo destinan 1 día de la núcleo del juego.
semana a la discusión de éstos; cada uno de ellos comparte 1/4 del tiempo de su día libre c. Generalice los resultados de a y b para jugadores, especificando si es par o
con cada uno de sus compañeros, y la otra mitad con los dos simultáneamente: impar.
Nota: Estos ejercicios son planteados para autoevaluación y no tienen valor en nota, pero
a. Determine la función característica, la colección balanceada de pesos y, con base ayudan al desarrollo de destreza en la solución de juegos según los temas vistos. Los ejercicios
en éstas, muestre que el núcleo es vacío. son tomados del libro Un curso de teoría de juegos clásica de Sergio Monsalve y Julián Arévalo
(2005). Allí encontrará más ejercicios para resolver.
5 MONSALVE S. & ARÉVALO, J. (2005).

26 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 27


enlace3

4. Glosario de términos 5. Bibliografía Contenido


 Coalición: Grupo de jugadores que puede tomar decisiones conjuntas para favorecerse MONSALVE, S. & ARÉVALO, J. Un Curso de Teoría de Juegos Clásica. Bogotá: Externado, 2005.
entre todos como sistema en un juego en particular.
GARCÍA, R. Juegos Creativos, Valor de Shapley y Teorema de Negociación de Nash. En:
 Gran coalición: Dado un conjunto de jugadores, una coalición es cualquier . Se
llama gran coalición a la coalición . http://www.osinergmin.gob.pe/newweb/uploads/Estudios_Economicos/Rgarcia%202004%20Ju Anterior
egos%20Cooperativos%20y%20Valor%20de%20Shapley.pdf (Consultada el 30 de agosto de
 Coalición nula: Dado un conjunto de jugadores, una coalición es cualquier . Se 2014).
llama coalición nula al conjunto vacío .

 Conjunto disjunto: En matemáticas, dos conjuntos son disjuntos si no tienen ningún Siguiente
elemento en común. Equivalentemente, dos conjuntos son disjuntos si su intersección es
vacía. Por ejemplo: { }y{ } son conjuntos disjuntos.

 Óptimo de Pareto: El término recibe su nombre a partir del economista italiano Vilfredo
Pareto, quien utilizó este concepto en sus estudios sobre eficiencia económica y
distribución de la renta.

Dada una asignación inicial de bienes entre un conjunto de individuos, un cambio hacia
una nueva asignación que al menos mejora la situación de un individuo sin hacer que
empeore la situación de los demás se denomina mejora de Pareto. Una asignación se
define como "pareto-eficiente" o "pareto-óptima" cuando no pueden lograrse nuevas
mejoras de Pareto.

 Simetría: En condiciones formales, un objeto es simétrico en lo que concierne a una


operación matemática dada si el resultado de aplicar esa operación o transformación el
objeto es un objeto indistinguible en su aspecto del objeto original. Dos objetos son
simétricos uno al otro en lo que concierne a un grupo dado de operaciones si uno es
obtenido de otro por algunas operaciones (y viceversa).
 Superaditividad: En matemáticas, una secuencia { } es llamada superaditiva si
satisface la siguiente inecuación para todo valor de y :

28 [ POLITÉCNICO GRANCOLOMBIANO] [ TEORÍA DE JUEGOS ] 29

S-ar putea să vă placă și