El club de las alianzas selectas: la receta de la estabilidad de von Neumann ✛

Ochocientos participantes —empresas y trabajadores— entran al mercado. Cada uno tiene en mente una lista rígida de preferencias. El objetivo: emparejarse de modo que a nadie le apetezca rehacerlo todo. En matemáticas, esto se llama juego cooperativo con prohibición de alianzas repetidas, y sus raíces se remontan a los trabajos de John von Neumann y Oskar Morgenstern. Ellos describieron los conjuntos estables, una especie de club de alianzas selectas al que solo se admiten distribuciones especiales de parejas. Pero qué exactamente entra en ese club fue un misterio durante mucho tiempo.

Entrar al club no es fácil. Se necesitan dos cualidades: estabilidad interna (los miembros del club no se derrocan entre sí) y externa (cualquier outsider pierde frente a alguien del club). En el lenguaje de la teoría, esto es el conjunto estable de von Neumann-Morgenstern. Los investigadores se preguntaron: ¿se puede describir este club sin enumerar innumerables combinaciones? La respuesta resultó elegante: basta con tachar de la lista de preferencias todas las parejas sin futuro. El primer procedimiento, esencialmente de optimización, se apoya en la estructura reticular del núcleo: el conjunto de distribuciones sin coaliciones mejoradoras. Eliminando sucesivamente las opciones incompatibles, conserva solo aquellas relaciones que no rompen el panorama de dominancia. El segundo procedimiento, orientado a la eficiencia, filtra las «parejas-interruptoras» que obstaculizan las mejoras de Pareto. La combinación de ambas limpiezas produce el perfil reducido P* —un espejo colectivo de los vínculos de dominancia.

Resultado principal: el conjunto estable es único y coincide exactamente con el núcleo del perfil P*. En otras palabras, el club de los selectos es precisamente el conjunto de todos los resultados no dominados en el juego reducido. El sistema de vínculos de dominancia está estructurado de tal modo que cualquier resultado fuera del club es derrotado por uno de sus miembros, y el camino hasta allí no requiere más de tres pasos. Ahorro: para encontrar las parejas estables no hace falta enumerar subconjuntos; basta con aplicar dos procedimientos simples y tomar el núcleo.

El descubrimiento borra la frontera entre las visiones cooperativa y estructural de la estabilidad. Las relaciones de dominancia ahora se vinculan con la geometría reticular. Además de la teoría, surge un algoritmo práctico para la asignación de órganos de donantes, la elección de escuela y los mercados en red. Y en perspectiva, la extensión del método a los mercados de «muchos a uno» y el estudio de sistemas dinámicos, donde los agentes con toma de decisiones descentralizada derivan autónomamente hacia la estabilidad. La estimación de tres pasos sugiere que tal proceso converge rápidamente. Así que los ochocientos participantes pueden estar tranquilos: su club es predecible.