stringtranslate.com

División de ferias en línea

La división justa en línea es una clase de problemas de división justa en los que los recursos, o las personas a quienes deberían asignarse, o ambos, no están todos disponibles cuando se toma la decisión de asignación. [1] Algunas situaciones en las que no todos los recursos están disponibles incluyen:

Algunas situaciones en las que no todos los participantes están disponibles incluyen:

La naturaleza en línea del problema requiere técnicas y criterios de equidad diferentes a los de la división justa clásica fuera de línea.

Llegada de personas en línea

El problema del corte del pastel de fiesta

Walsh [2] estudia una variante en línea del método de división justa , en el que los agentes llegan y se van durante el proceso de división, como en una fiesta. Los procedimientos de división justa bien conocidos, como el método de dividir y elegir y el procedimiento de cuchillo móvil de Dubins-Spanier , se pueden adaptar a este contexto. Garantizan variantes en línea de proporcionalidad y ausencia de envidia . La versión en línea del método de dividir y elegir es más robusta a la colusión y tiene un mejor desempeño empírico.

El problema de la asignación justa secuencial

Sinclair, Jain, Bannerjee y Yu [3] [4] estudian la asignación de recursos divisibles cuando los individuos llegan aleatoriamente a lo largo del tiempo. Presentan un algoritmo que alcanza el umbral óptimo de equidad-eficiencia.

El problema del agente secreto

Varios autores han estudiado problemas de división justa en los que un agente es "secreto", es decir, no está disponible durante el proceso de división. Cuando este agente llega, se le permite elegir cualquier parte del recurso, y las n -1 partes restantes deben dividirse entre los n -1 agentes restantes de manera que la división sea justa. Nótese que dividir y elegir satisface estos requisitos para n = 2 agentes, pero extender esto a 3 o más agentes no es trivial. Se conocen las siguientes extensiones:

El problema del reparto de la torta

El problema de la redistribución de la torta [10] es una variante del reparto equitativo de la torta , en el que la torta ya está dividida de manera injusta (por ejemplo, entre un subconjunto de los agentes) y debería volver a dividirse de manera justa (entre todos los agentes), permitiendo que los propietarios actuales conserven una fracción sustancial de su valor actual. El problema modelo es la reforma agraria .

Llegada de recursos en línea

El problema de los bancos de alimentos

El problema del banco de alimentos es una variante en línea de la asignación justa de bienes indivisibles . Cada vez que llega un solo artículo, cada agente declara su valor para ese artículo y el mecanismo debe decidir cuál de los agentes debe recibirlo. La aplicación modelo es un banco de alimentos central , que recibe donaciones de alimentos y tiene que asignar cada donación a una de las organizaciones benéficas que lo deseen. Las donaciones se consumen inmediatamente y no se sabe qué donaciones vendrán a continuación, por lo que la decisión debe tomarse basándose únicamente en las donaciones anteriores.

Valoraciones binarias

En colaboración con Foodbank Australia, Aleksandrov, Aziz, Gaspers y Walsh [11] iniciaron el estudio del problema del banco de alimentos cuando todos los agentes tienen valoraciones binarias {0,1}, es decir, para cada artículo que llega, cada agente declara si le gusta o no. El mecanismo debe decidir cuál de los agentes a los que les gusta el artículo debe recibirlo. Estudiaron dos mecanismos simples para esta situación:

Valoraciones aditivas

En un caso más general del problema del banco de alimentos, los agentes pueden tener valoraciones aditivas, que se normalizan a [0,1].

Debido a la naturaleza en línea del problema, puede resultar imposible lograr algunas garantías de equidad y eficiencia que son posibles en el entorno fuera de línea. En particular, Kahana y Hazon [12] demuestran que ningún algoritmo en línea siempre encuentra una asignación PROP1 (proporcional hasta un bien como máximo), incluso para dos agentes con valoraciones aditivas. Además, ningún algoritmo en línea siempre encuentra una aproximación positiva de RRS (cuota round-robin).

