Articulo de referencia

El precio de la equidad

En la teoría de la división equitativa , el precio de la equidad (PEE) es la relación entre el mayor bienestar económico que se puede obtener mediante una división y el bienesta...

En la teoría de la división equitativa , el precio de la equidad (PEE) es la relación entre el mayor bienestar económico que se puede obtener mediante una división y el bienestar económico que se obtiene con una división equitativa . El PEE es una medida cuantitativa de la pérdida de bienestar que la sociedad debe asumir para garantizar la equidad.

En general, el POF se define mediante la siguiente fórmula:PAGOF=máximoDDivisiones(wmilFarmi(D))máximoDDivisiones justas(wmilFarmi(D)){\displaystyle POF={\frac {\max _{D\in {\text{Divisiones}}}{(\mathrm {bienestar} (D))}}{\max _{D\in {\text{Divisiones Justas}}}{(\mathrm {bienestar} (D))}}}}

El precio exacto varía mucho en función del tipo de reparto, el grado de equidad y el tipo de bienestar social que nos interese.

El tipo de bienestar social más estudiado es el utilitarista , definido como la suma de las utilidades (normalizadas) de todos los agentes. Otro tipo es el bienestar social igualitario , definido como la utilidad (normalizada) mínima por agente.

Ejemplo numérico

En este ejemplo nos centramos en el precio utilitarista de la proporcionalidad , o UPOP.

Consideremos un patrimonio inmobiliario heterogéneo que debe dividirse entre 100 socios, quienes le otorgan un valor de 100 (o cuyo valor se normaliza a 100). Primero, analicemos algunos casos extremos.

  • El máximo bienestar utilitario posible es de 10000. Este bienestar solo se puede alcanzar en el caso excepcional de que cada socio desee una parte diferente del terreno.
  • En una división proporcional, cada socio recibe un valor de al menos 1, por lo que el bienestar utilitarista es de al menos 100.

Límite superior

Los casos extremos descritos anteriormente ya nos dan un límite superior trivial: UPOP ≤ 10000/100 = 100. Pero podemos obtener un límite superior más ajustado.

Supongamos que tenemos una división eficiente de una propiedad entre 100 socios, con un bienestar utilitario U. Queremos convertirla en una división proporcional. Para ello, agrupamos a los socios según su valor actual:

  • Los socios cuyo valor actual es de al menos 10 se denominan afortunados .
  • Los otros socios son llamados desafortunados .

Hay dos casos:

  • Si hay menos de 10 socios afortunados, simplemente descarte la división actual y realice una nueva división proporcional (por ejemplo, utilizando el protocolo del último disminuidor ). En una división proporcional, cada socio recibe un valor de al menos 1, por lo que el valor total es de al menos 100. El valor de la división original es menor que (10*100+90*10)=1900, por lo que el UPOP es como máximo 19.
  • Si hay al menos 10 socios afortunados, entonces cree una división proporcional utilizando la siguiente variante del último protocolo de disminución:
    • Cada socio afortunado, a su vez, reduce su parte en un 0,1 y permite que los demás socios desafortunados la disminuyan. Este porcentaje lo recibe él o uno de los socios desafortunados.
    • Esto continúa hasta que cada uno de los (como máximo) 90 socios desafortunados tenga una parte. Ahora, cada uno de los (al menos) 10 socios afortunados tiene al menos 0,1 de su valor anterior, y cada uno de los socios desafortunados tiene al menos su valor anterior, por lo que el UPOP es como máximo 10.

En resumen: el UPOP siempre es inferior a 20, independientemente de las medidas de valor de los socios.

Límite inferior

El UPOP puede ser tan bajo como 1. Por ejemplo, si todos los socios tienen la misma medida de valor, entonces en cualquier división, independientemente de la equidad, el bienestar utilitario es 100. Por lo tanto, UPOP = 100/100 = 1.

Sin embargo, nos interesa el peor escenario posible de UPOP, es decir, una combinación de medidas de valor en la que el UPOP sea elevado. He aquí un ejemplo.

Supongamos que hay dos tipos de socios:

  • 90 socios uniformes que valoran todo el terreno de forma uniforme (es decir, el valor de una parcela es proporcional a su tamaño).
  • Diez socios estratégicos , cada uno de los cuales valora únicamente un distrito que abarca el 0,1% del territorio.

