[论文解读] EFX Allocations: Simplifications and Improvements

Hannaneh Akrami, Alon, Noga+4 more|arXiv (Cornell University)|May 16, 2022

Game Theory and Voting Systems被引用 8

一句话总结

本文简化并扩展了三名参与者下 EFX（对任一物品均无嫉妒）分配的存在性证明，表明当仅一名参与者具有可加估值时，EFX 分配存在，超越了以往的结果。此外，通过新颖的组合技术（在零和组合数学中具有应用），改进了近似 EFX 分配中慈善（未分配物品）的界，将所需慈善从 O((n/ε)^{4/5}) 降低至 Õ((n/ε)^{1/2})。

ABSTRACT

The existence of EFX allocations is a fundamental open problem in discrete fair division. Given a set of agents and indivisible goods, the goal is to determine the existence of an allocation where no agent envies another following the removal of any single good from the other agent's bundle. Since the general problem has been illusive, progress is made on two fronts: $(i)$ proving existence when the number of agents is small, $(ii)$ proving existence of relaxations of EFX. In this paper, we improve results on both fronts (and simplify in one of the cases). We prove the existence of EFX allocations with three agents, restricting only one agent to have an MMS-feasible valuation function (a strict generalization of nice-cancelable valuation functions introduced by Berger et al. which subsumes additive, budget-additive and unit demand valuation functions). The other agents may have any monotone valuation functions. Our proof technique is significantly simpler and shorter than the proof by Chaudhury et al. on existence of EFX allocations when there are three agents with additive valuation functions and therefore more accessible. Secondly, we consider relaxations of EFX allocations, namely, approximate-EFX allocations and EFX allocations with few unallocated goods (charity). Chaudhury et al. showed the existence of $(1-ε)$-EFX allocation with $O((n/ε)^{\frac{4}{5}})$ charity by establishing a connection to a problem in extremal combinatorics. We improve their result and prove the existence of $(1-ε)$-EFX allocations with $ ilde{O}((n/ ε)^{\frac{1}{2}})$ charity. In fact, some of our techniques can be used to prove improved upper-bounds on a problem in zero-sum combinatorics introduced by Alon and Krivelevich.

研究动机与目标

• 简化并推广三名参与者下 EFX 分配存在性证明，放宽所有参与者均需具有可加估值的要求。
• 将 EFX 存在性结果扩展至两名参与者具有广义单调估值、一名参与者具有 MMS 可行估值的设定，该类包括可加、预算可加及单位需求函数等更广泛的情形。
• 改进 (1−ε)-EFX 分配中所需未分配物品数（慈善）的上界，将其从 O((n/ε)^{4/5}) 降低至 Õ((n/ε)^{1/2})。
• 建立 EFX 分配问题与极值组合数学（特别是零和组合数学）之间的联系，以推导更优的界。
• 消除对复杂构造（如冠军图、嫉妒图和半捆绑）的依赖，这些构造曾是先前证明中的核心，从而提升可读性与清晰度。

提出的方法

• 提出一种新证明技术，避免使用冠军、冠军图、半捆绑和嫉妒图等在以往 EFX 证明中占核心地位的构造。
• 在带部分的有向图中对受限路径进行归纳论证，通过重编号顶点部分以保持可达性性质。
• 基于部分划分有向图中彩虹环的存在性，采用反证法以界定部分数量，证明 R_p(d) < 2d−1。
• 利用通过 (2i−2)-受限路径可达节点的结构，归纳构造更长路径，确保充分可达性以强制形成环。
• 借助极值组合数学结果，特别是 Alon 和 Krivelevich 的成果，以界定近似 EFX 分配中未分配物品的数量。
• 将慈善问题重新表述为涉及路径可达性与部分划分的图论问题，从而实现更紧的界。

实验结果

研究问题

• RQ1 是否可采用更简单的方法证明三名参与者下 EFX 分配的存在性，且避免使用如冠军图和嫉妒图等复杂构造？
• RQ2 当仅一名参与者具有可加估值、其余两名具有广义单调估值时，EFX 存在性结果是否仍成立？
• RQ3 能否将 (1−ε)-EFX 分配中未分配物品数（慈善）降低至先前 O((n/ε)^{4/5}) 的界限以下？
• RQ4 在零和组合数学中，哪些组合结构可被用于改进近似 EFX 分配中慈善的界？
• RQ5 是否可能在不依赖严格估值假设的前提下，证明三名参与者下 MMS 可行估值函数的 EFX 存在性？

主要发现

• 本文证明了当仅一名参与者具有可加估值、其余两名可具有广义单调估值时，三名参与者下 EFX 分配的存在性，且证明方法显著简化于以往工作。
• 该证明技术可推广至两名参与者具有单调估值、一名参与者具有 MMS 可行估值的设定，这是对良好可消去函数的严格推广，涵盖可加、预算可加及单位需求估值。
• 本文将 (1−ε)-EFX 分配的慈善界从 O((n/ε)^{4/5}) 改进至 Õ((n/ε)^{1/2})，大幅减少了所需未分配物品的数量。
• 该改进通过新颖应用极值组合数学实现，特别是利用了 Alon 和 Krivelevich 在零和组合数学方面的成果。
• 该方法避免依赖嫉妒图、冠军、半捆绑等复杂算法构造，使证明更具可访问性与概念透明性。
• 本文建立：若部分划分有向图中存在彩虹环，则当部分数量超过 2d−1 时将导致矛盾，该结论用于界定可达性结构并证明主定理。