Benade, Kazachkov, Procaccia y Psomas [13] estudian otro criterio de equidad: la ausencia de envidia . Definen la envidia del agente i hacia el agente j como la cantidad en la que i cree que el paquete de j es mejor, es decir, . La envidia máxima de una asignación es el máximo de la envidia entre todos los pares ordenados de agentes. Supongamos que los valores de todos los elementos están normalizados a [0,1]. Entonces, en el entorno fuera de línea, es fácil lograr una asignación en la que la envidia máxima sea como máximo 1, por ejemplo, mediante la asignación de elementos round-robin (esta condición se llama EF1). Sin embargo, en el entorno en línea, la envidia podría crecer con el número de elementos ( T ). Por lo tanto, en lugar de EF1, apuntan a lograr la envidia evanescente: el valor esperado de la envidia máxima de la asignación de T elementos debe ser sublineal en T (asumiendo que el valor de cada elemento está entre 0 y 1). Muestran que:

Jiang, Kulkarni y Singla [14] mejoran el límite para el caso de n = 2 agentes, cuando los valores son aleatorios (en lugar de antagónicos). Reducen el problema al problema de la discrepancia de franjas en línea, que es un caso especial de discrepancia de permutaciones , con dos permutaciones y llegada de elementos en línea. Muestran que su algoritmo para la discrepancia de franjas en línea alcanza la envidia en , para alguna constante universal c , con alta probabilidad (que depende de c ). Su algoritmo incluso limita una noción más fuerte de envidia, a la que llaman envidia ordinal : es la peor envidia cardinal posible que es consistente con la clasificación de elementos.

Zeng y Psomas [15] estudian el equilibrio entre eficiencia y equidad bajo cinco modelos adversarios, de débil a fuerte. A continuación, v denota el valor del ítem que llega en el momento t al agente i .

  1. Agentes independientes idénticos: el adversario elige una distribución de probabilidad D 0 . En cada ronda t , v se extrae independientemente de D 0 .
  2. Diferentes agentes independientes: El adversario elige una distribución de probabilidad D i para cada agente i . En cada ronda t , v it se extrae independientemente de D i .
  3. Agentes correlacionados: El adversario elige una distribución de probabilidad conjunta D . En cada ronda t , el vector ( v 1t , ..., v nt ) se dibuja independientemente de D .
  4. Adversario no adaptativo: después de ver el código del algoritmo, el adversario elige las valoraciones de todos los n agentes para todos los T elementos.
  5. Adversario adaptativo: Después de ver el código del algoritmo, y después de ver la asignación de los primeros t -1 elementos, el adversario elige las valoraciones del elemento t (En [13] este es el modelo).

Para el adversario 3 (y por lo tanto también para el 2 y el 1), muestran una estrategia de asignación que garantiza, para cada par de agentes, EF1 o EF con alta probabilidad , y además, garantiza la eficiencia de Pareto ex post . Muestran que la garantía "EF1 o EF whp" no se puede mejorar ni siquiera para el adversario 1 (y por lo tanto también para el 2 y el 3). Para el adversario 4 (y por lo tanto también para el 5), muestran que cada algoritmo que logra la envidia evanescente puede ser como máximo 1/ n eficiente en términos de Pareto ex ante.

Véase también Benade, Kazachkov, Procaccia, Psomas y Zeng. [16]

El costoso problema de la reasignación

En algunos casos, los elementos que se habían asignado previamente pueden reasignarse, pero la reasignación es costosa, por lo que el número de ajustes debe ser el menor posible. Un ejemplo es la asignación de equipos científicos costosos entre diferentes departamentos universitarios. Cada pieza de equipo se asigna tan pronto como llega, pero algunos equipos previamente asignados pueden reasignarse para lograr una asignación general más justa.

He, Procaccia y Psomas [17] muestran que, con dos agentes, los algoritmos que están informados sobre los valores de los elementos futuros pueden alcanzar EF1 sin ninguna reasignación, mientras que los algoritmos no informados requieren Θ( T ) reasignaciones. Con tres o más agentes, incluso los algoritmos informados deben utilizar Ω( T ) reasignaciones, y hay un algoritmo no informado que alcanza EF1 con O( T 3/2 ) reasignaciones.

Oferta incierta

