Diré por adelantado que no puedo proporcionar una buena respuesta a su pregunta (creo que tal vez podría obtener un documento de investigación si pudiera), pero creo que puedo ayudar definiendo el problema formalmente y estableciendo dónde de las dificultades mienten.
Antecedentes . Permítanme indicar claramente el modelo para cortar pasteles. Deseamos dividir el intervalo entre jugadores. Cada jugador tiene una función de valoración sobre los subconjuntos del pastel. Asumiremos que esta función es una medida de probabilidad; no es negativa y es aditiva (para disjuntos , ) y . Una solución a este problema es un protocolo o algoritmo que consulta a los jugadores y asigna porciones del intervalo. Tenga en cuenta que los jugadores pueden informar mal / mentir al responder consultas.n i v i ( S ) S A , B ⊆ [ 0 , 1 ] v i ( A ∪ B ) = v i ( A ) + v i ( B ) v i ( [ 0 , 1 ] ) = 1[0,1]nivi(S)SA,B⊆[0,1]vi(A∪B)=vi(A)+vi(B)vi([0,1])=1
Algunos documentos tendrán restricciones más específicas; por ejemplo , las funciones de valoración son continuas, o por partes-lineales, o por partes-constantes.
Deje que las piezas asignadas a los jugadores sean . A menudo queremos las siguientes propiedades de un protocolo:{S1,…,Sn}
- proporcionalidad : cada jugador tiene una estrategia que garantiza que recibe un valor de al menos . (Desde la perspectiva de , él / ella obtiene del valor total del pastel).( 1 / n ) v i ( [ 0 , 1 ] ) i 1 / ni(1/n)vi([0,1])i1/n
- sin envidia : cada jugador tiene una estrategia que garantiza que para cada otro jugador . (Cada jugador prefiere su propia pieza a la de cualquier otro jugador).jvi(Si)≥vi(Sj)j
Tenga en cuenta que la ausencia de envidia implica proporcionalidad.
También hay propiedades "operativas" que podríamos desear, como cortar en pocas partes, tiempo de ejecución polinomial (o, de hecho, computabilidad / capacidad de construcción, ¡no queremos usar el Axioma de elección para seleccionar un subconjunto del pastel! ), y así.
Preguntas específicas para hacer . Dos notas Primero, cualquier respuesta a su pregunta resolverá el problema general: comience por darle todo el pastel al jugador , luego deje que los otros jugadores lleguen en línea y apliquen este protocolo de forma iterativa. Por lo tanto, debemos esperar que este problema sea más difícil que la configuración estándar de corte de torta a la que lo aplicamos.1
En segundo lugar, siempre podemos resolver su problema retirando todo el pastel de todos y utilizando un algoritmo conocido para redistribuirlo desde cero. Entonces la pregunta es si hay una forma algo más elegante de hacer esto. Creo que una buena manera de cuantificar esto es "¿cuándo la redistribución requiere menos tiempo o menos cortes que comenzar desde cero y / o cuándo los jugadores pueden mantener una porción significativa de su porción actual?"
- Supongamos que tenemos una asignación libre de envidia para jugadores. ¿Cómo redistribuimos para producir una asignación libre de envidia entre los jugadores?n + 1nn+1
Sospecho que esto es muy difícil. La razón es que encontrar una asignación eficiente y sin envidia ya es un problema difícil. Hasta donde yo sé, los protocolos conocidos podrían requerir un número ilimitado de cortes en el pastel y son muy complejos. (Ver Brams y Taylor, Un Protocolo de División de Tortas sin Envidia , 1995). Por lo tanto, puede que no haya nada mejor que quitarle todo el pastel a todos y redistribuirlo a los agentes usando Brams-Taylor.n+1
- Supongamos que tenemos una asignación proporcional para ; ¿Cómo redistribuimos para obtener una asignación proporcional para ?nn+1
Creo que esto sigue siendo difícil (aunque más factible). Considere el caso en el que cada jugador valora el pastel de manera uniforme y cada jugador tiene un corte de tamaño . Entonces, lo que sea que haga el nuevo jugador requerirá una reorganización entre todos. Aquí hay otro caso negativo: supongamos que el jugador tiene una valoración de exactamente para su porción, pero valora la porción del jugador en . Supongamos que el jugador valora su propia porción exactamente a , pero valora la porción del jugador a , y así sucesivamente, con el jugador valorando su propia porción a la porción del jugador a1/n11/n2(n−1)/n21/n3(n−1)/n1 / n 1 ( n - 1 ) / n 2 1 3 2n1/n1(n−1)/n . Ahora llega el nuevo jugador. No importa lo que quiera el nuevo jugador, su protocolo terminará teniendo que reorganizar algo del jugador al jugador , del jugador al jugador , etc.2132
Una referencia podría ser Walsh, Online Cake Cutting , en Algorithmic Decision Theory 2011 (enlace pdf). Pero creo que el documento supone que sabemos de antemano el número de agentes que llegan, y supone que a los jugadores se les debe asignar una pieza precisamente cuando se van (que es antes del final del protocolo), por lo que realmente no es tan aplicable a su problema.
Una forma de redistribuir una asignación proporcional que mantiene la proporcionalidad es la siguiente. Deje que cada uno de los jugadores actuales corte su porción de pastel asignada en piezas que él mismo valora por igual. El jugador ahora elegirá la mejor pieza, según él, de cada uno de los cortes del jugador. Es fácil demostrar que la asignación resultante también es proporcional.n + 1 n + 1 nnn+1n+1n