[論文レビュー] EFX Allocations: Simplifications and Improvements

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

Game Theory and Voting Systems被引用数 8

ひとこと要約

この論文は、3人のエージェントに対するEFX（任意の良いものについての envy-free）割り当ての存在証明を簡略化・拡張し、唯一1人のエージェントが加法的評価を持つ場合にのみ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.

研究の動機と目的

• すべてのエージェントが加法的評価を持つ必要がないという制約を緩和することで、3人のエージェントに対するEFX割り当ての存在証明を簡略化・一般化すること。
• 2人のエージェントが一般の単調な評価関数を持ち、残り1人がMMS-feasibleな評価関数を持つ設定へEFX存在結果を拡張すること。これは加法的、予算加法的、ユニット・デマンド関数を含む、より広いクラスである。
• (1−ε)-EFX割り当てに必要な未割当財の数（慈善）の上界を改善し、O((n/ε)^{4/5})からÕ((n/ε)^{1/2})に低減すること。
• EFX割り当て問題と極値組合せ論、特にゼロ和組合せ論との関係を確立し、より良い境界を導出すること。
• 従来の証明で中心的だった複雑な構成（チャンピオン・グラフ、イブン・グラフ、ハーフ・バndl）に依存しないようにすることで、証明の可読性と明確性を向上させること。

提案手法

• チャンピオン、チャンピオン・グラフ、ハーフ・バndl、イブン・グラフの使用を回避する新しい証明技法を導入し、これまではこれらの構成が中心的だったEFX証明から離れる。
• 部分に分割された有向グラフにおける制限付きパスに関する帰納的議論を用い、頂点部分の再インデックス化により到達可能性の性質を維持する。
• 部分に分割された有向グラフにおけるレインボー・サイクルの存在に基づく背理法を用い、部分の数を抑え、R_p(d) < 2d−1を証明する。
• (2i−2)-制限付きパスを介した到達可能なノードの構造を活用し、帰納的により長いパスを構築し、サイクルを強制するのに十分な到達可能性を保証する。
• 特にアロンとクリヴェレヴィッチの結果を活用した極値組合せ論の結果を用い、近似EFX割り当てにおける未割当財の数を抑えている。
• 慈善問題を、パスの到達可能性と部分分割を含むグラフ理論的問題に再定式化することで、より鋭い境界を達成している。

実験結果

リサーチクエスチョン

• RQ1 チャレンジャー・グラフ や イブン・グラフ といった複雑な構成を避けることで、3人のエージェントに対するEFX割り当ての存在証明をより単純化できるか？
• RQ2 唯一1人のエージェントが加法的評価を持つ場合、残り2人が一般の単調な評価関数を持つ設定に対してもEFX存在結果が拡張可能か？
• RQ3 近似EFX割り当てにおける未割当財（慈善）の数を、従来の境界O((n/ε)^{4/5})未満にまで低減できるか？
• RQ4 ゼロ和組合せ論におけるどの組合せ的構造が、近似EFX割り当てにおける慈善の境界改善に利用可能か？
• RQ5 制限的な評価関数の仮定に依存せずに、3人のエージェントに対してMMS-feasibleな評価関数を持つ場合のEFX存在証明は可能か？

主な発見

• 本論文は、唯一1人のエージェントが加法的評価を持つ場合に限り、3人のエージェントに対するEFX割り当てが存在することを示しており、従来の研究よりも著しく簡略化された証明を用いている。
• この証明技法は、2人のエージェントが単調な評価関数を持ち、残り1人がMMS-feasibleな評価関数を持つ設定へ一般化可能であり、これは加法的、予算加法的、ユニット・デマンド評価関数を含む「きれいキャンセル可能関数」の厳密な一般化である。
• 本論文は、(1−ε)-EFX割り当てに必要な慈善の境界をO((n/ε)^{4/5})からÕ((n/ε)^{1/2})に改善しており、未割当財の数を著しく削減している。
• この改善された境界は、特にアロンとクリヴェレヴィッチによるゼロ和組合せ論の結果を活用した、極値組合せ論の新しい応用によって達成されている。
• 証明は、イブン・グラフ や チャンピオン、ハーフ・バndl といった複雑なアルゴリズム的構成に依存しないため、証明がよりアクセス可能で概念的に明確になっている。
• 本論文は、部分に分割された有向グラフにレインボー・サイクルが存在すると、部分数が2d−1を超える場合には矛盾が生じることを示しており、これにより到達可能性構造の境界をつき、主要な結果を証明している。