[論文レビュー] Existence of EFX for Two Additive Valuations

Ryoga Mahara|arXiv (Cornell University)|Aug 20, 2020

Game Theory and Voting Systems被引用数 4

ひとこと要約

この論文は、加法的評価関数を持つエージェントが2つの異なるタイプに分けられ、各タイプ内で同一の評価関数を持つ場合に、完全な EFX（任意のアイテムを除く envy-free）割り当てが常に存在することを証明している。著者らは、初期の部分的 EFX 割り当てから段階的にパレート優越な EFX 割り当てを構築する構成的アルゴリズムを提供しており、同額または2エージェント設定に限られていた先行結果を、一般のエージェント数およびアイテム数にまで拡張している。

ABSTRACT

Fair division of indivisible items is a well-studied topic in Economics and Computer Science. The objective is to allocate items to agents in a fair manner, where each agent has a valuation for each subset of items. Envy-freeness is one of the most widely studied notions of fairness. Since complete envy-free allocations do not always exist when items are indivisible, several relaxations have been considered. Among them, possibly the most compelling one is envy-freeness up to any item (EFX), where no agent envies another agent after the removal of any single item from the other agent's bundle. However, despite significant efforts by many researchers for several years, it is known that a complete EFX allocation always exists only in limited cases. In this paper, we show that a complete EFX allocation always exists when each agent is of one of two given types, where agents of the same type have identical additive valuations. This is the first such existence result for non-identical valuations when there are any number of agents and items and no limit on the number of distinct values an agent can have for individual items. We give a constructive proof, in which we iteratively obtain a Pareto dominating (partial) EFX allocation from an existing partial EFX allocation.

研究の動機と目的

• 非同一の加法的評価関数を持つ一般のエージェント数およびアイテム数の設定において、完全 EFX 割り当てが存在するかどうかという未解決問題を解消すること。
• これまで2エージェント、同一評価関数、または3エージェントに限定されていた先行の存在結果を、2つの異なる評価関数タイプを持つ設定に拡張すること。
• 初期の部分的 EFX 割り当てから段階的にパレート改善を繰り返すことで完全 EFX 割り当てを生成する構成的アルゴリズムを提供すること。
• 分割不能アイテムの公平配分における一般 EFX 存在予想を解消するための基盤的ステップを確立すること。

提案手法

• 初期の部分的 EFX 割り当てから出発し、パレート優越性を向上させつつ EFX の公平性を保つようにアイテムを再割り当てする新しい割り当てを構築する。
• 1人のエージェントから別のエージェントへの envy が任意の1アイテムの除去によっても成立しないようにするため、'最小好ましい集合'の概念を用いて、違反を引き起こさずに移転可能なアイテムを同定する。
• アイテムの交換や再割り当てによってより良い状態にできるエージェントを選択し、すべてのエージェントペアに対して任意の1アイテムの除去に伴う envy 関係が維持されることを保証する。
• 1人のエージェントのバンドルを好ましい部分集合に置き換えることで新しい割り当てを再帰的に構築し、すべてのエージェントペアに対して EFX が保たれることを維持する。
• エージェントタイプと評価構造に基づく帰納的推論に依存しており、同じタイプのエージェント間の対称性を活用する。
• 重要な補題により、新しい割り当てが以前の割り当てをパレート優越し、すべての envy チェック条件のもとで EFX の性質が保たれることを示している。

実験結果

リサーチクエスチョン

• RQ1 エージェントが加法的評価関数を持ち、2つの異なるタイプに分けられ、各タイプ内で同一の評価関数を持つ場合に、完全 EFX 割り当てが存在するか？
• RQ2 初期の部分的 EFX 割り当てから段階的に EFX 割り当てを生成できる構成的アルゴリズムを設計できるか？
• RQ3 再割り当てステップにおいて、パレート優越性を保ちながら EFX の公平性を維持することは可能か？
• RQ4 2つの評価関数タイプの構造が、2エージェントまたは同一評価関数ケースを超えた EFX の可能性にどのように影響するか？

主な発見

• エージェントが2つのタイプに分けられ、各タイプ内で同一の加法的評価関数を持つ場合、完全 EFX 割り当ては常に存在する。
• エージェント数およびアイテム数に制限なく、各エージェントが持つ異なるアイテム価値の数に関しても成立する。
• 証明は構成的である：初期の部分的 EFX 割り当てから、体系的にパレート優越な EFX 割り当てを構築できる。
• アルゴリズムは、すべてのエージェントペアに対して、被 envy エージェントのバンドルから任意の1アイテムを除去した場合の envy 関係が維持されることを保証し、EFX を満たす。
• 3エージェントの加法的評価関数ケースではこの手法が失敗するため、2タイプを超えた一般化にはより複雑な技術が必要であることが示唆される。
• この結果は、加法的評価関数における一般 EFX 存在予想を解消する上で、顕著な一歩を踏み出すものである。