Precio de la anarquía en subastas

Compartir Imprimir Citar

El Precio de la Anarquía (PoA) es un concepto en teoría de juegos y diseño de mecanismos que mide cómo se degrada el bienestar social de un sistema debido al comportamiento egoísta de sus agentes. Se ha estudiado extensamente en varios contextos, particularmente en subastas.

En una subasta, hay uno o más artículos y uno o más agentes con diferentes valoraciones para los artículos. Los artículos tienen que ser divididos entre los agentes. Se desea que el bienestar social -la suma de valores de todos los agentes- sea lo más alto posible.

Un enfoque para maximizar el bienestar social es diseñar un mecanismo veraz. En dicho mecanismo, se incentiva a cada agente a informar sus verdaderas valoraciones a los artículos. Luego, el subastador puede calcular e implementar una asignación que maximice la suma de valores. Un ejemplo de tal mecanismo es la subasta de VCG.

En la práctica, sin embargo, no siempre es factible utilizar mecanismos veraces. El mecanismo VCG, por ejemplo, puede ser demasiado complicado para que lo entiendan los participantes, puede tomar demasiado tiempo para que el subastador lo calcule y puede tener otras desventajas. En la práctica, a menudo se utilizan mecanismos no veraces, y es interesante calcular cuánto bienestar social se pierde por esta no veracidad.

A menudo se supone que, en una subasta no veraz, los participantes juegan una estrategia de equilibrio, como un equilibrio de Nash. El precio de la anarquía de la subasta se define como la relación entre el bienestar social óptimo y el bienestar social en el peor equilibrio:

{displaystyle PoA={frac {max _{sin Asignaciones}Bienestar(s)}{min _{sin EquilibriumAsignaciones}Bienestar(es)}}}

Una noción relacionada es el Precio de la Estabilidad (PoS) que mide la relación entre el bienestar social óptimo y el bienestar social en el mejor equilibrio:

{displaystyle PoS={frac {max _{sin Asignaciones}Grupo(s)}{max_{sin EquilibriumAsignaciones}Grupo(s)}}}

Obviamente {displaystyle 1leq PoSleq PoAleq infty}_

Cuando hay información completa (cada agente conoce las valoraciones de todos los demás agentes), el tipo de equilibrio común es el equilibrio de Nash, ya sea puro o mixto. Cuando hay información incompleta, el tipo de equilibrio común es el equilibrio de Bayes-Nash. En este último caso, es habitual hablar del precio bayesiano de la anarquía, o BPoA.

Subastas de un solo artículo

En una subasta de primer precio de un solo artículo, un equilibrio de Nash siempre es eficiente, por lo que el PoA y el PoS son 1.

En una subasta de segundo precio, existe un equilibrio de Nash en el que los agentes informan con veracidad; es eficiente, por lo que el PoS es 1. Sin embargo, ¡el PoA no tiene límites! Por ejemplo, supongamos que hay dos jugadores: Alice valora el elemento como a y Bob como b, con a > b.

Existe un equilibrio de Nash "bueno" en el que Alice ofrece a y Bob ofrece b; Alice recibe el artículo y paga b. El bienestar social es un, que es óptimo.

Sin embargo, también existe un equilibrio de Nash "malo" en el que Alice ofrece 0 y Bob ofrece, por ejemplo, un +1; Bob recibe el artículo y no paga nada. Este es un equilibrio ya que Alice no quiere sobrepujar a Bob. El bienestar social es b. Por lo tanto, el PoA es a / b, que no tiene límites.

Este resultado parece demasiado pesimista:

Por lo tanto, es común analizar el PoA bajo un supuesto de no sobreoferta: ningún agente puja por encima de su valuación real. Bajo este supuesto, el PoA de una subasta de un solo artículo es 1.

Subastas paralelas

En una subasta paralela (simultánea), los metroartículos se venden al mismo tiempo al mismo grupo de norteparticipantes. A diferencia de una subasta combinatoria, en la que los agentes pueden pujar por paquetes de artículos, aquí los agentes solo pueden pujar por artículos individuales independientemente de los demás. Es decir, una estrategia de un agente es un vector de ofertas, una oferta por artículo. El PoA depende del tipo de valoraciones de los compradores y del tipo de subasta utilizada para cada artículo individual.

Caso 1: compradores submodulares, subastas de segundo precio, información completa:

Caso 2: compradores fraccionalmente subaditivos, subasta de 2º precio, información incompleta. Asumiendo fuerte-no-sobreoferta, cualquier equilibrio Bayes-Nash (mixto) alcanza en la expectativa al menos la mitad del bienestar óptimo; por lo tanto, el BPoA es como máximo 2. Este resultado no depende del prior común de los agentes.

