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

ひとこと要約

この論文は、分割不能なアイテムと一般（加法的でない）評価関数を伴う公平配分における、任意のアイテムに対する無競う割り当て（EFX）の存在に関する新たな結果を確立する。著者らは、新たな分割レキシコグラフィック・ポテンシャル関数を導入し、レキシコグラフィック・ポテンシャル技術を精緻化することで、以下の3つの条件下で完全なEFX割り当てが存在することを証明した：（1）すべてのエージェントが2種類の一般評価関数のいずれかを持つ場合、（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割り当てが存在することを示すこと。これは、既存のn−1という境界を拡張するものである。

提案手法

• 反復的なEFX割り当て構築を導くために、新たなポテンシャル関数「分割レキシコグラフィック・ポテンシャル関数」を導入する。
• 新しい関数とレキシコグラフィック・ポテンシャル関数を併用することで、EFXに向けた進捗を確保するとともに、エージェント間の競う感情を管理する。
• 割り当て更新中に生じる競うサイクルを解消するために、競うグラフにおけるサイクル遮断技術を適用する。
• 従来のレキシコグラフィック・ポテンシャル関数に基づくアプローチが失敗することを示すために、n=3および一般評価関数を用いた新しい例を構築する。
• 評価関数の構造的制約（例：単調性、サイズに基づく比較）を用いて、不可能性および存在性の結果を導出する。
• EFXにおいて、いかなるエージェントも、他のエージェントのバンドルから任意の1つのアイテムを除去した後には、そのエージェントを競わないべきであるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 エージェントが同一または加法的評価関数ではなく、2種類の一般評価関数のいずれかを持つ場合、常にEFX割り当てが存在するのか？
• RQ2 アイテム数がn+3以下である場合、EFX割り当ての存在を保証できるのか？
• RQ3 一般評価関数のもとでも、未割当のアイテムがn−2個以下である場合にEFXを達成できるのか？
• RQ4 n=3で一般評価関数を想定した場合、なぜレキシコグラフィック・ポテンシャル関数アプローチが失敗するのか？
• RQ5 分割レキシコグラフィック・ポテンシャル関数は、従来のポテンシャル関数技術の限界をEFX構築において克服できるのか？

主な発見

• すべてのエージェントが2種類の一般評価関数のいずれかを持つ場合、EFX割り当ては常に存在する。これは、同一評価関数に対する既存の結果を拡張するものである。
• アイテム数がn+3以下である場合、一般評価関数のもとでもEFX割り当ては常に存在する。
• 未割当のアイテムがn−2個以下である場合、EFX割り当ては存在する。これは、既知のn−1という境界を改善するものである。
• n=3および一般評価関数を用いた反例を構築し、より大きいレキシコグラフィック順序のEFX割り当てが存在しないことを示した。これにより、レキシコグラフィック・ポテンシャル手法の失敗が明らかになった。
• 分割レキシコグラフィック・ポテンシャル関数により、個々のエージェントが一時的に劣悪な状況にあっても、レキシコグラフィック順序でより優れたEFX割り当てを構築できるようになった。
• 結果は加法的評価関数を超えて、非加法的で非サブモジュラ型を含むより広い一般評価関数クラスへ拡張された。