[論文レビュー] (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

ひとこと要約

本稿では、4人の加法的評価関数を持つエージェントに対しては、未割当アイテムが最大1個であるEFX割当が存在することを確立しており、n人のエージェントに対しては、未割当アイテムが最大n−2個であるEFX割当が存在することを示している。著者らは、一般化されたチャンピオンエッジと良いサイクルの構造的性質に焦点を当てた、画期的なグラフ理論的技法を導入し、加法的、ユニット・デマンド、予算加法的など、すべての良いキャンセル可能評価関数へと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.

研究の動機と目的

• 4人以上のエージェントが加法的評価関数を有する場合の、長年の未解決問題であるEFX割当の存在を解消すること。
• 2種類の評価関数タイプや同一の評価関数を持つ設定といった、既知の制限付きケースを超えて、EFXの存在を拡張すること。
• チャンピオンエッジとサイクル構造に基づく統一的フレームワークを用いて、EFX存在証明を単純化・一般化すること。
• 一般設定におけるEFX割当に必要な未割当アイテムの数の上限を確立すること。

提案手法

• 単一の未割当財だけでなく、アイテム集合に対しても一般化されたチャンピオンエッジを導入し、グラフ理論的枠組みにおける進捗を強化すること。
• エージェントの好みとアイテム割当の有向グラフモデルにおいて、良いサイクルとPIサイクルを定義・分析すること。
• 構造的定理（例：定理3.16）を用いて、エージェントのバンドルへの良いエッジまたは外部エッジの保証的存在を同定すること。
• 評価関数クラス内での envy とチャンピオンシップの後退的伝播を活用し、パレート改善可能なサイクルを導出すること。
• 補題3.5を適用して、EFX割当へと至るパレート改善可能なサイクルを同定すること。
• 加法的評価関数から、ユニット・デマンドおよび予算加法的を含むより広いクラスの良いキャンセル可能評価関数へと結果を拡張すること。

実験結果

リサーチクエスチョン

• RQ1 4人のエージェントが加法的評価関数を持つ場合、1つのアイテムが未割当のままでも、EFX割当は存在するか？
• RQ2 n人のエージェントに対して、EFX割当における未割当アイテム数はn−1未満に抑えられるか？
• RQ3 2種類の評価関数タイプなどの制限付きケースで知られているEFX存在結果は、より広いクラスの良いキャンセル可能評価関数へと拡張可能か？
• RQ4 グラフ理論的構造を用いて、EFX存在証明の技法を単純化・統一できるか？
• RQ5 多様な評価関数クラスにわたって、未割当アイテムを最小限に抑えたEFX割当を構成する一般的手法は存在するか？

主な発見

• 4人の加法的エージェントを持ついかなる設定に対しても、未割当アイテムが最大1個であるEFX割当が存在する。
• n人の加法的エージェントを持ついかなる設定に対しても、未割当アイテムが最大n−2個であるEFX割当が存在する。
• すべての結果は、加法的、ユニット・デマンド、予算加法的、乗法的評価関数を含む、より広いクラスの良いキャンセル可能評価関数へと拡張可能である。
• 2人、3人、および制限付きn人エージェント設定における、先行研究のEFX存在証明を単純化・一般化した。
• 特に、良いg-サイクルとPIサイクルであるパレート改善可能なサイクルの存在が、構成的EFX割当の構築を可能にする。
• 評価関数クラス内での envy とチャンピオンシップの後退的伝播により、構造的一致性が保証され、これがEFX割当の存在を支援する。