Cuando dos hermanos dividen un pastel, los herederos reparten una finca o los compañeros de piso distribuyen dormitorios y alquiler, emerge la cuestión de la justicia (equidad).
La sabiduría popular enseña el protocolo: «Uno corta, el otro elige (Cut and Choose)». Quien corta busca la igualdad perfecta para protegerse, y quien elige toma su porción favorita.
Pero ¿cómo proceder con tres o más personas? ¿Y qué sucede si el pastel tiene chocolate en un lado y fresas en el otro, con comensales de preferencias muy asimétricas? Un corte geométricamente simétrico enfurecerá a quien detesta las fresas.
¿Es posible diseñar un procedimiento matemático que garantice que todos queden satisfechos y nadie envidie la porción de otro?
Este es el desafío de la teoría de la división justa (Fair Division) o problema del corte de pastel (Cake-Cutting Problem). Planteado formalmente por Hugo Steinhaus en los años 40, este campo combina teoría de la medida, topología (lema de Sperner), algoritmos y diseño de mecanismos. En 2016, Haris Aziz y Simon Mackenzie lograron un hito al publicar el primer algoritmo finito acotado libre de envidia para cualquier número $n$ de comensales.
1. Fundamentos en teoría de la medida
El pastel es un intervalo $X = [0, 1]$. Cada comensal $i$ evalúa las porciones con una medida $V_i: \mathcal{B}(X) \to [0, 1]$ aditiva y no atómica. Lo crucial es que cada individuo tiene sus propios gustos, reflejados en su función de densidad $v_i(x)$.
2. Los cuatro criterios de equidad
| Criterio | Definición matemática | Significado |
|---|---|---|
| Proporcionalidad (PROP) | $\forall i, \quad V_i(X_i) \ge \frac{1}{n}$ | Cada quien recibe al menos $1/n$ del valor según su propio juicio |
| Ausencia de envidia (EF) | $\forall i, j, \quad V_i(X_i) \ge V_i(X_j)$ | Nadie prefiere la porción de otro comensal a la suya |
| Equidad (EQ) | $\forall i, j, \quad V_i(X_i) = V_j(X_j)$ | Utilidades subjetivas numéricamente idénticas |
| Eficiencia de Pareto (PE) | No existe redistribución que mejore a alguien sin perjudicar a otro | Cero desperdicio de recursos |
Para $n \ge 3$, la proporcionalidad no elimina la envidia: alguien puede recibir $35\%$ ($> 33.3\%$), pero si otro recibe $50\%$, surgirá una envidia corrosiva. La ausencia de envidia (Envy-Freeness) es el estándar de oro.
3. El protocolo Selfridge-Conway para 3 personas (1960)
- Etapa 1 (Corte y recorte):
- $P_1$ corta el pastel en tres partes iguales a sus ojos ($A, B, C$).
- $P_2$ recorta un sobrante $T$ de la mayor porción para igualarla con la segunda mayor ($A'$).
- Elección: primero $P_3$, luego $P_2$ (obligado a tomar $A'$ si $P_3$ no lo hizo), y finalmente $P_1$.
- $P_1$ obtiene una porción intacta de $1/3$, por lo que nadie es envidiado en esta fase.
- Etapa 2 (Reparto del sobrante $T$):
- Quien recibió $A'$ es $T_{\text{in}}$, el otro de $\{P_2, P_3\}$ es $T_{\text{out}}$.
- $T_{\text{out}}$ divide $T$ en tres partes iguales.
- Elección: $T_{\text{in}} \to P_1 \to T_{\text{out}}$.
- $P_1$ no envidia a $T_{\text{in}}$ porque $A' \cup T$ solo valía $1/3$ en su escala original.
4. Topología y armonía de alquileres: Lema de Sperner
Francis Su demostró en 1999, aplicando el lema de Sperner, que siempre existe un reparto de habitaciones y precios que equilibra las preferencias de compañeros de piso sin generar envidia (Rental Harmony).
5. Conclusión
La equidad no consiste en una uniformidad forzada, sino en el respeto riguroso a las diferencias individuales mediante reglas de juego inteligentes.