Consideremos las dos particiones siguientes:

  • División equitativa : Dividir la tierra de manera uniforme, asignando a cada socio 0,01, donde los socios con intereses definidos reciben su 0,01 en el distrito que les corresponde. Esta división es justa. El valor de cada socio con intereses definidos es 1, mientras que el de cada socio con intereses definidos es 10, por lo que el bienestar utilitario es 190.
  • División eficiente : Dividir todo el territorio entre los socios interesados, asignando a cada uno el distrito deseado. El bienestar utilitario es 100*10=1000.

En este ejemplo, el UPOP es 1000/190=5,26. Por lo tanto, 5,26 es un límite inferior del UPOP en el peor de los casos (donde el "peor caso" se toma sobre todas las combinaciones posibles de medidas de valor).

Conjunto

Combinando todos los resultados, obtenemos que el UPOP en el peor de los casos está acotado entre 5 y 20.

Este ejemplo es típico de los argumentos utilizados para acotar la POF. Para demostrar una cota inferior, basta con describir un único ejemplo; para demostrar una cota superior, se debe presentar un algoritmo u otro argumento sofisticado.

Corte de pastel con piezas generales

Precio utilitarista de la proporcionalidad

El ejemplo numérico descrito anteriormente se puede generalizar de 100 a n socios, lo que da como resultado los siguientes límites para el UPOP en el peor de los casos:

n /2 ≤ UPOP ≤ 2√ n -1
UPOP = Θ(√ n )

Para dos socios, un cálculo más detallado da un límite de: 8-4*√3 ≅ 1,07. [ 1 ]

Precio utilitarista de la envidia

Cuando se divide el pastel entero, una división sin envidia siempre es proporcional. Por lo tanto, el límite inferior del UPOP en el peor de los casos (√ n /2) también se aplica aquí. Por otro lado, como límite superior solo tenemos un límite débil de n -1/2. [ 1 ] Por lo tanto:

n /2 ≤ UPOV ≤ n -1/2
Ω(√ norte ) ≤ UPOV ≤ O( norte )

Para dos socios, un cálculo más detallado da un límite de: 8-4*√3 ≅ 1,07. [ 1 ]

Precio utilitarista de la equidad

(norte+1)24norteUPAGOQnorte{\displaystyle {(n+1)^{2} \over 4n}\leq UPOQ\leq n}
UPAGOQ=Θ(norte){\displaystyle UPOQ=\Theta (n)}

Para dos socios, un cálculo más detallado da un límite de: 9/8=1,125. [ 1 ]

Para los artículos indivisibles, no siempre existe una asignación que satisfaga la proporcionalidad, la ausencia de envidia o la equidad (por ejemplo, imaginemos a dos socios intentando dividir un único artículo valioso). Véase también asignación justa de artículos . En consecuencia, en los cálculos del precio de la equidad, no se consideran los casos en los que ninguna asignación satisface la noción de equidad pertinente. Un breve resumen de los resultados: [ 1 ]

UPOP = n - 1 + 1/ n ; para dos personas: 3/2.
(3 n +7)/9-O(1/ n ) ≤ UPOV ≤ n -1/2; para dos personas: 3/2
UPOQ=Infinito; para dos personas: 2

Reducción de tareas con piezas generales

Para el problema de cortar un pastel cuando el "pastel" es indeseable (por ejemplo, cortar el césped), tenemos los siguientes resultados: [ 1 ]

( n +1)^2/4 n ≤ UPOP ≤ n ; para dos personas: 9/8
(n+1)^2/4n ≤ UPOV ≤ infinito; para dos personas: 9/8
UPOQ= n

asignación indivisible de malas

UPOP = n
UPOV = infinito
UPOQ = infinito

Corte de pastel con piezas conectadas

El problema del reparto equitativo de un pastel tiene una variante en la que las porciones deben estar conectadas. En esta variante, tanto el numerador como el denominador de la fórmula POF son menores (ya que el máximo se calcula sobre un conjunto más pequeño), por lo que a priori no está claro si la fórmula POF debería ser menor o mayor que en el caso de las porciones desconectadas.

Precio utilitarista de la equidad

Tenemos los siguientes resultados para el bienestar utilitarista: [ 2 ]

UPOP = Θ(√ n )
UPOV = Θ(√ n )
n -1+1/ n ≤ EPOQ ≤ n
EPOQ = Θ( n )

Precio igualitario de la justicia

En una división proporcional , el valor de cada socio es al menos 1/ n del total. En particular, el valor del agente menos afortunado (que se denomina bienestar igualitario de la división) es al menos 1/ n . Esto significa que en una división igualitaria óptima, el bienestar igualitario es al menos 1/ n , y por lo tanto, una división igualitaria óptima es siempre proporcional. Por consiguiente, el precio igualitario de proporcionalidad (EPOP) es 1:

EPOP = 1

