[论文解读] Efficiency, Sequenceability and Deal-Optimality in Fair Division of Indivisible Goods

Aurélie Beynier, Sylvain Bouveret+3 more|arXiv (Cornell University)|Jul 28, 2018

Economic theories and models被引用 7

一句话总结

本文通过将选取序列（sequenceability）、循环交易（cycle-deals）与帕累托最优性（Pareto-optimality）相联系，建立了不可分割物品公平分配中效率概念的形式化层级。研究表明，对于单循环交易（1-cycle deals）而言，序列性与最优性等价；每个帕累托最优分配都是序列可实现的，但反之不成立；且具有相等收入的竞争一般均衡（CEEI）蕴含序列性，揭示了在可加偏好下效率、公平性与基于市场的机制之间的深层联系。

ABSTRACT

In fair division of indivisible goods, using sequences of sincere choices (or picking sequences) is a natural way to allocate the objects. The idea is as follows: at each stage, a designated agent picks one object among those that remain. Another intuitive way to obtain an allocation is to give objects to agents in the first place, and to let agents exchange them as long as such "deals" are beneficial. This paper investigates these notions, when agents have additive preferences over objects, and unveils surprising connections between them, and with other efficiency and fairness notions. In particular, we show that an allocation is sequenceable iff it is optimal for a certain type of deals, namely cycle deals involving a single object. Furthermore, any Pareto-optimal allocation is sequenceable, but not the converse. Regarding fairness, we show that an allocation can be envy-free and non-sequenceable, but that every competitive equilibrium with equal incomes is sequenceable. To complete the picture, we show how some domain restrictions may affect the relations between these notions. Finally, we experimentally explore the links between the scales of efficiency and fairness.

研究动机与目标

• 形式化公平分配中可序列化分配与选取序列之间的关系。
• 研究序列性与各类交易（尤其是涉及单一物品的单循环交易）之间的联系。
• 澄清序列性、帕累托最优性与公平性概念（如无 envy 性与具有相等收入的竞争一般均衡，即 CEEI）之间的关系。
• 在不同偏好领域下，对效率与公平水平的分配分布进行实验分析。
• 提供一个计算框架，用于测试效率与公平性标准，包括 MMS 和 CEEI 等 NP-难问题。

提出的方法

• 将序列性形式化为一种属性：若分配可通过某种选取序列生成，则称其为序列可实现的，并基于代理人选择顺序的有效性给出其刻画。
• 引入循环交易最优性（cycle-deal-optimality）的概念，特别关注单循环（交换）交易，证明在该类交易下，序列性与最优性等价。
• 使用线性规划与整数线性规划（ILP）求解器，对生成实例中的帕累托最优性、MMS、mMS 与 CEEI 公平性标准进行测试。
• 在 50 个 MARA 实例（3 名代理人、8 个物品）上进行系统性实验评估，采用均匀分布与单峰偏好模型。
• 应用六级公平性量表（从 CEEI 到非公平）与四级效率量表（PO → Seq → Swap → 非序列可实现）来绘制分配分布图。
• 开发并发布一个免费、带文档的 Python 库，用于公平分配评估，支持高效测试公平性与效率属性。

实验结果

研究问题

• RQ1 所有帕累托最优分配是否都是序列可实现的？所有序列可实现分配是否都是帕累托最优的？
• RQ2 在循环交易（特别是单循环，即交换）下，序列性与最优性之间的精确关系是什么？
• RQ3 单峰偏好等领域限制如何影响效率概念的层级结构？
• RQ4 具有相等收入的竞争一般均衡（CEEI）在多大程度上蕴含序列性？
• RQ5 在随机与结构化偏好领域中，分配在效率与公平水平上的经验分布如何？

主要发现

• 在单循环（交换）交易下，序列性与最优性等价：当且仅当某个涉及单一物品的交换交易中，分配是最优的，该分配才是序列可实现的。
• 并非所有帕累托最优分配都是序列可实现的，表明在一般可加偏好模型下，帕累托最优性与序列性并不等价。
• 所有具有相等收入的竞争一般均衡（CEEI）分配都是序列可实现的，确立了基于市场的机制与选取序列之间的强关联。
• 在单峰偏好领域中，所有交换最优分配也都是序列可实现的，证实该领域下层级结构退化为 PO → Seq → Swap → 非序列可实现。
• 实证结果表明，大多数分配同时缺乏公平性与效率属性，但无 envy 分配与 CEEI 分配中，序列可实现与帕累托最优分配的比例更高。
• 通过开源 Python 库，使公平性与效率检查（包括 CEEI 与 MMS 等 NP-难问题）的实现变得切实可行，支持可复现的评估。