[论文解读] A Social Welfare Optimal Sequential Allocation Procedure

Thomas Kalinowski, Nina Narodytska+1 more|arXiv (Cornell University)|Apr 22, 2013

Game Theory and Voting Systems参考文献 8被引用 41

一句话总结

该论文提出了一种多项式时间算法，用于计算在具有可加效用的代理人之间按顺序分配不可分物品时的期望社会福利。它证明了交替策略——即代理人按固定顺序轮流行动——对于任意数量的物品和线性效用函数（包括Borda计分法）都能最大化期望功利主义社会福利，并且在两名代理人的情况下，该策略在策略性行为下依然最优。

ABSTRACT

We consider a simple sequential allocation procedure for sharing indivisible items between agents in which agents take turns to pick items. Supposing additive utilities and independence between the agents, we show that the expected utility of each agent is computable in polynomial time. Using this result, we prove that the expected utilitarian social welfare is maximized when agents take alternate turns. We also argue that this mechanism remains optimal when agents behave strategically

研究动机与目标

• 解决关于在完全独立和可加效用下，计算顺序分配中的期望社会福利是否为NP难的猜想。
• 确定交替策略是否在完全独立和可加效用下，最优地最大化期望功利主义社会福利。
• 分析交替策略在策略性代理人行为下的鲁棒性，特别是在双代理人情形下的表现。
• 将最优分配策略的分析扩展到两名以上代理人以及非可加效用函数的情形。

提出的方法

• 通过序列 $\gamma_k$ 及其归一化形式 $\overline{\gamma}_k$ 推导出期望效用的递归公式，从而实现高效计算。
• 基于策略和剩余物品，建立每个代理人期望效用的递推关系，利用期望的线性性质。
• 通过物品选择可能性的概率分析，建模每个代理人首次行动后其期望效用的演变过程。
• 应用归纳法和变换技术，证明期望效用总和的界限，特别是针对交替策略。
• 在博弈论分析中利用反转对称性，证明在双代理人情形下，真实行为与策略性行为在子博弈完美均衡中等价。
• 通过反转策略和偏好配置，将结果扩展至策略性行为，从而可通过真实行为计算均衡结果。

实验结果

研究问题

• RQ1 在完全独立和可加效用下，计算给定顺序分配策略的期望功利主义社会福利是否为NP难？
• RQ2 交替策略是否对Borda计分法和任意数量的物品都最大化期望功利主义社会福利？
• RQ3 在策略性行为下，特别是双代理人情形下的子博弈完美均衡中，交替策略是否最优？
• RQ4 对于超过两名代理人或非可加效用函数的情形，交替策略是否依然最优？

主要发现

• 对于一般线性效用函数，每个代理人的期望效用可在 $O(np^2)$ 时间内计算；对于Borda效用，时间复杂度为 $O(np)$。
• 交替策略对于任意数量的物品和任意线性效用函数（包括Borda计分法）都能最大化期望功利主义社会福利。
• 在两名代理人的情况下，交替策略在策略性行为下依然最优，因其具有反转对称性，且子博弈完美均衡结果与真实行为结果一致。
• 在交替策略下，期望功利主义社会福利渐近趋近理论最大值，证实了先前的渐近结果。
• 该结果解决了Bouveret和Lang（2011）提出的猜想，即交替策略能最大化Borda效用下的期望社会福利。
• 论文指出，交替策略并非对所有计分函数都最优——例如 $k$-approval 计分函数——表明最优性依赖于计分函数的凸性。