En muchos problemas de división justa, como la producción de energía a partir de células solares, la cantidad exacta de recurso disponible puede no conocerse en el momento en que se decide la asignación. Buermann, Gerding y Rastegari [18] estudian la división justa de un recurso divisible homogéneo , como la electricidad, donde la cantidad disponible está dada por una distribución de probabilidad y las valoraciones de los agentes no son lineales (por ejemplo, cada agente tiene un límite en la cantidad del recurso que puede usar; por encima de este límite, su utilidad no aumenta al obtener más del recurso). Comparan dos criterios de equidad: la ausencia de envidia ex post y la ausencia de envidia ex ante . El último criterio es más débil (ya que la ausencia de envidia solo se cumple en expectativa), pero permite un mayor bienestar social. El precio de la ausencia de envidia ex ante sigue siendo alto: es al menos Ø( n ), donde n es el número de agentes. Además, maximizar el bienestar social ex ante sujeto a la ausencia de envidia ex ante es fuertemente NP-hard , pero hay un programa entero para calcular la asignación óptima ex ante libre de envidia para una clase especial de funciones de valoración: funciones lineales con un límite de saturación.

Demanda incierta

En muchos problemas de división equitativa, hay agentes o grupos de agentes cuya demanda de recursos no se conoce cuando se asignan los recursos. Por ejemplo, [19] supongamos que hay dos pueblos que son susceptibles a cortes de energía. Cada pueblo tiene una distribución de probabilidad diferente para las tormentas:

El gobierno tiene dos generadores, cada uno de los cuales puede suministrar electricidad a una sola casa. Debe decidir cómo distribuir los generadores entre las aldeas. Dos consideraciones importantes son la utilización y la equidad :

Donahue y Kleinberg [19] demuestran límites superiores e inferiores para el precio de la justicia : la utilización máxima posible dividida por la utilización máxima de una asignación justa. Los límites son débiles en general, pero es posible establecer límites más fuertes para algunas distribuciones de probabilidad específicas que se utilizan comúnmente para modelar la demanda.

Otras aplicaciones con demandas inciertas son la asignación de pedidos en cadenas de suministro de servicios , [20] asignación de aeronaves a rutas, [21] asignación de médicos a cirugías, [22] y más. [23] [24] [25] [26]

Valor incierto

Morgan [27] estudia un escenario de disolución de una sociedad, en el que los activos de la sociedad tienen el mismo valor para todos los socios, pero este valor no se conoce. Cada socio tiene una señal ruidosa sobre el valor, pero las señales son diferentes. Muestra que dividir y elegir no es justo, ya que favorece a quien elige. Presenta otro mecanismo que puede considerarse justo en este escenario.

Véase también

