[论文解读] Existence of EFX for Two Additive Valuations

Ryoga Mahara|arXiv (Cornell University)|Aug 20, 2020

Game Theory and Voting Systems被引用 4

一句话总结

本文证明了当代理人具有可加估值且被划分为两种不同类型（每类内部估值相同）时，完整的 EFX（对任何物品均无嫉妒）分配始终存在。作者提供了一种构造性算法，通过从初始的局部 EFX 分配出发，迭代构建帕累托占优的 EFX 分配，将先前针对相同估值或两人情形的结果推广至一般数量的代理人和物品。

ABSTRACT

Fair division of indivisible items is a well-studied topic in Economics and Computer Science. The objective is to allocate items to agents in a fair manner, where each agent has a valuation for each subset of items. Envy-freeness is one of the most widely studied notions of fairness. Since complete envy-free allocations do not always exist when items are indivisible, several relaxations have been considered. Among them, possibly the most compelling one is envy-freeness up to any item (EFX), where no agent envies another agent after the removal of any single item from the other agent's bundle. However, despite significant efforts by many researchers for several years, it is known that a complete EFX allocation always exists only in limited cases. In this paper, we show that a complete EFX allocation always exists when each agent is of one of two given types, where agents of the same type have identical additive valuations. This is the first such existence result for non-identical valuations when there are any number of agents and items and no limit on the number of distinct values an agent can have for individual items. We give a constructive proof, in which we iteratively obtain a Pareto dominating (partial) EFX allocation from an existing partial EFX allocation.

研究动机与目标

• 解决一个开放问题：在非相同可加估值下，一般数量的代理人和物品是否存在完整的 EFX 分配。
• 将先前的结果扩展至更广泛的情境——此前的研究仅限于两人、相同估值或三人的情形，现扩展至具有两种不同估值类型的情形。
• 提供一种构造性算法，通过从局部 EFX 分配出发，经由迭代帕累托改进，生成完整的 EFX 分配。
• 为解决不可分物品公平分配中 EFX 存在性的一般猜想奠定基础。

提出的方法

• 该方法从一个初始的局部 EFX 分配开始，通过重新分配物品来构建新分配，以在保持 EFX 公平性的同时实现帕累托主导。
• 利用“最小偏好集合”概念，识别可转移的物品，确保从一个代理人向另一个代理人转移时不会违反 EFX 条件。
• 选择可通过物品交换或重新分配变得更优的代理人，确保嫉妒关系在任一物品被移除后仍保持成立。
• 采用递归构造方法：通过用一个更优的子集替换某一代理人原有物品集合，形成新分配，同时在所有代理人对之间维持 EFX 性质。
• 证明依赖于对代理人类型和估值结构的归纳推理，利用同类型代理人之间的对称性。
• 关键引理表明，新分配在帕累托意义上优于旧分配，且在所有嫉妒检查条件下仍保持 EFX 性质。

实验结果

研究问题

• RQ1 当代理人具有可加估值并属于两种不同类型时，是否存在完整的 EFX 分配？
• RQ2 能否设计一种构造性算法，从局部 EFX 分配出发，迭代生成此类 EFX 分配？
• RQ3 在重新分配步骤中，是否可能在保持 EFX 公平性的同时实现帕累托主导？
• RQ4 两种估值类型结构如何影响 EFX 的可行性，尤其是在两人或相同估值情形之外？

主要发现

• 当代理人被划分为两类，每类内部具有相同的可加估值函数时，完整的 EFX 分配始终存在。
• 该存在性结果适用于任意数量的代理人和物品，对每位代理人可区分的物品价值数量无限制。
• 该证明是构造性的：可通过从初始局部 EFX 分配出发，系统性地构建出帕累托占优的 EFX 分配。
• 该算法确保在任一被嫉妒者物品集合中移除任一单个物品后，嫉妒关系仍被保持，从而满足所有代理人对之间的 EFX 条件。
• 该方法在三人可加估值情形下失效，表明需采用更复杂的技巧才能将结果推广至超过两类估值的情形。
• 该结果是解决可加估值下 EFX 存在性这一长期开放问题的重要一步。