[论文解读] EFX Exists for Three Agents

Bhaskar Ray Chaudhury, Jugal Garg+1 more|arXiv (Cornell University)|Feb 12, 2020

Game Theory and Voting Systems参考文献 21被引用 10

一句话总结

本文通过构造性证明表明，对于具有可加估值的三名代理人，始终存在一种对任意物品均无 envy 的分配（EFX），从而解决了长期悬而未决的开放性问题。作者引入了新颖的技术以克服现有方法中的障碍，证明即使在 EF1 分配不足以保证公平的情况下，仍可实现 EFX 分配，并推翻了关于部分分配中纳什社会福利的原有猜想。

ABSTRACT

We study the problem of distributing a set of indivisible items among agents with additive valuations in a $\mathit{fair}$ manner. The fairness notion under consideration is Envy-freeness up to any item (EFX). Despite significant efforts by many researchers for several years, the existence of EFX allocations has not been settled beyond the simple case of two agents. In this paper, we show constructively that an EFX allocation always exists for three agents. Furthermore, we falsify the conjecture by Caragiannis et al. by showing an instance with three agents for which there is a partial EFX allocation (some items are not allocated) with higher Nash welfare than that of any complete EFX allocation.

研究动机与目标

• 解决关于具有可加估值的三名代理人是否存在 EFX 分配这一长期悬而未决的问题。
• 通过克服先前的技术障碍，构造性地证明在此设定下 EFX 分配的存在性。
• 挑战 Caragiannis 等人提出的猜想，即完整 EFX 分配最大化纳什社会福利。
• 识别现有离散公平分配中公平性与效率权衡的局限性。

提出的方法

• 基于代理人估值和物品分配的案例分析，开发构造性证明。
• 通过精细化分析纳什社会福利（NSW）来比较分配方案，证明 EFX 解的最优性。
• 引入一种新颖技术，以处理在移除任一物品后仍能消除嫉妒的分配，确保 EFX 在移除任何物品后依然成立。
• 使用基于 ε 的扰动模型分析估值差异，推导出有利于 EFX 而非非 EFX 分配的严格不等式。
• 通过矛盾法，利用对捆绑包构成的结构约束，排除非 EFX 配置。
• 利用对称性与估值排序，减少案例数量，确保证明的完整性。

实验结果

研究问题

• RQ1 尽管存在先前的不确定性和非存在性猜想，对于具有可加估值的三名代理人，是否存在 EFX 分配？
• RQ2 EFX 分配能否被算法构造？实现这些分配时存在哪些计算障碍？
• RQ3 如先前猜想所述，完整 EFX 分配是否最大化纳什社会福利？
• RQ4 部分 EFX 分配是否可能比任何完整 EFX 分配具有更高的纳什社会福利？
• RQ5 在多代理人设定中，保证 EFX 所需的估值与分配的结构特性是什么？

主要发现

• 对于具有可加估值的三名代理人，EFX 分配始终存在，解决了公平分配领域中的一个重大开放性问题。
• 该证明是构造性的，可导出一种伪多项式时间算法来计算此类分配。
• 本文通过展示一个部分 EFX 分配的纳什社会福利严格高于任何完整 EFX 分配，推翻了 Caragiannis 等人提出的猜想，即完整 EFX 分配最大化纳什社会福利。
• 在分析代理人 3 的捆绑包构成的所有情况下，任何其他分配方案均导致更低的纳什社会福利，从而证明了 EFX 解的最优性。
• 三名代理人存在 EFX 分配的事实，并不能简单推广到更一般的估值类别，如子模函数或次可加函数。
• 研究表明，高效率的 EFX 分配（以 NSW 衡量）不一定是完整的，表明公平性与效率之间存在权衡。