[论文解读] (Almost Full) EFX Exists for Four Agents (and Beyond)

Ben Berger, Avi Cohen+2 more|arXiv (Cornell University)|Feb 21, 2021

Game Theory and Voting Systems参考文献 22被引用 15

一句话总结

该论文证明，对于四名具有加法性估值的分配者，存在一种EFX分配，最多仅有一件物品未被分配；对于n名分配者，存在一种EFX分配，最多有n−2件物品未被分配。作者引入了基于广义冠军边和良好环结构特性的新型图论技术，将EFX存在的结果扩展至所有优良可取消估值（如加法性、单位需求型及预算加法性估值），同时简化了先前的证明。

ABSTRACT

The existence of EFX allocations is a major open problem in fair division, even for additive valuations. The current state of the art is that no setting where EFX allocations are impossible is known, and EFX is known to exist for ($i$) agents with identical valuations, ($ii$) 2 agents, ($iii$) 3 agents with additive valuations, ($iv$) agents with one of two additive valuations and ($v$) agents with two-valued instances. It is also known that EFX exists if one can leave $n-1$ items unallocated, where $n$ is the number of agents. We develop new techniques that allow us to push the boundaries of the enigmatic EFX problem beyond these known results, and, arguably, to simplify proofs of earlier results. Our main results are ($i$) every setting with 4 additive agents admits an EFX allocation that leaves at most a single item unallocated, ($ii$) every setting with $n$ additive valuations has an EFX allocation with at most $n-2$ unallocated items. Moreover, all of our results extend beyond additive valuations to all nice cancelable valuations (a new class, including additive, unit-demand, budget-additive and multiplicative valuations, among others). Furthermore, using our new techniques, we show that previous results for additive valuations extend to nice cancelable valuations.

研究动机与目标

• 解决长期悬而未决的开放问题：四名及以上具有加法性估值的分配者是否存在EFX分配。
• 将EFX存在的结果扩展至已知受限情况之外，包括仅存在两种估值类型或估值完全相同的设定。
• 通过基于冠军边与环结构的统一框架，简化并推广先前关于EFX存在性的证明。
• 在一般设定下，建立EFX分配所需未分配物品数量的界限。

提出的方法

• 为物品集合而非单个未分配商品引入广义冠军边，以增强图论框架中的进展能力。
• 在代表分配者偏好与物品分配的有向图模型中，定义并分析良好环与PI环。
• 利用结构定理（例如定理3.16）识别进入分配者分配包中必然存在的良好边或外部边。
• 利用估值类别内怨恨与冠军关系的向后传播，推导出帕累托改进型环。
• 应用引理3.5识别可实现帕累托改进的环，从而导向EFX分配。
• 将结果从加法性估值扩展至更广泛的优良可取消估值类别，包括单位需求型与预算加法性估值。

实验结果

研究问题

• RQ1 对于四名具有加法性估值的分配者，即使有一件物品未被分配，是否存在EFX分配？
• RQ2 在n名分配者的设定下，EFX分配中的未分配物品数量是否可被限制在少于n−1件？
• RQ3 已知的受限情况下EFX存在性结果（例如仅存在两种估值类型）是否可推广至优良可取消估值的更广泛类别？
• RQ4 能否利用图论结构简化并统一EFX存在性证明的技术？
• RQ5 是否存在一种通用方法，可在多种估值类别中构造未分配物品最少的EFX分配？

主要发现

• 在任意四名加法性估值分配者的设定下，存在一种EFX分配，最多仅有一件物品未被分配。
• 在任意n名加法性估值分配者的设定下，存在一种EFX分配，最多有n−2件物品未被分配。
• 所有结果均可推广至更广泛的优良可取消估值类别，包括加法性、单位需求型、预算加法性及乘法性估值。
• 该证明方法简化并推广了先前针对2名、3名及受限n名分配者设定下EFX存在性的结果。
• 帕累托改进型环的存在性——特别是良好g-环与PI环——使得EFX分配的构造成为可能。
• 在估值类别内怨恨与冠军关系的向后传播，确保了结构一致性，从而支持EFX分配的存在性。