Caso 3: compradores subaditivos, subastas de 2º precio. Bajo una suposición fuerte de no sobrepujar:

Caso 4: Compradores generales (monótonos), subastas de primer precio, información completa:

Caso 5: Compradores generales, subastas a 2º precio, información completa. Con valoraciones generales (que pueden tener complementariedades), el supuesto fuerte de no oferta excesiva es demasiado fuerte, ya que evita que los compradores ofrezcan valores altos en paquetes de artículos complementarios. Por ejemplo, si la valoración de un comprador es de $100 por un par de zapatos pero $1 por cada zapato individual, entonces la suposición fuerte de no sobrepujar le impide ofertar más de $1 por cada zapato, por lo que tiene pocas posibilidades de ganar el par.. Por lo tanto, se reemplaza con una oferta débil sin sobreoferta.supuesto, lo que significa que la condición de no sobrepujar se cumple solo para la cesta que finalmente gana el agente (es decir, la suma de las pujas del comprador a su cesta asignada es como máximo su valor para esta cesta específica). Bajo esta suposición débil de no sobrepujar:

Caso 6: Compradores generales, subastas a 1er precio, información incompleta. Para cualquier anterior común:

Caso 7: Compradores subaditivos, información incompleta:

Subastas secuenciales

En una subasta secuencial, los metroartículos se venden en subastas consecutivas, una tras otra. El tipo de equilibrio común es el equilibrio perfecto en subjuegos en estrategias puras (SPEPS). Cuando los compradores tienen información completa (es decir, conocen la secuencia de subastas de antemano) y se vende un solo artículo en cada ronda, siempre existe un SPEPS.

El PoA de este SPEPS depende de las funciones de utilidad de los postores y del tipo de subasta utilizada para cada artículo individual.

Los primeros cinco resultados a continuación se aplican a los agentes con información completa (todos los agentes conocen las valoraciones de todos los demás agentes):

Caso 1: Artículos idénticos, dos compradores, subastas de 2º precio:

Caso 2: compradores aditivos:

Caso 3: compradores de demanda unitaria:

Estos resultados son sorprendentes y enfatizan la importancia de la decisión de diseño de utilizar una subasta de primer precio (en lugar de una subasta de segundo precio) en cada ronda.

Caso 4: compradores submodulares (tenga en cuenta que la demanda aditiva y la unidad son casos especiales de submodular):

Caso 5: aditivo+UD. Suponga que algunos postores tienen valoraciones aditivas mientras que otros tienen valoraciones de demanda unitaria. En una secuencia de subastas de primer precio, el PoA podría ser al menos { estilo de visualización  min (n, m)}, donde m es el número de artículos y n es el número de postores. Además, los equilibrios ineficientes persisten incluso con la eliminación iterativa de estrategias débilmente dominadas. Esto implica ineficiencia lineal para muchos escenarios naturales, incluyendo:

Caso 6: compradores de demanda unitaria, información incompleta, subastas de 1er precio: el BPoA es como máximo 3.

Subastas que emplean algoritmos codiciosos

Ver

Subastas generalizadas de segundo precio

Ver

Temas relacionados

Los estudios sobre PoA en las subastas han proporcionado información sobre otros escenarios que no están relacionados con las subastas, como los juegos de formación de redes.

Tabla de resumen

[Tabla parcial - contiene solo subastas paralelas - debe completarse]

Multi-subastaSubasta únicaInformaciónValoracionessuposicionesPoAPos.Comentarios
Paralela2do preciocompletosubmodularfuerte-no-sobrepujar2puro: 1 [siempre existe]
Paralela2do preciobayesianoXOSfuerte-no-sobrepujar2
Paralela2do preciocompletosubaditivofuerte-no-sobrepujar2
Paralela2do preciobayesianosubaditivofuerte-no-sobrepujar> 2, < 2 log(m)
Paralela1er preciocompletomonótonoNingunapuro: 1 [cuando existe]NE puro = NOSOTROS.
Paralela1er preciocompletomonótonoNingunamezclado:{displaystyle Omega ({sqrt {m}})}{displaystyle Omega ({sqrt {m}}/log {m})}
Paralela1er preciobayesianomonótonoNinguna{ estilo de visualización O (mn)}{displaystyle Omega ({sqrt {m}}/log {m})}
Paralela2do preciocompletomonótonodébil-no-sobrepujarpuro: 2 [cuando existe]NE puro = WE condicional
Paralela1er preciobayesianosubaditivoNinguna2{displaystyle Omega ({sqrt {m}}/log {m})}
Paralela2do preciobayesianosubaditivodébil/fuerte-sin sobreoferta4