Ochocientos participantes salen al mercado. Cada uno lleva una lista: con quién le gustaría emparejarse. El objetivo es dividirse en parejas de tal modo que luego nadie quiera renegociar. En matemáticas, esto se conoce como el problema de los emparejamientos estables, y sus raíces se remontan al trabajo de John von Neumann. Él describió un «club de alianzas selectas»: un conjunto especial de parejas que satisface a todos. Pero cómo armar exactamente ese club fue durante mucho tiempo un misterio.
Ahora tenemos la respuesta: basta con limpiar las listas de preferencias. Primero se eliminan las parejas que se estorban entre sí, algo parecido a sacar de la maleta las prendas que no combinan. Luego se retiran las parejas que impiden mejorar la situación de muchos a la vez. Después de esta doble limpieza, queda una lista reducida, un auténtico espejo colectivo de los deseos. Resulta que en esa lista recortada se esconde precisamente el club de los elegidos.
La conclusión principal: el club de los elegidos son exactamente aquellas parejas que no son superadas por ninguna otra en la lista reducida. Cualquier alianza fuera del club siempre pierde frente a alguna del club, y para darse cuenta de ello bastan como máximo tres pasos. Es decir, en lugar de analizar millones de opciones, basta con aplicar dos sencillos procedimientos de limpieza. Este enfoque borra las fronteras entre distintas visiones de la estabilidad y proporciona un algoritmo práctico para la optimización en ámbitos muy diversos: desde los mercados en red hasta los sistemas dinámicos, donde los propios agentes derivan hacia el consenso. Los ochocientos participantes pueden estar tranquilos: su club es predecible.
Una herramienta matemática que antes se aplicaba solo al núcleo más estricto se usa aquí por primera vez para cualquier conjunto estable. Esto permitió trocear el mercado y simplificar el problema.