Consideraciones similares se aplican al precio igualitario de la equidad (EPOQ):

EPOQ = 1

El precio igualitario de la ausencia de envidia es mucho mayor: [ 2 ]

EPOV = n /2

Este es un resultado interesante, ya que implica que insistir en el criterio de ausencia de envidia aumenta las desigualdades sociales y perjudica a los ciudadanos más desfavorecidos. El criterio de proporcionalidad es mucho menos perjudicial.

Precio de la maximización del bienestar

En lugar de calcular la pérdida de bienestar debida a la equidad, podemos calcular la pérdida de equidad debida a la optimización del bienestar. Obtenemos los siguientes resultados: [ 2 ]

precio-proporcional-del-igualitarismo = 1
precio-de-la-envidia-del-igualitarismo = n -1
precio-proporcional-del-utilitarismo = infinito
precio-de-la-envidia-del-igualitarismo = infinito

Asignación de bienes indivisibles con bloques conectados

Al igual que en el corte de pasteles, para la asignación de elementos indivisibles existe una variación en la que los elementos se encuentran en una línea y cada pieza asignada debe formar un bloque en la línea. Un breve resumen de los resultados: [ 3 ]

UPOP = n - 1 + 1/ n
UPOV = Θ(√ n )
UPOQ = infinito; para dos personas: 3/2
EPOP = 1
EPOV = n /2
EPOQ = infinito; para dos personas: 1

Reducción de tareas con piezas conectadas

Un breve resumen de los resultados: [ 4 ]

n /2 ≤ UPOP ≤ n
UPOV = infinito
UPOQ = n
EPOP = 1
EPOV = infinito
EPOQ = 1

Asignación homogénea de recursos

El precio de la equidad también se ha estudiado en el contexto de la asignación de recursos homogéneos divisibles, como el petróleo o la madera. Los resultados conocidos son: [ 5 ] [ 6 ]

UPOV = UPOP = Θ(√ n )

Esto se debe a que la regla de equilibrio competitivo de ingresos iguales produce una asignación libre de envidia, y su precio utilitario es O(√ n ).

Otros contextos

El precio de la equidad se ha estudiado en el contexto del problema de la suma de subconjuntos justos .

El precio de la representación justificada es la pérdida en la satisfacción promedio debido al requisito de tener una representación justificada en un contexto de votación de aprobación . [ 7 ]

Véase también

Referencias

  1. 1 2 3 4 5 6 Caragiannis, I.; Kaklamanis, C.; Kanellopoulos, P.; Kyropoulou, M. (2011). "La eficiencia de la división justa". Teoría de los Sistemas Computacionales . 50 (4): 589. CiteSeerX 10.1.1.475.9976 . doi : 10.1007/s00224-011-9359-y . S2CID 8755258 .  
  2. 1 2 3 Aumann, Y.; Dombb, Y. (2010). "La eficiencia de la división justa con piezas conectadas" . Economía de Internet y redes . Notas de clase en ciencias de la computación. Vol. 6484. págs. 26. CiteSeerX 10.1.1.391.9546 . doi : 10.1007 /978-3-642-17572-5_3 . ISBN    978-3-642-17571-8.
  3. Suksompong, W. (2019). "Asignación justa de bloques contiguos de elementos indivisibles". Matemáticas Aplicadas Discretas . 260 : 227–236 . arXiv : 1707.00345 . doi : 10.1016/j.dam.2019.01.036 . S2CID 126658778 . 
  4. Heydrich, S.; van Stee, R. (2015). "Dividiendo tareas conectadas de manera justa" . Theoretical Computer Science . 593 : 51–61 . doi : 10.1016/j.tcs.2015.05.041 . hdl : 2381/37387 .
  5. ^ Bertsimas, D.; Farías, VF; Trichakis, N. (2011). "El precio de la justicia". Investigación de Operaciones . 59 : 17– 31. doi : 10.1287/opre.1100.0865 . hdl : 1721.1/69093 .
  6. ^ Bertsimas, D.; Farías, VF; Trichakis, N. (2012). "Sobre el equilibrio entre eficiencia y equidad". Ciencias de la gestión . 58 (12): 2234. CiteSeerX 10.1.1.380.1461 . doi : 10.1287/mnsc.1120.1549 . 
  7. Elkind, Edith; Faliszewski, Piotr; Igarashi, Ayumi; Manurangsi, Pasin; Schmidt-Kraepelin, Ulrike; Suksompong, Warut (2024). "El precio de la representación justificada". ACM Transactions on Economics and Computation . arXiv : 2112.05994 . doi : 10.1145/3676953 .