[論文レビュー] Fair Division of Indivisible Goods: Recent Progress and Open Questions

Georgios Amanatidis, Aziz, Haris+6 more|arXiv (Cornell University)|Aug 18, 2022

Legal principles and applications被引用数 9

ひとこと要約

本サーベイは、分割不能な財の公平配分における最近の進展を包括的に概説し、 envy-freeness up to any good (EFX)、maximin share fairness (MMS)、EF1 などの公平性基準の緩和を焦点としている。計算的公平配分分野におけるアルゴリズム的手法、存在結果、未解決問題を統合し、特に公平性、効率性、誠実性を達成するための最近の進展と未解決の課題に焦点を当てる。

ABSTRACT

Allocating resources to individuals in a fair manner has been a topic of interest since ancient times, with most of the early mathematical work on the problem focusing on resources that are infinitely divisible. Over the last decade, there has been a surge of papers studying computational questions regarding the indivisible case, for which exact fairness notions such as envy-freeness and proportionality are hard to satisfy. One main theme in the recent research agenda is to investigate the extent to which their relaxations, like maximin share fairness (MMS) and envy-freeness up to any good (EFX), can be achieved. In this survey, we present a comprehensive review of the recent progress made in the related literature by highlighting different ways to relax fairness notions, common algorithm design techniques, and the most interesting questions for future research.

研究の動機と目的

• 分割不能な財の公平配分における最近のアルゴリズム的進展を統合し、EFX、MMS、EF1 などの公平性の緩和に焦点を当てる。
• 離散的割り当て設定における公平性を達成するために用いられる核心的なアルゴリズム的手法を特定および分析する。
• 特に EFX と PO の両立に関する存在と計算可能性の未解決問題を強調する。
• 配分メカニズムにおける公平性、効率性（PO）、誠実性の相互作用を検討する。
• 非単調な評価関数、雑務、および混合財と雑務の設定への拡張を検討する。

提案手法

• 財、雑務、および混合設定における EFX、MMS、EF1 およびその変種の公平性の緩和に関する体系的レビュー。
• EF1 および EFX を維持するためのアルゴリズム的手法（たとえば、ラウンドロビン、envy-cycle elimination、トップトレーディング）の分析。
• 特に加法的評価関数を用いてエージェントの好みをモデル化し、公平性基準を評価する。
• 公平性と効率性（PO）の両立に関する調査、特に PO+公平な割り当ての存在と計算可能性を含む。
• 混合財と雑務における非単調な評価関数への公平性概念の拡張を、Prop1 および PropX の定義を通じて検討する。
• 公平配分における非対称な権利、限られた情報、外部性に関する結果のサーベイ。

実験結果

リサーチクエスチョン

• RQ1 一般設定において EFX 割り当ては常に効率的に計算可能であり、その存在状態は何か？
• RQ2 MMS 公平性のタイトな近似比は何か？ また、異なる評価タイプに応じてどのように変化するか？
• RQ3 雑務に対して EF1 とパレート最適性（PO）の両方を保証する多項式時間アルゴリズムは存在するか？
• RQ4 特に非対称な権利のもとで、雑務に対して PropX 割り当てと PO を同時に達成できるか？
• RQ5 EF1 および MMS のような公平性概念は、財と雑務の混合設定にどのように拡張可能か？ また、それらの満たしを保証するアルゴリズムは何か？

主な発見

• ラウンドロビンまたはトップトレーディング手法を用いることで、EF1 割り当ては効率的に計算可能であり、財の設定では EF1 と PO が両立可能である。
• 雑務の設定では、EF1+PO 割り当ては存在し、二値評価設定では効率的に計算可能であるが、一般の両立性については未解決のままである。
• 雑務に対して PropX 割り当ては常に存在し、非対称な権利がある場合でも効率的に計算可能であり、財の設定とは異なり、これは成立する。
• 雑務における EFX 割り当ての存在は未解決の問題のままであるが、O(n²)-EFX 割り当ては計算可能である。
• 混合財と雑務の設定では、二重ラウンドロビンアルゴリズムにより EF1 割り当てが計算可能であり、一般化された調整済み勝者アルゴリズムにより2エージェント設定で EF1+PO を保証できる。
• 混合設定では、専用のアルゴリズムを用いて Prop1+PO および近似的な MMS+PO 割り当てを計算可能であるが、PropX と PO の完全な両立性は未証明のままである。