[论文解读] Extension of Additive Valuations to General Valuations on the Existence of EFX

Ryoga Mahara|arXiv (Cornell University)|Jan 1, 2021

Game Theory and Voting Systems被引用 1

一句话总结

本文在不可分物品的公平分配中，针对一般（非可加）效用函数，建立了关于任意物品 envy-freeness（EFX）分配的新存在性结果。通过引入一种新颖的划分字典序势函数，并改进字典序势函数技术，作者证明了当满足以下任一条件时，完全的 EFX 分配存在：(1) 所有参与者具有两种一般效用函数中的一种；(2) 物品数量不超过 n+3；(3) 最多 n−2 件物品未被分配。该工作解决了非可加效用下尚未解决的开放问题，并揭示了先前势函数方法的局限性。

ABSTRACT

Envy-freeness is one of the most widely studied notions in fair division. Since envy-free allocations do not always exist when items are indivisible, several relaxations have been considered. Among them, possibly the most compelling concept is envy-freeness up to any item (EFX). We study the existence of EFX allocations for general valuations. The existence of EFX allocations is a major open problem. For general valuations, it is known that an EFX allocation always exists (i) when n = 2 or (ii) when all agents have identical valuations, where n is the number of agents. it is also known that an EFX allocation always exists when one can leave at most n-1 items unallocated. We develop new techniques and extend some results of additive valuations to general valuations on the existence of EFX allocations. We show that an EFX allocation always exists (i) when all agents have one of two general valuations or (ii) when the number of items is at most n+3. We also show that an EFX allocation always exists when one can leave at most n-2 items unallocated. In addition to the positive results, we construct an instance with n = 3 in which an existing approach does not work as it is.

研究动机与目标

• 解决一般（非可加）效用函数下 EFX 分配存在性的开放问题。
• 将已知的可加效用函数结果扩展到更广泛的效用类别。
• 开发新方法——特别是划分字典序势函数——以克服字典序势函数方法的局限性。
• 证明当最多 n−2 件物品未被分配时，EFX 分配存在，从而扩展了先前的界限。

提出的方法

• 引入一种名为划分字典序势函数的新势函数，以指导迭代式 EFX 分配构造。
• 结合使用字典序势函数与新势函数，确保在管理参与者嫉妒关系的同时向 EFX 状态推进。
• 在嫉妒图中应用环路打破技术，以解决分配更新过程中可能出现的嫉妒环。
• 构造一个 n=3 且具有一般效用函数的新实例，以证明基于字典序势函数的方法会失效。
• 利用效用函数的结构约束（如单调性、基于大小的比较）推导出不可能性与存在性结果。
• 利用 EFX 的关键特性：即在从他人分配包中移除任意单一物品后，任何参与者都不应对他人产生嫉妒。

实验结果

研究问题

• RQ1 当所有参与者具有两种一般效用函数中的一种（而非相同或可加效用）时，EFX 分配是否总是存在？
• RQ2 当物品数量不超过 n+3 时，能否保证 EFX 分配的存在性？
• RQ3 即使在一般效用函数下，是否也能在最多 n−2 件物品未被分配的情况下实现 EFX？
• RQ4 为何基于字典序势函数的方法在 n=3 且具有一般效用函数时会失效？
• RQ5 划分字典序势函数是否能够克服先前势函数技术在 EFX 构造中的局限性？

主要发现

• 当所有参与者具有两种一般效用函数中的一种时，EFX 分配总是存在，这扩展了针对相同效用函数的已有结果。
• 当物品数量不超过 n+3 时，即使在一般效用函数下，EFX 分配也总是存在。
• 当最多 n−2 件物品未被分配时，EFX 分配存在，优于已知的 n−1 件未分配物品的界限。
• 构造了一个反例（n=3 且具有一般效用函数），其中不存在字典序更大的 EFX 分配，从而证明了字典序势函数方法的失败。
• 划分字典序势函数使得能够构造出在字典序顺序上严格更优的 EFX 分配，即使个别参与者可能在短期内处于更差境况。
• 结果不仅适用于可加效用函数，还扩展到更广泛的通用效用类别，包括非可加和非子模类型。