Referencias

  1. ^ Aleksandrov, Martin; Walsh, Toby (3 de abril de 2020). "División de ferias en línea: una encuesta". Actas de la Conferencia AAAI sobre Inteligencia Artificial . 34 (9): 13557–13562. arXiv : 1911.09488 . doi : 10.1609/aaai.v34i09.7081 . ISSN  2374-3468.
  2. ^ Walsh, Toby (2011). "Corte de pastel en línea". En Brafman, Ronen I.; Roberts, Fred S.; Tsoukiàs, Alexis (eds.). Teoría de la decisión algorítmica . Apuntes de clase en informática. Vol. 6992. Berlín, Heidelberg: Springer. págs. 292–305. doi :10.1007/978-3-642-24873-3_22. ISBN . 978-3-642-24873-3. Número de identificación del sujeto  501890.
  3. ^ Sinclair, Sean R.; Banerjee, Siddhartha; Yu, Christina Lee (29 de octubre de 2021). "Asignación justa secuencial: cómo lograr la curva óptima de compensación entre envidia y eficiencia". arXiv : 2105.05308 [cs.GT].
  4. ^ Sinclair, Sean R.; Jain, Gauri; Banerjee, Siddhartha; Yu, Christina Lee (septiembre de 2023). "Asignación justa secuencial: lograr la curva óptima de compensación entre envidia y eficiencia". Investigación de operaciones . 71 (5): 1689–1705. arXiv : 2105.05308 . doi :10.1287/opre.2022.2397. ISSN  0030-364X.
  5. ^ Meunier, Frédéric; Su, Francis Edward (1 de enero de 2019). "Versiones multietiquetadas de los lemas de Sperner y Fan y aplicaciones". Revista SIAM de Álgebra Aplicada y Geometría . 3 (3): 391–411. arXiv : 1801.02044 . doi :10.1137/18M1192548. S2CID  3762597.
  6. ^ Frick, Florian; Houston-Edwards, Kelsey; Meunier, Frédéric (2019-01-02). "Cómo lograr la armonía en el alquiler con un compañero de habitación reservado". The American Mathematical Monthly . 126 (1): 18–32. arXiv : 1702.07325 . doi :10.1080/00029890.2019.1528127. ISSN  0002-9890. S2CID  119601896.
  7. ^ Segal-Halevi, Erel (2022). "Armonía de alquiler generalizada". The American Mathematical Monthly . 129 (5): 403–414. arXiv : 1912.13249 . doi :10.1080/00029890.2022.2037988. S2CID  211678363.
  8. ^ Chèze, Guillaume (1 de julio de 2019). «Cómo compartir un pastel con un agente secreto». Ciencias Sociales Matemáticas . 100 : 13–15. arXiv : 1810.06913 . doi :10.1016/j.mathsocsci.2019.04.001. ISSN  0165-4896. S2CID  53115454.
  9. ^ Arunachaleswaran, Eshwar Ram; Barman, Siddharth; Rathi, Nidhi (17 de julio de 2019). "División justa con un agente secreto". Actas de la Conferencia AAAI sobre Inteligencia Artificial . 33 (1): 1732–1739. arXiv : 1811.10859 . doi : 10.1609/aaai.v33i01.33011732 . ISSN  2374-3468.
  10. ^ Segal-Halevi, Erel (2022). "Redividiendo el pastel". Agentes autónomos y sistemas multiagente . IJCAI'18. 36. Estocolmo, Suecia: AAAI Press: 498–504. arXiv : 1603.00286 . doi :10.1007/s10458-022-09545-x. ISBN. 978-0-9992411-2-7.S2CID246493020  .​
  11. ^ Aleksandrov, Martin; Aziz, Haris; Gaspers, Serge; Walsh, Toby (25 de julio de 2015). "División de ferias en línea: análisis de un problema de bancos de alimentos". Actas de la 24.ª Conferencia Internacional sobre Inteligencia Artificial . IJCAI'15. Buenos Aires, Argentina: AAAI Press: 2540–2546. arXiv : 1502.07571 . ISBN. 978-1-57735-738-4.
  12. ^ Kahana, Ido; Hazon, Noam (2023), "El enfoque Leximin para una secuencia de decisiones colectivas", ECAI 2023 , Fronteras en inteligencia artificial y aplicaciones, IOS Press, págs. 1198–1206, arXiv : 2305.18024 , doi : 10.3233/faia230396 , ISBN 978-1-64368-436-9
  13. ^ ab Benade, Gerdus; Kazachkov, Aleksandr M.; Procaccia, Ariel D.; Psomas, Christos-Alexandros (11 de junio de 2018). "Cómo hacer que la envidia desaparezca con el tiempo". Actas de la Conferencia ACM de 2018 sobre economía y computación . EC '18. Ithaca, NY, EE. UU.: Association for Computing Machinery. págs. 593–610. doi : 10.1145/3219166.3219179 . ISBN . 978-1-4503-5829-3. Número de identificación del sujeto  3340196.
  14. ^ Jiang, Haotian; Kulkarni, Janardhan; Singla, Sahil (2 de octubre de 2019). "Discrepancia geométrica en línea para llegadas estocásticas con aplicaciones para la minimización de la envidia". arXiv : 1910.01073 [cs.DS].
  15. ^ Zeng, David; Psomas, Alexandros (13 de julio de 2020). "Compensaciones entre equidad y eficiencia en la división justa dinámica". Actas de la 21.ª Conferencia de la ACM sobre economía y computación . EC '20. Evento virtual, Hungría: Association for Computing Machinery. págs. 911–912. arXiv : 1907.11672 . doi :10.1145/3391403.3399467. ISBN 978-1-4503-7975-5.S2CID 198953099  .
  16. ^ Benadè, Gerdus; Kazachkov, Aleksandr M.; Procaccia, Ariel D.; Psomas, Alexandros; Zeng, David (julio de 2024). "Asignaciones en línea justas y eficientes". Investigación de operaciones . 72 (4): 1438–1452. doi :10.1287/opre.2022.0332. ISSN  0030-364X.
  17. ^ He, Jiafan; Procaccia, Ariel D.; Psomas, Alexandros; Zeng, David (2019). "Lograr un futuro más justo cambiando el pasado". En Kraus, Sarit (ed.). Actas de la 28.ª Conferencia Conjunta Internacional sobre Inteligencia Artificial, IJCAI 2019, Macao, China, 10-16 de agosto de 2019. págs. 343–349. doi :10.24963/IJCAI.2019/49. ISBN 978-0-9992411-4-1.
  18. ^ Buermann, Jan; Gerding, Enrico H.; Rastegari, Baharak (5 de mayo de 2020). "Asignación justa de recursos con disponibilidad incierta". Actas de la 19.ª Conferencia internacional sobre agentes autónomos y sistemas multiagente . AAMAS '20. Auckland, Nueva Zelanda: Fundación Internacional para Agentes Autónomos y Sistemas Multiagente: 204–212. ISBN 978-1-4503-7518-4.
  19. ^ ab Donahue, Kate; Kleinberg, Jon (27 de enero de 2020). "Justicia y utilización en la asignación de recursos con demanda incierta". Actas de la Conferencia de 2020 sobre equidad, rendición de cuentas y transparencia . FAT* '20. Barcelona, ​​España: Association for Computing Machinery. págs. 658–668. arXiv : 1906.09050 . doi : 10.1145/3351095.3372847 . ISBN . 978-1-4503-6936-7.
  20. ^ Wang, Di; Liu, Weihua; Shen, Xinran; Wei, Wanying (1 de octubre de 2019). "Asignación de órdenes de servicio bajo demanda incierta: aversión al riesgo, competencia entre pares y fortaleza de las relaciones". Transportation Research Part E: Logistics and Transportation Review . 130 : 293–311. Bibcode :2019TRPE..130..293W. doi :10.1016/j.tre.2019.09.005. ISSN  1366-5545. S2CID  204451097.
  21. ^ Ferguson, Allen R.; Dantzig, George B. (1 de octubre de 1956). "La asignación de aeronaves a rutas: un ejemplo de programación lineal en condiciones de demanda incierta". Management Science . 3 (1): 45–73. doi :10.1287/mnsc.3.1.45. ISSN  0025-1909.
  22. ^ Gerchak, Yigal; Gupta, Diwakar; Henig, Mordechai (1996-03-01). "Planificación de reservas para cirugía electiva en condiciones de demanda incierta de cirugía de emergencia". Management Science . 42 (3): 321–334. doi :10.1287/mnsc.42.3.321. ISSN  0025-1909.
  23. ^ Chen, Yefen; Zhao, Xiaobo (2015). "Sesgo de decisión en juegos de asignación de capacidad con demanda incierta". Gestión de producción y operaciones . 24 (4): 634–646. doi :10.1111/poms.12257. ISSN  1937-5956.
  24. ^ Banks, Jeffrey S.; Ledyard, John O.; Porter, David P. (1989). "Asignación de recursos inciertos y que no responden: un enfoque experimental". Revista RAND de Economía . 20 (1): 1–25. ISSN  0741-6261. JSTOR  2555648. PMID  10296624.
  25. ^ Xue, Jingyi (1 de junio de 2018). "División justa con necesidades inciertas". Elección social y bienestar . 51 (1): 105–136. doi :10.1007/s00355-018-1109-5. ISSN  1432-217X. S2CID  48362407.
  26. ^ Elzayn, Hadi; Jabbari, Shahin; Jung, Christopher; Kearns, Michael; Neel, Seth; Roth, Aaron; Schutzman, Zachary (29 de enero de 2019). "Algoritmos justos para el aprendizaje en problemas de asignación". Actas de la Conferencia sobre equidad, responsabilidad y transparencia . FAT* '19. Atlanta, GA, EE. UU.: Association for Computing Machinery. págs. 170–179. arXiv : 1808.10549 . doi :10.1145/3287560.3287571. ISBN . 978-1-4503-6125-5. Número de identificación del sujeto  52143168.
  27. ^ Morgan, John (1 de mayo de 2004). "Disolver una sociedad de manera (in)justa". Teoría económica . 23 (4): 909–923. doi :10.1007/s00199-003-0409-9. ISSN  1432-0479. S2CID  153828369.
  28. ^ Bateni, MohammadHossein; Chen, Yiwei; Ciocan, Dragos Florin; Mirrokni, Vahab (2022). "Asignación justa de recursos en un mercado volátil". Investigación de operaciones . 70 (1): 288–308. doi :10.1287/opre.2020.2049. MR  4379584. SSRN  2789380.