Alice y Bob están dividiendo el patrimonio de su difunto tío Charlie (una colección finita de artículos discretos) de acuerdo con sus deseos. Primero A elige un elemento, luego B, luego A, y así sucesivamente.
Alice y Bob tienen funciones de utilidad aditivas , de modo que si Alice termina con el conjunto Y ⊆ X , su utilidad es ∑ y ∈ Y u A ( y ) .
Estas funciones de utilidad son de conocimiento común, como lo es el hecho de que Alice y Bob son maximizadores de utilidad perfectamente racionales. Esto implica que los jugadores no siempre seguirán un enfoque codicioso, agarrando el objeto de mayor valor para ellos; Serán más estratégicos.
Entonces, ¿cuál es la complejidad computacional de implementar las estrategias de los jugadores? Es factible en el espacio polinomial, y eso es todo lo que sé.