En la teoría de juegos cooperativos , el núcleo es el conjunto de asignaciones o imputaciones factibles donde ninguna coalición de agentes puede beneficiarse al separarse de la gran coalición. Se puede pensar que el núcleo corresponde a situaciones en las que es posible sostener la cooperación entre todos los agentes. Se dice que una coalición mejora o bloquea una asignación factible si los miembros de esa coalición pueden generar entre ellos más valor del que se les asigna en la asignación original. Como tal, esa coalición no está incentivada a permanecer en la gran coalición.
Se dice que una asignación está en el centro de un juego si no hay una coalición que pueda mejorarla. El núcleo es entonces el conjunto de todas las asignaciones factibles.
La idea del núcleo ya apareció en los escritos de Edgeworth (1881), en aquel momento denominado curva de contrato . [1] Aunque von Neumann y Morgenstern lo consideraron un concepto interesante, solo trabajaron con juegos de suma cero donde el núcleo siempre está vacío . La definición moderna de núcleo se debe a Gillies . [2]
Consideremos un juego cooperativo de utilidad transferible donde denota el conjunto de jugadores y es la función característica . Una imputación está dominada por otra imputación si existe una coalición , de modo que cada jugador prefiere débilmente ( por todos ) y existe alguien que prefiere estrictamente ( ), y puede imponerla amenazando con dejar que se forme la gran coalición ( ). El núcleo es el conjunto de imputaciones que no están dominadas por ninguna otra imputación. [3]
Una imputación está fuertemente dominada por otra imputación si existe una coalición , de modo que cada jugador prefiere estrictamente ( para todos ). El núcleo débil es el conjunto de imputaciones que no están fuertemente dominadas. [4]
Considere un grupo de n mineros que han descubierto grandes lingotes de oro. Si dos mineros pueden transportar una pieza de oro, entonces el beneficio de una coalición S es
Si hay más de dos mineros y hay un número par de mineros, entonces el núcleo consiste en el pago único donde cada minero obtiene la mitad. Si hay un número impar de mineros, entonces el núcleo está vacío.
El señor A y el señor B están tejiendo guantes. Los guantes son de talla única y dos guantes forman un par que se venden por 5 €. Cada uno ha fabricado tres guantes. ¿Cómo compartir el producto de la venta? El problema se puede describir mediante una función característica de un juego con la siguiente función característica: cada hombre tiene tres guantes, es decir, un par con un valor de mercado de 5 €. En conjunto tienen 6 guantes o 3 pares, teniendo un valor de mercado de 15€. Dado que las coaliciones singleton (que consisten en un solo hombre) son las únicas coaliciones no triviales del juego, todas las distribuciones posibles de esta suma pertenecen al núcleo, siempre que ambos hombres obtengan al menos 5 €, la cantidad que pueden lograr por sí solos. Por ejemplo (7.5, 7.5) pertenece al núcleo, pero también (5, 10) o (9, 6).
Por el momento, ignoremos las tallas de zapatos: un par se compone de un zapato izquierdo y otro derecho, que luego se pueden vender por 10 euros. Consideremos un juego con 2001 jugadores: 1000 de ellos tienen 1 zapato izquierdo, 1001 tienen 1 zapato derecho. El núcleo de este juego es algo sorprendente: consiste en una única imputación que da 10 a quienes tienen un zapato izquierdo (escaso) y 0 a quienes poseen un zapato derecho (sobreofertado). Ninguna coalición puede bloquear este resultado, porque ningún propietario del zapato izquierdo aceptará menos de 10, y cualquier imputación que pague una cantidad positiva a cualquier propietario del zapato derecho debe pagar menos de 10.000 en total a los demás jugadores, que pueden obtener 10.000 por su cuenta. . Entonces, hay sólo una imputación en el núcleo.
El mensaje sigue siendo el mismo, incluso si aumentamos las cifras mientras los zapatos izquierdos sean más escasos. El núcleo ha sido criticado por ser extremadamente sensible al exceso de oferta de un tipo de jugador.
Los equilibrios walrasianos de una economía de intercambio en un modelo de equilibrio general estarán en el centro del juego de cooperación entre los agentes. Gráficamente, y en una economía de dos agentes (ver cuadro de Edgeworth), el núcleo es el conjunto de puntos de la curva de contrato (el conjunto de asignaciones óptimas de Pareto) que se encuentran entre cada una de las curvas de indiferencia de los agentes definidas en las dotaciones iniciales.
Cuando las alternativas son asignaciones (lista de paquetes de consumo), es natural suponer que cualquier subconjunto no vacío de individuos puede bloquear una asignación determinada. Sin embargo, cuando las alternativas son públicas (como la cantidad de un determinado bien público), es más apropiado suponer que sólo las coaliciones que sean lo suficientemente grandes pueden bloquear una alternativa determinada. El conjunto de coaliciones tan grandes ("ganadoras") se denomina juego simple . El núcleo de un juego simple con respecto a un perfil de preferencias se basa en la idea de que sólo las coaliciones ganadoras pueden rechazar una alternativa en favor de otra alternativa . Una condición necesaria y suficiente para que el núcleo no esté vacío para todos los perfiles de preferencias se proporciona en términos del número de Nakamura para el juego simple.