Documente Academic
Documente Profesional
Documente Cultură
Indice
Generalidades
Desarrollo Temático
Glosario
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
Estructura
El Valor de Owen coalicional Valor de Owen
anidada
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.
( ) ( ) ( ) 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.
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 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.
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
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”.
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.
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.
( ) 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).
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 :
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
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
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.
4 Banzhaf (1985)
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).
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.