Articulo de referencia

Asignación aleatoria justa

La asignación aleatoria justa (también llamada emparejamiento unilateral probabilístico ) es un tipo de problema de división justa . En un problema de asignación (también llamad...

La asignación aleatoria justa (también llamada emparejamiento unilateral probabilístico ) es un tipo de problema de división justa .

En un problema de asignación (también llamado problema de asignación de vivienda o emparejamiento unilateral ), hay m objetos que deben distribuirse entre n agentes, de manera que cada agente reciba como máximo un objeto. Algunos ejemplos incluyen la asignación de puestos de trabajo a trabajadores, habitaciones a compañeros de piso, residencias estudiantiles a alumnos, franjas horarias a usuarios de una máquina común, etc.

En general, una asignación justa puede ser imposible de lograr. Por ejemplo, si Alice y Bob prefieren la habitación del este a la del oeste, solo uno de ellos la obtendrá y el otro sentirá envidia. En el caso de la asignación aleatoria , la equidad se logra mediante un sorteo. Así, en el ejemplo anterior, Alice y Bob lanzarán una moneda justa y el ganador obtendrá la habitación del este.

Historia

La asignación aleatoria ya se menciona en la Biblia : se utilizó una lotería para repartir las tierras de Canaán entre las tribus de Israel (Números 26:55).

En Estados Unidos, se utilizaron loterías para asignar tierras públicas a los colonos (por ejemplo, Oklahoma en 1901) y para asignar espectros radioeléctricos a las emisoras (por ejemplo, la FCC entre 1981 y 1993). La lotería todavía se utiliza para otorgar tarjetas de residencia permanente (green cards ). [ 1 ]

Métodos

Existen varias maneras de extender el método del "lanzamiento de moneda" a situaciones en las que hay más de dos agentes, y estos pueden tener diferentes relaciones de preferencia sobre los objetos:

  • La Prioridad Aleatoria (PR, también conocida como Dictadura Serial Aleatoria o DSA) es un mecanismo muy simple que solo requiere que los agentes tengan una clasificación ordinal de los elementos individuales. Elige un orden de prioridad aleatorio para los elementos y permite que cada agente, por turno, seleccione su elemento favorito entre los restantes.
  • Probabilistic Serial (PS) [ 2 ] es otro mecanismo que funciona solo con clasificación ordinal de elementos. Los agentes "comen" sus elementos favoritos restantes a una velocidad constante, y la fracción que cada agente logró comer es su probabilidad de obtener ese elemento.
  • El Equilibrio Competitivo a partir de Ingresos Iguales (CEEI) [ 3 ] es un mecanismo basado en el mercado: cada artículo se considera una mercancía divisible. A cada agente se le asigna un presupuesto igual de una moneda fiduciaria, y luego se les permite comerciar hasta que se alcance un equilibrio de precios . Este es un mecanismo más complejo que requiere que los agentes tengan funciones de utilidad cardinales completas (o, alternativamente, una clasificación ordinal en loterías).

Propiedades

Eficiencia

Una propiedad deseada de una regla de asignación aleatoria es la eficiencia de Pareto (EP). Existen tres variantes de EP:

  • El principio de PE ex post significa que, una vez determinada la asignación final, ninguna otra asignación resulta mejor para algún agente y al menos igual de buena para los demás. Las tres reglas anteriores (RP, PS y CEEI) son PE ex post.
  • La propiedad ex ante PE es más fuerte, relevante para agentes con utilidades cardinales. Significa que ninguna otra lotería es mejor para algún agente y al menos igual de buena para los demás. CEEI es ex ante PE cuando los agentes comparan loterías en función de su utilidad esperada.
  • La propiedad PE posible (o sd-PE) es una propiedad intermedia, relevante para agentes con utilidades ordinales . Significa que la asignación es PE ex ante para algunas funciones de valoración consistentes con la clasificación ordinal de los agentes. PS es PE posible, pero RP no lo es.

Para PE, las implicaciones son: ex ante → sd(posible) → ex post .

Justicia

Otra propiedad deseada es la ausencia de envidia (AE). Nuevamente, existen tres variantes de AE:

  • La propiedad ex post EF implica que, una vez determinada la asignación final, ningún agente prefiere la asignación de otro agente. Ninguna regla satisface esta fuerte propiedad; de hecho, puede resultar imposible encontrar una asignación ex post EF de objetos indivisibles.
  • La propiedad EF ex ante es más débil y relevante para agentes con utilidades cardinales. Significa que ningún agente prefiere la lotería de otro agente. CEEI es EF ex ante con respecto a las utilidades esperadas.
  • La EF necesaria (o sd-EF) es una propiedad intermedia, relevante para agentes con utilidades ordinales . Significa que la asignación es ex ante EF (véase más adelante) para todas las funciones de valoración consistentes con la clasificación ordinal de los agentes. PS es necesaria-EF, pero RP no lo es. RP es débilmente ex ante sd-EF; es EF cuando los agentes comparan loterías por dominancia lexicográfica (ld-EF). [ 4 ]

Para EF, la dirección de la implicación es opuesta a la de la eficiencia: ex post → sd(necesario) → ex ante .

Veracidad

Una tercera propiedad deseada es la veracidad (también llamada resistencia a la manipulación estratégica). Nuevamente, existen tres variantes:

  • La veracidad ex ante, relevante para agentes con utilidades cardinales, implica que ningún agente puede obtener una mejor lotería informando valoraciones falsas. Esta es una propiedad fuerte que no se satisface con ningún mecanismo no trivial.
  • La veracidad posible es una propiedad más débil, relevante para agentes con utilidades ordinales . Significa que un agente no puede obtener una lotería estocásticamente dominante informando una clasificación falsa. Esta propiedad débil se cumple en PS cuando todas las clasificaciones son estrictas y hay como máximo un objeto por persona. En este contexto, también es veraz con respecto a la dominancia lexicográfica ( ld-veraz ). [ 4 ] No se cumple cuando las clasificaciones son débiles. [ 5 ]
  • La veracidad necesaria es una propiedad más fuerte, relevante para agentes con utilidades ordinales . Significa que un agente que informa una clasificación falsa siempre obtiene una lotería dominada estocásticamente. Esta propiedad fuerte se cumple en RP, y puede extenderse de manera veraz también al caso general en el que hay más objetos que personas.

La siguiente tabla compara las propiedades de las distintas reglas (las columnas RP y PS se basan en [ 6 ] ):

Combinaciones imposibles

Algunas combinaciones de las tres propiedades anteriores no pueden ser satisfechas simultáneamente por ningún mecanismo:

  • Para agentes con utilidades cardinales , Zhou [ 7 ] demuestra que ningún mecanismo satisface la eficiencia ex ante , la veracidad ex ante y el trato igualitario de los iguales (= los agentes con funciones de utilidad idénticas deberían obtener la misma utilidad).
  • Para agentes con utilidades ordinales estrictas , Bogomolnaia y Moulin [ 2 ] demuestran que ningún mecanismo satisface la eficiencia posible , la veracidad necesaria y el trato igualitario de los iguales .
  • Para agentes con utilidades ordinales débiles , Katta y Sethuraman [ 5 ] demuestran que ningún mecanismo satisface la eficiencia posible , la veracidad posible y la ausencia necesaria de envidia .

Descomponer una asignación fraccionaria

Tanto la regla PS como la CEEI calculan una matriz de asignaciones esperadas, es decir, las probabilidades marginales con las que cada agente recibe cada objeto. Sin embargo, dado que la asignación final debe ser una coincidencia, es necesario descomponer esta matriz en una lotería de coincidencias.

En el caso clásico, donde m = n , esto se puede lograr utilizando el algoritmo de Birkhoff . Este algoritmo descompone cualquier matriz de probabilidades agente-objeto de n × n en una combinación convexa de O( ) matrices de permutación , cada una de las cuales representa un emparejamiento. Sin embargo, la descomposición no es única y algunas descomposiciones pueden ser mejores que otras.

Budish, Che, Kojima y Milgrom [ 1 ] generalizan el algoritmo de Birkhoff a valores arbitrarios de m y n . También permiten añadir restricciones a las asignaciones, bajo un conjunto máximo de condiciones sobre el conjunto de restricciones. Además, presentan un método de descomposición que minimiza la varianza en la utilidad experimentada por los agentes entre los diferentes emparejamientos.

Demeulemeester, Goossens, Hermans y Leus [ 8 ] presentan un algoritmo de descomposición en tiempo polinomial que maximiza el número de agentes que reciben un objeto en el peor de los casos. Su algoritmo garantiza que el número de agentes en el peor de los casos es igual al número esperado de agentes redondeado hacia abajo, que es el mejor posible. Presentan otro algoritmo de descomposición que maximiza el número de agentes asignados en el peor de los casos, garantizando que todas las coincidencias en la descomposición sean ex post PE; el segundo algoritmo solo se puede usar para asignaciones fraccionarias generadas por PS, pero no para las correspondientes a RP. Para RP, solo es posible obtener una aproximación de factor 1/2 al número óptimo de agentes asignados en el peor de los casos. Para asignaciones fraccionarias generales, maximizar el número de agentes asignados en el peor de los casos sujeto a ex post PE es NP-difícil. También presentan un marco de generación de columnas que se puede usar para optimizar otros criterios del peor de los casos.

Comparación empírica

Hosseini, Larson y Cohen [ 6 ] comparan RP con PS en diversos entornos. Demuestran que:

  • Cuando hay como máximo 2 objetos y como máximo 3 agentes, RP y PS devuelven la misma asignación.
  • Cuando hay como máximo 2 objetos, para cualquier número de agentes, PS es sd-veraz y RP es sd-envidioso, y en la mayoría de los casos, PS domina a RP, particularmente con 4 o más agentes.
  • Cuando hay 3 o más objetos (y 3 o más agentes), RP y PS pueden devolver asignaciones diferentes, y ninguna asignación domina a la otra en el sentido de Pareto. Por ejemplo, supongamos que hay tres objetos a, b, c y tres agentes con rangos de preferencia (1) a>c>b, (2) a>b>c, (3) b>a>c. Entonces, al agente (1), tanto RP como PS dan 1/2 a + 1/2 c; al agente (2), RP da 1/2 a + 1/6 b + 1/3 c mientras que PS da 1/2 a + 1/4 b + 1/4 c que es estocásticamente dominante ; y al agente (3), RP da 5/6 b + 1/6 c mientras que PS da 3/4 b + 1/4 c que es estocásticamente dominante. Por lo tanto, (1) es indiferente, (2) prefiere estrictamente PS y (3) prefiere estrictamente RP.
  • La fracción de perfiles de preferencia para los que PS domina a RP es grande cuando el número de agentes y objetos difiere, pero se aproxima a 0 cuando los números son iguales. Lo mismo ocurre con la dominancia ld.
  • Cuando los agentes son neutrales al riesgo , el bienestar social esperado de PS es mayor que el de RP, pero la diferencia es sustancial solo cuando n≠m . Con RP, la fracción de agentes envidiosos es cercana a cero cuando nm. PS es manipulable, y la ganancia de la manipulación aumenta cuando m > n .
  • Cuando los agentes buscan riesgos , el bienestar social esperado de PS es mayor que el de RP, y la diferencia aumenta rápidamente cuando n≠m. Por el contrario, cuando n = m, RP alcanza un mayor bienestar social en la mayoría de los casos. Con RP, la fracción de agentes envidiosos es casi cero cuando nm, pero genera envidia cuando m>n. La envidia de RP disminuye cuando aumenta la propensión al riesgo. La ganancia derivada de manipular PS disminuye cuando los agentes buscan más riesgos.
  • Cuando los agentes son reacios al riesgo , la brecha de bienestar social entre RP y PS se reduce (aunque sigue siendo estadísticamente significativa). La fracción de agentes envidiosos en RP aumenta, pero la envidia se mantiene por debajo de 0,01 cuando nm . La manipulabilidad de PS tiende a 1 cuando m / n aumenta.

Extensiones

Tao y Cole [ 9 ] estudian la existencia de asignaciones aleatorias PE y EF cuando las utilidades no son lineales (pueden tener complementos).

Yilmaz [ 10 ] estudia el problema de asignación aleatoria donde los agentes tienen dotaciones.

Shen, Wang, Zhu, Fain y Munagala [ 11 ] estudian el problema de asignación aleatoria cuando los agentes tienen prioridades (los agentes con prioridades más altas deben obtener sus bienes preferidos antes que los agentes con prioridades más bajas), pero las prioridades son inciertas.

Duddy [ 12 ] estudia la asignación aleatoria igualitaria .

Véase también

Referencias

  1. 1 2 Budish, Eric; Che, Yeon-Koo; Kojima, Fuhito; Milgrom, Paul (2013-04-01). "Diseño de mecanismos de asignación aleatoria: teoría y aplicaciones" . American Economic Review . 103 (2): 585– 623. doi : 10.1257/aer.103.2.585 . ISSN 0002-8282 . 
  2. 1 2 Bogomolnaia, Anna ; Moulin, Hervé (2001). "Una nueva solución al problema de la asignación aleatoria". Journal of Economic Theory . 100 (2): 295. doi : 10.1006/jeth.2000.2710 .
  3. Hylland, Aanund; Zeckhauser, Richard (1979). "La asignación eficiente de individuos a puestos". Journal of Political Economy . 87 (2): 293. doi : 10.1086/260757 . S2CID 154167284 . 
  4. 1 2 Kate, Hosseini, Hadi Larson (2015-07-24). Mecanismos de cuotas a prueba de estrategias para problemas de asignación múltiple . OCLC 1106222190 . {{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )
  5. 1 2 Katta, Akshay-Kumar; Sethuraman, Jay (2006). "Una solución al problema de asignación aleatoria en el dominio de preferencia completo". Journal of Economic Theory . 131 : 231–250 . doi : 10.1016/j.jet.2005.05.001 .
  6. 1 2 Hadi Hosseini, Kate Larson, Robin Cohen (2018). "Investigando las características de los mecanismos de emparejamiento unilateral bajo diversas preferencias y actitudes de riesgo" . Autonomous Agents and Multi-Agent Systems . 32 (4): 534– 567. arXiv : 1703.00320 . doi : 10.1007/s10458-018-9387-y . S2CID 14041902 . {{cite journal}}: CS1 maint: varios nombres: lista de autores ( enlace )
  7. Zhou, Lin (1990-10-01). "Sobre una conjetura de Gale acerca de problemas de emparejamiento unilateral" . Journal of Economic Theory . 52 (1): 123– 135. doi : 10.1016/0022-0531(90)90070-Z . ISSN 0022-0531 . 
  8. Demeulemeester, Tom; Goossens, Dries; Hermans, Ben; Leus, Roel (2023). "Un enfoque pesimista para el emparejamiento unilateral". European Journal of Operational Research . 305 (3): 1087– 1099. arXiv : 2101.00579 . doi : 10.1016/j.ejor.2022.07.013 . S2CID 245669132 . 
  9. Cole, Richard; Tao, Yixin (2021-04-01). "Sobre la existencia de asignaciones Pareto eficientes y libres de envidia" . Journal of Economic Theory . 193 105207. arXiv : 1906.07257 . doi : 10.1016/j.jet.2021.105207 . ISSN 0022-0531 . S2CID 189999837 .  
  10. Yılmaz, Özgür (2009). "Asignación aleatoria bajo preferencias débiles" . Juegos y comportamiento económico . 66 : 546–558 . doi : 10.1016/j.geb.2008.04.017 .
  11. ^ Shen, Zeyu; Wang, Zhiyi; Zhu, Xingyu; Bien, Brandon; Munagala, Kamesh (2023). "Equidad en el problema de la asignación con prioridades inciertas". arXiv : 2301.13804 [ cs.GT ].
  12. Duddy, Conal (2022). " Asignación aleatoria igualitaria" . doi : 10.2139/ssrn.4197224 . S2CID 252192116. SSRN 4197224 .