爱丽丝(Alice)和鲍勃(Bob)正在拆分已故伯父查理(Charlie)的遗产(限量收藏 离散物品)根据他的意愿。首先,A选择一个项目,然后选择B,然后选择A,依此类推。
爱丽丝和鲍伯各有加法效用函数 ,因此,如果Alice以集合结尾,则其效用为。
这些效用函数是常识,因为Alice和Bob是完全合理的效用最大化器。这意味着玩家将不会总是遵循贪婪的方法,抢夺对他们来说最有价值的物品;他们将更具战略意义。
那么,实施参与者策略的计算复杂度是多少?这在多项式空间中是可行的,这就是我所知道的。
1
这个问题存在一些建模上的不确定性:爱丽丝(或鲍勃)如何在效用相同的两个结果之间进行选择?避免这种情况的一种方法是,假设没有为X的两个子集分配相同的效用。然后我声称,即使没有选择项目的顺序,理性游戏下的结果也是唯一确定的。(通过归纳法简单证明。)
—
Andy Drucker 2010年